| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/12:00057196 |
| Název v původním jazyce | On Parameter Synthesis by Parallel Model Checking |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 2 |
| Údaje z Hodnocení výsledků výzkumných organizací 2014 |
| Výsledek byl hodnocen v Pilíři I |
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
| Zařazení výsledku v hodnocení | Jimp - Článek v impaktovaném časopise evidovaném ve Web of Science |
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
| Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají |
| Bodové ohodnocení | 34,838 |
| Faktor korekce | 90,8 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 31,640 |
| Rozdělení výsledku mezi předkladatele |
| Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
|---|
| Masarykova univerzita / Fakulta informatiky | ano | 100,0 % | 34,838 | 31,640 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 7 |
| Počet domácích tvůrců | 7 |
| Tvůrce | Barnat Jiří (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 5692792) |
| Tvůrce | Brim Luboš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 6500773) |
| Tvůrce | Krejčí Adam (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 9913858) |
| Tvůrce | Streck Adam (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 6717020) |
| Tvůrce | Šafránek David (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 8225400) |
| Tvůrce | Vejnár Martin (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 5013135) |
| Tvůrce | Vejpustek Tomáš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 3083705) |
| Údaje blíže specifikující výsledek |
| Popis v původní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 | biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology |
| Kód UT ISI | 000301293900006 |
| Název periodka | IEEE/ACM Transactions on Computational Biology and Bioinformatics |
| Rozsah stran | 693-705 |
| 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 |
| Adresa www stránky s výsledkem | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639 |
| DOI výsledku | 10.1109/TCBB.2011.110 |
| Údaje o tomto záznamu o výsledku |
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2013 |
| Systémové označení dodávky dat | RIV13-MSM-14330___/02:2 |
| Specifikace | RIV/00216224:14330/12:00057196!RIV13-MSM-14330___ |
| Kontrolní kód | [119768DA589C] |
| Další výskyty tohoto výsledku od stejného předkladatele |
| Dodáno GA ČR v roce 2013 | Záznam s identifikačním kódem RIV/00216224:14330/12:00057196 v dodávce dat RIV13-GA0-14330___/02:2 |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| Projekt | GA201/09/1389 - Verifikace a analýza velmi velkých počítačových systémů (2009-2011, GA0/GA) |
| Výzkumný záměr | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005-2011, MSM) |
| S - Specifický výzkum na vysokých školách |