• Something wrong with this record ?

On parameter synthesis by parallel model checking

J. Barnat, L. Brim, A. Krejcí, A. Streck, D. Safránek, M. Vejnár, T. Vejpustek

. 2012 ; 9 (3) : 693-705.

Language English Country United States

Document type Journal Article, Research Support, Non-U.S. Gov't

Persistent link   https://www.medvik.cz/link/bmc12034922

An important problem in current computational systems biology is to analyze 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 modeling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.

References provided by Crossref.org

000      
00000naa a2200000 a 4500
001      
bmc12034922
003      
CZ-PrNML
005      
20160805153952.0
007      
ta
008      
121023s2012 xxu f 000 0|eng||
009      
AR
024    7_
$a 10.1109/tcbb.2011.110 $2 doi
035    __
$a (PubMed)21788679
040    __
$a ABA008 $b cze $d ABA008 $e AACR2
041    0_
$a eng
044    __
$a xxu
100    1_
$a Barnat, Jiří, $d 1977- $7 mub2010575337 $u Faculty of Informatics, Masaryk University, Botanická 68a, Brno 60200, Czech Republic. barnat@fi.muni.cz
245    10
$a On parameter synthesis by parallel model checking / $c J. Barnat, L. Brim, A. Krejcí, A. Streck, D. Safránek, M. Vejnár, T. Vejpustek
520    9_
$a An important problem in current computational systems biology is to analyze 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 modeling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.
650    _2
$a algoritmy $7 D000465
650    _2
$a výpočetní biologie $x metody $7 D019295
650    _2
$a biologické modely $7 D008954
650    _2
$a nelineární dynamika $7 D017711
650    _2
$a systémová biologie $7 D049490
655    _2
$a časopisecké články $7 D016428
655    _2
$a práce podpořená grantem $7 D013485
700    1_
$a Brim, Lubos $u Systems Biology Laboratory, Faculty of Informatics Masaryk University, Botanická 68a, CZ-60200 Brno, Czech Republic
700    1_
$a Krejčí, Adam $u RECAMO, Masaryk Memorial Cancer Institute, Zluty kopec 7, 65653, Brno, Czech Republic
700    1_
$a Streck, Adam $u FB Mathematik und Informatik, Arnimallee 6, 14195 Berlin, Germany
700    1_
$a Šafránek, David $u Systems Biology Laboratory, Faculty of Informatics Masaryk University, Botanická 68a, CZ-60200 Brno, Czech Republic
700    1_
$a Vejnár, Martin $u Faculty of Informatics, Masaryk University, Botanická 68a, Brno 60200, Czech Republic
700    1_
$a Vejpustek, Tomás $u Faculty of Informatics, Masaryk University, Botanická 68a, Brno 60200, Czech Republic
773    0_
$w MED00181431 $t IEEE/ACM transactions on computational biology and bioinformatics IEEE, ACM $x 1557-9964 $g Roč. 9, č. 3 (2012), s. 693-705
856    41
$u https://pubmed.ncbi.nlm.nih.gov/21788679 $y Pubmed
910    __
$a ABA008 $b sig $c sign $y p $z 0
990    __
$a 20121023 $b ABA008
991    __
$a 20160805154226 $b ABA008
999    __
$a ok $b bmc $g 956932 $s 792419
BAS    __
$a 3
BAS    __
$a PreBMC
BMC    __
$a 2012 $b 9 $c 3 $d 693-705 $i 1557-9964 $m IEEE/ACM transactions on computational biology and bioinformatics $n IEEE/ACM Trans Comput Biol Bioinform $x MED00181431
LZP    __
$b NLK112 $a Pubmed-20121023
Back

Find record

Citation metrics

Archiving options