Selaus nimekkeen mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

Viitteet 33-52 / 72

    • m-Equine : IS support for the horse industry 

      Leskinen, Sonja
      TUCS Dissertations : 169 (Turku Centre for Computer Science (TUCS), 24.01.2014)
      The horse industry is in many ways still operating the same way as it did in the beginning of the 20th century. At the same time the role of the horse has changed dramatically, from a beast of burden to a top athlete, a ...

    • Mapping financial stability 

      Sarlin, Peter
      TUCS Dissertations : 159 (Turku Centre for Computer Science (TUCS), 07.06.2013)
      The ongoing global financial crisis has demonstrated the importance of a systemwide, or macroprudential, approach to safeguarding financial stability. An essential part of macroprudential oversight concerns the tasks of ...

    • Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments 

      Mizera, Andrzej
      TUCS Dissertations : 138 (Turku Centre for Computer Science (TUCS), 26.08.2011)
      Systems biology is a new, emerging and rapidly developing, multidisciplinary research field that aims to study biochemical and biological systems from a holistic perspective, with the goal of providing a comprehensive, ...

    • Model-based testing of software systems : functionality and performance 

      Abbors, Fredrik
      TUCS Dissertations : 202 (Turku Centre for Computer Science (TUCS), 04.09.2015)
      Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, ...

    • Model-based Verification and Testing of Web services : Functionality, Robustness and Vulnerability Analysis 

      Siavashi, Faezeh (Åbo Akademi - Åbo Akademi University, 04.04.2020)
      -

    • Model-driven development and verification of fault tolerant systems 

      Javed, Kashif
      TUCS Dissertations : 223 (Turku Centre for Computer Science (TUCS), 24.05.2017)
      Dependability is an ability of a computer-based system to deliver services that can be justifiably trusted. There is a wide range of computer-based systems that provide services that are critical for our society, e.g., ...

    • New Approach for Market Intelligence Using Artificial and Computational Intelligence 

      Yoseph, Fahed (Åbo Akademi - Åbo Akademi University, 10.02.2023)
      Small and medium sized retailers are central to the private sector and a vital contributor to economic growth, but often they face enormous challenges in unleashing their full potential. Financial pitfalls, lack of adequate ...

    • 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 ...