Project information
Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice
(CyanoTeam)
- Project Identification
- CZ.1.07/2.3.00/20.0256 (kod CEP: EE2.3.20.0256)
- Project Period
- 4/2012 - 3/2015
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- Operational Programme Education for Competitiveness
- 2.3 Human resources in research and development
- MU Faculty or unit
- Faculty of Informatics
- Cooperating Organization
-
Institute of Systems Biology and Ecology of the ASCR, v. v. i.
Cílem projektu je posílit konkurenceschopnost českých vědců a doktorandů v oblasti bioinformatiky, bioenergetiky a počítačové vědy.
Cíle bude dosaženo vytvořením mezioborového vědeckého týmu CZ CyanoTeam vedeného
zahraničními experty. Druhým nástrojem bude konzorcium Global CyanoNetwork sdružené k zajištění spolupráce se zahraničními partnery.
Významným cílem bude i povýšení mezinárodního postavení zúčastněných vědeckých
pracovníků a doktorandů. Toho bude dosaženo spoluprací s hostujícími experty v CZ CyanoTeamu tak i zapojením v mezinárodních výzkumných programech v Global
CyanoNetworku. K posílení lidských zdrojů budou pořádány každoroční letní školy a semináře.
FI MU jako partner projektu s finanční podporou se bude účastnit vědeckého výzkumu (vývoj nástrojů pro analýzu a integraci vytvářených modelů). FI MU bude odpovědná za realizaci aktivity přesunu nových znalostí do výuky v rámci oboru bioinformatika na FI.
Publications
Total number of publications: 16
2013
-
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, year: 2013
-
Model Checking of Biological Systems
Formal Methods for Dynamical Systems, year: 2013
-
Qualitative modelling and analysis of Photosystem II
CEUR Workshop Proceedings, year: 2013
-
Robustness Analysis for Value-Freezing Signal Temporal Logic
Proceedings HSB 2013, year: 2013
-
Robustness Analysis of Stochastic Systems
Electronic Proceedings in Theoretical Computer Science, Volume 116, year: 2013
2012
-
On Expressing and Monitoring Oscillatory Dynamics
Electronic Proceedings in Theoretical Computer Science, year: 2012, volume: 2012, edition: 92, DOI