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
- 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ý
- Ing. Jana Hozzová, Ph.D.
- Mgr. Marek Chalupa
- Mgr. Jan Ježek
- RNDr. Martin Jonáš
- Mgr. 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
- prof. PhDr. Karel Pala, CSc.
- RNDr. Jan Papoušek, Ph.D.
- RNDr. BcA. Tereza Pařilová, DiS., MBA
- doc. Mgr. Radek Pelánek, Ph.D.
- doc. RNDr. Lubomír Popelínský, Ph.D.
- RNDr. Tomáš Raček
- Mgr. Jan Rosecký
- Mgr. Lukáš Ručka
- Ing. Mgr. Vojtěch Rujbr
- RNDr. Jiří Řihák, Ph.D.
- doc. RNDr. Jan Strejček, Ph.D.
- RNDr. Vít Suchomel
- Mgr. Ján Švec
- Ing. Eva Výtvarová
- Mgr. Tomáš Zábojník
Publications
2017
-
Biochemical Space: A Framework for Formal Description and Annotation of Complex Biological Processes
Year: 2017, type: Appeared in Conference without Proceedings
-
Discrete Bifurcation Analysis with Pithya
Year: 2017, type: Appeared in Conference without Proceedings
-
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria
Year: 2017, type: Appeared in Conference without Proceedings
-
Elo-based Learner Modeling for the Adaptive Practice of Facts
User Modeling and User-Adapted Interaction, year: 2017, volume: 26, edition: 1, DOI
-
First order limits of sparse graphs: Plane trees and path-width
Random Structures & Algorithms, year: 2017, volume: 50, edition: 4, DOI
-
Kernelization using structural parameters on sparse graph classes
Journal of Computer and System Sciences, year: 2017, volume: 84, edition: 1, DOI
-
Large-scale cortico-subcortical functional networks in focal epilepsies: The role of the basal ganglia
NeuroImage-Clinical, year: 2017, volume: 2017, edition: 14, DOI
-
Model Checking Approach to Discrete Bifurcation Analysis
Year: 2017, type: Appeared in Conference without Proceedings
-
PITHYA: High-Performance Parameter Synthesis for Biological Models
Year: 2017, type: Appeared in Conference without Proceedings
-
The Impact of Diverse Preprocessing Pipelines on Brain Functional Connectivity
25th European Signal Processing Conference (EUSIPCO), Kos, Greece., year: 2017