Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 19
(SKOMU)
- Project Identification
- MUNI/A/1040/2018
- Project Period
- 1/2019 - 12/2019
- 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.
- prof. RNDr. Luboš Brim, CSc.
- RNDr. Jaroslav Čechák
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Zuzana Ferková, Ph.D.
- RNDr. Katarína Furmanová, Ph.D.
- RNDr. Stanislav Chren, Ph.D.
- RNDr. Martin Jonáš, Ph.D.
- doc. RNDr. Barbora Kozlíková, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Filip Lux
- Mgr. Juraj Major
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- RNDr. Jan Mrázek
- Mgr. Stanislav Murín
- RNDr. Tereza Nečasová
- RNDr. Matúš Nemec, Ph.D.
- RNDr. Samuel Pastva, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- doc. RNDr. Vojtěch Řehák, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Filip Škola, Ph.D.
- RNDr. Valdemar Švábenský, Ph.D.
- RNDr. Martin Ukrop, Ph.D.
- RNDr. Bc. Dominik Velan, Ph.D.
- RNDr. David Wiesner, Ph.D.
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 částečné 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: 24
2020
-
Multiscale Visual Drilldown for the Analysis of Large Ensembles of Multi-Body Protein Complexes
IEEE Transactions on Visualization and Computer Graphics, year: 2020, volume: 26, edition: 1, DOI
2019
-
Deciding Fast Termination for Probabilistic VASS with Nondeterminism
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings, year: 2019
-
DIC Image Segmentation of Dense Cell Populations by Combining Deep Learning and Watershed
IEEE 16th International Symposium on Biomedical Imaging, year: 2019
-
Digital Bifurcation Analysis of TCP Dynamics
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, year: 2019
-
Evaluation of Program Slicing in Software Verification
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, year: 2019
-
Examining And Enhancing The Illusory Touch Perception In Virtual Reality Using Non-Invasive Brain Stimulation
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, Paper No. 247, year: 2019
-
Extending DIVINE with Symbolic Verification Using SMT
Tools and Algorithms for the Construction and Analysis of Systems, year: 2019
-
FO model checking on geometric graphs
Computational geometry, year: 2019, volume: 78, edition: 1, DOI
-
Industrial Involvement In Information System Education: Lessons Learned from a Software Quality Course
Proceedings of 28th International Conference on Information Systems Development, year: 2019
-
Item Ordering Biases in Educational Data
International Conference on Artificial Intelligence in Education, year: 2019