Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 20 (SKOMU)
- Project Identification
- MUNI/A/1076/2019
- Project Period
- 1/2020 - 12/2020
- 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. Deniz Agaoglu Cagirici
- RNDr. Jaroslav Bendík, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- Onur Cagirici, M.Sc., Ph.D.
- Jacob Cooper, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Tomáš Effenberger
- RNDr. Marek Chalupa, Ph.D.
- RNDr. Adam Janovský
- RNDr. David Klaška
- doc. RNDr. Barbora Kozlíková, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- RNDr. Samuel Pastva, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- RNDr. Filip Pokrývka
- doc. RNDr. Vojtěch Řehák, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Valdemar Švábenský, Ph.D.
- RNDr. Pavol Ulbrich
- Mgr. Jiří Vahala
- RNDr. Petr Velan, Ph.D.
- RNDr. Kristína Zákopčanová
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. Každoročně 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 vědecké přípravy k tomuto cíli. Podporovaná vědecká příprava studentů zahrnuje jejich aktivní účast na kvalitních tematicky zaměřených mezinárodních odborných školách, možnost podpory odůvodněné dlouhodobé mezinárodní mobility doktorských studentů FI a také krátkodobé zvané přednáškově-výzkumné pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publications
Total number of publications: 32
2020
-
Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), p. "26:1"-"26:19", 19 pp. 2020., year: 2020
-
MUST: Minimal Unsatisfiable Subsets Enumeration Tool
Tools and Algorithms for the Construction and Analysis of Systems, year: 2020
-
On Symbolic Execution of Decompiled Programs
Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020, year: 2020
-
Parallel parameter synthesis algorithm for hybrid CTL
Science of Computer Programming, year: 2020, volume: 185, edition: 102321, DOI
-
Replication-Guided Enumeration of Minimal Unsatisfiable Subsets
26th International Conference on Principles and Practice of Constraint Programming, year: 2020
-
Rotation Based MSS/MCS Enumeration
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2020
-
Smart Grids Data Analysis: A Systematic Mapping Study
IEEE Transactions on Industrial Informatics, year: 2020, volume: 16, edition: 6, DOI
-
The Art of Reproducible Machine Learning: A Survey of Methodology in Word Vector Experiments
Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020, year: 2020
-
Three is Better than One: Ensembling Math Information Retrieval Systems
CEUR Workshop Proceedings, year: 2020, volume: 2020, edition: 2696
-
Towards Useful Word Embeddings: Evaluation on Information Retrieval, Text Classification, and Language Modeling
Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020, year: 2020