Selaus tekijän mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • Agent-based management systems for many-core platforms : rigorous design and efficient implementation 

      Ostroumov, Sergey
      TUCS Dissertations : 196 (Turku Centre for Computer Science (TUCS), 05.06.2015)
      Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems ...
    • Computational models for and from biology : simple gene assembly and reaction systems 

      Azimi, Sepinoud
      TUCS Dissertations : 205 (Turku Centre for Computer Science (TUCS), 06.11.2015)
      The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention ...
    • Efficient and low-cost software defined radio on commodity hardware 

      Grönroos, Stefan
      TUCS Dissertations : 218 (Turku Centre for Computer Science (TUCS), 11.11.2016)
      As general purpose processors become faster, many signal processing functions that used to require special purpose hardware, are now feasible to perform in software. In wireless communications, this means we move towards ...
    • Energy aware software for many-core systems 

      Holmbacka, Simon
      TUCS Dissertations : 208 (Turku Centre for Computer Science (TUCS), 11.12.2015)
      Many-core systems provide a great potential in application performance with the massively parallel structure. Such systems are currently being integrated into most parts of daily life from high-end server farms to desktop ...
    • Formal Analysis of Network Routing Protocols 

      Kamali, Mojgan
      TUCS Dissertations : 242 (Turku Centre for Computer Science (TUCS), 23.08.2019)
      The use of wireless networks has been on the rise for some time now, from the ubiquitous smart phones and laptops in use everywhere, to sensor networks collecting large amounts of data. In this dissertation, we focus on ...
    • Formal development of resilient distributed systems 

      Pereverzeva, Inna
      TUCS Dissertations : 203 (Turku Centre for Computer Science (TUCS), 02.10.2015)
      Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the ...
    • Formal modelling for digital media distribution 

      Sandvik, Petter
      TUCS Dissertations : 206 (Turku Centre for Computer Science (TUCS), 13.11.2015)
      Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological ...
    • Knowledge-lean Text Mining 

      Rönnqvist, Samuel
      TUCS Dissertations : 227 (Turku Centre for Computer Science (TUCS), 08.12.2017)
      This thesis explores the process of introducing text mining to new areas of application, which involves both defining appropriate types of analysis and often designing appropriate computational methods to support the ...
    • 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., ...
    • 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. ...
    • 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 ...
    • 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 ...