High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F16%3A00088099" target="_blank" >RIV/00216224:14330/16:00088099 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-45177-0_6" target="_blank" >http://dx.doi.org/10.1007/978-3-319-45177-0_6</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-45177-0_6" target="_blank" >10.1007/978-3-319-45177-0_6</a>
Alternative languages
Result language
angličtina
Original language name
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
Original language description
Complex behaviour arising in biological systems is described by highly parameterised dynamical models. Most of the parameters are mutually dependent and therefore it is hard and computationally demanding to find admissible parameter values with respect to hypothesised constraints and wet-lab measurements. Recently, we have developed several high-performance techniques for parameter synthesis that are based on parallel coloured model checking. These methods allow to obtain parameter values that guarantee satisfaction of a given set of dynamical properties and parameter constraints. In this paper, we review the applicability of our techniques in the context of biological systems. In particular, we provide an extended analysis of a genetic switch controlling the regulation in mammalian cell cycle phase transition and a synthetic pathway for biodegradation of a toxic pollutant in E. coli.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Computational Methods in Systems Biology. CMSB 2016.
ISBN
9783319451763
ISSN
0302-9743
e-ISSN
—
Number of pages
16
Pages from-to
82-97
Publisher name
Springer International Publishing
Place of publication
Neuveden
Event location
Cambridge, England
Event date
Sep 21, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—