Project information
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV.
- Project Identification
- MUNI/A/1159/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. Mojmír Křetínský, CSc.
- 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. Luboš Brim, CSc.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Martin Demko, Ph.D.
- RNDr. Jan Fousek, Ph.D.
- RNDr. Jakub Gajarský, Ph.D.
- prof. RNDr. Jozef Gruska, DrSc.
- doc. RNDr. Eva Hladká, Ph.D.
- prof. RNDr. Petr Hliněný, Ph.D.
- Ing. Jana Hozzová, Ph.D.
- RNDr. Martin Jonáš, Ph.D.
- Mgr. Matej Klement
- Mgr. Ľuboš Korenčiak, Ph.D.
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Mojmír Křetínský, CSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- Mgr. Slávek Licehammer
- RNDr. Ing. Bc. Tomáš Majtner, Ph.D.
- Mgr. Karolína Malá
- doc. RNDr. Pavel Matula, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- prof. RNDr. Luděk Matyska, CSc.
- RNDr. Ondrej Moriš
- Mgr. Juraj Nižnan
- doc. RNDr. Petr Novotný, Ph.D.
- RNDr. Jan Papoušek, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- RNDr. Matej Pivoluska, Ph.D.
- RNDr. Petr Ročkai, Ph.D.
- doc. Mgr. Hana Rudová, Ph.D.
- RNDr. Vít Rusňák, Ph.D.
- RNDr. Jiří Řihák, Ph.D.
- RNDr. David Sehnal, Ph.D.
- Mgr. Petr Sloup
- RNDr. Roman Stoklasa, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Mária Svoreňová, Ph.D.
- Mgr. Karel Štěpka, Ph.D.
- RNDr. Pavel Troubil, Ph.D.
- Ing. Eva Výtvarová
Projekt je zaměřen na podporu výzkumné a vývojové činnosti studentů programů doktorského a magisterského studia, kteří jsou vedeni převážně školiteli, kteří participovali na stejnojmenných projektech specifického výzkumu řešených na FI MU v letech 2010 až 2014. Problematika navrhovaného projektu na uvedené a úspěšně řešené projekty navazuje a dále ji rozšiřuje o perspektivní a originální směry výzkumu tak, aby došlo k dalšímu rozvoji VaV činnosti zúčastněných studentů a dle zaměření i k synergii s výzkumem v budovanému centru CERIT. Jedná se o výzkum a vývoj v oblastech použití formálních metod při modelování, analýze a verifikaci systémů: klasických a zejména stochastických systémů i nekonečně stavových, komplexních a softwarově intenzivních systémů, robotických systémů, komunikačních protokolů a dalších, přírodně motivovaných systémů, zejména biologických a fyzikálních (kvantové výpočty a analýzy jejich vlastností). Další související oblastí je analýza medicínského obrazu, včetně nově vyvíjených metod analýzy s pomocí HW a/nebo SW prostředků. Tyto oblasti jsou na aplikační úrovni často provázány na využívání rozsáhlých výpočetních systémů (například typu cloud atp.) a moderních paralelních architektur, např. typu CUDA, GPGPU (General Purpose Graphic Processing Unit) a many-core GPU. Další popis projektu je strukturován dle jednotlivých oblastí tak, jak byly právě uvedeny a po obsahové stránce jsou specifikovány níže v části "Odborná charakteristika projektu". V oblastech uvedených pod označením A až K pracují tito školitelé - akademičtí zaměstnanci FI MU: A: doc. RNDr. Jiří Barnat, PhD.; B: prof. RNDr. Luboš Brim, CSc.; C: prof. RNDr. Ivana Černá, CSc.; D: prof. RNDr. Jozef Gruska, DrSc;. E: prof. RNDr. Petr Hliněný, Ph.D.; F: prof. RNDr. Michal Kozubek, PhD. doc. RNDr. Pavel Matula, PhD, doc. RNDr. Petr Matula, PhD; G: prof. RNDr. Mojmír Křetínský, CSc. doc. RNDr. Jan Strejček, PhD; H: prof. RNDr. Antonín Kučera, PhD.; I: prof. RNDr. Luděk Matyska, CSc.doc. RNDr. Eva Hladká, PhD; J: doc. Mgr. Radek Pelánek, PhD.; K: doc. Mgr. Hana Rudová, Ph.D.
Publications
Total number of publications: 51
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
-
High-quality and universal empirical atomic charges for chemoinformatics applications
Journal of Cheminformatics, year: 2015, volume: 7, edition: DEC, DOI
-
Impact of Adaptive Educational System Behaviour on Student Motivation
Artificial Intelligence in Education, year: 2015
-
Inter-areal frontal lobe communication during rest: A depth eeg connectivity study
Year: 2015, type: Conference abstract
-
Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
Logical Methods in Computer Science, year: 2015, volume: 11, edition: 1, DOI
-
Language Emptiness of Continuous-Time Parametric Timed Automata
Automata, Languages, and Programming, year: 2015
-
Long-Run Average Behaviour of Probabilistic Vector Addition Systems
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015., year: 2015
-
MOLE 2.5: Improved Tool for Analysis of Ligand-Accessible Channels
Year: 2015, type: Appeared in Conference without Proceedings
-
Multicast Routing for High-Quality Multimedia Environments: Deployment and New Problems
INTELLI 2015, The Fourth International Conference on Intelligent Systems and Applications, year: 2015