Identifikační kód | RIV/00216224:14330/12:00057781 |
Název v anglickém jazyce | Parameter Identification and Model Ranking of Thomas Networks |
Druh | D - Článek ve sborníku |
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 | 5 |
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 jazyce | 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. |
Klíčová slova oddělená středníkem | Thomas network; parameter identification; model checking |
Stránka www, na které se nachází výsledek | http://link.springer.com/chapter/10.1007/978-3-642-33636-2_13 |
DOI výsledku | 10.1007/978-3-642-33636-2_13 |