Nie jesteś zalogowany | Zaloguj się

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

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