Organizace U  S Kód
hodnocení
Skupina
oborů
Body
výsledku
Body
upravené
Podíl VOBody VOBody VO
upravené
H14
Masarykova univerzita / Fakulta informatiky1213 D 444.37634.4200.7533.28225.815
Výsledky hodnocení dříve prezentovala speciální podoba stránek výskytů výsledků doplněná informacemi o hodnocení daného výskytu a výsledku. To zde supluji doplněním kopií stránek z rvvi.cz/riv z 18.12.2017 o relevantní údaje z dat H16. Najetí myší na kód či skupinu zobrazí vysvětlující text (u některých vyřazených není k dispozici). Čísla jsou oproti zdroji zaokrouhlena na 3 desetinná místa.

Parameter Identification and Model Ranking of Thomas Networks (2012)výskyt výsledku

Identifikační kódRIV/00216224:14330/12:00057781
Název v anglickém jazyceParameter Identification and Model Ranking of Thomas Networks
DruhD - Článek ve sborníku
Jazykeng - angličtina
Obor - skupinaI - Informatika
OborIN - 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ýsledku2
Počet tvůrců celkem5
Počet domácích tvůrců3
Výčet všech uvedených jednotlivých tvůrcůHannes Klarner (státní příslušnost: DE - Spolková republika Německo)
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)
Juraj Kolčák (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 1045709)
Heike Siebert (státní příslušnost: DE - Spolková republika Německo)
Popis výsledku v anglickém jazyceWe propose a new methodology for identification and analysis of discrete gene networks as defined by René Thomas, supported by a tool chain: (i) given a Thomas network with partially known kinetic parameters, we reduce the number of acceptable parametrizations to those that fit time-series measurements and reflect other known constraints by an improved technique of coloured LTL model checking performing efficiently on Thomas networks in distributed environment; (ii) we introduce classification of acceptable parametrizations to identify most optimal ones; (iii) we propose two ways of visualising parametrizations dynamics wrt time-series data. Finally, computational efficiency is evaluated and the methodology is validated on bacteriophage lambda case study.
Klíčová slova oddělená středníkemThomas network; parameter identification; model checking
Stránka www, na které se nachází výsledekhttp://link.springer.com/chapter/10.1007/978-3-642-33636-2_13
DOI výsledku10.1007/978-3-642-33636-2_13

Údaje o výsledku v závislosti na druhu výsledku

Název sborníkuComputational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
ISBN9783642336355
ISSN0302-9743
Počet stran výsledku20
Strana od-do207-226
Název nakladateleSpringer
Místo vydáníBerlin
Místo konání akceLondon
Datum konání akce2012
Typ akce podle státní příslušnosti účastníkůWRD - Celosvětová
Kód UT WoS článku podle Web of Science-

Ostatní informace o výsledku

PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2013
SpecifikaceRIV/00216224:14330/12:00057781!RIV13-GA0-14330___
Datum poslední aktualizace výsledku04.09.2013
Kontrolní číslo43536773

Informace o dalších výskytech výsledku dodaného stejným předkladatelem

Dodáno MŠMT v roce 2013RIV/00216224:14330/12:00057781 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 GAGAP202/11/0312 - Vývoj a verifikace softwarových komponent v zapouzdřených systémech (2011 - 2013)
Podpora / návaznostiSpecifický výzkum na vysokých školách, poskytovatel MŠMT