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
2016
-
Impact of Question Difficulty on Engagement and Learning
Intelligent Tutoring Systems: 13th International Conference, year: 2016
-
Learning Robust Features for Gait Recognition by Maximum Margin Criterion
Proceedings of the 23rd IEEE/IAPR International Conference on Pattern Recognition (ICPR 2016), year: 2016
-
Learning Robust Features for Gait Recognition by Maximum Margin Criterion
Proceedings of the joint IAPR International Workshops on Structural and Syntactic Pattern Recognition (SSPR 2016) and Statistical Techniques in Pattern Recognition (SPR 2016), year: 2016
-
Math Indexer and Searcher under the Hood: Fine-Tuning Query Expansion and Unification Strategies
Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies, year: 2016
-
On verifying C++ programs with probabilities
Proceedings of the 31st Annual ACM Symposium on Applied Computing, year: 2016
-
Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, year: 2016
-
Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, year: 2016
-
Texture Analysis of 3D Fluorescence Microscopy Images Using RSurf 3D Features
International Symposium on Biomedical Imaging (ISBI'16), year: 2016
-
The Crossing Number of the Cone of a Graph
Graph Drawing and Network Visualization - 24th International Symposium, GD 2016, year: 2016
-
The Million-Key Question – Investigating the Origins of RSA Public Keys
Proceedings of 25th USENIX Security Symposium, year: 2016