Haku
Viitteet 1-10 / 26
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, ...
Formal development of resilient distributed systems
(Turku Centre for Computer Science (TUCS), 2015-10-02)
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 ...
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 ...
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 ...
Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments
(Turku Centre for Computer Science (TUCS), 2011-08-26)
Systems biology is a new, emerging and rapidly developing, multidisciplinary
research field that aims to study biochemical and biological systems from
a holistic perspective, with the goal of providing a comprehensive, ...
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 ...
Trustworthy context dependency in ubiquitous systems
(Turku Centre for Computer Science (TUCS), 2012-11-26)
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 ...
Formal development and quantitative verification of dependable systems
(Turku Centre for Computer Science (TUCS), 2013-01-28)
Modern software-intensive systems are becoming increasingly complex. Yet
we are observing the pervasive use of software in such critical infrastructures
as transportation systems, healthcare, telecommunication, energy ...
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. ...
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 ...