Práce na příbuzné téma (mají shodná klíčová slova):

pravdepodobnostni systemy, divine, markovovy rozhodovaci procesy, modelovani, distribuovane systemy

Klíčová slova abecedně | Klíčová slova dle četnosti

101.
Novobílská, Eva
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika pro učitele
Obhajoba diplomové práce: Keramika se žáky se speciálními potřebami | Práce na příbuzné téma Zobrazit popisek

102.
Novosad, Jiří
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Knihovna pro časově efektivní ukládání stavových prostorů na pevný disk | Práce na příbuzné téma

103.
Novosad, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Predicate Abstraction of DiVinE Models | Práce na příbuzné téma

104.
Novotný, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Controller Synthesis for Resource-Aware Systems | Práce na příbuzné téma

105.
Olšar, Jindřich
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Technická a informační výchova se zaměřením na vzdělávání / Fyzika se zaměřením na vzdělávání, Technická a informační výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Základy počítačem generované grafiky | Práce na příbuzné téma

106.
Ondrůšek, Jakub
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Bezpečnostní a strategická studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Využití simulací k výcviku a přípravě v Armádě České republiky | Práce na příbuzné téma

107.
Opl, Lukáš
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství fyziky pro základní školy, Učitelství technické a informační výchovy pro základní školy
Obhajoba diplomové práce: Výuka 3D grafiky v prostředí základní školy | Práce na příbuzné téma

108.
Pecha, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování a simulace s využitím systému Maple a MapleSim | Práce na příbuzné téma

109.
Písařová, Andrea
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Men against Gods: Marlowe's Doctor Faustus | Práce na příbuzné téma

110.
Plášil, Roman
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Grafický editor parametrizovaných modelů pro DiVinE | Práce na příbuzné téma

111.
Plášil, Roman
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Vysvětlování protipříkladů v nástroji DiVinE | Práce na příbuzné téma

112.
Plotěný, Ondřej
Fakulta: Fakulta informatiky
Rok: 2008, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma

113.
Plotěný, Ondřej
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma

114.
Poledníková, Barbora
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Výtvarná výchova a vizuální tvorba se zaměřením na vzdělávání / Technická a informační výchova se zaměřením na vzdělávání, Výtvarná výchova a vizuální tvorba se zaměřením na vzdělávání
Obhajoba bakalářské práce: Design, konstruování a příprava pokrmů pro ZŠ | Práce na příbuzné téma

115.
Pospíšil, Jan
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování hejn | Práce na příbuzné téma

116.
Prokůpek, Marek
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj rozhodování - modelování pomocí programu Witness | Práce na příbuzné téma

117.
Prvák, Milan
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Teoretická fyzika a astrofyzika (kombinace/zaměření: Astrofyzika)
Obhajoba diplomové práce: Modelování proměnnosti hvězdy sigma Ori E | Práce na příbuzné téma

118.
Przybylski, Lukáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Práce na příbuzné téma

119.
Přikryl, Zdeněk
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Modelování osobnosti | Práce na příbuzné téma
Obhajoba diplomové práce: Modelování osobnosti | Práce na příbuzné téma

120.
Pšorn Zákopčanová, Kristína
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: On Chaining Divine and Prism Model Checkers | Práce na příbuzné téma

121.
Putík, Josef
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Tvorba charakteru v programech 3ds Max a Mudbox | Práce na příbuzné téma

122.
Radkovič, Pavel
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace LoRS stacku | Práce na příbuzné téma

123.
Rosecký, Václav
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Kešování stavů při procházení stavových prostorů | Práce na příbuzné téma

124.
Rosecký, Václav
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Verifikační manažer pro explicitní ověřování modelu | Práce na příbuzné téma

125.
Rusňák, Vít
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Unobtrusive Multi-User Interaction in Group Collaborative Environments | Práce na příbuzné téma

126.
Řehoř, Milan
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Německý jazyk se zaměřením na vzdělávání, Technická a informační výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Filmové efekty s využitím 3D grafiky v programu Blender | Práce na příbuzné téma

127.
Sedláček, Lukáš
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství technické a informační výchovy pro základní školy, Učitelství výtvarné výchovy pro základní školy
Obhajoba diplomové práce: Historické keramické vozy | Práce na příbuzné téma

128.
Schlemmer, Jiří
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Metodika vyúky předmětu výtvarné anatomie v programu 3ds Max 8 | Práce na příbuzné téma

129.
Schmidtová, Tereza
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Fyzika plazmatu
Obhajoba diplomové práce: Studium chování hybridního PVD-PECVD procesu | Práce na příbuzné téma

130.
Schneider, Pavel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Elektronická učebnice prostorového modelování v programu Cinema4D | Práce na příbuzné téma

131.
Sittová, Lucia
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Podniková informatika
Obhajoba bakalářské práce: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Práce na příbuzné téma

132.
Slaný, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Jsou zelené budovy zdravé budovy? | Práce na příbuzné téma

133.
Slovák, Jakub
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství matematiky pro základní školy, Učitelství technické a informační výchovy pro základní školy
Obhajoba diplomové práce: Zájmová činnost při ZŠ – 3D vizualizace a architektonický model | Práce na příbuzné téma

134.
Soukal, Jan
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Automatická tvorba modelů budov | Práce na příbuzné téma

135.
Soukupová, Miroslava
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Management (kombinace/zaměření: Management)
Obhajoba bakalářské práce: Využití simulačních metod při řízení podniku | Práce na příbuzné téma

136.
Staňková, Nicol
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika, Sociologie
Obhajoba bakalářské práce: Modelování a simulace v sociologii města | Práce na příbuzné téma

137.
Starý, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh a tvorba 3D modelu stylizované postavy | Práce na příbuzné téma

138.
Starý, Jiří
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Interaktivní kniha pro mobilní zařízení v herním enginu Unity | Práce na příbuzné téma

139.
Straus, David
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Sociální informatika
Obhajoba bakalářské práce: Simulace reprodukce vzdělanosti v ČR | Práce na příbuzné téma

140.
Střelák, David
Fakulta: Fakulta informatiky
Rok: 2014, 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: Z reálné fotografie do 3D vizualizace | Práce na příbuzné téma

141.
Suchomel, Vít
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Automatické testování nástroje DiVinE | Práce na příbuzné téma

142.
Svoboda, Vojtěch
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Hledání dostupné metody moderní analýzy reakčních časů v měření analytického/holistického kognitivního stylu | Práce na příbuzné téma

143.
Šárník, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma

144.
Šavelka, Petr
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství matematiky pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Srovnání softwaru pro tvorbu 3D grafiky s ohledem na jeho výuku v prostředí ZŠ | Práce na příbuzné téma

145.
Šavelka, Petr
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství matematiky pro základní školy, Učitelství technické a informační výchovy pro základní školy
Obhajoba diplomové práce: Výuka 3D grafiky na základní škole | Práce na příbuzné téma

146.
Šebela, Ondrej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nasvícení 3D modelu antické sochy v různých časových a klimatických podmínkách | Práce na příbuzné téma

147.
Šeděnka, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Huffmanovo kódování stavů v DiVinE | Práce na příbuzné téma

148.
Ševčík, Jan
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: Deformace polygonální sítě ve VR | Práce na příbuzné téma

149.
Šilhánek, Jiří
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium neúspěšně ukončeno
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj rozhodování - modelování pomocí programu Witness | Práce na příbuzné téma

150.
Šimeček, Pavel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - Prostředí pro distribuovanou verifikaci | Práce na příbuzné téma