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

real-time systems, games, stochastic processes, model checking, performance evaluation

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

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

4.
Baisa, Barbora
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Hodnocení výkonnosti firmy po přechodu na vykazování v souladu s IFRS pro malé a střední firmy | Práce na příbuzné téma

5.
Bannikova, Darina
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Výtvarná výchova a vizuální tvorba se zaměřením na vzdělávání / Výtvarná výchova a vizuální tvorba se zaměřením na vzdělávání
Obhajoba bakalářské práce: Design a tvorba deskových her | Práce na příbuzné téma

6.
Bartůňková, Světlana
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy (kombinace/zaměření: Anglický jazyk a literatura)
Obhajoba diplomové práce: Posilování pozitivních sociálních vztahů ve třídě na I. stupni základní školy | Práce na příbuzné téma

7.
Bauch, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Automating Software Development with Explicit Model Checking | Práce na příbuzné téma

8.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE

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

10.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Verification of Component Interaction in Component-Based Systems | Práce na příbuzné téma

11.
Benešová, Martina
Fakulta: Pedagogická fakulta
Rok: 2017, 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: Motivierende und aktivisierende Sprechübungen im DaF - Unterricht | Práce na příbuzné téma

12.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE

13.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: LTL atraktory | Práce na příbuzné téma

14.
Bícová, Ema
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba diplomové práce: Internal vs External Video Game Localization | Práce na příbuzné téma

15.
Bíza, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Statistické vlastnosti Poissonova procesu | Práce na příbuzné téma

16.
Bíza, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Modely výskytu událostí, jejich ověření a aplikace | Práce na příbuzné téma

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

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

19.
Bláhová, Petra
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství českého jazyka a literatury pro základní školy, Učitelství německého jazyka a literatury pro základní školy
Obhajoba diplomové práce: Deutschunterricht im Kindergarten | Práce na příbuzné téma

20.
Brázdilová, Kamila
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: Hodnocení výkonnosti poboček nadnárodní společnosti | Práce na příbuzné téma
Obhajoba diplomové práce: Hodnocení výkonnosti poboček nadnárodní společnosti | Práce na příbuzné téma

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

22.
Brožek, Václav
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: Basic Model Checking Problems for Stochastic Games | Práce na příbuzné téma

23.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Basic model-checking problems for stochastic games | Práce na příbuzné téma

24.
Burget, Rostislav
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma

25.
Čepáková, Nikola
Fakulta: Fakulta sportovních studií
Rok: 2024, studium probíhá
Program/obor Tělesná výchova a sport / Český jazyk a literatura se zaměřením na vzdělávání, Tělesná výchova a sport
Obhajoba bakalářské práce: Esport a motivace | Práce na příbuzné téma

26.
Čermák, Jiří
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Porovnání modelovacích schopností verifikačních nástrojů | Práce na příbuzné téma

27.
Čupera, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika (čtyřleté) / Pravděpodobnost, statistika a matematické modelování
Obhajoba disertační práce: Stochastic methods in neuroinformatics and pharmacokinetics | Práce na příbuzné téma

28.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Rozšíření a refaktorizace nástroje BioDiVinE | Práce na příbuzné téma

29.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Práce na příbuzné téma

30.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Parameter Synthesis of Dynamical Systems via Model Checking | Práce na příbuzné téma

31.
Diviš, Ondřej
Fakulta: Právnická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Vliv nové právní úpravy hazardu na online trh hazardních her | Práce na příbuzné téma

32.
Drápal, Michal
Fakulta: Fakulta sportovních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Hry jako motivační prvek ve fotbalovém tréninku mladších žáků | Práce na příbuzné téma

33.
Dudys, Janusz
Fakulta: Filozofická fakulta
Rok: 2017, studium neúspěšně ukončeno
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Serious Games - hra, simulace nebo jen školení? | Práce na příbuzné téma

34.
Ďuriš, Matúš
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Teorie interaktivních médií / Teorie interaktivních médií
Obhajoba bakalářské práce: Hry ktoré sa nehrajú | Práce na příbuzné téma

35.
Dvořáková, Dana
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství německého jazyka a literatury pro základní školy, Učitelství speciální pedagogiky pro základní školy
Obhajoba diplomové práce: Spiele im Deutschunterricht | Práce na příbuzné téma

36.
Fajkoš, Jiří
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Návrh manažerského dashboardu | Práce na příbuzné téma

37.
Fialová, Nicole roz. Ioanidu
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Proměny objektů na post-socialistických sídlištích aneb hledání nových hodnot | Práce na příbuzné téma

38.
Fišer, Radim
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství fyziky pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Využití počítače při práci s dětmi předškolního věku. | Práce na příbuzné téma

39.
Flösslerová, Kateřina
Fakulta: Fakulta sportovních studií
Rok: 2018, studium neúspěšně ukončeno
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Rozvoj lokomočních dovedností u dětí předškolního věku | Práce na příbuzné téma

40.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma

41.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Verification of Finite-State Stochastic Systems | Práce na příbuzné téma

42.
Frnoch, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Grafické rozhraní pro simulátor C++ programů | Práce na příbuzné téma

43.
Gilyazova, Elmira
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Řízení finanční výkonnosti komerčních bank | Práce na příbuzné téma

44.
Hajnal, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba rigorózní práce: Formal Methods for Model Selection in Systems Biology | Práce na příbuzné téma

45.
Haran, Himanshu Kumar
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma

46.
Hashimi, Arta
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Finanční podnikání (angl.)
Obhajoba diplomové práce: Analysis of mutual funds’ performance in selected country during the financial crisis period | Práce na příbuzné téma

47.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Relaxed Memory Models in DiVinE | Práce na příbuzné téma

48.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma

49.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma

50.
Havlíčková, Andrea
Fakulta: Filozofická fakulta
Rok: 2008, 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: Movement in ELT | Práce na příbuzné téma