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

model-checking, divine, gpu, map, maximal accepting predecessors, ltl, cuda, mas

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Holas, Martin
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Budování hierarchie obalových těles na GPU | Theses on a related topic Display description

102.
Horský, Marek
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: GPU-based Poisson disk sub-sampling | Theses on a related topic

103.
Hořínková, Hana
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Study of Religions
Bachelor's thesis defence: Baptisteria z 3.-12. století: Databáze, deskriptivní statistika, mapy | Theses on a related topic

104.
Hrejsemnou, Ondřej
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Koncepce vybraných tematických map zdravotního stavu a zdravotní péče v ČR: analýza a interpretace současného stavu. | Theses on a related topic

105.
Hřivnová, Alžběta
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Czech Language and Literature / Czech Language and Literature
Bachelor's thesis defence: Vybrané názvy hmyzu v nářečích českého jazyka | Theses on a related topic

106.
Chládková, Vendula
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in Mathematics
Master's thesis defence: Analýza čtení leteckých a družicových dat u žáků základních škol | Theses on a related topic

107.
Ipser, Jaroslav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Informační portál pro multiagentní technologie | Theses on a related topic

108.
Janeček, Pavel
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Geography / Geography and Cartography (combination/specialization: Cartography and Geoinformatics), Upper Secondary School Teacher Training in Geography and Cartography
Master's thesis defence: Mapy cestovní medicíny | Theses on a related topic

109.
Janečka, Josef
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in History
Master's thesis defence: Větrné mlynářství na Drahanské vrchovině | Theses on a related topic

110.
Jankovič, Michal
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Augmented Reality Deformable Tracking | Theses on a related topic
Bachelor's thesis defence: Augmented Reality Deformable Tracking | Theses on a related topic

111.
Janoušek, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh modelovacího jazyka nástroje DiVinE | Theses on a related topic

112.
Javorský, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Generování terénu na GPU | Theses on a related topic

113.
Jurčík, Adam
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Techniky programování shaderů | Theses on a related topic

114.
Jurčík, Adam
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Detection and Visualization of Protein Surface Features | Theses on a related topic

115.
Jusko, Tomáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: GPU implementation of algorithms for side-channel attacks | Theses on a related topic

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

117.
Kadavá, Jana
Faculty: Faculty of Sports Studies
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Regeneration and Nutrition in Sport
Bachelor's thesis defence: Charakteristika orientačního běhu jako sportovní disciplíny | Theses on a related topic

118.
Karas, Pavel
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parallelization Strategies for Image-Filtering Algorithms | Theses on a related topic

119.
Karas, Pavel
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: GPU Acceleration of Image Processing Algorithms | Theses on a related topic

120.
Keda, Michal
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace formulí logiky LTL | Theses on a related topic

121.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic

122.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic

123.
Kinská, Tereza
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Counter Automata for MTL over Untimed Words | Theses on a related topic

124.
Klokočka, Mikuláš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Complementation of TBA Based on Semi-Determinization | Theses on a related topic

125.
Kneblová, Veronika
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Kartografická analýza vybraných prvků zelené infrastruktury na území města Brna | Theses on a related topic

126.
Kohoutek, Pavel
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Návrh a implmentace systému pro video podporu rozhodování rozhodčích v hokeji | Theses on a related topic

127.
Kohút, Lukáš
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Biology / Mathematical Biology
Bachelor's thesis defence: Využití nástrojů GIS v hodnocení ekologických rizik | Theses on a related topic

128.
Kolařík, Matouš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: GPU akcelerace DCT/IDCT pro nepravidelné rozměry kodovacích bloků | Theses on a related topic

129.
Konicar, Robert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic

130.
Korbel, Daniel
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Orientační systém a propagační předměty Pedagogické fakulty Masarykovy univerzity očima studenta | Theses on a related topic

131.
Král, Vojtěch
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Jednotný mapový klíč pro orientační běh. | Theses on a related topic

132.
Kratochvílová, Pavla
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic

133.
Krčál, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Motifs in State Spaces | Theses on a related topic

134.
Krejčír, Andrej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Rekonstrukce obrazu v digitální holografické mikroskopii s pomocí GPU | Theses on a related topic

135.
Krejčír, Andrej
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: GPU implementace zobecněného Chan-Vese modelu minimalizovaného pomocí grafových řezů | Theses on a related topic

136.
Kremláček, Jakub
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Rychlá vizualizace molekulárních dat pomocí GPU | Theses on a related topic

137.
Krchňák, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic

138.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Post-mortem analýza stavového prostoru | Theses on a related topic

139.
Křivánek, Milan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikační nástroj pro komponentové systémy | Theses on a related topic

140.
Křoupal, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Simulace filmové kamery v reálném čase | Theses on a related topic

141.
Kubíčková, Lucie
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Biology / General Biology (combination/specialization: Microbiology)
Master's thesis defence: Sledování životaschopnosti Mycobacterium avium subsp. paratuberculosis pomocí kultivačních a kultivačně nezávislých metod | Theses on a related topic

142.
Kuderjavý, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Dekonvoluce biomedicínských obrazů na GPU | Theses on a related topic

143.
Kudrnáčová, Jitka
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kešování stavů pod DiVinE | Theses on a related topic

144.
Kuchyňková, Monika maiden name: Rusnáková
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Výzkum znalostí a kartografické gramotnosti dětí a mládeže při včasném varování a krizových situacích | Theses on a related topic

145.
Kuchyňková, Monika maiden name: Rusnáková
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics, Upper Secondary School Teacher Training in Geography and Cartography
Master's thesis defence: Mapy pro děti: potenciální využití v situacích ohrožení | Theses on a related topic

146.
Kunzová, Tereza
Faculty: Faculty of Science
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Analýza dopravních map | Theses on a related topic
Bachelor's thesis defence: Analýza dopravních map | Theses on a related topic

147.
Kuzník, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Model Checking of promt-LTL properties | Theses on a related topic

148.
Kyčina, Pavol
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: GPU-based Ray Casting for Similarity Measurement of 3D Faces | Theses on a related topic

149.
Lakomý, Bedřich
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Generátor efektivního kódu fúzovaných CUDA kernelů | Theses on a related topic

150.
Lapáček, Vladimír
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - modul pro swapování stavů do sítě