BARNAT, Jiří, Luboš BRIM, Adam KREJČÍ, Adam STRECK, David ŠAFRÁNEK, Martin VEJNÁR a Tomáš VEJPUSTEK. On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. Los Alamitos: IEEE Computer Society, 2012, roč. 9, č. 3, s. 693-705. ISSN 1545-5963. Dostupné z: https://dx.doi.org/10.1109/TCBB.2011.110. |
Další formáty:
BibTeX
LaTeX
RIS
@article{947077, author = {Barnat, Jiří and Brim, Luboš and Krejčí, Adam and Streck, Adam and Šafránek, David and Vejnár, Martin and Vejpustek, Tomáš}, article_location = {Los Alamitos}, article_number = {3}, doi = {http://dx.doi.org/10.1109/TCBB.2011.110}, keywords = {biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology}, language = {eng}, issn = {1545-5963}, journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics}, title = {On Parameter Synthesis by Parallel Model Checking}, url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639}, volume = {9}, year = {2012} }
TY - JOUR ID - 947077 AU - Barnat, Jiří - Brim, Luboš - Krejčí, Adam - Streck, Adam - Šafránek, David - Vejnár, Martin - Vejpustek, Tomáš PY - 2012 TI - On Parameter Synthesis by Parallel Model Checking JF - IEEE/ACM Transactions on Computational Biology and Bioinformatics VL - 9 IS - 3 SP - 693-705 EP - 693-705 PB - IEEE Computer Society SN - 15455963 KW - biological networks KW - parallel model checking KW - dynamical systems KW - parameter synthesis KW - systems biology UR - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639 L2 - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639 N2 - An important problem in current computational systems biology is to analyse models of biological systems dynamics under parameter uncertainty. This paper presents a novel algorithm for parameter synthesis based on parallel model checking. The algorithm is conceptually universal with respect to the modelling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models. ER -
BARNAT, Jiří, Luboš BRIM, Adam KREJČÍ, Adam STRECK, David ŠAFRÁNEK, Martin VEJNÁR a Tomáš VEJPUSTEK. On Parameter Synthesis by Parallel Model Checking. \textit{IEEE/ACM Transactions on Computational Biology and Bioinformatics}. Los Alamitos: IEEE Computer Society, 2012, roč.~9, č.~3, s.~693-705. ISSN~1545-5963. Dostupné z: https://dx.doi.org/10.1109/TCBB.2011.110.
|