Informace o projektu
Účast ČR v European Research Consortium for Informatics and Mathematics
(ERCIM)
- Kód projektu
- LA09016
- Období řešení
- 3/2009 - 12/2012
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- INGO (jen po projekty s počátkem řešení v roce 2010)
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- ERCIM, CRCIM, matematika, informatika
Zajištění vlivu České republiky na směrování aktivit evropského výzkumu v oblasti informačních a komunikačních technologií a aplikované matematiky.
Publikace
Počet publikací: 196
2012
-
Pareto Curves for Probabilistic Model Checking
Automated Technology for Verification and Analysis, rok: 2012
-
Playing Stochastic Games Precisely
CONCUR 2012 - Concurrency Theory - 23rd International Conference, rok: 2012
-
Predicting drop-out from social behaviour of students
Proceedings of the 5th International Conference on Educational Data Mining - EDM 2012, rok: 2012
-
Reachability analysis for timed automata using max-plus algebra
Journal of Logic and Algebraic Programming, rok: 2012, ročník: 81, vydání: 3, DOI
-
Reliability analysis in component-based development via probabilistic model checking
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), rok: 2012
-
Rozhraní pro externí cloudové služby
Rok: 2012
-
Rule-Based Parsing of Morphologically Rich Languages
Rok: 2012, druh: Přehledové a vzdělávací texty
-
Santa's Crypto Get-Together 2012
Rok: 2012, druh: Editorství tématického sborníku
-
Segmentation from 97% to 100%: Is It Time for Some Linguistics?
Sixth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2012, rok: 2012
-
Sequence Chart Studio: user-friendly drawing and verification tool for MSC
Rok: 2012