Nie jesteś zalogowany | Zaloguj się
Powrót do listy grantów

Modelowanie matematyczne i analiza algorytmiczna molekularnych szlaków sygnałowych

Kierownik
prof. dr hab. Sławomir Lasota
Numer umowy
N N206 356036
Data rozpoczęcia
21 maja 2009
Data zakończenia
20 maja 2012
Finansowany przez
Ministerstwo Nauki i Szkolnictwa Wyższego
Słowa kluczowe
biologia systemów, weryfkacja modelowa, model checking, probabilistyczna weryfikacja modelowa, sieci regulacyjne, szlaki sygnałowe, metody bayesowskie, algorytmy MCMC, Taverna, obliczenia na gridach