Práce na příbuzné téma (mají shodná klíčová slova):
metric interval temporal logic, monitoring, verification, testing, model checking, linear temporal logic, partial observability, formula rewriting, measurement inaccuraciesKlíčová slova abecedně | Klíčová slova dle četnosti
101.
Drobek, Pavel
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Monitorování a vizualizace zdrojů v prostředí OpenShift | Práce na příbuzné téma
Obhajoba diplomové práce: Monitorování a vizualizace zdrojů v prostředí OpenShift | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Monitorování a vizualizace zdrojů v prostředí OpenShift | Práce na příbuzné téma
Obhajoba diplomové práce: Monitorování a vizualizace zdrojů v prostředí OpenShift | Práce na příbuzné téma
102.
Dufek, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Monitorovací rozšíření pro platformu mikroslužeb SilverWare | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Monitorovací rozšíření pro platformu mikroslužeb SilverWare | Práce na příbuzné téma
103.
Duhan, Milan
Fakulta: Fakulta sportovních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Sportovní edukace)
Obhajoba diplomové práce: Vliv tréninkového procesu na zdokonalení technických dovedností hráčů žákovské kategorie U 12 ve fotbale | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Sportovní edukace)
Obhajoba diplomové práce: Vliv tréninkového procesu na zdokonalení technických dovedností hráčů žákovské kategorie U 12 ve fotbale | Práce na příbuzné téma
104.
Durkáč, Martin
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Security-aware Mutation Testing | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Security-aware Mutation Testing | Práce na příbuzné téma
105.
Ďurovský, Lukáš
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Nástroj na sběr a vyhodnocení výkonnostních metrik cloudové aplikace | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Nástroj na sběr a vyhodnocení výkonnostních metrik cloudové aplikace | Práce na příbuzné téma
106.
Dušičková, Katarína
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba diplomové práce: Měření na Cisco směrovačích a L3 přepínačích v oblasti redundance, SLA a sledování objektů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba diplomové práce: Měření na Cisco směrovačích a L3 přepínačích v oblasti redundance, SLA a sledování objektů | Práce na příbuzné téma
107.
Dvořáček, Stanislav
Fakulta: Fakulta sportovních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Využití core tréninku v zimní přípravě fotbalistů u kategorie žáků | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Využití core tréninku v zimní přípravě fotbalistů u kategorie žáků | Práce na příbuzné téma
108.
Dvořáček, Vojtěch
Fakulta: Fakulta sportovních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Osobní a kondiční trenér / Osobní a kondiční trenér
Obhajoba bakalářské práce: Výběr nejvhodnějšího zátěžového protokolu pro běžce na 5000 m | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Osobní a kondiční trenér / Osobní a kondiční trenér
Obhajoba bakalářské práce: Výběr nejvhodnějšího zátěžového protokolu pro běžce na 5000 m | Práce na příbuzné téma
109.
Dvořák, Vojtěch
Fakulta: Fakulta sportovních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Kondiční trenér)
Obhajoba diplomové práce: Komparace laboratorních a terénních vytrvalostních testů u fotbalistů | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Kondiční trenér)
Obhajoba diplomové práce: Komparace laboratorních a terénních vytrvalostních testů u fotbalistů | Práce na příbuzné téma
110.
Eklová, Ilona
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Role play na druhém stupni ZŠ | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Role play na druhém stupni ZŠ | Práce na příbuzné téma
111.
Faltýnková, Anna roz. Janů
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Asociace mezi vybranými faktory rodinného prostředí a excesivním užíváním internetu u adolescentů | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Asociace mezi vybranými faktory rodinného prostředí a excesivním užíváním internetu u adolescentů | Práce na příbuzné téma
112.
Fejtová, Magdalena
Fakulta: Fakulta sportovních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Změny reakčních schopností u mládeže ve volejbale | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Změny reakčních schopností u mládeže ve volejbale | Práce na příbuzné téma
113.
Fogl, David
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Monitorování vybraných protokolů síťového provozu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Monitorování vybraných protokolů síťového provozu | Práce na příbuzné téma
114.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma
115.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Verification of Finite-State Stochastic Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Verification of Finite-State Stochastic Systems | Práce na příbuzné téma
116.
Franěk, Jan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatic documentation generation from SystemVerilog source files | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatic documentation generation from SystemVerilog source files | Práce na příbuzné téma
117.
Fritzová, Denisa
Fakulta: Lékařská fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Zdravotní laborant
Obhajoba bakalářské práce: Verifikace nově instalovaných POCT analyzátorů acidobazické rovnováhy na pracovištích intenzivní medicíny | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Zdravotní laborant
Obhajoba bakalářské práce: Verifikace nově instalovaných POCT analyzátorů acidobazické rovnováhy na pracovištích intenzivní medicíny | Práce na příbuzné téma
118.
Frnoch, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Grafické rozhraní pro simulátor C++ programů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Grafické rozhraní pro simulátor C++ programů | Práce na příbuzné téma
119.
Gaja, Jakub
Fakulta: Lékařská fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Komplikace a potenciální rizikové faktory u pacienta s V-A ECMO | Práce na příbuzné téma
Obhajoba diplomové práce: Komplikace a potenciální rizikové faktory u pacienta s V-A ECMO | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Komplikace a potenciální rizikové faktory u pacienta s V-A ECMO | Práce na příbuzné téma
Obhajoba diplomové práce: Komplikace a potenciální rizikové faktory u pacienta s V-A ECMO | Práce na příbuzné téma
120.
Gaja, Pavel
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Analýza půdní vlhkosti a charakteristik sucha prostředky DPZ | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Analýza půdní vlhkosti a charakteristik sucha prostředky DPZ | Práce na příbuzné téma
121.
Gáll, Miroslav
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Monitoring of the load and usage of the computational server | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Monitoring of the load and usage of the computational server | Práce na příbuzné téma
122.
Gdovin, Adam
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Performance reporting tool | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Performance reporting tool | Práce na příbuzné téma
123.
Gdovin, Filip
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Trvalé dotazy nad proudy monitorovacích dat ve formátu JSON | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Trvalé dotazy nad proudy monitorovacích dat ve formátu JSON | Práce na příbuzné téma
124.
Göth, Radim
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Testing Techniques for Mobile Device Applications | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Testing Techniques for Mobile Device Applications | Práce na příbuzné téma
125.
Grbálik, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Adding observability property to AIVA Robotic System | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Adding observability property to AIVA Robotic System | Práce na příbuzné téma
126.
Greéová, Vendula
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Chemie životního prostředí
Obhajoba diplomové práce: Optimalizace pasivního vzorkovače opatřeného difuzní vrstvou hydrogelu pro monitorování polárních organických znečišťujících látek v povrchových a odpadních vodách | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Chemie životního prostředí
Obhajoba diplomové práce: Optimalizace pasivního vzorkovače opatřeného difuzní vrstvou hydrogelu pro monitorování polárních organických znečišťujících látek v povrchových a odpadních vodách | Práce na příbuzné téma
127.
Gurianova, Iuliia
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Analysing work shifts of professional drivers | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Analysing work shifts of professional drivers | Práce na příbuzné téma
128.
Ha Trinh, Hung Son
Fakulta: Lékařská fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Oko jako biometrický identifikátor | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Oko jako biometrický identifikátor | Práce na příbuzné téma
129.
Hajnal, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba rigorózní práce: Formal Methods for Model Selection in Systems Biology | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba rigorózní práce: Formal Methods for Model Selection in Systems Biology | Práce na příbuzné téma
130.
Hála, Lukáš
Fakulta: Fakulta sportovních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Občanská výchova a základy společenských věd se zaměřením na vzdělávání
Obhajoba bakalářské práce: Monitoring tréninkového zatížení cyklisty v rámci prevence nefunkčního přepětí a přetrénování. | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Občanská výchova a základy společenských věd se zaměřením na vzdělávání
Obhajoba bakalářské práce: Monitoring tréninkového zatížení cyklisty v rámci prevence nefunkčního přepětí a přetrénování. | Práce na příbuzné téma
131.
Hála, Lukáš
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství tělesné výchovy pro základní a střední školy / Učitelství tělesné výchovy pro základní a střední školy
Obhajoba diplomové práce: Porovnání variability srdeční frekvence mezi profesionálním a amatérským cyklistou za účelem optimalizace tréninkového zatížení | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství tělesné výchovy pro základní a střední školy / Učitelství tělesné výchovy pro základní a střední školy
Obhajoba diplomové práce: Porovnání variability srdeční frekvence mezi profesionálním a amatérským cyklistou za účelem optimalizace tréninkového zatížení | Práce na příbuzné téma
132.
Halász, Ervin
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Kondiční trénink a aplikovaná kineziologie / Kondiční trénink
Obhajoba diplomové práce: Rozvoj rychlostních schopností a agility v hokeji pomocí specifických a nespecifických tréninkových prostředků | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Kondiční trénink a aplikovaná kineziologie / Kondiční trénink
Obhajoba diplomové práce: Rozvoj rychlostních schopností a agility v hokeji pomocí specifických a nespecifických tréninkových prostředků | Práce na příbuzné téma
133.
Haňka, Stanislav
Fakulta: Fakulta sportovních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Kondiční trenér)
Obhajoba diplomové práce: Reakční čas jako součást agility ve fotbalu | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Kondiční trenér)
Obhajoba diplomové práce: Reakční čas jako součást agility ve fotbalu | Práce na příbuzné téma
134.
Hanulíková, Veronika
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Fuzzing of the OpenSC Project | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Fuzzing of the OpenSC Project | Práce na příbuzné téma
135.
Hanžl, Martin
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Testování informačního systému Edookit | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Testování informačního systému Edookit | Práce na příbuzné téma
136.
Haran, Himanshu Kumar
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
137.
Harmim, David
Fakulta: Fakulta sportovních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Management sportu
Obhajoba diplomové práce: Hokejová střelnice RapidShot a její využívání v klubu HC Kometa Brno | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Management sportu
Obhajoba diplomové práce: Hokejová střelnice RapidShot a její využívání v klubu HC Kometa Brno | Práce na příbuzné téma
138.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Relaxed Memory Models in DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Relaxed Memory Models in DiVinE | Práce na příbuzné téma
139.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma
140.
Havelka, David
Fakulta: Lékařská fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Fyzioterapie
Obhajoba diplomové práce: Fyzioterapie u pacientů po cévní mozkové příhodě s rizikovým faktorem kouření | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Fyzioterapie
Obhajoba diplomové práce: Fyzioterapie u pacientů po cévní mozkové příhodě s rizikovým faktorem kouření | Práce na příbuzné téma
141.
Hegedűšová, Lenka
Fakulta: Lékařská fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Hodnocení EKG křivek sestrami v intenzivní péči | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Hodnocení EKG křivek sestrami v intenzivní péči | Práce na příbuzné téma
142.
Hilčišin, Maša roz. Hilčišin
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Obecná teorie a dějiny umění a kultury (čtyřleté) / Teorie a dějiny divadla, filmu a audiovizuální kultury
Obhajoba disertační práce: Helena Třeštíková's Long-term Observational Documentary Film: Monitoring the Effect of Authenticity in Representation | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Obecná teorie a dějiny umění a kultury (čtyřleté) / Teorie a dějiny divadla, filmu a audiovizuální kultury
Obhajoba disertační práce: Helena Třeštíková's Long-term Observational Documentary Film: Monitoring the Effect of Authenticity in Representation | Práce na příbuzné téma
143.
Hloch, Jan
Fakulta: Fakulta sportovních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Kondiční trenér
Obhajoba diplomové práce: Vliv zatížení na herní dovednosti v mládežnických kategoriích ve fotbale | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Kondiční trenér
Obhajoba diplomové práce: Vliv zatížení na herní dovednosti v mládežnických kategoriích ve fotbale | Práce na příbuzné téma
144.
Hoffmannová, Sandra
Fakulta: Fakulta sportovních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Analýza rovnováhových schopností sportovních gymnastů | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Analýza rovnováhových schopností sportovních gymnastů | Práce na příbuzné téma
145.
Hofmannová, Lucie
Fakulta: Fakulta sportovních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy
Obhajoba diplomové práce: Zumba – zdravotní aspekty tohoto cvičení | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy
Obhajoba diplomové práce: Zumba – zdravotní aspekty tohoto cvičení | Práce na příbuzné téma
146.
Holánková, Michaela
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Využití poznatků z oblasti psychologie k návrhu a realizaci mobilní aplikace určené osobám s mentální bulimií | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Využití poznatků z oblasti psychologie k návrhu a realizaci mobilní aplikace určené osobám s mentální bulimií | Práce na příbuzné téma
147.
Holeček, Jan
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarového plánovače paměti
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarového plánovače paměti
148.
Holík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma
149.
Horáček, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma
150.
Horáček, Štěpán
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: XDP test suite for Linux kernel | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: XDP test suite for Linux kernel | Práce na příbuzné téma