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

Investor logo
Project Identification
GA15-11089S
Project Period
1/2015 - 12/2017
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Informatics

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ů.

Publications

Total number of publications: 35


Previous 1 2 3 4 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info