Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKOMU)
- Project Identification
- MUNI/A/1206/2014
- Project Period
- 1/2015 - 12/2015
- 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.
- Mgr. Petr Bauch, Ph.D.
- RNDr. Peter Bezděk, Ph.D.
- RNDr. František Blahoudek, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Jakub Gajarský, Ph.D.
- doc. RNDr. Aleš Horák, Ph.D.
- RNDr. Stanislav Chren, Ph.D.
- Mgr. Ľuboš Korenčiak, Ph.D.
- RNDr. Štěpán Kozák
- prof. RNDr. Michal Kozubek, 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.
- doc. RNDr. Petr Matula, Ph.D.
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- prof. RNDr. Luděk Matyska, CSc.
- Mgr. Juraj Nižnan
- doc. RNDr. Petr Novotný, Ph.D.
- prof. PhDr. Karel Pala, CSc.
- RNDr. Jan Papoušek, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- RNDr. Matej Pivoluska, Ph.D.
- RNDr. Tomáš Raček, Ph.D.
- RNDr. Jan Rygl
- prof. Ing. Jiří Sochor, CSc.
- RNDr. Roman Stoklasa, Ph.D.
- RNDr. Šimon Suchomel, Ph.D.
- RNDr. Mária Svoreňová, Ph.D.
- RNDr. Šimon Tóth
- RNDr. Pavel Troubil, Ph.D.
- RNDr. Karel Vaculí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: 34
2015
-
Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology
Year: 2015, type: Conference abstract
-
Combining Text and Formula Queries in Math Information Retrieval: Evaluation of Query Results Merging Strategies
NWSearch '15: Proceedings of the First International Workshop on Novel Web Search Interfaces and Systems, year: 2015
-
Dynamics of functional brain networks: modularity and switching behavior
Year: 2015, type: Appeared in Conference without Proceedings
-
Enhancing Mathematics Information Retrieval
SIGIR '15: Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval, year: 2015
-
FO Model Checking on Posets of Bounded Width
56th Annual Symposium on Foundations of Computer Science, FOCS 2015, year: 2015
-
Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids
Proceedings of the 31st International Conference on Logic Programming (Technical Communications), year: 2015
-
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, year: 2015
-
Impact of Adaptive Educational System Behaviour on Student Motivation
Artificial Intelligence in Education, year: 2015
-
Improving Kinect-Skeleton Estimation
Advanced Concepts for Intelligent Vision Systems (ACIVS 2015), LNCS 9386, year: 2015
-
Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
Logical Methods in Computer Science, year: 2015, volume: 11, edition: 1, DOI