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

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

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

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

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

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

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

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

408.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Quantitative Formal Methods for High-level Robot Path Planning | Práce na příbuzné téma

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

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

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

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

413.
Unčovský, Vít
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Práce na příbuzné téma

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

431.
Višňovská, Ema
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba bakalářské práce: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Práce na příbuzné téma

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

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

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

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

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

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

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

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

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

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

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

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

444.
Zahradníček, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Algoritmická analýza populačních protokolů | Práce na příbuzné téma

445.
Zachar, Filip
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Řídící IRC automat pro monitorovací systém Zabbix | Práce na příbuzné téma

446.
Zeman, Michal
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: Fotbalgolf jako moderní pohybová aktivita | Práce na příbuzné téma

447.
Zich, Jakub
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: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma

448.
Zoubek, Petr
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í kondičních schopností starších žáků | Práce na příbuzné téma

449.
Zruban, Martin
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: JMS-based test application for HornetQ fail-over testing | Práce na příbuzné téma

450.
Zvoník, Tomáš
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Softwarové systémy
Obhajoba diplomové práce: Logging and Monitoring for Kubernetes Infrastructure | Práce na příbuzné téma