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

51.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Basic model-checking problems for stochastic games | Práce na příbuzné téma Zobrazit popisek

52.
Brtníčková, Libuše
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství biologie pro střední školy / Učitelství biologie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Ochrana a obnova rašelinišť a středoškolská výuka | Práce na příbuzné téma
Obhajoba diplomové práce: Ochrana a obnova rašelinišť a středoškolská výuka | Práce na příbuzné téma

53.
Buchtová, Barbora
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba diplomové práce: Mapování internetových memů v prostředí blogosféry a sociálních sítí | Práce na příbuzné téma

54.
Buchtová, Júlia
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekologická a evoluční biologie / Ekologická a evoluční biologie
Obhajoba bakalářské práce: Prostupnost silničních staveb pro letouny | Práce na příbuzné téma

55.
Bureš, Jiří
Fakulta: Fakulta sportovních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Regenerace a výživa ve sportu
Obhajoba bakalářské práce: Monitoring badmintonových hráčů během soutěžního období v rámci prevence přetrénování | Práce na příbuzné téma

56.
Bureš, Lukáš
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biologie / Systematická biologie a ekologie (kombinace/zaměření: Systematická zoologie a ekologie)
Obhajoba bakalářské práce: Společenstvo saproxylických brouků Národní přírodní památky Rendezvous zjištěné odchytem do nárazových pastí | Práce na příbuzné téma

57.
Burget, Rostislav
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma

58.
Buřt, Lukáš
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í občanské výchovy pro základní školy, Učitelství tělesné výchovy pro základní a střední školy
Obhajoba diplomové práce: Optimalizace tréninkového zatížení rozehrávaček v ženském basketbalu ve výkonnostní kategorii | Práce na příbuzné téma

59.
Cambelová, Adriana roz. Husárová
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Skríning prioritních znečišťujících látek v povodích řek na Slovensku metodou pasivního vzorkováni | Práce na příbuzné téma

60.
Čecháčková, Jana
Fakulta: Fakulta informatiky
Rok: 2014, 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: Návrh a implementace rozhraní pro monitorování komponenty Engine systému Perun | Práce na příbuzné téma

61.
Čejková, Hana roz. Sloupenská
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba diplomové práce: Služby mobilního monitoringu se zaměřením na Českou republiku | Práce na příbuzné téma

62.
Čekovský, Filip
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Automated Testing of Anasoft's EMANS Product Lines | Práce na příbuzné téma

63.
Čermák, Jiří
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Porovnání modelovacích schopností verifikačních nástrojů | Práce na příbuzné téma

64.
Čermáková, Kristýna
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální studia a žurnalistika / Environmentální studia, Mediální studia a žurnalistika
Obhajoba bakalářské práce: Série reportážních fotografií z monitoringu vlků v České republice | Práce na příbuzné téma
Obhajoba bakalářské práce: Série reportážních fotografií z monitoringu vlků v České republice | Práce na příbuzné téma
Obhajoba bakalářské práce: Fotoreportáže monitoringu vlků v České republice pro Deník N | Práce na příbuzné téma

65.
Černý, Jiří
Fakulta: Fakulta sportovních studií
Rok: 2007, 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: Monitorování tělesného rozvoje a pohybové výkonnosti studentů 4. ročníku SOŠ | Práce na příbuzné téma

66.
Červíková, Kateřina
Fakulta: Fakulta sportovních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Mediální studia a žurnalistika
Obhajoba bakalářské práce: Vliv mobilní aplikace Pokémon Go na úroveň pohybové aktivity hráčů ve věku 11–15 let | Práce na příbuzné téma

67.
Češka, Milan
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Parallel Quantitative Analysis of Probabilistic Systems | Práce na příbuzné téma

68.
Čuchran, Martin
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: Centrální řízení počítačových stanic | Práce na příbuzné téma

69.
Danišová, Andrea
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Učitelství pro základní školy / Učitelství cizích jazyků pro základní školy - angličtina
Obhajoba bakalářské práce: Case study: Motivation, evaluation preferences and personality of adult learners | Práce na příbuzné téma

70.
Danišová, Andrea
Fakulta: Pedagogická fakulta
Rok: 2008, 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: Motivation, evaluation preference and personality of adult learners and language teachers role- case study | Práce na příbuzné téma

71.
Daubner, Lukáš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Effective computer infrastructure monitoring | Práce na příbuzné téma

72.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Rozšíření a refaktorizace nástroje BioDiVinE | Práce na příbuzné téma

73.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Práce na příbuzné téma

74.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Parameter Synthesis of Dynamical Systems via Model Checking | Práce na příbuzné téma

75.
Dluhoš, Petr
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Specification and monitoring of oscillation properties in dynamical systems | Práce na příbuzné téma

76.
Doleček, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Komplexní systém pro správu a evidenci zákazníků a síťových zařízení poskytovatelů síťových připojení | Práce na příbuzné téma

77.
Doubrava, Pavel
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy
Obhajoba diplomové práce: Vztah mezi obezitou a ukazateli zdravotně orientované zdatnosti žáků na 1. stupni ZŠ | Práce na příbuzné téma

78.
Draštíková, Pavla
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Hodnocení kvality ovzduší v Evropě pomocí sítě pasivního vzorkování MONET Europe. | Práce na příbuzné téma

79.
Draštíková, Pavla
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Chemie životního prostředí
Obhajoba diplomové práce: Globální distribuce atmosférických organických polutantů | Práce na příbuzné téma

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

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

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

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

84.
Ď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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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