Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKOMU)
- Project Identification
- MUNI/A/0765/2013
- Project Period
- 1/2014 - 12/2014
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- Category A
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Petr Hliněný, Ph.D.
- RNDr. Michal Balážia, Ph.D.
- Mgr. Petr Bauch, Ph.D.
- RNDr. František Blahoudek, Ph.D.
- doc. RNDr. Jan Bouda, Ph.D.
- doc. RNDr. Tomáš Brázdil, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Jakub Gajarský, Ph.D.
- RNDr. Stanislav Chren, Ph.D.
- RNDr. David Klaška
- RNDr. Dalibor Klusáček, Ph.D.
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- prof. RNDr. Mojmír Křetínský, CSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Ing. Bc. Tomáš Majtner, Ph.D.
- RNDr. Zuzana Nevěřilová, Ph.D.
- doc. RNDr. Petr Novotný, Ph.D.
- prof. PhDr. Karel Pala, CSc.
- RNDr. Matej Pivoluska, Ph.D.
- doc. RNDr. Lubomír Popelínský, Ph.D.
- doc. Mgr. Hana Rudová, Ph.D.
- Mgr. Jiří Slabý, Ph.D.
- prof. Ing. Jiří Sochor, CSc.
- RNDr. Roman Stoklasa, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Vít Suchomel, Ph.D.
- doc. RNDr. David Svoboda, Ph.D.
- RNDr. Šimon Tóth
- RNDr. Pavel Troubil, Ph.D.
- Mgr. Marek Trtík, Ph.D.
- RNDr. Marek Vinkler, Ph.D.
- prof. Ing. Pavel Zezula, CSc.
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 vysoce š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é přednáškově-výzkumné pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publications
Total number of publications: 29
2014
-
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, year: 2014
-
Register Efficient Memory Allocator for GPUs
High-Performance Graphics 2014, year: 2014
-
RSurf - the Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEp-2 Cells
22nd International Conference on Pattern Recognition, year: 2014
-
Symbiotic 2: More Precise Slicing (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, year: 2014
-
Symbolic Memory with Pointers
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, year: 2014
-
Temporal Verification of Simulink Diagrams
Proceedings of HASE 2014, year: 2014
-
Verification of Markov Decision Processes using Learning Algorithms
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, year: 2014
-
Yamraj: Binary-class and Multi-class based Textual Entailment System for Japanese (JA) and Chinese Simplified (CS)
Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, year: 2014
-
Zero-reachability in probabilistic multi-counter automata
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2014