Práce na příbuzné téma (mají shodná klíčová slova):
tgba, spot, simulation relations, pruning, quotienting, ltl3ba, parity gameKlíčová slova abecedně | Klíčová slova dle četnosti
1.
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
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
2.
Šťastná, Tereza
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Zjednodušování akceptační podmínky u Emerson-Lei automatů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Zjednodušování akceptační podmínky u Emerson-Lei automatů | Práce na příbuzné téma
3.
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
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
4.
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
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
5.
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
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
6.
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
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
7.
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
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
8.
Grygar, Adam
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Optimization techniques of neural networks for mobile platforms during training phase | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Optimization techniques of neural networks for mobile platforms during training phase | Práce na příbuzné téma
9.
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
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
10.
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
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
11.
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
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
12.
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
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
13.
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
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
14.
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
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
15.
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
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