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

omega-automata, tba, pruning, maslo, modality, spot, quotienting, reduction, mtba, modal automata, simulations, parity games, seminator

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Jánošová, Miriama
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Reduction of Omega-Automata Using k-Lookahead Simulations | Theses on a related topic Display description

2.
Dokoupil, David
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simple Complementation of Generalized Büchi Automata | Theses on a related topic

3.
Šťastná, Tereza
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Zjednodušování akceptační podmínky u Emerson-Lei automatů | Theses on a related topic

4.
Aksenov, Georgii
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: System's Architecture Reconstruction for Microservices Simulators | Theses on a related topic

5.
Ambrož, Jiří
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Analyse des Lehrwerks "Studio d A2" aus phonetischer Sicht | Theses on a related topic

6.
Babčanová, Veronika
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language for Education, Mathematics for Education
Bachelor's thesis defence: Modální slovesa v písemném akademickém diskurzu | Theses on a related topic

7.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Translation of Linear Temporal Logic to Omega-Automata | Theses on a related topic

8.
Bartošová, Dagmar
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Biology / General Biology (combination/specialization: Microbiology)
Master's thesis defence: Sporulace vybraných kmenů streptomycet a vazba těžkých kovů | Theses on a related topic

9.
Benada, Luděk
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Finance and Accounting (4-years) / Finance
Doctoral thesis defence: Hedging energetických komodit prostřednictvím vybraných derivátových nástrojů | Theses on a related topic

10.
Beránková, Tereza
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Modalverben und Modalität als DaF-Problem | Theses on a related topic

11.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Translation of an LTL fragment to deterministic Rabin and Streett automata | Theses on a related topic

12.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Linear Temporal Logic and omega-automata | Theses on a related topic

13.
Borbélyová, Denisa
Faculty: Faculty of Sports Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Special Education of Security Sections
Bachelor's thesis defence: Předsoutěžní snižování hmotnosti a její vliv na složení těla v úpolových sportech | Theses on a related topic

14.
Budínová, Helena
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: The modal verb SHOULD and the variety of its functions | Theses on a related topic

15.
Buřival, Zbyněk
Faculty: Faculty of Science
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology, Hydrogeology and Geochemistry
Bachelor's thesis defence: Dynamika oxidačně-redukčních reakcí železa a sekvenční vznik nerozpustných hydroxidů

16.
Buřival, Zbyněk
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Geology / Geology
Master's thesis defence: Dynamika oxidačně-redukčních reakcí železa a sekvenční vznik nerozpustných hydroxidů | Theses on a related topic

17.
Crkoň, Filip
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Reakce látek při mražení vodných roztoků | Theses on a related topic

18.
Čaloud, Jakub
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Physics / Physics
Bachelor's thesis defence: Simulace měření válcovou emisní sondou v plazmatu | Theses on a related topic

19.
Čechák, Jaroslav
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Exploring Statistical Biases in Educational Data: A Simulation-Based Approach | Theses on a related topic

20.
Čechák, Jaroslav
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: Exploring Biases in Educational Data | Theses on a related topic

21.
Čermák, Gabriel
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Gebrauch des Konjunktivs in der deutschen Presse | Theses on a related topic

22.
Černochová, Anežka
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in German Language
Master's thesis defence: Das Modalverb KÖNNEN und seine Äquivalente im Tschechischen | Theses on a related topic

23.
Čurda, Martin
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Musicology
Master's thesis defence: Smyčcové kvartety Janáčkových žáků z 20. let | Theses on a related topic

24.
Demianenko, Daria
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: German Language and Literature / German linguistics
Master's thesis defence: Modalverben im Deutschen in diachroner Perspektive. Eine Skizze anhand des Werkes Ackermann aus Böhmen | Theses on a related topic

25.
Dobišarová, Kristýna maiden name: Krupicová
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Zur Aussprache tschechischer Lehrer im Unterricht Deutsch als Fremdsprache | Theses on a related topic

26.
Dočekalová, Miroslava
Faculty: Faculty of Education
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Foreign Languages - German
Bachelor's thesis defence: Typische Aussprachefehler von tschechischen Muttersprachlern und Methoden ihrer Behebung | Theses on a related topic

27.
Dočekalová, Miroslava
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in German Language
Master's thesis defence: Analyse der Lehrmaterialien aus phonetischer Sicht | Theses on a related topic

28.
Drahošová, Nikola
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Komplikovanost jednoduchosti | Theses on a related topic

29.
Dvořáková, Šárka
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Physics / Theoretical Physics and Astrophysics (combination/specialization: Astrofyzika)
Master's thesis defence: Analyza spekter horkých hvězd s pomocí programu VO-Korel | Theses on a related topic

30.
Dzurňáková, Jozefína
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Musicology
Master's thesis defence: Janáčkovská reflexia v opere Eugena Suchoňa Krútňava | Theses on a related topic

31.
Eklová, Ilona
Faculty: Faculty of Education
Year: 2007, 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: Role play na druhém stupni ZŠ | Theses on a related topic

32.
Fiedler, Adam
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata | Theses on a related topic

33.
Goldhahn, Agnes
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / German Language
Doctoral thesis defence: Tschechische und deutsche Wissenschaftssprache im Vergleich. Eine kontrastive Analyse tschechischer und deutscher Wissenschaftlicher Artikel der Linguistik | Theses on a related topic

34.
Gryga, Lukáš
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Mosaik Framework for Co-Simulations of Smart Grids Reliability | Theses on a related topic

35.
Grygar, Adam
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Optimization techniques of neural networks for mobile platforms during training phase | Theses on a related topic

36.
Harvánek, Marcel
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Telemedicína v ČR a nové trendy v soustřeďování a zpracování obrazových informací v medicíně | Theses on a related topic

37.
Havlásková, Zuzana
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philology / Spanish Language and Literature
Bachelor's thesis defence: La modalidad oracional en la publicidad impresa | Theses on a related topic

38.
Helekalová, Jana
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - Russian Language
Bachelor's thesis defence: Problematika interference v nácviku správné výslovnosti ve výuce ruštiny na základě analýzy pohádky Gusi-lebedi | Theses on a related topic

39.
Hesko, Branislav
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Physics / Plasma Physics
Master's thesis defence: Analýza a zpracování obrazových dat pro účely diagnostiky plazmatu | Theses on a related topic

40.
Hladká, Andrea
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language for Education / English Language for Education
Bachelor's thesis defence: English modals: synchronic and diachronic analysis of deontic modal verbs | Theses on a related topic

41.
Hloušková, Petra
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Biology / Mathematical Biology
Master's thesis defence: Použití Coxova modelu pro predikci přežití onkologických pacientů z molekulárně-biologických dat | Theses on a related topic

42.
Hon, Michael
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Redukce abstrakce | Theses on a related topic

43.
Hrnčířová, Kateřina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Analyse des Lehrwerks "Studio d B1" aus phonetischer Sicht | Theses on a related topic

44.
Hrubý, Matěj
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations and Energy Security
Master's thesis defence: Vliv elektromobility na snižování emisí v České republice | Theses on a related topic

45.
Hudec, Adam
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Philology / Japanese Language and Culture
Bachelor's thesis defence: Charakteristika japonských modálnych adverbií | Theses on a related topic

46.
Chrástová, Stanislava
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Non-profit-making Organization Economy and Management
Bachelor's thesis defence: Náhrada mzdy a nemocenská v případě pracovní neschopnosti | Theses on a related topic

47.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic

48.
Jílková, Barbora
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Společné jmění manželů z pohledu vnosu a investic | Theses on a related topic

49.
Jurásek, Miroslav
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Physics / Biophysics
Doctoral thesis defence: Multiscale simulations of protein-protein interactions | Theses on a related topic

50.
Kabátník, Patrik
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Geology (4-years) / Geological Sciences
Doctoral thesis defence: Degradace chlorovaných uhlovodíků použitím kovů - aplikace technologie PRB na lokalitě Hluk | Theses on a related topic