Informace o projektu
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V.

Informace

Projekt nespadá pod Přírodovědeckou fakultu, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.

Kód projektu

MUNI/A/0945/2015

Období řešení

1/2016 - 12/2016

Investor / Programový rámec / typ projektu

Masarykova univerzita

Grantová agentura MU
DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Fakulta / Pracoviště MU

Fakulta informatiky

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á, Ph.D.
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.

Publikace

Počet publikací: 76

2016

Texture Analysis of 3D Fluorescence Microscopy Images Using RSurf 3D Features

STOKLASA Roman MAJTNER Tomáš

Článek ve sborníku

International Symposium on Biomedical Imaging (ISBI'16), rok: 2016
The Eighth Central European Conference “Chemistry towards Biology”: Snapshot

PERCZEL András ATANASOV Atanas G. SKLENÁŘ Vladimír NOVÁČEK Jiří PAPOUŠKOVÁ Veronika KADEŘÁVEK Pavel ŽÍDEK Lukáš KOZLOWSKI Henryk WATLY Joanna HECEL Aleksandra KOLKOWSKA Paulina KOČA Jaroslav SVOBODOVÁ VAŘEKOVÁ Radka PRAVDA Lukáš SEHNAL David HORSKÝ Vladimír GEIDL Stanislav ENRIZ Ricardo D. MATĚJKA Pavel JENIŠTOVÁ Adéla DENDISOVÁ Marcela KOKAISLOVÁ Alžběta WEISSIG Volkmar OLSEN Mark COFFEY Aidan AJUEBOR Jude KEARY Ruth SANZ-GAITERO Marta VAN RAAIJ Mark J. MCAULIFFE Olivia WALTENBERGER Birgit MOCAN Andrei ŠMEJKAL Karel HEISS Elke H. DIEDERICH Marc MUSIOL Robert KOŠMRLJ Janez POLANSKI Jaroslaw JAMPÍLEK Josef

Článek v odborném periodiku

MOLECULES, rok: 2016, ročník: 21, vydání: 10, DOI
The MITHORIG project: Challenges and future prospects

VÝTVAROVÁ Eva FOUSEK Jan CHALUPA Aleš

Další prezentace na konferencích

Rok: 2016, druh: Další prezentace na konferencích
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways

HAJNAL Matej ŠAFRÁNEK David DEMKO Martin PASTVA Samuel KREJČÍ Pavel BRIM Luboš

Článek ve sborníku

Hybrid Systems Biology. HSB 2016, rok: 2016
Trade Network of Ancient Mediterranean and Christianity

VÝTVAROVÁ Eva FOUSEK Jan KAŠE Vojtěch CHALUPA Aleš

Další prezentace na konferencích

Rok: 2016, druh: Další prezentace na konferencích
Tunable Online MUS/MSS Enumeration

BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

Článek ve sborníku

Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016, rok: 2016
Using Supporting Visual Elements in Text for People with Dyslexia

PAŘILOVÁ Tereza HLADKÁ Eva

Další prezentace na konferencích

Rok: 2016, druh: Další prezentace na konferencích
What is More Important for Student Modeling: Domain Structure or Response Times?

ŘIHÁK Jiří PELÁNEK Radek

Článek ve sborníku

Intelligent Tutoring Systems : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings, rok: 2016
What You Have Is Not What You See

PAŘILOVÁ Tereza HLADKÁ Eva MRVÁŇ Filip

Konferenční abstrakty

Rok: 2016, druh: Konferenční abstrakty

2015

Devectorization of Array Expressions for Selective Just in Time Specialization of Neural Ensamble Simulations

FOUSEK Jan

Článek ve sborníku

MEMICS 2015 Tenth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, rok: 2015