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 inaccuracies

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

201.
Kolář, Jiří
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Business Activity Monitoring | Práce na příbuzné téma Zobrazit popisek

202.
Komár, Matej
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Quality Assurance in Game Development | Práce na příbuzné téma

203.
Konicar, Robert
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma

204.
Korábová, Hana
Fakulta: Lékařská fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Intenzivní péče
Obhajoba diplomové práce: Monitoring centrálního venózního tlaku | Práce na příbuzné téma

205.
Koscielniak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Extending Test Management Tool | Práce na příbuzné téma

206.
Kosková, Pavla
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Chemie životního prostředí
Obhajoba diplomové práce: Hodnocení metod pro stanovení biodostupnosti perzistentních organických polutantů v sedimentech. | Práce na příbuzné téma

207.
Kostelníková, Alena
Fakulta: Fakulta sportovních studií
Rok: 2007, studium neúspěšně ukončeno
Program/obor Tělesná výchova a sport / Učitelství ruského jazyka a literatury pro základní školy, Učitelství tělesné výchovy pro základní školy
Obhajoba diplomové práce: Vliv kompenzačních cvičení na oslabené svalové skupiny u hráčů tenisu | Práce na příbuzné téma

208.
Koščák, Branislav
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: IPFIX Packet Generator | Práce na příbuzné téma

209.
Koščák, Branislav
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Undefined behaviour in language C | Práce na příbuzné téma

210.
Kousal, Viktor
Fakulta: Fakulta informatiky
Rok: 2022, 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: Návrh infrastruktury SW oddělení | Práce na příbuzné téma

211.
Kováč, Vladimír
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma

212.
Kováčik, Milan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulation-based analysis of large-scale dynamical systems | Práce na příbuzné téma

213.
Kovalíková, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Bioanalytická laboratorní diagnostika ve zdravotnictví - Bioanalytik / Bioanalytická laboratorní diagnostika ve zdravotnictví - Bioanalytik
Obhajoba diplomové práce: Exprese proteinu Schlafen 11 u karcinomu ovaria | Práce na příbuzné téma

214.
Koželuhová, Lucie
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Přírodopis se zaměřením na vzdělávání, Tělesná výchova a sport
Obhajoba bakalářské práce: Úroveň zdatnosti vybrané věkové skupiny žáků ZŠ | Práce na příbuzné téma

215.
Krahulcová, Soňa
Fakulta: Fakulta sportovních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy
Obhajoba rigorózní práce: Echokardiografické a spiroergometrické parametry u vytrvalostních sportovců, mužů ve věku od 20 do 30 let. | Práce na příbuzné téma

216.
Kratochvíla, Tomáš
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ých systémů | Práce na příbuzné téma

217.
Kratochvílová, Pavla
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma

218.
Kredátusová, Mária
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: The Benefits of extensive reading in ELT | Práce na příbuzné téma

219.
Krchňavý, Ludvík
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografie (kombinace/zaměření: Fyzická geografie)
Obhajoba bakalářské práce: Hydromorfologická kvalita malých vodních toků na území Brna | Práce na příbuzné téma

220.
Kršáková, Martina
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka a literatury pro základní školy, Učitelství speciální pedagogiky pro základní školy
Obhajoba diplomové práce: Strategie a techniky učení vysokoškolských studentů | Práce na příbuzné téma

221.
Kryšková, Martina
Fakulta: Pedagogická fakulta
Rok: 2009, 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: Implementing and using i-school in conditions of primary school Mánesova Otrokovice | Práce na příbuzné téma

222.
Křenek, Jan
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika, Sociální informatika
Obhajoba bakalářské práce: Automatizace vývoje a údržby rezervačního systému LEMMA | Práce na příbuzné téma

223.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Modal Transition Systems: Extensions and Analysis | Práce na příbuzné téma

224.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Probabilistic Timed Systems with Non-Determinism | Práce na příbuzné téma

225.
Křivánek, Milan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikační nástroj pro komponentové systémy | Práce na příbuzné téma

226.
Kubáček, Jáchym
Fakulta: Filozofická fakulta
Rok: 2021, 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: Využití validovaného testu pro hodnocení vizualizační gramotnosti | Práce na příbuzné téma

227.
Kučera, Adam
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Monitorovací nástroje pro objekty a zařízení sítě BACnet | Práce na příbuzné téma

228.
Kučera, Tadeáš
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: API pro monitorování chování programů v kontextu nástroje DIVINE | Práce na příbuzné téma

229.
Kučerová, Jitka
Fakulta: Lékařská fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Zdravotní laborant
Obhajoba bakalářské práce: Monitorování hladin ethylenglykolu při podezření na intoxikaci nemrznoucí kapalinou | Práce na příbuzné téma

230.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma

231.
Kuklíková, Šárka
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Monitorování osudu farmaceutických látek v procesu čištění odpadních vod | Práce na příbuzné téma

232.
Kuneš, Jiří
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Detekce vícefázových síťových útoků | Práce na příbuzné téma

233.
Kurcáb, Marián
Fakulta: Fakulta sportovních studií
Rok: 2024, 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: Úroveň pohybové zdatnosti lyžařů věkové kategorie 11 – 15 let | Práce na příbuzné téma

234.
Kurdiovská, Lucie
Fakulta: Filozofická fakulta
Rok: 2018, 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: Společnost pod dohledem: postoje občanů k monitoringu v online prostředí | Práce na příbuzné téma

235.
Kurek, Pavel
Fakulta: Lékařská fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Intenzivní péče
Obhajoba diplomové práce: Monitorace hemodynamiky z pohledu všeobecných sester intenzivní péče | Práce na příbuzné téma

236.
Kuzník, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Model Checking of promt-LTL properties | Práce na příbuzné téma

237.
Langmannová, Pavlína
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Učitelství praktického vyučování
Obhajoba bakalářské práce: Hodnocení ve výuce | Práce na příbuzné téma

238.
Láska, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma

239.
Laššák, Marek
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Anomalies detection on Kubernetes applications | Práce na příbuzné téma

240.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma

241.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma

242.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma

243.
Lávička, Otakar
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Zákaznický systém pro poskytovatele Internetu | Práce na příbuzné téma

244.
Lenčo, Milan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma

245.
Leško, Matej
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Enhanced remote execution layer for Deployment testing framework | Práce na příbuzné téma

246.
Lorencová, Jarmila
Fakulta: Lékařská fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Fyzioterapie
Obhajoba diplomové práce: Účinnost rehabilitace u pacientů s akutní cévní mozkovou příhodou | Práce na příbuzné téma

247.
Ľupták, Martin
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Algoritmy pro rozpoznávání dotykových gest | Práce na příbuzné téma

248.
Lžičař, Michal
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: Rozvoj rychlostních schopností u mládeže v kategorii dívek U 13 a U 15 | Práce na příbuzné téma
Obhajoba bakalářské práce: Rozvoj rychlostních schopností u mládeže v kategorii dívek U 13 a U 15 | Práce na příbuzné téma

249.
Macková, Martina
Fakulta: Fakulta sportovních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Aplikovaná sportovní edukace bezpečnostních složek
Obhajoba diplomové práce: Srovnání motorické výkonnosti a tréninkových plánů dvou týmů ve fotbale žen | Práce na příbuzné téma

250.
Mačák, Jan
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma