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

oris, markov chain, fdctmc, prism, fixed-delay, ctmc, transient analysis, regenerative analysis

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

1.
Moutelík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Drawing of PRISM models | Práce na příbuzné téma Zobrazit popisek

Obhajoba bakalářské práce: Drawing of PRISM models | Práce na příbuzné téma Zobrazit popisek

2.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma

3.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma

4.
Bučková, Lucie
Fakulta: Lékařská fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ortoptika / Ortoptika
Obhajoba bakalářské práce: Ortoptická léčba u pacienta s diplopií | Práce na příbuzné téma

5.
Cihlářová, Miroslava
Fakulta: Lékařská fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Zdravotní vědy (kombinace/zaměření: Pedagogická specializace optometrie)
Obhajoba diplomové práce: Prizmatická korekce v praxi optometristy | Práce na příbuzné téma

6.
Děd, Vilém
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Agregace stavového prostoru biochemických dynamických systémů | Práce na příbuzné téma
Obhajoba diplomové práce: Agregace stavového prostoru biochemických dynamických modelů | Práce na příbuzné téma

7.
Džubarová, Romana
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Využitie dátového predpisu XC4 pre kontrolu financovania líniových stavieb | Práce na příbuzné téma

8.
Ernestová, Adéla
Fakulta: Lékařská fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ortoptika / Ortoptika
Obhajoba bakalářské práce: Prizmata v ortoptice | Práce na příbuzné téma

9.
Fišerová, Gabriela
Fakulta: Lékařská fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Spektrofotometr - metodika a možnosti praktického využití | Práce na příbuzné téma

10.
Forch, Vlastislav
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Pravděpodobný výsledek jednoduché poziční hry | Práce na příbuzné téma

11.
Gajdošová, Anna roz. Fojtů
Fakulta: Lékařská fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Ortoptika
Obhajoba bakalářské práce: Využití prizmat v léčbě strabismu | Práce na příbuzné téma

12.
Ganswohlová, Tereza
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Aplikace markovských procesů v pojistné matematice | Práce na příbuzné téma

13.
Hajdová, Iveta
Fakulta: Lékařská fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optometrie
Obhajoba bakalářské práce: Centrování brýlových čoček | Práce na příbuzné téma

14.
Hajdúk, Roman
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: Rozšíření nástroje STORM model checker pro GSMP modely | Práce na příbuzné téma

15.
Hordějčuková, Klára
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Spojité Markovovské řetězce a jejich použití | Práce na příbuzné téma

16.
Hrabovská, Markéta
Fakulta: Lékařská fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Prizmatická korekce. Výpočet a navození požadovaného prizmatického účinku u brýlové korekce | Práce na příbuzné téma

17.
Jurík, Karol
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Bonus malus systémy v pojištění | Práce na příbuzné téma

18.
Kopalová, Kateřina
Fakulta: Lékařská fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Optometrie
Obhajoba diplomové práce: Využití prizmat v optometrické praxi | Práce na příbuzné téma

19.
Kopčoková, Ivica
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Stochastické modely výskytu událostí | Práce na příbuzné téma
Obhajoba bakalářské práce: Stochastické modely výskytu událostí | Práce na příbuzné téma

20.
Kotyra, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování a analýza pravděpodobnostních systémů spojitého a diskrétního času | Práce na příbuzné téma

21.
Kvaka, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná matematika / Matematika - ekonomie
Obhajoba diplomové práce: Markov Chain Monte Carlo metody a konvergenční diagnostiky s aplikací v ekonomii | Práce na příbuzné téma

22.
Langová, Barbora
Fakulta: Lékařská fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Možnosti vyšetření jednoduchého binokulárního vidění a jeho poruch v ordinaci optometristy | Práce na příbuzné téma

23.
Letková, Veronika
Fakulta: Lékařská fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Prizmata v optice a optometrii | Práce na příbuzné téma

24.
Malota, Milan
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: New GUI for the PRISM model checker | Práce na příbuzné téma
Obhajoba diplomové práce: PRISM model checker as an Eclipse-plugin | Práce na příbuzné téma

25.
Marčeková, Michaela
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Specifické sekvence v náhodných posloupnostech | Práce na příbuzné téma

26.
Melnyk, Rostyslav
Fakulta: Ekonomicko-správní fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finance
Obhajoba diplomové práce: Modelování rizika předčasného splacení hypotečního úvěru | Práce na příbuzné téma

27.
Monsportová, Anežka
Fakulta: Lékařská fakulta
Rok: 2024, studium probíhá
Program/obor Optika a optometrie / Optika a optometrie
Obhajoba bakalářské práce: Prizmatická korekce a její využití v praxi optometristy | Práce na příbuzné téma

28.
Morávková, Blanka
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství deskriptivní geometrie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Úlohy s prostorovými tělesy v Mongeově zobrazovací metodě | Práce na příbuzné téma

29.
Nedvědová, Jolana
Fakulta: Lékařská fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Optometrie
Obhajoba diplomové práce: Snášenlivost vertikálního prizmatu u nositelů brýlové korekce | Práce na příbuzné téma

30.
Omastová, Hedvika
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Aplikace lineární algebry | Práce na příbuzné téma

31.
Pham, Thanh Trang
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Statistika a analýza dat
Obhajoba diplomové práce: Modely časových řad pro binární a spojitá meterologická data | Práce na příbuzné téma

32.
Pšorn Zákopčanová, Kristína
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: On Chaining Divine and Prism Model Checkers | Práce na příbuzné téma

33.
Rejková, Anna
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: Vícestavové modely v zdravotním pojištění | Práce na příbuzné téma

34.
Szczuková, Lenka roz. Puczoková
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Experimentální biologie / Matematická biologie
Obhajoba diplomové práce: Zobecněná syntéza poznatků o účinnosti kolonoskopie při prevenci kolorektálního karcinomu | Práce na příbuzné téma

35.
Tomšej, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium probíhá
Program/obor Matematika se zaměřením na vzdělávání / Informatika ve vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Stereometrie | Práce na příbuzné téma

36.
Vaščáková, Viktória
Fakulta: Lékařská fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Optometrie / Optometrie
Obhajoba diplomové práce: Rozdíl mezi přímým a nepřímým měřením heteroforií do dálky a do blízka | Práce na příbuzné téma

37.
Vlašín, Marek
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: Systémy hromadné obsluhy | Práce na příbuzné téma

38.
Zedníčková, Barbora
Fakulta: Lékařská fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Hranoly v optice, optometrii a oftalmologii | Práce na příbuzné téma