Project information
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V.
- Project Identification
- MUNI/A/0945/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. Mojmír Křetínský, CSc.
- prof. RNDr. Jiří Barnat, Ph.D.
- RNDr. Peter Bezděk, Ph.D.
- RNDr. František Blahoudek, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- RNDr. Hana Bydžovská, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Martin Demko, Ph.D.
- Mgr. Marek Derňár
- 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.
- doc. RNDr. Aleš Horák, Ph.D.
- Mgr. Vladimír Horský, Ph.D.
- Ing. Jana Hozzová, Ph.D.
- RNDr. Marek Chalupa, Ph.D.
- Mgr. Jan Ježek
- RNDr. Martin Jonáš, Ph.D.
- RNDr. David Klaška
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- Mgr. Slávek Licehammer
- doc. RNDr. Pavel Matula, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- prof. RNDr. Luděk Matyska, CSc.
- RNDr. Radim Ošťádal, Ph.D.
- prof. PhDr. Karel Pala, CSc.
- RNDr. Jan Papoušek, Ph.D.
- RNDr. BcA. Tereza Pařilová, DiS., MBA, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- doc. RNDr. Lubomír Popelínský, Ph.D.
- RNDr. Tomáš Raček, Ph.D.
- Mgr. Jan Rosecký
- RNDr. Lukáš Ručka
- Ing. Mgr. Vojtěch Rujbr
- RNDr. Jiří Řihák, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Vít Suchomel, Ph.D.
- Mgr. Ján Švec
- Ing. Eva Výtvarová
- Mgr. Tomáš Zábojník
Projekt je zaměřen na podporu výzkumné a vývojové (VaV) činnosti studentů programů doktorského a magisterského studia na FI MU, kteří jsou vedeni převážně školiteli, kteří participovali na stejnojmenných projektech specifického výzkumu řešených v letech 2010 až 2015. Zaměření 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 centru CERIT. Konkrétně se jedná 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ů. Výzkum v těchto oblastech je na aplikační úrovni často provázán na využívání rozsáhlých výpočetních systémů (například typu cloud atp.) a moderních paralelních architektur, zejména 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ž M 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ý, PhD.; 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., .doc. RNDr. Tomáš Brázdil, 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.; L:doc.PhDr. Karel Pala, CSc., doc. RNDr. Aleš Horák, Ph.D., M: doc. RNDr. Luboš Popelínský, CSc.
Publications
Total number of publications: 77
2016
-
A Model Checking Approach to Discrete Bifurcation Analysis
Formal Methods. FM 2016, year: 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 RMSD Calculation for Molecular Metadynamics
Proceedings of the 2016 European Simulation and Modelling Conference, year: 2016
-
Adaptive Geography Practice Data Set
Journal of Learning Analytics, year: 2016, volume: 3, edition: 2
-
Anomaly detection for aircraft engine fault prediction
Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ, year: 2016
-
AQA: Automatic Question Answering System for Czech
Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings, year: 2016
-
Automatic Detection and Segmentation of Exosomes in Transmission Electron Microscopy
Computer Vision -- ECCV 2016 Workshops: Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I, year: 2016
-
Combining network and partial least square analyses: epilepsy case study
Year: 2016, type: Appeared in Conference without Proceedings
-
Complementing Semi-deterministic Büchi Automata
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, year: 2016
-
Course Enrollment Recommender System
Proceedings of the 9th International Conference on Educational Data Mining, year: 2016