Uusimmat viitteet

  • Knowledge-lean Text Mining 

    Rönnqvist, Samuel (Turku Centre for Computer Science, 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 (Turku Centre for Computer Science, 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 (Turku Centre for Computer Science, 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 ...
  • Efficient and low-cost software defined radio on commodity hardware 

    Grönroos, Stefan (Turku Centre for Computer Science, 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 ...
  • Refinement of biomodels using Petri nets 

    Gratie, Diana-Elena (Turku Centre for Computer Science, 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 ...
  • Examining human-centered design practice in the mobile apps era 

    Eshet, Eyal (Turku Centre for Computer Science, 10.06.2016)
    Human-Centered Design (HCD) is a well-recognized approach to the design of interactive computing systems that supports everyday and professional lives of people. To that end, the HCD approach put central emphasis on the ...
  • Energy aware software for many-core systems 

    Holmbacka, Simon (Turku Centre for Computer Science, 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 modelling for digital media distribution 

    Sandvik, Petter (Turku Centre for Computer Science, 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 ...
  • Computational models for and from biology : simple gene assembly and reaction systems 

    Azimi, Sepinoud (Turku Centre for Computer Science, 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 ...
  • Formal development of resilient distributed systems 

    Pereverzeva, Inna (Turku Centre for Computer Science, 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 ...
  • Model-based testing of software systems : functionality and performance 

    Abbors, Fredrik (Turku Centre for Computer Science, 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, ...
  • Quantitative refinement of reaction-based biomodels 

    Iancu, Bogdan (Turku Centre for Computer Science, 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. ...
  • Fuzzy real option analysis in patent related decision making and patent valuation 

    Wang, Xiaolu (Åbo Akademi University, 12.06.2015)
    The shift towards a knowledge-based economy has inevitably prompted the evolution of patent exploitation. Nowadays, patent is more than just a prevention tool for a company to block its competitors from developing rival ...
  • How computer programmers work : understanding software development in practise 

    Suenson, Espen (Åbo Akademi, 12.06.2015)
    Hur arbetar en framgångsrik programmerare? Uppgifterna att programmera datorspel och att programmera industriella, säkerhetskritiska system verkar tämligen olika. Genom en noggrann empirisk undersökning jämför och kontrasterar ...
  • Agent-based management systems for many-core platforms : rigorous design and efficient implementation 

    Ostroumov, Sergey (Turku Centre for Computer Science, 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 ...
  • Visual analytics for behavioral and niche market segmentation 

    Holmbom, Annika (Turku Centre for Computer Science, 08.06.2015)
    Companies require information in order to gain an improved understanding of their customers. Data concerning customers, their interests and behavior are collected through different loyalty programs. The amount of data ...
  • Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living. 

    Díaz Rodríguez, Natalia A. (Turku Centre for Computer Science, 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 ...
  • Rigorous development of safety-critical systems 

    Prokhorova, Yuliya (Åbo Akademi University, 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 ...
  • Design and evaluation of web interface signs to improve web usability : a semiotic framework 

    Islam, Muhammad Nazrul (Turku Centre for Computer Science, 17.10.2014)
    Technological innovations, the development of the internet, and globalization have increased the number and complexity of web applications. As a result, keeping web user interfaces understandable and usable (in terms of ...
  • Cost-efficient virtual machine management : provisioning, admission control, and consolidation 

    Ashraf, Adnan (Turku Centre for Computer Science, 09.10.2014)
    One of the main challenges in Software Engineering is to cope with the transition from an industry based on software as a product to software as a service. The field of Software Engineering should provide the necessary ...

Näytä lisää