BARNAT, Jiří, Luboš BRIM a David ŠAFRÁNEK. High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings in Bioinformatics. Oxford (UK): Oxford University Press, 2010, roč. 11, č. 3, s. 301-312. ISSN 1467-5463. |
Další formáty:
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 a 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, roč.~11, č.~3, s.~301-312. ISSN~1467-5463.
|