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

351.
Švecová, Petra
Fakulta: Právnická fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Finanční nástroje strukturální politiky EU

352.
Švihlík, Petr
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: Development of a utility for filling databases | Práce na příbuzné téma

353.
Táborský, Adam
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Monitoring trhu práce a jeho implementace ve Švédsku | Práce na příbuzné téma

354.
Tichý, Milan
Fakulta: Fakulta sportovních studií
Rok: 2019, 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: Pohybová aktivita hráčů florbalu v průběhu sezony | Práce na příbuzné téma

355.
Tischer, Robin
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Trenérství
Obhajoba bakalářské práce: Využití masážního válce jako kompenzační pomůcky u mládežnických hráčů ledního hokeje | Práce na příbuzné téma

356.
Tomášek, Zbyněk
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba diplomové práce: TOMÁŠ RULLER – tvorba 90. let: Monitoring - Displej / Intermediální performance & Nové technologie | Práce na příbuzné téma
Obhajoba diplomové práce: TOMÁŠ RULLER – tvorba 90. let: Monitoring - Displej / Intermediální performance & Nové technologie | Práce na příbuzné téma

357.
Tomáštík, Marek
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Porovnání nástrojů pro paralelní LTL model checking | Práce na příbuzné téma

358.
Tomáštík, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikace MPI programů pomocí DIVINE | Práce na příbuzné téma

359.
Tomek, Eduard
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Monitoring Esper serverů pomocí JMX | Práce na příbuzné téma

360.
Tovarňák, Daniel
Fakulta: Fakulta informatiky
Rok: 2018, 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: Normalization of Unstructured Log Data into Streams of Structured Event Objects | Práce na příbuzné téma

361.
Tovarňák, Daniel
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Towards Distributed Event-driven Monitoring Architecture | Práce na příbuzné téma

362.
Trčka, Tomáš
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: Aplikace plyometrického tréninku dolních končetin u fotbalistů kategorie U15 | Práce na příbuzné téma

363.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma

364.
Tuček, Adam
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma

365.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Verification of probabilistic systems against quantified linear properties | Práce na příbuzné téma

366.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Quantitative Linear-Time Model Checking | Práce na příbuzné téma

367.
Tušer, Adam
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství anglického jazyka a literatury pro střední školy
Obhajoba diplomové práce: The Effects of Extended Testing Time on Writing Exams | Práce na příbuzné téma

368.
Tušil, Jan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba bakalářské práce: Partial Order redukce pro LLVM | Práce na příbuzné téma

369.
Tužil, Matěj
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: Caché mocking framework | Práce na příbuzné téma

370.
Urbánek, Tomáš
Fakulta: Fakulta sportovních studií
Rok: 2015, 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: Testování pohybových schopností ve Freestyle na MTB | Práce na příbuzné téma

371.
Urubčík, 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: Monitoring poptávky Acroyogy u různých cílových skupin | Práce na příbuzné téma

372.
Vacek, Václav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma

373.
Vaculík, Zbyněk
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium neúspěšně ukončeno
Program/obor Geologie / Geologie aplikovaná a environmentální
Obhajoba diplomové práce: Formování podzemních vod v okolí Dědičné štoly v k.ú. Čejč | Práce na příbuzné téma
Obhajoba diplomové práce: Formování podzemních vod v okolí Dědičné štoly v k.ú. Čejč | Práce na příbuzné téma

374.
Vágner, Jakub
Fakulta: Fakulta informatiky
Rok: 2012, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Dohlížecí informační systém poskytovatele dopravních služeb | Práce na příbuzné téma

375.
Valeková, Terézia
Fakulta: Lékařská fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Radiologický asistent
Obhajoba bakalářské práce: Radiační ochrana: monitorování pracoviště a osobní monitorování | Práce na příbuzné téma

376.
Valter, Maroš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba diplomové práce: Zabezpečený sběr dat z externích senzorů | Práce na příbuzné téma
Obhajoba diplomové práce: Zabezpečený zber dát z externých senzorov | Práce na příbuzné téma

377.
Vanický, Šimon
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma

378.
Varmužová, Lucie
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: Vliv hodnotových orientací na výkon v bowlingu žen | Práce na příbuzné téma

379.
Vejpustek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Visual Specification of Temporal Properties over Time Series | Práce na příbuzné téma

380.
Velan, Petr
Fakulta: Fakulta informatiky
Rok: 2018, 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: Application-Aware Flow Monitoring | Práce na příbuzné téma

381.
Věncková, Karolína
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Matematika se zaměřením na vzdělávání, Tělesná výchova a sport
Obhajoba bakalářské práce: Rozvoj pohybových schopností a dovedností u hráček volejbalu vybrané věkové skupiny | Práce na příbuzné téma

382.
Vencl, Ondřej
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í: Trenérství)
Obhajoba bakalářské práce: Rozvoj rychlostních schopností a srovnání jejich úrovně mezi žáky FK Pardubice a žáky ZŠ Studánka Pardubice | Práce na příbuzné téma

383.
Vepřek, Luděk
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ého a psychického zatížení hlavních rozhodčích ledního hokeje ve WSM lize a II. lize ČR | Práce na příbuzné téma

384.
Vepřovský, Martin
Fakulta: Fakulta sportovních studií
Rok: 2014, 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: Kondiční a pohybová příprava rozhodčího ledního hokeje | Práce na příbuzné téma

385.
Veselý, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Učitelství biologie pro střední školy, Učitelství chemie pro střední školy
Obhajoba diplomové práce: Nejčastější zoonózy přenášené klíšťaty | Práce na příbuzné téma
Obhajoba diplomové práce: Nejčastější zoonózy přenášené klíšťaty | Práce na příbuzné téma

386.
Vilček, Michal
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Sociální informatika
Obhajoba bakalářské práce: Návrh uživatelského rozhraní pro orientační systém budov | Práce na příbuzné téma

387.
Vilímková, Kristýna
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba bakalářské práce: Sledování změn porostu CHKO Orlické hory prostředky DPZ | Práce na příbuzné téma

388.
Víteček, Antonín
Fakulta: Fakulta informatiky
Rok: 2013, studium neúspěšně ukončeno
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Správa a analýza bezpečnostních logů | Práce na příbuzné téma
Obhajoba diplomové práce: Správa a analýza bezpečnostních logů | Práce na příbuzné téma

389.
Vlček, Michal
Fakulta: Fakulta sportovních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Pedagogické asistentství přírodopisu pro základní školy
Obhajoba bakalářské práce: Analýza testování rovnováhových schopností | Práce na příbuzné téma

390.
Voda, Martin
Fakulta: Fakulta sportovních studií
Rok: 2015, 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: Možnosti testování agility mladých fotbalistů
Obhajoba bakalářské práce: Možnosti testování agility mladých fotbalistů | Práce na příbuzné téma

391.
Vodáček, Tomáš
Fakulta: Fakulta sportovních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná sportovní edukace bezpečnostních složek / Aplikovaná sportovní edukace bezpečnostních složek
Obhajoba diplomové práce: Využití mobilních aplikací v rámci prevence syndromu přetrénování | Práce na příbuzné téma

392.
Voldánová, Jasmína
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport, Zeměpis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Rozvoj motorických schopností volejbalistek věkové kategorie U11 | Práce na příbuzné téma

393.
Vondrušková, Lenka
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Fyzika se zaměřením na vzdělávání, Přírodopis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Aktivita klíšťat na vybrané lokalitě č-m vrchoviny a rizikové podmínky ve vztahu k přenosu dvou nejčastějších patogenů | Práce na příbuzné téma

394.
Voříšek, Radek
Fakulta: Fakulta sportovních studií
Rok: 2010, 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í: Management cestovního ruchu)
Obhajoba bakalářské práce: Porovnání vybraných rychlostních a silových ukazatelů předních českých a slovenských skokanů do dálky | Práce na příbuzné téma

395.
Vozárová, Viktória
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Craig's Interpolant in Model Checking Algorithms | Práce na příbuzné téma

396.
Vrbka, Jiří
Fakulta: Fakulta informatiky
Rok: 2024, 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: Low-Code Test Automation Studio | Práce na příbuzné téma

397.
Vrbka, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Hardwarové systémy
Obhajoba diplomové práce: Testing of Student Assignments in Embedded Course | Práce na příbuzné téma

398.
Vrzal, Michal
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í: Coaching)
Obhajoba diplomové práce: Srovnání výkonnosti mladých zápasníku s ostatními žáky stejného věku | Práce na příbuzné téma

399.
Wiesner, David
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: Paralelizace obrazového simulátoru buněčných populací | Práce na příbuzné téma

400.
Zadina, Daniel
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Anglický jazyk se zaměřením na vzdělávání, Tělesná výchova a sport
Obhajoba bakalářské práce: Porovnání vybraných motorických schopností hráčů ledního hokeje a fotbalu ve věku 11-12 let | Práce na příbuzné téma