GA18-11193S, research and development project | Name: Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy | Investor: Czech Science Foundation |
|
GA19-15134Y, interní kód MU | Name: Verifikace a analýza pravděpodobnostních programů | Investor: Czech Science Foundation |
|
GJ19-15134Y, research and development project | Name: Verifikace a analýza pravděpodobnostních programů |
|
MUNI/A/1050/2019, interní kód MU | Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX (Acronym: SV-FI MAV IX) | Investor: Masaryk University, Category A |
|
MUNI/G/0739/2017, interní kód MU | Name: Pushing the limits in automated NMR structure determination using a single 4D NOESY spectrum and machine learning methods | Investor: Masaryk University, INTERDISCIPLINARY - Interdisciplinary research projects |
|