Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKOMU)
- Project Identification
- MUNI/A/0935/2015
- Project Period
- 1/2016 - 12/2016
- 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.
- prof. RNDr. Jiří Barnat, Ph.D.
- RNDr. Peter Bezděk, Ph.D.
- RNDr. František Blahoudek, Ph.D.
- RNDr. Jan Byška, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- Mgr. Marek Derňár
- RNDr. Jakub Gajarský, Ph.D.
- RNDr. Jan Géryk, Ph.D.
- doc. RNDr. Eva Hladká, Ph.D.
- Mgr. Miroslava Jarešová
- Mgr. Ľuboš Korenčiak, Ph.D.
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Ing. Bc. Tomáš Majtner, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- prof. RNDr. Luděk Matyska, CSc.
- RNDr. Jan Papoušek, Ph.D.
- RNDr. BcA. Tereza Pařilová, DiS., MBA, Ph.D.
- RNDr. Samuel Pastva, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- prof. Ing. Jiří Sochor, CSc.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Mária Svoreňová, 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: 23
2017
-
An Evaluation Framework and Database for MoCap-Based Gait Recognition Methods
Proceedings of the 1st IAPR Workshop on Reproducible Research in Pattern Recognition (RRPR 2016), year: 2017
2016
-
A New Perspective on FO Model Checking of Dense Graph Classes
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016, year: 2016
-
Accelerated Visualization of Transparent Molecular Surfaces in Molecular Dynamics
IEEE Pacific Visualization Symposium 2016, year: 2016
-
Complementing Semi-deterministic Büchi Automata
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, year: 2016
-
Crossing Number is Hard for Kernelization
32nd International Symposium on Computational Geometry (SoCG 2016), year: 2016
-
DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs
Advances in Intelligent Data Analysis XV - 15th International Symposium, IDA 2016, year: 2016
-
DIVINE: Explicit-State LTL Model Checker
Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, year: 2016
-
Evaluation of an Adaptive Practice System for Learning Geography Facts
Proceedings of the Sixth International Conference on Learning Analytics & Knowledge, year: 2016
-
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC
Integrated Formal Methods, year: 2016
-
Impact of Data Collection on Interpretation and Evaluation of Student Models
Proceedings of the Sixth International Conference on Learning Analytics & Knowledge, year: 2016