Selaus nimekkeen mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

Viitteet 49-68 / 72

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

    • Solving the puzzle of mobile learning adoption 

      Liu, Yong
      TUCS Dissertations : 134 (Turku Centre for Computer Science (TUCS), 18.05.2011)
      The dissertation seeks to explore how to improve users‘ adoption of mobile learning in current education systems. Considering the difference between basic and tertiary education in China, the research consists of two ...

    • Some advances in mathematical models for preference relations 

      Brunelli, Matteo
      TUCS Dissertations : 136 (Turku Centre for Computer Science (TUCS), 10.06.2011)
      Preference relations, and their modeling, have played a crucial role in both social sciences and applied mathematics. A special category of preference relations is represented by cardinal preference relations, which are ...

    • Target Controllability of Cancer Networks 

      Kanhaiya, Krishna (Åbo Akademi University, 12.06.2020)
      Advances in the field of complex networks theory and network biology pave a new way to define human health through the study of networks of proteins, genes, metabolites, modules across cell signaling pathways, and clinical ...

    • Teaching mathematics and programming : new approaches with empirical evaluation 

      Mannila, Linda
      TUCS Dissertations : 124 (Turku Centre for Computer Science (TUCS), 27.11.2009)
      Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that ...

    • The lattice Boltzmann method, a petaflop and beyond 

      Robertsén, Fredrik
      TUCS Dissertations : 231 (Turku Centre for Computer Science (TUCS), 20.04.2018)
      With computer simulations real world phenomena can be analyzed in great detail. Computational fluid dynamics, for example, allows simulation of fluid flow phenomena that might not otherwise be observable or researchers ...

    • Tool-supported invariant-based programming 

      Eriksson, Johannes
      TUCS Dissertations : 127 (Turku Centre for Computer Science (TUCS), 17.08.2010)
      The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to ...

    • Towards combining interactive mobile TV and smart spaces : architectures, tools and application development 

      Saleemi, Mohsin Muhammad
      TUCS Dissertations : 157 (Turku Centre for Computer Science (TUCS), 15.02.2013)
      Technological developments in microprocessors and ICT landscape have made a shift to a new era where computing power is embedded in numerous small distributed objects and devices in our everyday lives. These small computing ...

    • Towards increased productivity and quality in software development using agile, lean and collaborative approaches 

      Heidenberg, Jeanette
      TUCS Dissertations : 133 (Turku Centre for Computer Science (TUCS), 11.02.2011)
      Dagens programvaruindustri står inför alltmer komplicerade utmaningar i en värld där programvara är nästan allstädes närvarande i våra dagliga liv. Konsumenten vill ha produkter som är pålitliga, innovativa och rika i ...

    • Trustworthy context dependency in ubiquitous systems 

      Neovius, Mats
      TUCS Dissertations : 151 (Turku Centre for Computer Science (TUCS), 26.11.2012)
      The modern society is getting increasingly dependent on software applications. These run on processors, use memory and account for controlling functionalities that are often taken for granted. Typically, applications ...