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

metric interval temporal logic, monitoring, testing, model checking, linear temporal logic, linear temporal logic with degradation constraints, runtime verification, formula rewriting

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

101.
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 Zobrazit popisek

102.
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

103.
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

104.
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

105.
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

106.
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

107.
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

108.
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

109.
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

110.
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

111.
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

112.
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

113.
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

114.
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

115.
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

116.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma

117.
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

118.
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

119.
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

120.
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

121.
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

122.
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

123.
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

124.
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

125.
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

126.
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

127.
Horák, Filip
Fakulta: Fakulta sportovních studií
Rok: 2021, 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: Vliv silového tréninku na rychlostní schopnosti u dětí a mládeže | Práce na příbuzné téma

128.
Hornig, Michal
Fakulta: Fakulta sportovních studií
Rok: 2021, 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: Vztah mezi vybranými ukazateli vytrvalosti a reálným zatížením hráčů fotbalu v tréninkových jednotkách a utkáních | Práce na příbuzné téma

129.
Hornig, Michal
Fakulta: Fakulta sportovních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Kondiční trénink a aplikovaná kineziologie / Kondiční trénink a aplikovaná kineziologie
Obhajoba diplomové práce: Vztah mezi rychlostními předpoklady, antropometrickými charakteristikami a reálným zatížením hráčů fotbalu v tréninkových jednotkách a utkáních | Práce na příbuzné téma

130.
Horváth, Erik
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Pokročilé nasazení systému pro vzdálené podpisování | Práce na příbuzné téma

131.
Horváthová, Lenka
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Mapa akcií pre verejnosť | Práce na příbuzné téma

132.
Horyna, Ondřej
Fakulta: Fakulta sportovních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství anglického jazyka a literatury pro střední školy, Učitelství tělesné výchovy pro základní a střední školy
Obhajoba diplomové práce: Tvorba a aplikace tréninkového programu pro vybranou netradiční hru | Práce na příbuzné téma

133.
Houdková, Hana
Fakulta: Lékařská fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Fyzioterapie
Obhajoba diplomové práce: Hodnocení rovnováhy a chůze u pacientů po cévní mozkové příhodě | Práce na příbuzné téma

134.
Hrazdíra, Eduard
Fakulta: Fakulta sportovních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Kinantropologie (čtyřleté) / Kinantropologie
Obhajoba disertační práce: Vliv aplikace speciálních cvičení na změnu úrovně vybraných rovnováhových schopností ve snowboardingu | Práce na příbuzné téma

135.
Hruška, Ondřej
Fakulta: Fakulta sportovních studií
Rok: 2018, 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í: Rozhodčí ledního hokeje)
Obhajoba bakalářské práce: Komparace výběrové reakční doby u rozhodčích ledního hokeje a hráčů - hokejistů | Práce na příbuzné téma
Obhajoba bakalářské práce: Komparace výběrové reakční doby u rozhodčích ledního hokeje | Práce na příbuzné téma

136.
Hrušovská, Katarína
Fakulta: Lékařská fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Intenzivní péče
Obhajoba diplomové práce: Subjektívne a objektívne hodnotenie bolesti u pacientov po operačnom výkone | Práce na příbuzné téma

137.
Hubáček, Jan
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance
Obhajoba bakalářské práce: Implementace požadavků článku 404 zákona Sarbanes-Oxley v podmínkách vybrané obchodní společnosti | Práce na příbuzné téma

138.
Husák, Martin
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Early Detection and mitigation of multi-stage network attacks | Práce na příbuzné téma

139.
Husička, Jakub
Fakulta: Fakulta sportovních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport
Obhajoba bakalářské práce: Testování a srovnání rychlostně - koordinačních schopností mladších a starších žáků ve fotbale | Práce na příbuzné téma

140.
Húska, Juraj
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Automated visual testing of web application | Práce na příbuzné téma

141.
Huvar, Ondřej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma

142.
Chren, Stanislav
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Methods for software failure-data collection and prediction | Práce na příbuzné téma
Obhajoba diplomové práce: Methods for software failure-data collection and prediction | Práce na příbuzné téma

143.
Churý, Václav
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biochemie / Biochemie
Obhajoba diplomové práce: Dlouhodobé monitorování s biosensorem | Práce na příbuzné téma

144.
Ivanko, Juraj
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: A proposal of regression testing process for a small organization developing COST software | Práce na příbuzné téma

145.
Jakub, Petr
Fakulta: Fakulta sportovních studií
Rok: 2018, 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: Rozvoj a testování vybraných koordinačních schopností fotbalistů v kategorii mladších žáků | Práce na příbuzné téma

146.
Jakub, Petr
Fakulta: Fakulta sportovních studií
Rok: 2020, 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: Rozvoj a diagnostika rychlostních schopností fotbalistů v kategorii starších žáků | Práce na příbuzné téma

147.
Janík, Petr
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: Receipt database with OCR scan | Práce na příbuzné téma

148.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma

149.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma

150.
Jansová, Iveta
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Monitoring pohybu a zdraví seniorů pomocí mobilních technologií | Práce na příbuzné téma