RIV/00216224:14330/12:00057781 - Parameter Identification and Model Ranking of Thomas Networks (2012)

Údaje o výsledku
Identifikační kódRIV/00216224:14330/12:00057781
Název v původním jazyceParameter Identification and Model Ranking of Thomas Networks
DruhD - Článek ve sborníku
Jazykeng - angličtina
OborIN - 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ýsledku2
Údaje z Hodnocení výsledků výzkumných organizací 2014
Výsledek byl hodnocen v Pilíři I
Rozsah vyřazení výsledkuTento výskyt výsledku není vyřazen
Zařazení výsledku v hodnoceníD - Článek ve sborníku
Skupina oboru v hodnocení04 - Technické a informatické vědy
Konkrétní způsob(y) hodnocení výsledkuVýsledek hodnocený již v předchozím hodnocení, body se přebírají
Bodové ohodnocení44,376
Faktor korekce77,6 %
Body (upravené podle přílohy č. 8 Metodiky)34,420
Rozdělení výsledku mezi předkladatele
OrganizaceVýzkumná organizace?PodílBodyBody (upravené podle přílohy č. 8 Metodiky)
Masarykova univerzita / Fakulta informatikyano75,0 %33,28225,815
Tvůrci výsledku
Počet tvůrců celkem5
Počet domácích tvůrců3
TvůrceKlarner Hannes (státní příslušnost: DE - Spolková republika Německo)
TvůrceStreck 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ůrceKolčák Juraj (státní příslušnost: SK - Slovenská republika; A - domácí tvůrce; vedidk: 1045709)
TvůrceSiebert Heike (státní příslušnost: DE - Spolková republika Německo)
Údaje blíže specifikující výsledek
Popis v původní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á slovaThomas network; parameter identification; model checking
Název sborníkuComputational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
Rozsah stran207-226
Forma vydáníP - Tištěná verze „print“
ISSN0302-9743
ISBN9783642336355
Počet stran výsledku20
Název nakladateleSpringer-Verlag
Místo vydáníBerlin
Místo konání akceLondon
Rok konání akce2012
Typ akce podle státní příslušnoti účastníkůWRD - Světová
Adresa www stránky s výsledkemhttp://link.springer.com/chapter/10.1007/978-3-642-33636-2_13
DOI výsledku10.1007/978-3-642-33636-2_13
Údaje o tomto záznamu o výsledku
PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2013
Systémové označení dodávky datRIV13-GA0-14330___/02:2
SpecifikaceRIV/00216224:14330/12:00057781!RIV13-GA0-14330___
Kontrolní kód[7EB4236EA5AF]
Další výskyty tohoto výsledku od stejného předkladatele
Dodáno MŠMT v roce 2013Záznam s identifikačním kódem RIV/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
ProjektGAP202/11/0312 - Vývoj a verifikace softwarových komponent v zapouzdřených systémech (2011-2013, GA0/GA)
S - Specifický výzkum na vysokých školách