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

sdtgba, omega-language, semi-determinism, spot, complementation

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
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 Display description

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

3.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automata for Formal Methods: Little Steps Towards Perfection | Theses on a related topic

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

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

6.
Klokočka, Mikuláš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Complementation of TBA Based on Semi-Determinization | Theses on a related topic

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

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

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

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

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

12.
Šť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

13.
Štěpková, Adéla
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Complementation of Nondeterministic Finite Automata Without Determinization | Theses on a related topic

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

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

16.
Zbončáková, Tatiana
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Redukcie TGBA pomocou pokročilých simulácií | Theses on a related topic

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