Práce na stejné téma (mají shodná klíčová slova):

refinement

Klíčová slova abecedně | Klíčová slova dle četnosti

Efficient Abstraction Refinement for BDD-based SMT Solvers
 (Tereza Schwarzová)

2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/j6pbe/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma

Program analysis using interval abstraction and backward refinement
 (Pavol Mišenko)

2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/v01cf/ | Informatika / | Práce na příbuzné téma

Avalanche hazard in the Krkonoše mountains and refinement of snow data collection methods
 (Markéta Součková)

2024, Disertační práce, Fakulta životního prostředí / Česká zemědělská univerzita v Praze

http://theses.cz/id//9gnj1x// | Krajinné inženýrství / Environmentální modelování | Práce na příbuzné téma

GPU akcelerace spojitého zpřesňování natočení obrázků v Xmipp
 (Martin Pernica)

2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/bkn86/ | Umělá inteligence a zpracování dat / Zpracování a analýza rozsáhlých dat | Práce na příbuzné téma

Kultivovanost mluveného vyjadřování v publicistických rozhovorech se sportovci
 (Lucie Hromádková)

2015, Diplomová práce, Pedagogická fakulta / Masarykova univerzita

https://is.muni.cz/th/scvsv/ | Učitelství pro základní školy / Učitelství občanské výchovy pro základní školy Učitelství českého jazyka a literatury pro základní školy | Práce na příbuzné téma