Theses on a related topic (having the same keywords):
model-checking, divine, gpu, map, maximal accepting predecessors, ltl, cuda, masKeywords ordered alphabetically | Keywords ordered by occurrence rate
251.
Tejessyová, Lucie
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Teaching of Mathematics for Secondary Schools / Teaching of Mathematics for Secondary Schools, Upper Secondary School Teacher Training in Geography and Cartography
Master's thesis defence: Využití školního on-line atlasu světa ve výuce geografie | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Teaching of Mathematics for Secondary Schools / Teaching of Mathematics for Secondary Schools, Upper Secondary School Teacher Training in Geography and Cartography
Master's thesis defence: Využití školního on-line atlasu světa ve výuce geografie | Theses on a related topic
252.
Thýnová, Nikola
Faculty: Faculty of Education
Year: 2024, studies under way
Programme/field: Geography for Education / Geography for Education, History for Education
Bachelor's thesis defence: Pohled na orientaci v terénu a na využití map pro orientační běh očima studentů učitelství | Theses on a related topic
Faculty: Faculty of Education
Year: 2024, studies under way
Programme/field: Geography for Education / Geography for Education, History for Education
Bachelor's thesis defence: Pohled na orientaci v terénu a na využití map pro orientační běh očima studentů učitelství | Theses on a related topic
253.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic
254.
Trembecký, Richard
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Auto-tuning vybraných výpočetních kernelů | Theses on a related topic
Master's thesis defence: Auto-tuning vybraných výpočetních kernelů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Auto-tuning vybraných výpočetních kernelů | Theses on a related topic
Master's thesis defence: Auto-tuning vybraných výpočetních kernelů | Theses on a related topic
255.
Tuchyňa, Dominik
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Research of Fedora Status for Machine Learning | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Research of Fedora Status for Machine Learning | Theses on a related topic
256.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
257.
Valkučáková, Zdenka
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Text Rendering in 3D using WebGPU | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Text Rendering in 3D using WebGPU | Theses on a related topic
258.
Vaňková, Kristýna
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: Využití geografických informačních systémů ve výuce zeměpisu | Theses on a related topic
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: Využití geografických informačních systémů ve výuce zeměpisu | Theses on a related topic
259.
Vasilenko, Daria
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer Games Development
Master's thesis defence: Evaluation of the suitability of OptiX engine for rendering signed distance functions. | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer Games Development
Master's thesis defence: Evaluation of the suitability of OptiX engine for rendering signed distance functions. | Theses on a related topic
260.
Vašát, Martin
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Biology with a view to Education, Geography and Cartography with a view to Education
Bachelor's thesis defence: Revize rozšíření slimáčků rodu Deroceras na území České republiky | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Biology with a view to Education, Geography and Cartography with a view to Education
Bachelor's thesis defence: Revize rozšíření slimáčků rodu Deroceras na území České republiky | Theses on a related topic
261.
Vaššová, Barbora
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic
262.
Večeřa, Martin
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Ecological and Evolutionary Biology / Ecology
Doctoral thesis defence: Diverzita evropské vegetace: Propojení ekologie společenstev a makroekologie | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Ecological and Evolutionary Biology / Ecology
Doctoral thesis defence: Diverzita evropské vegetace: Propojení ekologie společenstev a makroekologie | Theses on a related topic
263.
Vlachová, Kateřina maiden name: Sychrová
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Turistický atlas Jihomoravského kraje | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Turistický atlas Jihomoravského kraje | Theses on a related topic
264.
Weiser, Jiří
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: TCP vrstva pro verifikační nástroj DIVINE | 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: TCP vrstva pro verifikační nástroj DIVINE | Theses on a related topic
265.
Wiesner, David
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Implementace výpočtu ideálních odezev filtrů optického toku na GPU | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Implementace výpočtu ideálních odezev filtrů optického toku na GPU | Theses on a related topic
266.
Zbončáková, Tatiana
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | 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: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Theses on a related topic
267.
Zelníček, Karel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nástroj pro komunikaci s přístrojem GPS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nástroj pro komunikaci s přístrojem GPS | Theses on a related topic
268.
Zhuk, Marharyta
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování a verifikace platebního systému | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování a verifikace platebního systému | Theses on a related topic
269.
Zukal, Ondřej
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Geography
Master's thesis defence: Terénní výuka geografie pro žáky 2. stupně ZŠ v Brně | Theses on a related topic
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Geography
Master's thesis defence: Terénní výuka geografie pro žáky 2. stupně ZŠ v Brně | Theses on a related topic
270.
Žák, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Coloured Nested DFS | 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: Coloured Nested DFS | Theses on a related topic
271.
Železný, Pavel
Faculty: Faculty of Science
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Geography / Geography and Cartography (combination/specialization: Human Geography)
Bachelor's thesis defence: Izochorické mapy Zlínského kraje | Theses on a related topic
Faculty: Faculty of Science
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Geography / Geography and Cartography (combination/specialization: Human Geography)
Bachelor's thesis defence: Izochorické mapy Zlínského kraje | Theses on a related topic