Informace o projektu
Zastoupení ČR v European Research Consortium for Informatics and Mathematics
(ERCIM-CZ)
- Kód projektu
- LG13010
- Období řešení
- 3/2013 - 12/2015
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- INGO II (od projektů s počátkem řešení v roce 2011)
- Fakulta / Pracoviště MU
- Fakulta informatiky
Konkrétním závazkem projektu je zajištění vlivu České republiky prostřednictvím ERCIM 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í: 118
2013
-
Local Model Checking of Weighted CTL with Upper-Bound Constraints
Proceedings of International SPIN Symposium on Model Checking of Software (SPIN'13), rok: 2013
-
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model
Proceedings of Application of Concurrency to System Design, 2013, rok: 2013
-
Massively Parallel Hierarchical Scene Processing with Applications in Rendering
Computer Graphics Forum, rok: 2013, ročník: 32, vydání: 8, DOI
-
Modeling Students' Learning and Variability of Performance in Problem Solving
Educational Data Mining, rok: 2013
-
Modelling the Power Supply Network - Hardness and Approximation
Rok: 2013
-
Multi-objective Discounted Reward Verification in Graphs and MDPs
Logic for Programming, Artificial Intelligence, and Reasoning, rok: 2013
-
On Stochastic Games with Multiple Objectives
Proc. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), rok: 2013
-
On the Shannon Capacity of Triangular Graphs
Electronic Journal of Combinatorics, rok: 2013, ročník: 20, vydání: 2
-
Pedestrian Localization in Closed Environments
Environmental Software Systems. IFIP Advances in Information and Communication Technology, rok: 2013
-
Predicting Student Performance in Higher Education
24th International Workshop on Database and Expert Systems Applications - Dexa 2013, rok: 2013