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

divine, implementation, tree compression, state-space explosion, model checking

Keywords ordered alphabetically | Keywords ordered by occurrence rate

201.
Podhajský, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Využití Cache-through CDN v Kentico CMS | Theses on a related topic Display description

202.
Pokorná, Adéla maiden name: Hospůdková
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Implementace dopravní výchovy ve výuce na 1. stupni základní školy | Theses on a related topic

203.
Priadková, Barbora
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economic Theory / Economics
Master's thesis defence: Implementace železničních balíčků ve vybraných zemích EU | Theses on a related topic

204.
Prokešová, Linda
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Reflexe reformy Komitologie z pohledu Evropského parlamentu | Theses on a related topic

205.
Přikrylová, Karolína maiden name: Dopitová
Faculty: Faculty of Law
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Proces monitoringu a implementace legislativy v bankovnictví - vybrané problémy | Theses on a related topic

206.
Pšorn Zákopčanová, Kristína
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic

207.
Puškáš, Jakub
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Tvorba výcvikového kurzu metody CLIL pro učitele základních škol | Theses on a related topic

208.
Radvanová, Dagmar
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Možnosti zavádění supervize ve vybraných organizacích sociálních služeb v okrese Děčín | Theses on a related topic
Master's thesis defence: Postoje k zavádění supervize v organizacích | Theses on a related topic

209.
Reigl, Tomáš
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Mathematical Biology
Bachelor's thesis defence: Optimalizace metody detekce změn v počtu kopií genů z dat DNA mikročipů | Theses on a related topic

210.
Repa, Ondrej
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Vizualizace pro nástroj Flowmon DDoS Defender | Theses on a related topic

211.
Richtárechová, Lucia
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance and Law
Bachelor's thesis defence: Regulace finančních trhů | Theses on a related topic

212.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Multi-Threaded Nested DFS | Theses on a related topic

213.
Rondziková, Natália
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Smart Cities Concept in Slovakia. Case Study on Obstacles in Implementation of Smart City Projects in Slovak Municipalities | Theses on a related topic

214.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kešování stavů při procházení stavových prostorů | Theses on a related topic

215.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv specifikačních automatů na ověřování modelu | Theses on a related topic

216.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Refined Büchi automata for faster model checking | Theses on a related topic

217.
Růžičková, Martina
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Zirkonoxidová keramika – vědecké pozadí a implementace do výuky technologií pro obor Asistent zubního technika a Zubní technik | Theses on a related topic

218.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic

219.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic

220.
Sabol, Radoslav
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Czech Question Answer Selection using Recurrent Neural Networks | Theses on a related topic

221.
Sabol, Radoslav
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Propaganda Detection using Stylometric Text Analysis | Theses on a related topic

222.
Sedláková, Nikola
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: European Studies / European Studies
Master's thesis defence: Relokace pracovních migrantů ze třetích zemí na území České republiky a vliv EU | Theses on a related topic

223.
Senko, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Formální návrh distribuované hašovací tabulky | Theses on a related topic

224.
Slezáček, Václav
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools
Master's thesis defence: Návrh a ověření modulu vietnamské kuchyně v rámci předmětu technologie pokrmů | Theses on a related topic

225.
Smetanová, Alena
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Public and Social Policy
Master's thesis defence: Posouzení efektivity probačního programu pro dospělé osoby | Theses on a related topic

226.
Smutek, Martin
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Doctoral thesis defence: Vnější podmínky a jednání aktérů procesu implementace lokálního sociálního programu | Theses on a related topic

227.
Smýkalová, Iveta
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Intensive Care
Master's thesis defence: Informovanost všeobecných sester o Evidence-Based Practice | Theses on a related topic

228.
Staňa, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Runtime Verification of Linear Temporal Specifications with Degradation | Theses on a related topic

229.
Straková, Lucie
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Zhodnocení cílů a programové teorie vzdělávacího programu kariérního poradentsví | Theses on a related topic

230.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic

231.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic

232.
Strejček, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Expressiveness and Model Checking of Temporal Logics | Theses on a related topic

233.
Suchomel, Vít
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatické testování nástroje DiVinE | Theses on a related topic

234.
Sukup, Jiří
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Zavedení modelu EFQM řízení kvality v Policii České republiky a jeho posouzení řadovými pracovníky | Theses on a related topic

235.
Svoboda, Petr
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Finance and Law / Finance and Law
Bachelor's thesis defence: Participativní rozpočet - trend u místních rozpočtů? | Theses on a related topic

236.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Theses on a related topic

237.
Šamlotová, Michaela
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Naplňování rámcových strategických dokumentů Evropské unie – případ strategie Evropa 2020 a Lisabonské strategie | Theses on a related topic

238.
Ševčíková, Dana
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Critical thinking in ESL lessons | Theses on a related topic

239.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: External Memory LTL Model Checking | Theses on a related topic

240.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Efficient Computing Resources Usage in Model Checking | Theses on a related topic

241.
Šimša, Jiří
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic

242.
Šlachtová, Monika
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Implementation of Elasticsearch into EAS Framework | Theses on a related topic

243.
Šmaterová, Petra
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Analýza využití filozofie Kaizen při řízení organizace z pohledu českých Kaizen odborníků | Theses on a related topic

244.
Šmerdová, Eva
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Účetní informační systémy | Theses on a related topic

245.
Šmérek, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Theses on a related topic

246.
Šmídová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics
Bachelor's thesis defence: Zdravotní politika a plány krajů ČR | Theses on a related topic

247.
Šmídová, Nikola
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Návrh systému hodnocení zaměstnanců ve vybrané organizaci XY | Theses on a related topic

248.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Aplikace pro správu virtuálních webových serverů na FSS MU | Theses on a related topic

249.
Štefaňák, Filip
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Residue Component Synthesis for Handshake Composition | Theses on a related topic

250.
Štěpánek, Marek
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in History
Bachelor's thesis defence: Volně dostupný software pro implementaci geografických informačních systémů do škol | Theses on a related topic