Práce na příbuzné téma (mají shodná klíčová slova):
model-checking, divine, gpu, map, maximal accepting predecessors, ltl, cuda, masKlíčová slova abecedně | Klíčová slova dle četnosti
251.
Tejessyová, Lucie
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství matematiky pro střední školy / Učitelství geografie a kartografie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Využití školního on-line atlasu světa ve výuce geografie | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství matematiky pro střední školy / Učitelství geografie a kartografie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Využití školního on-line atlasu světa ve výuce geografie | Práce na příbuzné téma
252.
Thýnová, Nikola
Fakulta: Pedagogická fakulta
Rok: 2024, studium neúspěšně ukončeno
Program/obor Zeměpis se zaměřením na vzdělávání / Dějepis se zaměřením na vzdělávání, Zeměpis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Pohled na orientaci v terénu a na využití map pro orientační běh očima studentů učitelství | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2024, studium neúspěšně ukončeno
Program/obor Zeměpis se zaměřením na vzdělávání / Dějepis se zaměřením na vzdělávání, Zeměpis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Pohled na orientaci v terénu a na využití map pro orientační běh očima studentů učitelství | Práce na příbuzné téma
253.
Tomáštík, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikace MPI programů pomocí DIVINE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikace MPI programů pomocí DIVINE | Práce na příbuzné téma
254.
Trembecký, Richard
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Auto-tuning vybraných výpočetních kernelů | Práce na příbuzné téma
Obhajoba diplomové práce: Auto-tuning vybraných výpočetních kernelů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Auto-tuning vybraných výpočetních kernelů | Práce na příbuzné téma
Obhajoba diplomové práce: Auto-tuning vybraných výpočetních kernelů | Práce na příbuzné téma
255.
Tuchyňa, Dominik
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Research of Fedora Status for Machine Learning | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Research of Fedora Status for Machine Learning | Práce na příbuzné téma
256.
Vacek, Václav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma
257.
Valkučáková, Zdenka
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Text Rendering in 3D using WebGPU | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Text Rendering in 3D using WebGPU | Práce na příbuzné téma
258.
Vaňková, Kristýna
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství dějepisu pro základní školy, Učitelství zeměpisu pro základní školy
Obhajoba diplomové práce: Využití geografických informačních systémů ve výuce zeměpisu | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství dějepisu pro základní školy, Učitelství zeměpisu pro základní školy
Obhajoba diplomové práce: Využití geografických informačních systémů ve výuce zeměpisu | Práce na příbuzné téma
259.
Vasilenko, Daria
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Vizuální informatika / Vývoj počítačových her
Obhajoba diplomové práce: Evaluation of the suitability of OptiX engine for rendering signed distance functions. | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Vizuální informatika / Vývoj počítačových her
Obhajoba diplomové práce: Evaluation of the suitability of OptiX engine for rendering signed distance functions. | Práce na příbuzné téma
260.
Vašát, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekologická a evoluční biologie / Biologie se zaměřením na vzdělávání, Geografie a kartografie se zaměřením na vzdělávání
Obhajoba bakalářské práce: Revize rozšíření slimáčků rodu Deroceras na území České republiky | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekologická a evoluční biologie / Biologie se zaměřením na vzdělávání, Geografie a kartografie se zaměřením na vzdělávání
Obhajoba bakalářské práce: Revize rozšíření slimáčků rodu Deroceras na území České republiky | Práce na příbuzné téma
261.
Vaššová, Barbora
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
262.
Večeřa, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Ekologická a evoluční biologie / Ekologie
Obhajoba disertační práce: Diverzita evropské vegetace: Propojení ekologie společenstev a makroekologie | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Ekologická a evoluční biologie / Ekologie
Obhajoba disertační práce: Diverzita evropské vegetace: Propojení ekologie společenstev a makroekologie | Práce na příbuzné téma
263.
Vlachová, Kateřina roz. Sychrová
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Turistický atlas Jihomoravského kraje | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Turistický atlas Jihomoravského kraje | Práce na příbuzné téma
264.
Weiser, Jiří
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: TCP vrstva pro verifikační nástroj DIVINE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: TCP vrstva pro verifikační nástroj DIVINE | Práce na příbuzné téma
265.
Wiesner, David
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Implementace výpočtu ideálních odezev filtrů optického toku na GPU | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Implementace výpočtu ideálních odezev filtrů optického toku na GPU | Práce na příbuzné téma
266.
Zbončáková, Tatiana
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Práce na příbuzné téma
267.
Zelníček, Karel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Nástroj pro komunikaci s přístrojem GPS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Nástroj pro komunikaci s přístrojem GPS | Práce na příbuzné téma
268.
Zhuk, Marharyta
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Modelování a verifikace platebního systému | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Modelování a verifikace platebního systému | Práce na příbuzné téma
269.
Zukal, Ondřej
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství občanské výchovy pro základní školy, Učitelství zeměpisu pro základní školy
Obhajoba diplomové práce: Terénní výuka geografie pro žáky 2. stupně ZŠ v Brně | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství občanské výchovy pro základní školy, Učitelství zeměpisu pro základní školy
Obhajoba diplomové práce: Terénní výuka geografie pro žáky 2. stupně ZŠ v Brně | Práce na příbuzné téma
270.
Žák, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | Práce na příbuzné téma
271.
Železný, Pavel
Fakulta: Přírodovědecká fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie / Geografie a kartografie (kombinace/zaměření: Humánní geografie)
Obhajoba bakalářské práce: Izochorické mapy Zlínského kraje | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie / Geografie a kartografie (kombinace/zaměření: Humánní geografie)
Obhajoba bakalářské práce: Izochorické mapy Zlínského kraje | Práce na příbuzné téma