Haku
Viitteet 21-29 / 29
Quantitative refinement of reaction-based biomodels
(Turku Centre for Computer Science (TUCS), 2015-06-25)
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. ...
Energy aware software for many-core systems
(Turku Centre for Computer Science (TUCS), 2015-12-11)
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 ...
Efficient and low-cost software defined radio on commodity hardware
(Turku Centre for Computer Science (TUCS), 2016-11-11)
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 ...
Model-driven development and verification of fault tolerant systems
(Turku Centre for Computer Science (TUCS), 2017-05-24)
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
(Turku Centre for Computer Science (TUCS), 2017-05-04)
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 ...
DIANA : Distributed and Safe Autonomous Navigation for a Swarm of Autonomous Vehicles
(Åbo Akademi University, 2021-05-07)
The autonomous systems are typical examples of complex distributed cyber-physical systems (CPS). The main characteristics of such systems is the use of autonomous vehicles. They are increasingly used in various mission-critical ...
Computational Network Analytics for Applications in Biomedicine
(Åbo Akademi - Åbo Akademi University, 2022-06-03)
Network medicine has recently emerged as a field of research focusing on the analysis of networks modelling complex biological systems, for a better understanding of diseases and corresponding treatment. Building on results ...
Target Controllability of Cancer Networks
(Åbo Akademi University, 2020-06-12)
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 ...
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, ...