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

51.
Beneš, Nikola
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

52.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic

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

54.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: LTL atraktory | Theses on a related topic

55.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic

56.
Bičanovská, Dita
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Political Science
Master's thesis defence: Opozice v regionální volební soutěži ve Venezuele | Theses on a related topic

57.
Bilíková, Martina
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Rozdílnosti ve vnímání kartografické symboliky mezi odlišnými skupinami uživatelů | Theses on a related topic

58.
Bilíková, Martina
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Vnímání grafických proměnných na mapách | Theses on a related topic

59.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automata for Formal Methods: Little Steps Towards Perfection | Theses on a related topic

60.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Linear Temporal Logic and omega-automata | Theses on a related topic

61.
Březinová, Šárka
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Geography / Geography and Cartography (combination/specialization: Cartography and Geoinformatics)
Master's thesis defence: Zpracování geografických informací ve ztížených podmínkách | Theses on a related topic

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

63.
Bucharová, Monika
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Interkulturní rozdíly v kognitivním stylu a jeho vliv na čtení mapy | Theses on a related topic

64.
Burget, Rostislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic

65.
Buřivalová, Lenka maiden name: Losertová
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Mineralogie rudních výskytů v okolí Humpolce | Theses on a related topic

66.
Cagaš, Pavel
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Extrakce lokálních obrazových deskriptorů na GPU | Theses on a related topic
Bachelor's thesis defence: Extrakce lokálních obrazových deskriptorů na GPU | Theses on a related topic

67.
Coufalová, Dominika
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Biology / Molecular Biology and Genetics
Bachelor's thesis defence: Microarrays a jejich využití při studiu komparativní genomiky izolátů Mycobacterium avium subsp. paratuberculosis | Theses on a related topic

68.
Cupáková, Marie
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Rozvoj cykloturistiky v regionu města Brna | Theses on a related topic

69.
Čaniga, Michal
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Smart Picture Enlargement Using Neural Networks | Theses on a related topic

70.
Čejka, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Shader pro vykreslení obilného pole | Theses on a related topic

71.
Čičmanec, Bruno
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer Games Development
Master's thesis defence: GPU Implementation of Piecewise Affine Mumford-Shah Model | Theses on a related topic

72.
Čupr, Kamil
Faculty: Faculty of Informatics
Year: 2008, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Aplikace shlukovacich metod na textové dokumenty | Theses on a related topic
Master's thesis defence: Aplikace shlukovacich metod na textové dokumenty | Theses on a related topic

73.
Daňková, Martina
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Regional Development and Tourism / Regional Development and Tourism
Bachelor's thesis defence: Meziobecní spolupráce jako nástroj regionálního rozvoje | Theses on a related topic

74.
Daňková, Veronika
Faculty: Faculty of Science
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Geography / Geography and Cartography (combination/specialization: Cartography and Geoinformatics)
Bachelor's thesis defence: Atlasová mapa letecké dopravy ČR

75.
David, Vojtěch
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Akcelerace kódování LDGM na grafických kartách | Theses on a related topic
Bachelor's thesis defence: Akcelerace kódování LDGM na grafických kartách | Theses on a related topic

76.
Demek, Miroslav
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Dynamic autotuning of SpMV kernel in CUSP library | Theses on a related topic

77.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Rozšíření a refaktorizace nástroje BioDiVinE | Theses on a related topic

78.
Divácká, Šárka
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Physics with a view to Education / Mathematics focused on teaching, Physics with a view to Education
Bachelor's thesis defence: Zobrazení pro začátečníky | Theses on a related topic

79.
Dražan, Sven
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Výpočetní analýza nelineárních dynamických systémů | Theses on a related topic

80.
Duba, Pavel
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Geography
Bachelor's thesis defence: Tvorba českého manuálu pro práci s virtuálním glóbem Marble | Theses on a related topic

81.
Duda, Petr
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Kartografická vizualizace hluku. | Theses on a related topic

82.
Dunčák, Peter
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Haptická interakcia s tekutinou | Theses on a related topic

83.
Ďurčo, Marián
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Bezpečné uživatelsky jednoduché výpočty akcelerované na GPU v české akademické eInfrastruktuře | Theses on a related topic

84.
Ficová, Tereza
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Povodně na Dačicku | Theses on a related topic

85.
Forejt, Vojtěch
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Theses on a related topic

86.
Fraňová, Eva
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Koncept mapy v elektronickej literatúre | Theses on a related topic

87.
Frnoch, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Grafické rozhraní pro simulátor C++ programů | Theses on a related topic

88.
Gaja, Pavel
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Analýza půdní vlhkosti a charakteristik sucha prostředky DPZ | Theses on a related topic

89.
Gajdoš, Andrej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Testování grafických uživatelských rozhraní | Theses on a related topic

90.
Gajdoš, Daniel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: PVM rozhraní pro DiVinE | Theses on a related topic

91.
Gillela, Maruthi
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Parallelization of brute force attack on MD5 hash algorithm in FPGA | Theses on a related topic

92.
Gonda, Jiří
Faculty: Faculty of Sports Studies
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Management of Tourist Trade)
Bachelor's thesis defence: Podpora cestovního ruchu prostřednictvím programu LEADER ČR v okrese Šumperk | Theses on a related topic

93.
Gorčíková, Kateřina maiden name: Mrázková
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Education / Education
Doctoral thesis defence: Kartografické dovednosti ve výuce zeměpisu | Theses on a related topic

94.
Hampl, Vít
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Paralelní implementace PGF komprese pro GPU | Theses on a related topic

95.
Handl, Josef
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Příprava balíku Scipion pro běh v kontejneru a cloudovém prostředí | Theses on a related topic

96.
Hasoň, Martin
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Physics / Plasma Physics
Master's thesis defence: Analýza struktury porézních vrstev pomocí mikroskopie atomové síly | Theses on a related topic

97.
Hatalčík, Mário
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: CUDA Implementation of Pixelformat Conversions | Theses on a related topic

98.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Relaxed Memory Models in DiVinE | Theses on a related topic

99.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic

100.
Havlíčková, Tereza
Faculty: Faculty of Law
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Mapové podklady v územním plánování | Theses on a related topic