Theses on a related topic (having the same keywords):

verifikacia, stavovy priestor, konverzia, vizualizacia, formalna verifikacia

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Krúželová, Daniela
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Vizualizácia stavového priestoru booleovskej siete | Theses on a related topic Display description

2.
Balážová, Michaela
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Analýza bezpečnostních událostí v kolaborativním prostředí | Theses on a related topic

3.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE

4.
Bohoš, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: 3D vizualizace územních vztahů obce | Theses on a related topic

5.
Budáč, Jozef
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace monitorovacího nástroje | Theses on a related topic

6.
Bugárová, Ágnes
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Vizualizácia dát z oblasti Antarktídy | Theses on a related topic

7.
Bugárová, Ágnes
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Vizualizácie pre agregáciu dát školení v KYPO | Theses on a related topic

8.
Burda, Erik
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Visualization of student trajectories in a learning system | Theses on a related topic

9.
Caban, Jakub
Faculty: Faculty of Informatics
Year: 2016, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Analýza a vizualizace velkých dat | Theses on a related topic

10.
Cidoríková, Annamária
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Technické pamiatky ako centrá súčasného kultúrneho rozvoja a umeleckého rastu | Theses on a related topic

11.
Cigán, Jakub
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Study of Religions
Bachelor's thesis defence: Konverzia, jej typológia a štruktúra | Theses on a related topic

12.
Džmura, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Knihovna pro animace v logice | Theses on a related topic

13.
Džugan, Ivan
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Geography / Applied Geography and Geoinformatics (combination/specialization: Geoinformatics and Sustainable Development)
Bachelor's thesis defence: Výpočty a kartografická vizualizace viditelnosti větrných elektráren | Theses on a related topic

14.
Farkaš, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Biometrické systémy založené na srovnání hlasu | Theses on a related topic

15.
Felinger, Roman
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Angular modul pro výpočet a zobrazení bezkolizních oblastí v síťové topologii | Theses on a related topic

16.
Foltín, Matúš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Aplikace pro podporu automatické konverze rastrových obrázků | Theses on a related topic

17.
Forgáč, Filip
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Exploratívna vizuálna analýza dát zo simulátora kyberútokov | Theses on a related topic

18.
Franek, Peter
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vizualizace map budov MU pro platformu Android | Theses on a related topic

19.
Fritzová, Tatiana
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Vizualizácia pre vzťahovú analýzu sieťovej prevádzky | Theses on a related topic

20.
Furmanová, Katarína
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Graphics
Advanced Master's thesis defence: Visualization and Visual Analysis of Intermolecular Interactions of Proteins | Theses on a related topic

21.
Galanová, Miriam
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Vizualizace hlubokého učení časových řad | Theses on a related topic

22.
Gočová, Katarína
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Přehledová vstupní vizualizace pro aplikaci Antarstick | Theses on a related topic

23.
Goljerová, Alena
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vizualizace grafových prohledávacích algoritmů | Theses on a related topic

24.
Gordian, Tomáš
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vizualizace toku molekul vody v proteinových dynamikách | Theses on a related topic

25.
Hanák, Dominik
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Vizualizace distribuovaného systému | Theses on a related topic

26.
Hlbocký, Dávid
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Vizualizace interiérů | Theses on a related topic

27.
Horváthová, Lenka
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editor síťové topologie ve frameworku Angular | Theses on a related topic

28.
Hrmo, Lukáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Dátová štruktúra pre reprezentáciu dynamických stromů | Theses on a related topic

29.
Hudek, Ferdinand
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Návrh uživatelského rozhraní pro systém lokálního řízení zátěže v energetické distribuční soustavě | Theses on a related topic

30.
Hutta, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Vizualizace molekulárních dat ve virtuální realitě | Theses on a related topic

31.
Chriašteľ, Peter
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikace kryptografických vlastností platebního protokolu | Theses on a related topic

32.
Ihnatová, Ivana
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Biology / Mathematical Biology
Master's thesis defence: Implementácia metód pre meta-analýzu dát z microarray experimentov. | Theses on a related topic

33.
Ihnatová, Ivana
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Biology / Mathematical Biology
Advanced Master's thesis defence: MAMA: R-balík pro meta-analýzu microarray | Theses on a related topic

34.
Jasenčáková, Soňa
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Pravda v súčasnom intuicionizme a anti-realizme | Theses on a related topic

35.
Jenčo, Branislav
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Clusterovací algoritmy pro sledování vod v proteinech | Theses on a related topic

36.
Juračková, Nastasia maiden name: Kovářová
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Hledání maximálního toku s využitím inkrementálního BFS | Theses on a related topic

37.
Kadaši, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Verifikace paralelní hashovací tabulky z knihovny Folly | Theses on a related topic

38.
Kišš, Oliver
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Program pro automatické generování vizualizací matematických modelů | Theses on a related topic

39.
Kočamba, Erik
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Aplikace pro vizualizaci skóre kyberbezpečnostních cvičení | Theses on a related topic

40.
Kosárová, Silvia
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Nevyužívané technické areály Slovenska a ich potenciál pre kultúrnu sféru | Theses on a related topic

41.
Kotry, Matúš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Detekce a vizualizace charakteristik proteinových struktur | Theses on a related topic

42.
Kováč, Michal
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vizualizace a editace B+ stromů | Theses on a related topic

43.
Krídl, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Aktualizace a dotazování na dílčí pole vícerozměrných polí | Theses on a related topic

44.
Kršáková, Kristína
Faculty: Faculty of Medicine
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Midwifery / Midwife
Bachelor's thesis defence: Prenatální komunikace kresbou | Theses on a related topic

45.
Kubus, Miroslav
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Detekce a vizualizace chování uživatelů webových informačních systémů | Theses on a related topic

46.
Lišková, Magdaléna
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Vizualizácia laterálneho postupu v kyberbezpečnostnej simulácií | Theses on a related topic

47.
Ľubocká, Dorota
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Paralelní značkovací algoritmus pro hledání silně souvislých komponent. | Theses on a related topic

48.
Macák, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Spracovanie logov OS Windows pre potreby bezpečnostných tímov CSIRT | Theses on a related topic

49.
Mačková Tokárová, Lucia
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Princípy vizualizácie informácií | Theses on a related topic

50.
Mach, Ján
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Pokročilé vizualizačné techniky pre dáta z prevádzky distribučných sietí | Theses on a related topic