Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKOMU)
- Project Identification
- MUNI/A/0758/2011
- Project Period
- 1/2012 - 12/2012
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- Category A
- MU Faculty or unit
- Faculty of Informatics
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.
Publications
Total number of publications: 24
2015
-
Very Fast Decision Rules for Classification in Data Streams
Data Mining and Knowledge Discovery, year: 2015, volume: 29, edition: 1, DOI
2014
-
Lower Bounds on the Complexity of MSO_1 Model-Checking
Journal of Computer and System Sciences, year: 2014, volume: 80, edition: 1, DOI
2013
-
Avoiding Anomalies in Data Stream Learning
Discovery Science, Proceedings of 16th International Conference DS 2013, year: 2013
-
Formal analysis of piecewise affine systems through formula-guided refinement
Automatica, year: 2013, volume: 49, edition: 1, DOI
-
Random rules from data streams
Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, year: 2013
-
Recurrent concepts in data streams classification
Knowledge and Information Systems, year: 2013, volume: 40, edition: 3, DOI
-
Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics
International Journal of Robotics Research, year: 2013, volume: 32, edition: 5, DOI
2012
-
Abstracting Path Conditions
Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, year: 2012
-
Analysis of a simple model of problem solving times
Proceeding ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems, year: 2012
-
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
Proceedings of the 51st IEEE Conference on Decision and Control, year: 2012