Theses on a related topic (having the same keywords):
prism, markov chain, model-vis, dtmc, model visualizationKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Moutelík, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Drawing of PRISM models | Theses on a related topic![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)
Bachelor's thesis defence: Drawing of PRISM models | Theses on a related topic![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Drawing of PRISM models | Theses on a related topic
![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)
Bachelor's thesis defence: Drawing of PRISM models | Theses on a related topic
![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)
2.
Farmadin, Adrian
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Rozšíření nástroje PRISM o analýzu Markovových řetězců spojitého času s fixními událostmi | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Rozšíření nástroje PRISM o analýzu Markovových řetězců spojitého času s fixními událostmi | Theses on a related topic
3.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
4.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
5.
Bučková, Lucie
Faculty: Faculty of Medicine
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Ortoptics / Ortoptics
Bachelor's thesis defence: Ortoptická léčba u pacienta s diplopií | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Ortoptics / Ortoptics
Bachelor's thesis defence: Ortoptická léčba u pacienta s diplopií | Theses on a related topic
6.
Cihlářová, Miroslava
Faculty: Faculty of Medicine
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Health Sciences (combination/specialization: Teaching Specialization Optics and Optometrics)
Master's thesis defence: Prizmatická korekce v praxi optometristy | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Health Sciences (combination/specialization: Teaching Specialization Optics and Optometrics)
Master's thesis defence: Prizmatická korekce v praxi optometristy | Theses on a related topic
7.
Džubarová, Romana
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Využitie dátového predpisu XC4 pre kontrolu financovania líniových stavieb | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Využitie dátového predpisu XC4 pre kontrolu financovania líniových stavieb | Theses on a related topic
8.
Ernestová, Adéla
Faculty: Faculty of Medicine
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Ortoptics / Ortoptics
Bachelor's thesis defence: Prizmata v ortoptice | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Ortoptics / Ortoptics
Bachelor's thesis defence: Prizmata v ortoptice | Theses on a related topic
9.
Fardová, Aneta
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics focused on teaching / English Language and Literature, Mathematics focused on teaching
Bachelor's thesis defence: Osvětlení v Mongeově zobrazovací metodě | Theses on a related topic
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics focused on teaching / English Language and Literature, Mathematics focused on teaching
Bachelor's thesis defence: Osvětlení v Mongeově zobrazovací metodě | Theses on a related topic
10.
Fišerová, Gabriela
Faculty: Faculty of Medicine
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Spektrofotometr - metodika a možnosti praktického využití | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Spektrofotometr - metodika a možnosti praktického využití | Theses on a related topic
11.
Forch, Vlastislav
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Pravděpodobný výsledek jednoduché poziční hry | Theses on a related topic
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Pravděpodobný výsledek jednoduché poziční hry | Theses on a related topic
12.
Gajdošová, Anna maiden name: Fojtů
Faculty: Faculty of Medicine
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Ortoptics
Bachelor's thesis defence: Využití prizmat v léčbě strabismu | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Ortoptics
Bachelor's thesis defence: Využití prizmat v léčbě strabismu | Theses on a related topic
13.
Ganswohlová, Tereza
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Aplikace markovských procesů v pojistné matematice | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Aplikace markovských procesů v pojistné matematice | Theses on a related topic
14.
Hajdová, Iveta
Faculty: Faculty of Medicine
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optometry
Bachelor's thesis defence: Centrování brýlových čoček | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optometry
Bachelor's thesis defence: Centrování brýlových čoček | Theses on a related topic
15.
Hajdúk, Roman
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření nástroje STORM model checker pro GSMP modely | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření nástroje STORM model checker pro GSMP modely | Theses on a related topic
16.
Hordějčuková, Klára
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Spojité Markovovské řetězce a jejich použití | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Spojité Markovovské řetězce a jejich použití | Theses on a related topic
17.
Hrabovská, Markéta
Faculty: Faculty of Medicine
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Prizmatická korekce. Výpočet a navození požadovaného prizmatického účinku u brýlové korekce | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Prizmatická korekce. Výpočet a navození požadovaného prizmatického účinku u brýlové korekce | Theses on a related topic
18.
Jurík, Karol
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Bonus malus systémy v pojištění | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Bonus malus systémy v pojištění | Theses on a related topic
19.
Kopalová, Kateřina
Faculty: Faculty of Medicine
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Optometry
Master's thesis defence: Využití prizmat v optometrické praxi | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Optometry
Master's thesis defence: Využití prizmat v optometrické praxi | Theses on a related topic
20.
Kopčoková, Ivica
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Stochastické modely výskytu událostí | Theses on a related topic
Bachelor's thesis defence: Stochastické modely výskytu událostí | Theses on a related topic
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Stochastické modely výskytu událostí | Theses on a related topic
Bachelor's thesis defence: Stochastické modely výskytu událostí | Theses on a related topic
21.
Kvaka, Tomáš
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Mathematics - Economics
Master's thesis defence: Markov Chain Monte Carlo metody a konvergenční diagnostiky s aplikací v ekonomii | Theses on a related topic
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Mathematics - Economics
Master's thesis defence: Markov Chain Monte Carlo metody a konvergenční diagnostiky s aplikací v ekonomii | Theses on a related topic
22.
Langová, Barbora
Faculty: Faculty of Medicine
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Možnosti vyšetření jednoduchého binokulárního vidění a jeho poruch v ordinaci optometristy | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Možnosti vyšetření jednoduchého binokulárního vidění a jeho poruch v ordinaci optometristy | Theses on a related topic
23.
Letková, Veronika
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Prizmata v optice a optometrii | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Prizmata v optice a optometrii | Theses on a related topic
24.
Malota, Milan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: New GUI for the PRISM model checker | Theses on a related topic
Master's thesis defence: PRISM model checker as an Eclipse-plugin | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: New GUI for the PRISM model checker | Theses on a related topic
Master's thesis defence: PRISM model checker as an Eclipse-plugin | Theses on a related topic
25.
Marčeková, Michaela
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Specifické sekvence v náhodných posloupnostech | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Specifické sekvence v náhodných posloupnostech | Theses on a related topic
26.
Melnyk, Rostyslav
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Ing.
Programme/field: Finance / Finance
Master's thesis defence: Modelování rizika předčasného splacení hypotečního úvěru | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Ing.
Programme/field: Finance / Finance
Master's thesis defence: Modelování rizika předčasného splacení hypotečního úvěru | Theses on a related topic
27.
Monsportová, Anežka
Faculty: Faculty of Medicine
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Optics and Optometry / Optics and Optometry
Bachelor's thesis defence: Prizmatická korekce a její využití v praxi optometristy | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Optics and Optometry / Optics and Optometry
Bachelor's thesis defence: Prizmatická korekce a její využití v praxi optometristy | Theses on a related topic
28.
Morávková, Blanka
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Descriptive Geometry, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Úlohy s prostorovými tělesy v Mongeově zobrazovací metodě | Theses on a related topic
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Descriptive Geometry, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Úlohy s prostorovými tělesy v Mongeově zobrazovací metodě | Theses on a related topic
29.
Nedvědová, Jolana
Faculty: Faculty of Medicine
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Optometry
Master's thesis defence: Snášenlivost vertikálního prizmatu u nositelů brýlové korekce | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Optometry
Master's thesis defence: Snášenlivost vertikálního prizmatu u nositelů brýlové korekce | Theses on a related topic
30.
Omastová, Hedvika
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry with a view to Education, Mathematics with a view to Education
Bachelor's thesis defence: Aplikace lineární algebry | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry with a view to Education, Mathematics with a view to Education
Bachelor's thesis defence: Aplikace lineární algebry | Theses on a related topic
31.
Pham, Thanh Trang
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Statistics and Data Analysis
Master's thesis defence: Modely časových řad pro binární a spojitá meterologická data | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Statistics and Data Analysis
Master's thesis defence: Modely časových řad pro binární a spojitá meterologická data | Theses on a related topic
32.
Pšorn Zákopčanová, Kristína
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic
33.
Rejková, Anna
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Vícestavové modely v zdravotním pojištění | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Vícestavové modely v zdravotním pojištění | Theses on a related topic
34.
Szczuková, Lenka maiden name: Puczoková
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Mathematical Biology
Master's thesis defence: Zobecněná syntéza poznatků o účinnosti kolonoskopie při prevenci kolorektálního karcinomu | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Mathematical Biology
Master's thesis defence: Zobecněná syntéza poznatků o účinnosti kolonoskopie při prevenci kolorektálního karcinomu | Theses on a related topic
35.
Tomšej, Jakub
Faculty: Faculty of Science
Year: 2023, studies under way
Programme/field: Mathematics focused on teaching / Informatics in education, Mathematics focused on teaching
Bachelor's thesis defence: Stereometrie | Theses on a related topic
Faculty: Faculty of Science
Year: 2023, studies under way
Programme/field: Mathematics focused on teaching / Informatics in education, Mathematics focused on teaching
Bachelor's thesis defence: Stereometrie | Theses on a related topic
36.
Vaščáková, Viktória
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Optometry / Optometry
Master's thesis defence: Rozdíl mezi přímým a nepřímým měřením heteroforií do dálky a do blízka | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Optometry / Optometry
Master's thesis defence: Rozdíl mezi přímým a nepřímým měřením heteroforií do dálky a do blízka | Theses on a related topic
37.
Vlašín, Marek
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Systémy hromadné obsluhy | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Systémy hromadné obsluhy | Theses on a related topic
38.
Zedníčková, Barbora
Faculty: Faculty of Medicine
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Hranoly v optice, optometrii a oftalmologii | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Hranoly v optice, optometrii a oftalmologii | Theses on a related topic