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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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