Theses on a related topic (having the same keywords):

metric interval temporal logic, monitoring, verification, testing, model checking, linear temporal logic, partial observability, formula rewriting, measurement inaccuracies

Keywords ordered alphabetically | Keywords ordered by occurrence rate

401.
Tomek, Eduard
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Monitoring Esper serverů pomocí JMX | Theses on a related topic Display description

402.
Tovarňák, Daniel
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Normalization of Unstructured Log Data into Streams of Structured Event Objects | Theses on a related topic

403.
Tovarňák, Daniel
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Towards Distributed Event-driven Monitoring Architecture | Theses on a related topic

404.
Trčka, Tomáš
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Aplikace plyometrického tréninku dolních končetin u fotbalistů kategorie U15 | Theses on a related topic

405.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic

406.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic

407.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear properties | Theses on a related topic

408.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Quantitative Formal Methods for High-level Robot Path Planning | Theses on a related topic

409.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Quantitative Linear-Time Model Checking | Theses on a related topic

410.
Tušer, Adam
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature
Master's thesis defence: The Effects of Extended Testing Time on Writing Exams | Theses on a related topic

411.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic

412.
Tužil, Matěj
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Caché mocking framework | Theses on a related topic

413.
Unčovský, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic

414.
Urbánek, Tomáš
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Testování pohybových schopností ve Freestyle na MTB | Theses on a related topic

415.
Urubčík, David
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Monitoring poptávky Acroyogy u různých cílových skupin | Theses on a related topic

416.
Vaculík, Zbyněk
Faculty: Faculty of Science
Year: 2021, studies terminated for failure to fulfill study requirements
Programme/field: Geology / Applied and Environmental Geology
Master's thesis defence: Formování podzemních vod v okolí Dědičné štoly v k.ú. Čejč | Theses on a related topic
Master's thesis defence: Formování podzemních vod v okolí Dědičné štoly v k.ú. Čejč | Theses on a related topic

417.
Vágner, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dohlížecí informační systém poskytovatele dopravních služeb | Theses on a related topic

418.
Valeková, Terézia
Faculty: Faculty of Medicine
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Radiology Assistant
Bachelor's thesis defence: Radiační ochrana: monitorování pracoviště a osobní monitorování | Theses on a related topic

419.
Valter, Maroš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Embedded Systems
Master's thesis defence: Zabezpečený sběr dat z externích senzorů | Theses on a related topic
Master's thesis defence: Zabezpečený zber dát z externých senzorov | Theses on a related topic

420.
Vanický, Šimon
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic

421.
Varmužová, Lucie
Faculty: Faculty of Sports Studies
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Vliv hodnotových orientací na výkon v bowlingu žen | Theses on a related topic

422.
Vejpustek, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic

423.
Velan, Petr
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Application-Aware Flow Monitoring | Theses on a related topic

424.
Věncková, Karolína
Faculty: Faculty of Sports Studies
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Mathematics for Education, Physical Education and Sport
Bachelor's thesis defence: Rozvoj pohybových schopností a dovedností u hráček volejbalu vybrané věkové skupiny | Theses on a related topic

425.
Vencl, Ondřej
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Rozvoj rychlostních schopností a srovnání jejich úrovně mezi žáky FK Pardubice a žáky ZŠ Studánka Pardubice | Theses on a related topic

426.
Vepřek, Luděk
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Ice hockey referee)
Bachelor's thesis defence: Monitoring pohybového a psychického zatížení hlavních rozhodčích ledního hokeje ve WSM lize a II. lize ČR | Theses on a related topic

427.
Vepřovský, Martin
Faculty: Faculty of Sports Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Ice hockey referee)
Bachelor's thesis defence: Kondiční a pohybová příprava rozhodčího ledního hokeje | Theses on a related topic

428.
Veselý, Jakub
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Upper Secondary School Teacher Training in Biology, Upper Secondary School Teacher Training in Chemistry
Master's thesis defence: Nejčastější zoonózy přenášené klíšťaty | Theses on a related topic
Master's thesis defence: Nejčastější zoonózy přenášené klíšťaty | Theses on a related topic

429.
Vilček, Michal
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Návrh uživatelského rozhraní pro orientační systém budov | Theses on a related topic

430.
Vilímková, Kristýna
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Sledování změn porostu CHKO Orlické hory prostředky DPZ | Theses on a related topic

431.
Višňovská, Ema
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations
Bachelor's thesis defence: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Theses on a related topic

432.
Víteček, Antonín
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Správa a analýza bezpečnostních logů | Theses on a related topic
Master's thesis defence: Správa a analýza bezpečnostních logů | Theses on a related topic

433.
Vlček, Michal
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Lower Secondary School Teacher Training in Natural Science
Bachelor's thesis defence: Analýza testování rovnováhových schopností | Theses on a related topic

434.
Voda, Martin
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Možnosti testování agility mladých fotbalistů
Bachelor's thesis defence: Možnosti testování agility mladých fotbalistů | Theses on a related topic

435.
Vodáček, Tomáš
Faculty: Faculty of Sports Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Sports Education of Security Bodies / Applied Sport Education of Security Bodies
Master's thesis defence: Využití mobilních aplikací v rámci prevence syndromu přetrénování | Theses on a related topic

436.
Voldánová, Jasmína
Faculty: Faculty of Sports Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Geography for Education, Physical Education and Sport
Bachelor's thesis defence: Rozvoj motorických schopností volejbalistek věkové kategorie U11 | Theses on a related topic

437.
Vondrušková, Lenka
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Natural Science for Education, Physics for Education
Bachelor's thesis defence: Aktivita klíšťat na vybrané lokalitě č-m vrchoviny a rizikové podmínky ve vztahu k přenosu dvou nejčastějších patogenů | Theses on a related topic

438.
Voříšek, Radek
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Management of Tourist Trade)
Bachelor's thesis defence: Porovnání vybraných rychlostních a silových ukazatelů předních českých a slovenských skokanů do dálky | Theses on a related topic

439.
Vozárová, Viktória
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic

440.
Vrbka, Jiří
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Low-Code Test Automation Studio | Theses on a related topic

441.
Vrbka, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Hardware systems
Master's thesis defence: Testing of Student Assignments in Embedded Course | Theses on a related topic

442.
Vrzal, Michal
Faculty: Faculty of Sports Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Trenérství)
Master's thesis defence: Srovnání výkonnosti mladých zápasníku s ostatními žáky stejného věku | Theses on a related topic

443.
Zadina, Daniel
Faculty: Faculty of Sports Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / English Language for Education, Physical Education and Sport
Bachelor's thesis defence: Porovnání vybraných motorických schopností hráčů ledního hokeje a fotbalu ve věku 11-12 let | Theses on a related topic

444.
Zahradníček, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Algoritmická analýza populačních protokolů | Theses on a related topic

445.
Zachar, Filip
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Řídící IRC automat pro monitorovací systém Zabbix | Theses on a related topic

446.
Zeman, Michal
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Fotbalgolf jako moderní pohybová aktivita | Theses on a related topic

447.
Zich, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Grafická reprezentace formulí logiky HCTL | Theses on a related topic

448.
Zoubek, Petr
Faculty: Faculty of Sports Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport
Bachelor's thesis defence: Testování kondičních schopností starších žáků | Theses on a related topic

449.
Zruban, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: JMS-based test application for HornetQ fail-over testing | Theses on a related topic

450.
Zvoník, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Logging and Monitoring for Kubernetes Infrastructure | Theses on a related topic