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

automatic verification, probabilistic models, qualitative analysis, parallel model checking, end components, system of linear inequalities, linear temporal logic, markov decision processes, strongly connected components

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

1.
Appl, Jiří
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Quantitative Probabilistic Verification in Distributed Environment | Práce na příbuzné téma Zobrazit popisek

2.
Ajdarów, Michal
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Markovovy rozhodovací procesy s neúplnou informací a omezenými zdroji | Práce na příbuzné téma

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

4.
Babiak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Translation of LTL to omega-automata | Práce na příbuzné téma

5.
Ballarinová, Darja
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Ekonomická analýza vybraného podniku | Práce na příbuzné téma

6.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Ověřování interaktivních vlastností komponentových systémů | Práce na příbuzné téma

7.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Parameter Synthesis for Systems with Real Time | Práce na příbuzné téma

8.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automata for Formal Methods: Little Steps Towards Perfection | Práce na příbuzné téma

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

10.
Boček, Štěpán
Fakulta: Pedagogická fakulta
Rok: 2016, 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: Lexical cohesion in Stephen King's short stories | Práce na příbuzné téma

11.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Decidability and complexity of infinite-state stochastic games | Práce na příbuzné téma

12.
Brožová, Kristýna
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Integrace psychedelické zkušenosti perspektivou terapeutů | Práce na příbuzné téma

13.
Bukáček, Martin
Fakulta: Fakulta sociálních studií
Rok: 2017, 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: Mezi legitimizací a stigmatizací: Diskurz krajně-pravicového populismu v online zpravodajství portálů iDnes.cz a Novinky.cz | Práce na příbuzné téma

14.
Češka, Milan
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí | Práce na příbuzné téma

15.
Češka, Milan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Designing Data-Parallel Graph Algorithms for Model Checking | Práce na příbuzné téma

16.
Doležalová, Adéla
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Předškolní a mimoškolní pedagogika / Učitelství pro mateřské školy
Obhajoba bakalářské práce: Analýza kurikula předškolního vzdělávání v Severním Irsku | Práce na příbuzné téma

17.
Dovjak, Ján
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Softwarové systémy
Obhajoba diplomové práce: Vyhodnotenie nástrojov poskytovania spätnej väzby v kyberbezpečnostnom tréningu | Práce na příbuzné téma

18.
Duchoňová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociální politika a sociální práce / Psychologie, Sociální politika a sociální práce
Obhajoba bakalářské práce: Zaměstnávání osob s mentálním postižením: představy a zkušenosti | Práce na příbuzné téma

19.
Dušková, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Ekonomická analýza vybraného podniku | Práce na příbuzné téma

20.
Fábryová, Ivana
Fakulta: Ekonomicko-správní fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Ekonomická analýza podniku | Práce na příbuzné téma

21.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Controller Synthesis for Markov Decision Processes with Branching - Time Objectives | Práce na příbuzné téma

22.
Haľama, Ondrej
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Profesné sebapojatie vysokoškolských pedagógov v období pandémie COVID-19 | Práce na příbuzné téma

23.
Helmer, Jason Monroe
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor English Language for Education / English Language for Education
Obhajoba bakalářské práce: Cultivating Language Learning: The Effectiveness of Experiential and Project-Based ESL Learning in an Agricultural Setting | Práce na příbuzné téma

24.
Hromádková, Věra
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Humanitní studia / Anglický jazyk a literatura, Překladatelství anglického jazyka
Obhajoba diplomové práce: Pragmatics in legal language: Deixis | Práce na příbuzné téma

25.
Hudcová, Alena
Fakulta: Ekonomicko-správní fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Ekonomická analýza vybraného podniku | Práce na příbuzné téma

26.
Ivanová, Martina
Fakulta: Právnická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Sociální sítě v kontextu právní etiky | Práce na příbuzné téma

27.
Jánský, Jiří
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematické modelování a numerické metody
Obhajoba diplomové práce: Putující vlny v rovnicích reakce difúze | Práce na příbuzné téma

28.
Janů, Eva roz. Němcová
Fakulta: Lékařská fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Zobrazovací metody a lékařská fyzika / Radiologie - zobrazovací metody
Obhajoba disertační práce: Využití kontrastní ultrasonografie v diferenciální diagnostice ložiskových změn mléčné žlázy | Práce na příbuzné téma

29.
Khýrová, Veronika
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociologie / Sociologie
Obhajoba diplomové práce: Reprodukční plánování studentek Masarykovy univerzity, kvalitativní studie | Práce na příbuzné téma

30.
Klimoš, Miroslav
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Synthesis of Minimal Schedulers for Markov Decision Processes | Práce na příbuzné téma

31.
Kloučková, Magdaléna
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Environmentální studia, Sociologie
Obhajoba bakalářské práce: Analýza protestní kampaně Milion chvilek pro demokracii | Práce na příbuzné téma

32.
Kolečkářová, Tereza
Fakulta: Fakulta sociálních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Mediální studia), Sociologie
Obhajoba bakalářské práce: Žena novinářka jako povolání nebo profese? | Práce na příbuzné téma

33.
Komárková, Zuzana
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes | Práce na příbuzné téma

34.
Kouřil, Vojtěch
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství anglického jazyka a literatury pro základní školy, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Linking Adverbials in Academic Prose | Práce na příbuzné téma

35.
Kováčik, Milan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulation-based analysis of large-scale dynamical systems | Práce na příbuzné téma

36.
Kováčová, Mária
Fakulta: Ekonomicko-správní fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Ekonomická analýza podniku | Práce na příbuzné téma

37.
Kratochvílová, Vendula
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Prožívání psychoterapeutů při práci s klienty s depresí | Práce na příbuzné téma

38.
Krčál, Jan
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Determinacy and Optimal Strategies in Stochastic Games | Práce na příbuzné téma

39.
Krčál, Michal
Fakulta: Ekonomicko-správní fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Ekonomika a management (čtyřleté) / Podniková ekonomika a management
Obhajoba disertační práce: Hodnocení efektivnosti podnikových portálů | Práce na příbuzné téma
Obhajoba disertační práce: Hodnocení efektivnosti podnikových portálů | Práce na příbuzné téma

40.
Kristlová, Markéta
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Kvalitativní analýza životních příběhů osob aktuálně užívajících nelegální návykové látky | Práce na příbuzné téma

41.
Křtínová, Andrea
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Politologie
Obhajoba bakalářské práce: Politická strana OĽANO jako příklad populistické strany | Práce na příbuzné téma

42.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní verifikace LTL(F,G) vlastností | Práce na příbuzné téma

43.
Kusá, Tamara
Fakulta: Ekonomicko-správní fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Ekonomická analýza podniku | Práce na příbuzné téma

44.
Lopuch, Jozef
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Sociální geografie a regionální rozvoj
Obhajoba diplomové práce: Motivace v temném cestovním ruchu | Práce na příbuzné téma

45.
Malá, Karolína
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Algebraický přístup k lineární temporální logice | Práce na příbuzné téma

46.
Maschlanka, Luisa
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropské vládnutí
Obhajoba diplomové práce: Just transition towards a climate neutral society: An analysis of trade union strategies in four European countries | Práce na příbuzné téma

47.
Mikésková, Patrícia roz. Konečná
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie se zaměřením na vzdělávání / Fyzika se zaměřením na vzdělávání, Chemie se zaměřením na vzdělávání
Obhajoba bakalářské práce: Tvorba studijního materiálu pro laboratorní cvičení z analytické chemie | Práce na příbuzné téma

48.
Novotný, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Controller Synthesis for Resource-Aware Systems | Práce na příbuzné téma

49.
Omelka, Ondřej
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Ekonomická analýza podniku | Práce na příbuzné téma

50.
Pavoničová, Ludmila
Fakulta: Ekonomicko-správní fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Firemní dárcovství jako nástroj společenské odpovědnosti firem | Práce na příbuzné téma