Počet výsledků: 64

Fakulta
Fakulta informatiky
Obor/plán
FI - Informatika: Paralelní a distribuované systémy
zahrnout jen obhájené práce

Mrázek, Jan

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: RoFI -- Distributed Metamorphic Robots

Navrátil, Peter

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2020

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Minimální Hamiltonovské cykly v grafech s časovými omezeními

Němeček, David

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Efektivní výpočty a vizualizace korelací v medicínských signálech

Nižnan, Juraj

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Učení z dat o řešení problémů

Novosad, Jiří

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Predicate Abstraction of DiVinE Models

Obetko, Šimon

(udělen titul Mgr.)

Navazující magisterské studium, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Automated Infrastructure Deployment on Public and Private Cloud as a Part of Continuous Integration Process

Papoušek, Jan

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí

Pastva, Samuel

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2017

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL

Pekarčíková, Zuzana

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Detekce odlehlých bodů v klasifikovaných datech

Plášil, Roman

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Vysvětlování protipříkladů v nástroji DiVinE

Slovák, Petr

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem

Streck, Adam

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Efektivní identifikace parametrů genových regulačních sítí

Šesták, Vít

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Proces pro schvalování knihoven třetích stran

Šiška, Adam

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Aproximativní algoritmy pro problém minimálního vrcholového pokrytí

Štefaňák, Filip

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Equilibria in non-zero-sum reachability games

Štill, Vladimír

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: LLVM Transformations for Model Checking

Tesařová, Eva

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Optimal Sensor Scheduling for Systems under Temporal Constraints

Toman, Viktor

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Efektivní reprezentace strategií pro hry dvou hráčů na grafech

Tomáštík, Marek

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Verifikace MPI programů pomocí DIVINE

Tomovič, Lukáš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Slicing of Parallel Programs