Selaus nimekkeen mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • On advancing business intelligence in the electricity retail market 

      Liu, Hongyan
      TUCS Dissertations : 182 (Turku Centre for Computer Science (TUCS), 30.09.2014)
      In recent decades, business intelligence (BI) has gained momentum in real-world practice. At the same time, business intelligence has evolved as an important research subject of Information Systems (IS) within the decision ...
    • On the impact of rigorous approaches on the quality of development 

      Olszewska, Marta
      TUCS Dissertations : 143 (Turku Centre for Computer Science (TUCS), 12.12.2011)
      Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges ...
    • Opening the black-box of IT artifacts : looking into mobile service characteristics and individual perception 

      Nikou, Shahrokh
      TUCS Dissertations : 149 (Turku Centre for Computer Science (TUCS), 02.11.2012)
    • Optimizing Stateful Serverless Computing 

      Byholm, Benjamin (Åbo Akademi University, 28.05.2021)
      Stateful serverless computing is a new paradigm within cloud computing. It successfully incorporates state management with serverless computing. Serverless computing is a form of cloud computing where the servers necessary ...
    • Performance Exploration and Testing of Web-based Software Systems 

      Ahmad, Tanwir (Åbo Akademi University, 07.12.2020)
      Modern society relies heavily on a wide range of inter-connected software systems for finance, energy distribution, communication, and transportation. The era of controlled communication in closed networks for limited ...
    • Predicting Risk and Return in Peer-to-Peer Lending with Machine Learning : A Decision Making Approach 

      Byanjankar, Ajay (Åbo Akademi University, 03.12.2021)
      Credit risk is one of the prominent risk types in the financial industry. It is the risk associated with lending money to borrowers, where the risk is the likelihood of not receiving back the money as a result of borrowers ...
    • Proactive management of video transcoding services 

      Deneke, Tewodros
      TUCS Dissertations : 222 (Turku Centre for Computer Science (TUCS), 04.05.2017)
      The consumption of digital video has tremendously increased in the last decade due to advances in information technology, computational capability and communication networks. Following that, video processing applications ...
    • Qualitative Methods for Modeling Biochemical Systems and Datasets : The Logicome and the Reaction Systems Approaches 

      Panchal, Charmi
      TUCS Dissertations : 229 (Turku Centre for Computer Science (TUCS), 12.02.2018)
      In our everyday life we use a number of complex systems that consist of many closely interconnected components. None of the individual components possess a property of the whole system but when they come together they give ...
    • Quantitative refinement of reaction-based biomodels 

      Iancu, Bogdan
      TUCS Dissertations : 199 (Turku Centre for Computer Science (TUCS), 25.06.2015)
      In the field of molecular biology, scientists adopted for decades a reductionist perspective in their inquiries, being predominantly concerned with the intricate mechanistic details of subcellular regulatory systems. ...
    • Refinement of biomodels using Petri nets 

      Gratie, Diana-Elena
      TUCS Dissertations : 216 (Turku Centre for Computer Science (TUCS), 20.10.2016)
      Systems Biology is the multidisciplinary field concerned with the research of large, complex biological systems from a holistic perspective. The end goal is to understand how such systems function as a whole rather than ...
    • Reusable formal architectures for networked systems 

      Kamali, Maryam
      TUCS Dissertations : 162 (Turku Centre for Computer Science (TUCS), 13.09.2013)
      Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability ...
    • Rigorous development of safety-critical systems 

      Prokhorova, Yuliya
      TUCS Dissertations : 193 (Turku Centre for Computer Science (TUCS), 05.03.2015)
      Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well ...
    • Scalable algorithms for height field illumination 

      Timonen, Ville
      TUCS Dissertations : 173 (Turku Centre for Computer Science (TUCS), 11.04.2014)
      Global illumination algorithms are at the center of realistic image synthesis and account for non-trivial light transport and occlusion within scenes, such as indirect illumination, ambient occlusion, and environment ...
    • Scalable Multicore Computing Using Dataflow and Task‐based Models 

      Georgakarakos, Georgios (Åbo Akademi University, 26.11.2021)
      Most of modern digital electronic devices and systems rely nowadays on multicore processors, in order to deliver a growing list of added‐value features and services. In this way multicore architectures have been able to ...
    • Scaling up stepwise feature introduction to construction of large software systems 

      Olszewski, Mikołaj
      TUCS Dissertations : 161 (Turku Centre for Computer Science (TUCS), 22.08.2013)
      Developing software is a difficult and error-prone activity. Furthermore, the complexity of modern computer applications is significant. Hence,an organised approach to software construction is crucial. Stepwise Feature ...
    • Scheduling dynamic dataflow graphs with model checking 

      Ersfolk, Johan
      TUCS Dissertations : 181 (Turku Centre for Computer Science (TUCS), 15.08.2014)
      With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel ...
    • Scheduling of guarded command based models 

      Degerlund, Fredrik
      TUCS Dissertations : 152 (Turku Centre for Computer Science (TUCS), 10.12.2012)
      Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded ...
    • Searching for keys to successful post-merger integration : a longitudinal case-study following a public sector merger 

      Lundqvist, Siw (Åbo Akademi - Åbo Akademi University, 23.11.2012)
      Unsuccessful mergers are unfortunately the rule rather than the exception. Therefore it is necessary to gain an enhanced understanding of mergers and post-merger integrations (PMI) as well as learning more about how mergers ...
    • Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living. 

      Díaz Rodríguez, Natalia A.
      TUCS Dissertations : 186 (Turku Centre for Computer Science (TUCS), 24.04.2015)
      Human activity recognition in everyday environments is a critical, but challenging task in Ambient Intelligence applications to achieve proper Ambient Assisted Living, and key challenges still remain to be dealt with to ...
    • Servicescape for Digital Wellness Services for Young Elderly 

      Allmér, Hans (Åbo Akademi - Åbo Akademi University, 14.12.2018)