Informace o projektu
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKOMU)
- Kód projektu
- MUNI/A/0758/2011
- Období řešení
- 1/2012 - 12/2012
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Grantová agentura MU
- DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
- 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. Předkládaný projekt je zaměřen právě na podporu aktivní účasti doktorských a magisterských studentů FI na takových špičkových informatických konferencích a také na podporu jejich aktivní účasti na kvalitních tematicky zaměřených mezinárodních odborných školách, které přispívají k jejich dalšímu vědeckému růstu. V neposlední řadě náš projekt předpokládá i krátkodobé zvané pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publikace
Počet publikací: 24
2015
-
Very Fast Decision Rules for Classification in Data Streams
Data Mining and Knowledge Discovery, rok: 2015, ročník: 29, vydání: 1, DOI
2014
-
Lower Bounds on the Complexity of MSO_1 Model-Checking
Journal of Computer and System Sciences, rok: 2014, ročník: 80, vydání: 1, DOI
2013
-
Avoiding Anomalies in Data Stream Learning
Discovery Science, Proceedings of 16th International Conference DS 2013, rok: 2013
-
Formal analysis of piecewise affine systems through formula-guided refinement
Automatica, rok: 2013, ročník: 49, vydání: 1, DOI
-
Random rules from data streams
Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, rok: 2013
-
Recurrent concepts in data streams classification
Knowledge and Information Systems, rok: 2013, ročník: 40, vydání: 3, DOI
-
Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics
International Journal of Robotics Research, rok: 2013, ročník: 32, vydání: 5, DOI
2012
-
Abstracting Path Conditions
Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, rok: 2012
-
Analysis of a simple model of problem solving times
Proceeding ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems, rok: 2012
-
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
Proceedings of the 51st IEEE Conference on Decision and Control, rok: 2012