Informační systém Masarykovy univerzity 

Parameter Identification and Model Ranking of Thomas Networks

česky | in English

KLARNER, Hannes, Adam STRECK, David ŠAFRÁNEK, Juraj KOLČÁK a Heike SIEBERT. Parameter Identification and Model Ranking of Thomas Networks. In Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings. Berlin: Springer, 2012. s. 207-226, 20 s. ISBN 978-3-642-33635-5. doi:10.1007/978-3-642-33636-2_13.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Parameter Identification and Model Ranking of Thomas Networks
Název česky Identifikace parametrů a clasifikace modelů Thomasových sítí
Autoři KLARNER, Hannes (276 Německo), Adam STRECK (203 Česká republika, domácí), David ŠAFRÁNEK (203 Česká republika, garant, domácí), Juraj KOLČÁK (703 Slovensko, domácí) a Heike SIEBERT (276 Německo).
Vydání Berlin, Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings, od s. 207-226, 20 s. 2012.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Článek ve sborníku
Obor Informatika
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
WWW URL
Impakt faktor Impact factor: 0.402 v roce 2005
Kód RIV RIV/00216224:14330/12:00057781
Organizační jednotka Fakulta informatiky
ISBN 978-3-642-33635-5
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-642-33636-2_13
Klíčová slova anglicky Thomas network; parameter identification; model checking
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 07:21.
Anotace
We 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.
Návaznosti
GAP202/11/0312, projekt VaVNázev: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)
Investor: Grantová agentura ČR, Standardní projekty
VytisknoutZobrazeno: 23. 11. 2017 06:28

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 23. 11. 2017 06:28, 47. (lichý) 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