Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 21 (SKOMU)
- Kód projektu
- MUNI/A/1549/2020
- Období řešení
- 1/2021 - 12/2021
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Specifický výzkum - podpora studentských projektů
- Fakulta / Pracoviště MU
- Fakulta informatiky
Každoročně někteří z nejlepších doktorských a také i magisterských studentů Fakulty informatiky dosahují přijetí svých původních vědeckých příspěvků na některé z prestižních výběrových mezinárodních konferencí. Tyto vítané úspěchy jsou na jednu stranu dokladem kvalitní vědecké výchovy na naší fakultě, ale také na druhou stranu kladou velké nároky na finanční zajištění vyžadované účasti autorů na zmíněných konferencích. Každoročně předkládaný projekt je zaměřen právě na podporu aktivní účasti doktorských a magisterských studentů FI na takových vysoce špičkových informatických konferencích a také na podporu jejich vědecké přípravy k tomuto cíli. Podporovaná vědecká příprava studentů zahrnuje jejich aktivní účast na kvalitních tematicky zaměřených mezinárodních odborných školách, možnost podpory odůvodněné dlouhodobé mezinárodní mobility doktorských studentů FI a také krátkodobé zvané přednáškově-výzkumné pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publikace
Počet publikací: 10
2021
-
Better Model, Worse Predictions: The Dangers in Student Model Comparisons
International Conference on Artificial Intelligence in Education, rok: 2021
-
Computing Bottom SCCs Symbolically Using Transition Guided Reduction
Computer Aided Verification - 33rd International Conference, CAV 2021, rok: 2021
-
Deciding Polynomial Termination Complexity for VASS Programs
32nd International Conference on Concurrency Theory (CONCUR 2021), rok: 2021
-
Challenges Faced by Teaching Assistants in Computer Science Education Across Europe
Proceedings of the 2021 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’21), rok: 2021
-
Interpretable Clustering of Students’ Solutions in Introductory Programming
Artificial Intelligence in Education. AIED 2021. Lecture Notes in Computer Science, vol 12748, rok: 2021
-
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), rok: 2021
-
Symbolic Coloured SCC Decomposition
Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, rok: 2021
-
The Satisfiability Problem for a Quantitative Fragment of PCTL
Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021, rok: 2021
-
Validity and Reliability of Student Models for Problem-Solving Activities
Proceedings of the 11th International Conference on Learning Analytics and Knowledge, rok: 2021
-
Vivern – A Virtual Environment for Multiscale Visualization and Modeling of DNA Nanostructures
IEEE Transactions on Visualization and Computer Graphics, rok: 2021, DOI