Informační systém Masarykovy univerzity 

On Parameter Synthesis by Parallel Model Checking

česky | in English

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. doi:10.1109/TCBB.2011.110.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název On Parameter Synthesis by Parallel Model Checking
Autoři BARNAT, Jiří (203 Česká republika, domácí), Luboš BRIM (203 Česká republika, domácí), Adam KREJČÍ (203 Česká republika, domácí), Adam STRECK (203 Česká republika, domácí), David ŠAFRÁNEK (203 Česká republika, garant, domácí), Martin VEJNÁR (203 Česká republika, domácí) a Tomáš VEJPUSTEK (203 Česká republika, domácí).
Vydání IEEE/ACM Transactions on Computational Biology and Bioinformatics, Los Alamitos, IEEE Computer Society, 2012, 1545-5963.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor Informatika
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Impakt faktor Impact factor: 1.616
Kód RIV RIV/00216224:14330/12:00057196
Organizační jednotka Fakulta informatiky
Doi http://dx.doi.org/10.1109/TCBB.2011.110
UT WoS 000301293900006
Klíčová slova anglicky biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 11. 4. 2013 17:34.
Anotace
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.
Návaznosti
GA201/09/1389, projekt VaVNázev: Verifikace a analýza velmi velkých počítačových systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
MUNI/A/0914/2009, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Grantová agentura MU, Kategorie A - Specifický výzkum - Studentské výzkumné projekty
VytisknoutZobrazeno: 20. 9. 2017 23:45

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 20. 9. 2017 23:45, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému