Práce na příbuzné téma (mají shodná klíčová slova):

tela, omega-automata, tgba, automata reduction, spot, scc-based simplifications

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Zbončáková, Tatiana
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Práce na příbuzné téma Zobrazit popisek

2.
Dokoupil, David
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Simple Complementation of Generalized Büchi Automata | Práce na příbuzné téma

3.
Jánošová, Miriama
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Reduction of Omega-Automata Using k-Lookahead Simulations | Práce na příbuzné téma

4.
Schwarzová, Tereza
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: QBF-Based Simplification of Acceptance Condition of Emerson-Lei Automata | Práce na příbuzné téma

5.
Smolka, Dávid
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Simulation-Based Reduction of Modal Omega-Automata | Práce na příbuzné téma

6.
Zbončáková, Tatiana
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Redukcie TGBA pomocou pokročilých simulácií | Práce na příbuzné téma

7.
Babiak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Translation of Linear Temporal Logic to Omega-Automata | Práce na příbuzné téma

8.
Benada, Luděk
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Finance a účetnictví (čtyřleté) / Finance
Obhajoba disertační práce: Hedging energetických komodit prostřednictvím vybraných derivátových nástrojů | Práce na příbuzné téma

9.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Translation of an LTL fragment to deterministic Rabin and Streett automata | Práce na příbuzné téma

10.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Linear Temporal Logic and omega-automata | Práce na příbuzné téma

11.
Fiedler, Adam
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata | Práce na příbuzné téma

12.
Hesko, Branislav
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Fyzika plazmatu
Obhajoba diplomové práce: Analýza a zpracování obrazových dat pro účely diagnostiky plazmatu | Práce na příbuzné téma

13.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma

14.
Krontorád, Petr
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Analýza obrazových dat získaných Microarrays skenerem

15.
Krontorád, Petr
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Microarrays image processing | Práce na příbuzné téma

16.
Major, Juraj
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou | Práce na příbuzné téma

17.
Navrátilová, Alena
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Speciální pedagogika se zaměřením na vzdělávání, Výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Těla / Bodies | Práce na příbuzné téma

18.
Onderková, Kristýna
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: Possessive Pronouns in English and Czech Works of Fiction, Their Use with Parts of Human Body and Translation | Práce na příbuzné téma

19.
Onderková, Kristýna
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství anglického jazyka a literatury pro střední školy
Obhajoba diplomové práce: Possessive Pronouns in English and Czech Works of Fiction, Their Use with Parts of Human Body and Translation | Práce na příbuzné téma

20.
Petrová, Lenka
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba diplomové práce: Stereotypizace ženy v televizní reklamě: komparace české a portugalské reklamní produkce (Tv Nova, TVI) | Práce na příbuzné téma

21.
Prochová, Barbora
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Český jazyk a literatura / Český jazyk a literatura, Religionistika
Obhajoba bakalářské práce: Vztah matky a dcery v současné literatuře psané ženami | Práce na příbuzné téma

22.
Szynder, Krystian
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Polský jazyk a literatura, Slovinský jazyk a literatura
Obhajoba bakalářské práce: Reklama jako zjawisko językowe (na przykładzie polskich spotów reklamowych) | Práce na příbuzné téma

23.
Vážanský, Filip
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia (kombinované) / Mediální studia a žurnalistika, Sociální politika a sociální práce
Obhajoba bakalářské práce: Self promotion-specifika žánru vzhledem k užití v českých médiích (ČT, Prima, Nova) | Práce na příbuzné téma

24.
Znamenáček, Petr
Fakulta: Fakulta sportovních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Aplikovaná sportovní edukace bezpečnostních složek
Obhajoba diplomové práce: Praktická střelba | Práce na příbuzné téma