| BARNAT, Jiří, Luboš BRIM and David ŠAFRÁNEK. High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings in Bioinformatics. Oxford (UK): Oxford University Press, 2010, vol. 11, No 3, p. 301-312. ISSN 1467-5463. |
Other formats:
BibTeX
LaTeX
RIS
@article{881320,
author = {Barnat, Jiří and Brim, Luboš and Šafránek, David},
article_location = {Oxford (UK)},
article_number = {3},
keywords = {molecular interaction networks; mathematical modeling and computer simulation; kinetic models; discrete abstraction; high-performance computing; model checking},
language = {eng},
issn = {1467-5463},
journal = {Briefings in Bioinformatics},
title = {High-performance analysis of biological systems dynamics with the DiVinE model checker},
url = {http://dx.doi.org/10.1093/bib/bbp074},
volume = {11},
year = {2010}
}
TY - JOUR
ID - 881320
AU - Barnat, Jiří - Brim, Luboš - Šafránek, David
PY - 2010
TI - High-performance analysis of biological systems dynamics with the DiVinE model checker
JF - Briefings in Bioinformatics
VL - 11
IS - 3
SP - 301-312
EP - 301-312
PB - Oxford University Press
SN - 14675463
KW - molecular interaction networks
KW - mathematical modeling and computer simulation
KW - kinetic models
KW - discrete abstraction
KW - high-performance computing
KW - model checking
UR - http://dx.doi.org/10.1093/bib/bbp074
N2 - The current interest in systems biology is to gain a better understanding of how the complex dynamic behaviour of the cell emerges from mutual interactions of molecular species. When solving such a nontrivial goal, biological data have to be necessarily integrated with mathematical modelling and computer analysis. Since the key aspect of biological modelling is based on unifying several kinds of data captured in terms of large-scale biological networks, scalable and automatized methods are necessary to obtain novel predictions and understanding. In this review, we provide a brief description of the tool DiVinE adapted for automatized analysis of biological systems dynamics. The tool employs high-performance computing techniques to enable analysis of large models.
ER -
BARNAT, Jiří, Luboš BRIM and David ŠAFRÁNEK. High-performance analysis of biological systems dynamics with the DiVinE model checker. \textit{Briefings in Bioinformatics}. Oxford (UK): Oxford University Press, 2010, vol.~11, No~3, p.~301-312. ISSN~1467-5463.
|
