Informace o projektu
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.
(SV-FI MAV XI.)
- Kód projektu
- MUNI/A/1145/2021
- Období řešení
- 1/2022 - 12/2022
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Specifický výzkum - podpora studentských projektů
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- prof. RNDr. Mojmír Křetínský, CSc.
- RNDr. Deniz Agaoglu Cagirici, Ph.D.
- RNDr. Michal Ajdarów
- Cem Emre Akbas
- prof. RNDr. Jiří Barnat, Ph.D.
- Ing. Dávid Bolvanský
- prof. RNDr. Luboš Brim, CSc.
- Jacob Cooper, Ph.D.
- doc. RNDr. Eva Hladká, Ph.D.
- prof. RNDr. Petr Hliněný, Ph.D.
- RNDr. Miroslav Chodil
- RNDr. David Klaška
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Henrich Lauko, Ph.D.
- RNDr. Filip Lux
- Mgr. Juraj Major
- doc. RNDr. Petr Matula, Ph.D.
- prof. RNDr. Luděk Matyska, CSc.
- Aleksandra Melnikova
- Mgr. Radoslav Mráz
- RNDr. Jan Mrázek
- RNDr. Petra Němcová
- Mgr. Jiří Novotný
- doc. Mgr. Jan Obdržálek, PhD.
- Mgr. Anna Pačínková, Ph.D.
- Mgr. Michal Pajtinka
- RNDr. Samuel Pastva, Ph.D.
- RNDr. Kristýna Pekárková
- Mgr. Filip Petrovič
- RNDr. Filip Pokrývka
- RNDr. Viktória Spišaková
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. David Střelák, Ph.D.
- doc. RNDr. David Svoboda, Ph.D.
- RNDr. Eva Šmijáková
- RNDr. Matej Troják, Ph.D.
- RNDr. David Wiesner, Ph.D.
Projekt je zaměřen na podporu vědecko-výzkumné a vývojové činnosti studentů doktorského a magisterského studia na FI MU, kteří jsou vedeni zejména těmi školiteli, kteří se účastnili řešení stejnojmenných projektů specifického výzkumu v letech 2010 až 2020. Zaměření navrhovaného projektu na uvedené a úspěšně řešené projekty navazuje a dále ji rozšiřuje a prohlubuje 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. 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ů a dalších i přírodně motivovaných systémů, zejména biologických. 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ími A až H pracují tito školitelé - akademičtí zaměstnanci FI MU: A: prof. RNDr. Jiří Barnat, Ph.D.; B: prof. RNDr. Luboš Brim, CSc.; E: prof. RNDr. Petr Hliněný, Ph.D.; F: prof. RNDr. Michal Kozubek, Ph.D., doc. RNDr. Pavel Matula, Ph.D., doc. RNDr. Petr Matula, Ph.D., doc. RNDr. David Svoboda, Ph.D.; G: prof. RNDr. Mojmír Křetínský, CSc., doc. RNDr. Jan Strejček, Ph.D.; H: prof. RNDr. Antonín Kučera, Ph.D.; I: prof. RNDr. Luděk Matyska, CSc., doc. RNDr. Eva Hladká, CSc.
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
Publikace
Počet publikací: 35
2022
-
On bias, variance, overfitting, gold standard and consensus in single-particle analysis by cryo-electron microscopy
Acta Crystallographica Section D: Structural Biology, rok: 2022, ročník: 78, vydání: 4, DOI
-
On-the-fly Adaptation of Patrolling Strategies in Changing Environments
Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, rok: 2022
-
Packing and covering directed triangles asymptotically
European Journal of Combinatorics, rok: 2022, ročník: 101, vydání: 103462, DOI
-
Quasirandom Latin squares
Random Structures & Algorithms, rok: 2022, ročník: 61, vydání: 2, DOI
-
Review of cell image synthesis for image processing
Biomedical Image Synthesis and Simulation - Methods and Applications, vydání: Vyd. 1st ed., rok: 2022, počet stran: 43 s.
-
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, rok: 2022
-
Symbiotic 9.1
Rok: 2022
-
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, rok: 2022
-
Symbiotic-Witch: A Klee-Based Violation Witness Checker
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, rok: 2022
-
Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
WG 2022: Graph-Theoretic Concepts in Computer Science, rok: 2022