Viitteet 1-10 / 217
Formal Model Refinement for Complex Biological Systems
(Åbo Akademi - Åbo Akademi University, 2020-03-20)
There is a big interest in building large biological models and various approaches are being used for constructing such systems. Larger models are needed in system-level approaches (such as systems biology, systems medicine, ...
Model-based testing of software systems : functionality and performance
(Turku Centre for Computer Science (TUCS), 2015-09-04)
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, ...
Context-specific independence in graphical models
(Åbo Akademi - Åbo Akademi University, 2014-11-21)
The theme of this thesis is context-speci c independence in graphical models. Considering a system of stochastic variables it is often the case that the variables are dependent of each other. This can, for instance, be ...
Consistency of UML based designs using ontology reasoners
(Turku Centre for Computer Science (TUCS), 2013-12-19)
Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, ...
Probabilistic contact preferences in protein-ligand and protein-protein complexes
(Åbo Akademi - Åbo Akademi University, 2013-10-25)
Video transcoding in a distributed cloud computing environment
(Turku Centre for Computer Science (TUCS), 2014-01-31)
Video transcoding refers to the process of converting a digital video from one format into another format. It is a compute-intensive operation. Therefore, transcoding of a large number of simultaneous video streams requires ...
Spatial distributions of phytoplankton in rock pools : metacommunities to molecules
(Åbo Akademi - Åbo Akademi University, 2017-04-28)
Ecological studies on how populations and communities assemble and function traditionally focussed on the effects of local environmental conditions and species interactions. Still, no species, the consequences of its actions ...
Studies on Ceramide/Colipid Interactions in Complex Bilayers
(Åbo Akademi - Åbo Akademi University, 2017-12-01)
Ceramide belongs to an important class of sphingolipids and it constitutes the hydrophobic backbone of all complex sphingolipids. Ceramide plays an important role in different biological processes such as cell signaling, ...
Flavobacterium psychrophilum adhesion and biofilm formation
(Åbo Akademi - Åbo Akademi University, 2018-05-18)
Flavobacterium psychrophilum causes serious infections in farmed rainbow trout (Oncorhynchus mykiss) and subsequent substantial economic losses to fish farmers, globally. Over the past years, few studies have conclusively ...
Photoexcitation dynamics in organic solar cell donor/acceptor systems
(Åbo Akademi - Åbo Akademi University, 2012-11-30)