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
2016
-
Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories
Software Quality Journal, year: 2016, volume: 24, edition: 1, DOI
-
Local Load Optimization in Smart Grids with Bayesian Networks
The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), year: 2016
2014
-
Annotation Game for Textual Entailment Evaluation
15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I, year: 2014
-
Bounding Volume Hierarchies versus Kd-trees on Contemporary Many-Core Architectures
Proceedings of the 30th Spring Conference on Computer Graphics, year: 2014
-
Convergence of Parareal Algorithm Applied on Molecular Dynamics Simulations
MEMICS 2014, year: 2014
-
Failure Data Collection for Reliability Prediction Models: A Survey
Proceedings of the 10th International ACM Sigsoft Conference on Quality of Software Architectures (QoSA'14), year: 2014
-
Faster Existential FO Model Checking on Posets
ISAAC 2014, LNCS 8889, year: 2014
-
Finding Terms in Corpora for Many Languages with the Sketch Engine
Proceedings of the Demonstrations at the 14th Conferencethe European Chapter of the Association for Computational Linguistics, year: 2014
-
From LTL to Deterministic Automata: A Safraless Compositional Approach
Computer Aided Verification - 26th International Conference, CAV 2014, year: 2014
-
Graph theory in brain connectivity: still not clear methodology
Year: 2014, type: Appeared in Conference without Proceedings