On Parameter Synthesis by Parallel Model Checking (2012)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/12:00057196 |
|---|---|
| Název v anglickém jazyce | On Parameter Synthesis by Parallel Model Checking |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 7 |
| Počet domácích tvůrců | 7 |
| Výčet všech uvedených jednotlivých tvůrců | Jiří Barnat (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5692792) Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773) Adam Krejčí (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9913858) Adam Streck (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6717020) David Šafránek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8225400) Martin Vejnár (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5013135) Tomáš Vejpustek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3083705) |
| Popis výsledku v anglickém jazyce | 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. |
| Klíčová slova oddělená středníkem | biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology |
| Stránka www, na které se nachází výsledek | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639 |
| DOI výsledku | 10.1109/TCBB.2011.110 |
Údaje o výsledku v závislosti na druhu výsledku
| Název periodika | IEEE/ACM Transactions on Computational Biology and Bioinformatics |
|---|---|
| ISSN | 1545-5963 |
| Svazek periodika | 9 |
| Číslo periodika v rámci uvedeného svazku | 3 |
| Stát vydavatele periodika | CZ - Česká republika |
| Počet stran výsledku | 13 |
| Strana od-do | 693-705 |
| Kód UT WoS článku podle Web of Science | 000301293900006 |
| EID výsledku v databázi Scopus | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | GA0 - Grantová agentura České republiky (GA ČR) |
| Rok sběru | 2013 |
| Specifikace | RIV/00216224:14330/12:00057196!RIV13-GA0-14330___ |
| Datum poslední aktualizace výsledku | 04.09.2013 |
| Kontrolní číslo | 43534943 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno MŠMT v roce 2013 | RIV/00216224:14330/12:00057196 v dodávce dat RIV13-MSM-14330___/02:2 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný GA ČR v programu GA | GA201/09/1389 - Verifikace a analýza velmi velkých počítačových systémů (2009 - 2011) |
|---|---|
| Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |
| Podpora / návaznosti | Specifický výzkum na vysokých školách, poskytovatel MŠMT |