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
2012
-
Deterministic Automata for the (F,G)-fragment of LTL
Computer Aided Verification - 24th International Conference, year: 2012
-
Dual-Priced Modal Transition Systems with Time Durations
LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, year: 2012
-
Encryption with weakly random keys using a quantum ciphertext
Year: 2012, type: Conference abstract
-
Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), year: 2012
-
Handling Time Changing Data with Adaptive Very Fast Decision Rules
Machine Learning and Knowledge Discovery in Databases ECML/PKDD, year: 2012
-
Lower Bounds on the Complexity of MSO_1 Model-Checking
29th International Symposium on Theoretical Aspects of Computer Science STACS2012, year: 2012
-
LTL Robot Motion Control based on Automata Learning of Environmental Dynamics
2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), year: 2012
-
LTL to Büchi Automata Translation: Fast and More Deterministic
TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, year: 2012
-
Rabinizer: Small Deterministic Automata for LTL(F,G)
Automated Technology for Verification and Analysis - 10th International Symposium ATVA 2012, year: 2012
-
Sequence Chart Studio
2012 12th International Conference on Application of Concurrency to System Design, year: 2012