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

tgba, spot, simulation relations, pruning, quotienting, ltl3ba, parity game

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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

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

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

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

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

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

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

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

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

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

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

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

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