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
2012
-
Deterministic Automata for the (F,G)-fragment of LTL
Computer Aided Verification - 24th International Conference, rok: 2012
-
Dual-Priced Modal Transition Systems with Time Durations
LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, rok: 2012
-
Encryption with weakly random keys using a quantum ciphertext
Rok: 2012, druh: Konferenční abstrakty
-
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), rok: 2012
-
Handling Time Changing Data with Adaptive Very Fast Decision Rules
Machine Learning and Knowledge Discovery in Databases ECML/PKDD, rok: 2012
-
Lower Bounds on the Complexity of MSO_1 Model-Checking
29th International Symposium on Theoretical Aspects of Computer Science STACS2012, rok: 2012
-
LTL Robot Motion Control based on Automata Learning of Environmental Dynamics
2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), rok: 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, rok: 2012
-
Rabinizer: Small Deterministic Automata for LTL(F,G)
Automated Technology for Verification and Analysis - 10th International Symposium ATVA 2012, rok: 2012
-
Sequence Chart Studio
2012 12th International Conference on Application of Concurrency to System Design, rok: 2012