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

omega-automata, tba, pruning, maslo, modality, spot, quotienting, reduction, mtba, modal automata, simulations, parity games, seminator

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

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

4.
Aksenov, Georgii
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: System's Architecture Reconstruction for Microservices Simulators | Práce na příbuzné téma

5.
Ambrož, Jiří
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - německý jazyk
Obhajoba bakalářské práce: Analyse des Lehrwerks "Studio d A2" aus phonetischer Sicht | Práce na příbuzné téma

6.
Babčanová, Veronika
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Anglický jazyk se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Modální slovesa v písemném akademickém diskurzu | 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.
Bartošová, Dagmar
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biologie / Obecná biologie (kombinace/zaměření: Mikrobiologie)
Obhajoba diplomové práce: Sporulace vybraných kmenů streptomycet a vazba těžkých kovů | Práce na příbuzné téma

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

10.
Beránková, Tereza
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Německý jazyk a literatura
Obhajoba diplomové práce: Modalverben und Modalität als DaF-Problem | Práce na příbuzné téma

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

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

13.
Borbélyová, Denisa
Fakulta: Fakulta sportovních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Speciální edukace bezpečnostních složek
Obhajoba bakalářské práce: Předsoutěžní snižování hmotnosti a její vliv na složení těla v úpolových sportech | Práce na příbuzné téma

14.
Budínová, Helena
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: The modal verb SHOULD and the variety of its functions | Práce na příbuzné téma

15.
Buřival, Zbyněk
Fakulta: Přírodovědecká fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geologie / Geologie, hydrogeologie a geochemie
Obhajoba bakalářské práce: Dynamika oxidačně-redukčních reakcí železa a sekvenční vznik nerozpustných hydroxidů

16.
Buřival, Zbyněk
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geologie / Geologie
Obhajoba diplomové práce: Dynamika oxidačně-redukčních reakcí železa a sekvenční vznik nerozpustných hydroxidů | Práce na příbuzné téma

17.
Crkoň, Filip
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Reakce látek při mražení vodných roztoků | Práce na příbuzné téma

18.
Čaloud, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Fyzika / Fyzika
Obhajoba bakalářské práce: Simulace měření válcovou emisní sondou v plazmatu | Práce na příbuzné téma

19.
Čechák, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Exploring Statistical Biases in Educational Data: A Simulation-Based Approach | Práce na příbuzné téma

20.
Čechák, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Exploring Biases in Educational Data | Práce na příbuzné téma

21.
Čermák, Gabriel
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - německý jazyk
Obhajoba bakalářské práce: Gebrauch des Konjunktivs in der deutschen Presse | Práce na příbuzné téma

22.
Černochová, Anežka
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Das Modalverb KÖNNEN und seine Äquivalente im Tschechischen | Práce na příbuzné téma

23.
Čurda, Martin
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba diplomové práce: Smyčcové kvartety Janáčkových žáků z 20. let | Práce na příbuzné téma

24.
Demianenko, Daria
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Německý jazyk a literatura / Německá jazykověda
Obhajoba diplomové práce: Modalverben im Deutschen in diachroner Perspektive. Eine Skizze anhand des Werkes Ackermann aus Böhmen | Práce na příbuzné téma

25.
Dobišarová, Kristýna roz. Krupicová
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - německý jazyk
Obhajoba bakalářské práce: Zur Aussprache tschechischer Lehrer im Unterricht Deutsch als Fremdsprache | Práce na příbuzné téma

26.
Dočekalová, Miroslava
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Učitelství pro základní školy / Učitelství cizích jazyků pro základní školy - němčina
Obhajoba bakalářské práce: Typische Aussprachefehler von tschechischen Muttersprachlern und Methoden ihrer Behebung | Práce na příbuzné téma

27.
Dočekalová, Miroslava
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Analyse der Lehrmaterialien aus phonetischer Sicht | Práce na příbuzné téma

28.
Drahošová, Nikola
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Vizuální tvorba, Výtvarná výchova
Obhajoba diplomové práce: Komplikovanost jednoduchosti | Práce na příbuzné téma

29.
Dvořáková, Šárka
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Teoretická fyzika a astrofyzika (kombinace/zaměření: Astrofyzika)
Obhajoba diplomové práce: Analyza spekter horkých hvězd s pomocí programu VO-Korel | Práce na příbuzné téma

30.
Dzurňáková, Jozefína
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba diplomové práce: Janáčkovská reflexia v opere Eugena Suchoňa Krútňava | Práce na příbuzné téma

31.
Eklová, Ilona
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Role play na druhém stupni ZŠ | Práce na příbuzné téma

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

33.
Goldhahn, Agnes
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Německý jazyk
Obhajoba disertační práce: Tschechische und deutsche Wissenschaftssprache im Vergleich. Eine kontrastive Analyse tschechischer und deutscher Wissenschaftlicher Artikel der Linguistik | Práce na příbuzné téma

34.
Gryga, Lukáš
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: Mosaik Framework for Co-Simulations of Smart Grids Reliability | Práce na příbuzné téma

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

36.
Harvánek, Marcel
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba diplomové práce: Telemedicína v ČR a nové trendy v soustřeďování a zpracování obrazových informací v medicíně | Práce na příbuzné téma

37.
Havlásková, Zuzana
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Španělský jazyk a literatura
Obhajoba bakalářské práce: La modalidad oracional en la publicidad impresa | Práce na příbuzné téma

38.
Helekalová, Jana
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - ruský jazyk
Obhajoba bakalářské práce: Problematika interference v nácviku správné výslovnosti ve výuce ruštiny na základě analýzy pohádky Gusi-lebedi | Práce na příbuzné téma

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

40.
Hladká, Andrea
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Anglický jazyk se zaměřením na vzdělávání / Anglický jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: English modals: synchronic and diachronic analysis of deontic modal verbs | Práce na příbuzné téma

41.
Hloušková, Petra
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biologie / Matematická biologie
Obhajoba diplomové práce: Použití Coxova modelu pro predikci přežití onkologických pacientů z molekulárně-biologických dat | Práce na příbuzné téma

42.
Hon, Michael
Fakulta: Pedagogická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Vizuální tvorba, Výtvarná výchova
Obhajoba diplomové práce: Redukce abstrakce | Práce na příbuzné téma

43.
Hrnčířová, Kateřina
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - německý jazyk
Obhajoba bakalářské práce: Analyse des Lehrwerks "Studio d B1" aus phonetischer Sicht | Práce na příbuzné téma

44.
Hrubý, Matěj
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Mezinárodní vztahy a energetická bezpečnost
Obhajoba diplomové práce: Vliv elektromobility na snižování emisí v České republice | Práce na příbuzné téma

45.
Hudec, Adam
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Japanistika
Obhajoba bakalářské práce: Charakteristika japonských modálnych adverbií | Práce na příbuzné téma

46.
Chrástová, Stanislava
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Ekonomika a řízení nestátních neziskových organizací
Obhajoba bakalářské práce: Náhrada mzdy a nemocenská v případě pracovní neschopnosti | Práce na příbuzné téma

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

48.
Jílková, Barbora
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Společné jmění manželů z pohledu vnosu a investic | Práce na příbuzné téma

49.
Jurásek, Miroslav
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Fyzika / Biofyzika
Obhajoba disertační práce: Multiscale simulations of protein-protein interactions | Práce na příbuzné téma

50.
Kabátník, Patrik
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Geologie (čtyřleté) / Geologické vědy
Obhajoba disertační práce: Degradace chlorovaných uhlovodíků použitím kovů - aplikace technologie PRB na lokalitě Hluk | Práce na příbuzné téma