Informace o projektu
Extending the tool PRISM with methods for effective analysis of stochastic biochemical systems
| Kód projektu | MUNI/33/03/2014 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.04.2014–01.04.2015 |
| Stav | ukončený |
| Investor | Masarykova univerzita |
| Program | Program děkana FI |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
Cílem projektu je rozšíření open-source nástroje PRISM o nové specializované metody pro formální analýzu stochastických biochemických systémů. Složitost těchto systémů, která je daná jejich vysokou dimensionalitou a neurčitostí kvantitativních parametrů, způsobuje, že jejich analýza je časově náročná. V rámci projektu bude nástroj PRISM rozšířen o možnosti paralelizace klíčových numerických metod a o nové metody pro efektivní exploraci a identifikaci parametrů.