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

251.
Novák, Jakub
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: Improvements of Memory Management in KLEE | Práce na příbuzné téma Zobrazit popisek

252.
Novák, Martin
Fakulta: Fakulta sportovních studií
Rok: 2011, 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: Testování a porovnání rychlostně-koordinačních schopností u starších žáků FC Sparta Brno a SK Slatina v zimním přípravném období | Práce na příbuzné téma

253.
Novák, Svatopluk
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Publish-subscribe založený na obsahu pro účely monitorování | Práce na příbuzné téma

254.
Nováková, Svatava roz. Černá
Fakulta: Fakulta sportovních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Kinantropologie (čtyřleté) / Kinantropologie
Obhajoba disertační práce: Vliv úrovně specifické a obecné výkonnosti juniorského reprezentačního družstva ve slalomu na divoké vodě na výsledky rozhodujících závodů
Obhajoba disertační práce: Vliv úrovně specifické a obecné výkonnosti juniorského reprezentačního družstva ve slalomu na divoké vodě na výsledky rozhodujících závodů | Práce na příbuzné téma

255.
Novoměstská, Lucie
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biologie / Obecná biologie (kombinace/zaměření: Ekotoxikologie)
Obhajoba diplomové práce: Využití SOS Chromotestu při monitorování cytotoxických léčiv | Práce na příbuzné téma

256.
Novosad, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Predicate Abstraction of DiVinE Models | Práce na příbuzné téma

257.
Novotný, Jiří
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: Automating Performance Testing and Infrastructure Deployment for Debezium | Práce na příbuzné téma

258.
Obetko, Šimon
Fakulta: Fakulta informatiky
Rok: 2016, 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: Monitorování distribuovaných systémů nástrojem Riemann | Práce na příbuzné téma

259.
Očenášek, Pavel
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Ústavněprávní aspekty monitoringu osob elektronickými prostředky ze strany soukromých osob | Práce na příbuzné téma

260.
Ondráčková, Marie
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná a environmentální geologie / Aplikovaná a environmentální geologie
Obhajoba diplomové práce: Vliv dobývacího prostoru Štramberk na podzemní vodu | Práce na příbuzné téma

261.
Ondruchová, Markéta
Fakulta: Lékařská fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ošetřovatelství / Všeobecná sestra
Obhajoba bakalářské práce: Význam hydratace u seniorů a její dopad na zdravotní stav z pohledu všeobecných sester | Práce na příbuzné téma

262.
Opravilová, Lucie
Fakulta: Fakulta sportovních studií
Rok: 2018, 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í úrovně fyzické zdatnosti a objemu pohybových aktivit u studentů oboru ASEBS a příslušníků VP ČR | Práce na příbuzné téma

263.
Orsáková, Kateřina
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í anglického jazyka a literatury pro střední školy, Učitelství tělesné výchovy pro střední školy
Obhajoba diplomové práce: Testová baterie pro diagnostiku hudebně pohybových schopností | Práce na příbuzné téma

264.
Palma, Adam
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Moral Serious Game | Práce na příbuzné téma

265.
Panáková, Petra
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Nasazení PRINCE2 pro potřeby veřejné správy | Práce na příbuzné téma
Obhajoba diplomové práce: Přístupnost veřejných webových stránek | Práce na příbuzné téma

266.
Papouš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: Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí | Práce na příbuzné téma

267.
Papoušek, Miroslav
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Kontrola a monitoring zaměstnanců | Práce na příbuzné téma

268.
Pastva, Samuel
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Práce na příbuzné téma

269.
Patzelová, Martina
Fakulta: Lékařská fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Fyzioterapie
Obhajoba diplomové práce: Hodnocení rehabilitace pacientů po cévní mozkové příhodě | Práce na příbuzné téma

270.
Pavlíček, Václav
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: Vztah vybraných ukazatelů kognitivních procesů k úspěšnosti fotbalových dovedností | Práce na příbuzné téma

271.
Pavlíčková, Apolena
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociologie / Sociologie
Obhajoba diplomové práce: Oficiální moc a koncept „uncivil“ ve městě Krnově v 70. a 80. letech 20. století | Práce na příbuzné téma

272.
Pavlík, Jan
Fakulta: Fakulta sportovních studií
Rok: 2022, 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: Diagnostika specifických kondičních schopnostní fotbalových hráčů v kateogiích U11 a U12 | Práce na příbuzné téma

273.
Pavlů, Ivana
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: Testing Vocabulary | Práce na příbuzné téma

274.
Pelánek, Radek
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Reduction and Abstraction Techniques for Model Checking | Práce na příbuzné téma

275.
Petrenko, Boris
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Declarative event handling system for monitoring web browser activity | Práce na příbuzné téma

276.
Petrovič, Samuel
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Performance testing of Virtual Data Optimizer storage layer | Práce na příbuzné téma

277.
Petruchová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace komponentových systémů s dynamickou komunikací | Práce na příbuzné téma

278.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Zrychlení syntézy parametrů pro stochastické modely | Práce na příbuzné téma

279.
Pilchová, Petra
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství přírodopisu pro základní školy, Učitelství výchovy ke zdraví pro základní školy
Obhajoba diplomové práce: Onemocnění AIDS a informovanost o prevenci na ZŠ | Práce na příbuzné téma

280.
Pincová, Lenka
Fakulta: Filozofická fakulta
Rok: 2023, 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: Redesign webu kps.cvtisr.sk | Práce na příbuzné téma

281.
Piskač, Václav
Fakulta: Fakulta sportovních studií
Rok: 2023, 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: Závislost mezi on-ice a off-ice testami v ledním hokeji | Práce na příbuzné téma

282.
Pitoňák, Pavol
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: DbUnit support for NetBeans IDE | Práce na příbuzné téma

283.
Plášil, Roman
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Grafický editor parametrizovaných modelů pro DiVinE | Práce na příbuzné téma

284.
Plšková, Martina
Fakulta: Lékařská fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Intenzivní péče
Obhajoba diplomové práce: Komplikace odsávání z dýchacích cest v klinickém prostředí | Práce na příbuzné téma

285.
Podroužek, Jiří
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: Význam koordinačních schopností, jejich úroveň a rozvoj ve fotbale v senzitivním období 9 - 11 let | Práce na příbuzné téma

286.
Prokopec, 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 rychlostně-koordinačních schopností u fotbalistů U6 FK Pardubice a porovnání výkonnosti s vrstevníky z MŠ Ohrazenice | Práce na příbuzné téma
Obhajoba bakalářské práce: Rozvoj rychlostně-koordinačních schopností u fotbalistů U6 FK Pardubice a porovnání výkonnosti s vrstevníky z MŠ Ohrazenice | Práce na příbuzné téma

287.
Prokopová, Kateřina
Fakulta: Fakulta sociálních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální práce
Obhajoba diplomové práce: Poskytování pomoci seniorům postiženým demencí | Práce na příbuzné téma

288.
Pšorn Zákopčanová, Kristína
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: On Chaining Divine and Prism Model Checkers | Práce na příbuzné téma

289.
Racek, Lukáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Návrh uživatelského rozhraní multimediálního systému ve veřejné dopravě | Práce na příbuzné téma

290.
Ráček, Vojtěch
Fakulta: Fakulta sportovních studií
Rok: 2009, 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í: Coaching)
Obhajoba diplomové práce: Srovnání hry hlavou v žákovské kategorii | Práce na příbuzné téma

291.
Radovnická, Nikola
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Použití metody Assessment Centre při výběrovém řízení na pozici manažer logistiky | Práce na příbuzné téma
Obhajoba diplomové práce: Použití metody Assessment Centre při výběrovém řízení na pozici manažer logistiky očima personalistů | Práce na příbuzné téma

292.
Rajský, Hynek
Fakulta: Právnická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Krizové řízení firmy (ekonomické a právní aspekty) | Práce na příbuzné téma

293.
Rakowski, David
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Systém pro monitoring a analýzu environmentálních dat | Práce na příbuzné téma

294.
Rechtoris, Filip
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Monitorování subsystémů YSoft SafeQ | Práce na příbuzné téma

295.
Repček, Štefan
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: Distributed Complex Event Processing for Network Security | Práce na příbuzné téma

296.
Richterová, Anna roz. Chamráthová
Fakulta: Právnická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: JUDr.
Program/obor Právo a právní věda / Právo (kombinace/zaměření: Správní právo)
Obhajoba rigorózní práce: Překryv působnosti veřejného ochránce práv a státního zastupitelství v oblasti kontroly detenčních zařízení | Práce na příbuzné téma

297.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Multi-Threaded Nested DFS | Práce na příbuzné téma

298.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Partial Order Reduction in Parallel Model Checking | Práce na příbuzné téma

299.
Rosecký, Václav
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Verifikační manažer pro explicitní ověřování modelu | Práce na příbuzné téma

300.
Roupec, Jiří
Fakulta: Fakulta sportovních studií
Rok: 2016, 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: Monitoring pohybové aktivity dětí ve věku 4 -10 let | Práce na příbuzné téma