Informace o projektu

Získávání parametrů biologických modelů pomocí techniky ověřování modelů

Logo poskytovatele
Kód projektu
GA15-11089S
Období řešení
1/2015 - 12/2017
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Fakulta informatiky

Současné problémy mezioborové disciplíny výpočetní systémové biologie vyžadují nasazení pokročilých nástrojů informatiky, zejména formálních metod. Tento fakt je motivován potřebou výpočetní analýzy těžko predikovatelných emergentních chování komplexních biologických systémů. Odhad kinetických konstant a jiných parametrů modelu tvoří nedílnou součást typického výzkumu v systémové biologii. Přímé měření parametrů pomocí tzv. mokrých experimentů je často obtížné nebo dokonce i nemožné. Navrhovaný projekt si klade za cíl vyvinout zcela nové automatizované techniky pro odhadování parametrů, které jsou založeny na vyladění modelu pro zadanou hypotézu formulovanou v temporální logice. Navrhovaný přístup staví na využití metody ověřování modelů, která je využivána pro formální verifikaci počítačových systémů. Velký důraz bude kladen i na dosažení škálovatelnosti pomocí paralelních algoritmů.

Publikace

Počet publikací: 34


Předchozí 1 2 3 4 Další