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

omega-automat, priama dopredna simulacia, tgba, spot, oneskorena dopredna simulacia, kvocientovanie, redukcia, simulacne relacie, paritna hra, priama spatna simulacia

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Zbončáková, Tatiana
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Theses on a related topic Display description

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

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

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

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

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

8.
Krontorád, Petr
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Analýza obrazových dat získaných Microarrays skenerem

9.
Krontorád, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Microarrays image processing | Theses on a related topic

10.
Kubisová, Simona
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: Typische Aussprachefehler von slowakischen Muttersprachlern und Methoden ihrer Behebung | Theses on a related topic

11.
Molcová, Katarína
Faculty: Faculty of Sports Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Physical Education / Secondary School Teacher Training in Physical Education
Master's thesis defence: Vhodnost pohybových aktivit při redukci tělesné hmotnosti | Theses on a related topic

12.
Petrová, Lenka
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Stereotypizace ženy v televizní reklamě: komparace české a portugalské reklamní produkce (Tv Nova, TVI) | Theses on a related topic

13.
Piteľová, Lucia
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Súčasné americko – ruské jednanie o strategických jadrových zbraniach | Theses on a related topic

14.
Pivoňka, Daniel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webový editor omega-automatů | Theses on a related topic

15.
Sedláková, Eva
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / English Linguistics
Doctoral thesis defence: Gapping as a Stylistic Device: Analysis of Ian McEwan's Fiction | Theses on a related topic
Doctoral thesis defence: Gapping as a Stylistic Device: Analysis of Ian McEwan's Fiction | Theses on a related topic

16.
Smolka, Dávid
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simulation-Based Reduction of Modal Omega-Automata | Theses on a related topic

17.
Szynder, Krystian
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / Polish Language and Literature, Slovenian Language and Literature
Bachelor's thesis defence: Reklama jako zjawisko językowe (na przykładzie polskich spotów reklamowych) | Theses on a related topic

18.
Vážanský, Filip
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Social Policy and Social Work
Bachelor's thesis defence: Self promotion-specifika žánru vzhledem k užití v českých médiích (ČT, Prima, Nova) | Theses on a related topic

19.
Znamenáček, Petr
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Applied Sport Education of Security Bodies
Master's thesis defence: Praktická střelba | Theses on a related topic