| Identifikační kód |
RIV/00216224:14330/08:00028409 |
| Název v anglickém jazyce |
On Algorithmic Analysis of Biological Networks |
| Druh |
O - Ostatní výsledky, které nelze zařadit do žádného z definovaných druhů výsledků |
| Jazyk |
eng - angličtina |
| Obor - skupina |
I - Informatika |
| Obor |
IN - Informatika |
| Rok uplatnění |
2008 |
| 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 |
1 |
| Počet domácích tvůrců |
1 |
| Výčet všech uvedených jednotlivých tvůrců |
David Šafránek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8225400) |
| Popis výsledku v anglickém jazyce |
This presentation focuses on analysis of dynamic systems describing functionality of biological networks. In particular, the biological model is considered as a system of multi-affine ODEs. The continuous state space of the dynamic system is abstracted into a finite automaton by employing the rectangular abstraction method. The analysis is performed on abstracted models. In particular, the state space reachable from given initial conditions (initial concentration of species) is automatically generated and analysed. |
| Klíčová slova oddělená středníkem |
bilogical networks; model checking; systems biology |
| Stránka www, na které se nachází výsledek |
- |
| Odkaz na údaje z výzkumu |
- |