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

linearni temporalni logika, buchiho automat, synteza ridicich algoritmu, simulace

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

101.
Reiss, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Matematika - ekonomie
Obhajoba bakalářské práce: Odhady parametrů některých rozdělení pravděpodobnosti a jejich vlastnosti | Práce na příbuzné téma Zobrazit popisek

102.
Reiss, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Modely morfogeneze | Práce na příbuzné téma
Obhajoba diplomové práce: Modely morfogeneze | Práce na příbuzné téma

103.
Režný, Martin
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Politologie / Politologie
Obhajoba diplomové práce: Průzkum možných aplikací alternativních vzdělávacích metod na výuku politické vědy v českém prostředí | Práce na příbuzné téma

104.
Rievajová, Tatiana
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Fyzika / Astrofyzika
Obhajoba bakalářské práce: Particle-in-cell simulace jiskrových údálostí v polarních čepičkách pulzarů | Práce na příbuzné téma

105.
Rujbr, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vliv specifikačních automatů na ověřování modelu | Práce na příbuzné téma

106.
Rychlík, Jiří
Fakulta: Fakulta informatiky
Rok: 2019, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Sociální informatika
Obhajoba bakalářské práce: Modelování stresu ve firemním prostředí | Práce na příbuzné téma

107.
Rychtář, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Rozšiřitelný nástroj pro práci s formálními jazyky | Práce na příbuzné téma

108.
Řezníček, Dan
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Religionistika
Obhajoba bakalářské práce: Strach ze simulaker jako motivace obrazoborectví? Případ beeldenstormu | Práce na příbuzné téma

109.
Shyshkina, Hanna
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulace chování NMR v cloudu | Práce na příbuzné téma

110.
Schulz, Martin
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: Návrh a simulace RLC obvodů | Práce na příbuzné téma

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

112.
Skopal, Petr
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Fyzika / Fyzika
Obhajoba bakalářské práce: Simulace měření válcovou sondou v RF plazmatu | Práce na příbuzné téma

113.
Slabotinský, Miloš
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Simulace, pravidla a mediace: Interface strategických počítačových her | Práce na příbuzné téma

114.
Snozová, Martina
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: E-věda | Práce na příbuzné téma

115.
Stadlbauer, Petr
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Biochemie (čtyřleté) / Biomolekulární chemie
Obhajoba disertační práce: Studies of quadruplex nucleic acids | Práce na příbuzné téma

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

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

118.
Sukeník, Lukáš
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Reimplementace výpočtu hrubozrnné simulace peptidů | Práce na příbuzné téma

119.
Syrový, Jiří
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Prostředí pro programátorskou soutěž | Práce na příbuzné téma

120.
Ščavnický, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Statistika a analýza dat
Obhajoba diplomové práce: Statistická inference v parametrických modelech v analýze přežití | Práce na příbuzné téma

121.
Š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

122.
Škultéty, Marek
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Analýza výrobního procesu v podniku | Práce na příbuzné téma

123.
Šlinz, Petr
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Problematika vysokého zatížení bezdrátových sítí standardu 802.11b/g | Práce na příbuzné téma

124.
Šotolová, Petra
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Modelování a výpočty (kombinace/zaměření: Ekonomie)
Obhajoba bakalářské práce: Agent-based model diskriminace na trhu práce | Práce na příbuzné téma

125.
Špetíková, Martina
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Mediální teorie Jeana Baudrillarda a její reflexe v tvorbě skupiny Blast Theory Company | Práce na příbuzné téma

126.
Štrochová, Zuzana
Fakulta: Pedagogická fakulta
Rok: 2016, 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: Development of key competencies using simulations | Práce na příbuzné téma

127.
Švomová, Marie
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biologie / Matematická biologie
Obhajoba diplomové práce: Vícerozměrná regresní analýza modelů využívaných k odhadu glomerulární filtrace s ohledem na jejich využitelnost v onkologické klinické praxi | Práce na příbuzné téma

128.
Tinková, Nicol
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomie / Ekonomie
Obhajoba diplomové práce: Simulation-based Evaluation of Test Power in Regression Analysis | Práce na příbuzné téma

129.
Titěrová, Marta
Fakulta: Fakulta informatiky
Rok: 2022, studium neúspěšně ukončeno
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Nástroje pro analýzu booleovských sítí | Práce na příbuzné téma

130.
Tomanková, Kristína
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Fyzika plazmatu a nanotechnologií
Obhajoba diplomové práce: Simulation of oxygen plasma in a hollow cathode plasma source | Práce na příbuzné téma

131.
Trembaczová, Markéta
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná matematika / Modelování a výpočty
Obhajoba diplomové práce: Simulace neuronální sítě | Práce na příbuzné téma

132.
Tuček, Adam
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Grafická reprezentace specifikačních vzorů pro temporální logiky | Práce na příbuzné téma

133.
Tůmová, Jana
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: Paralelní ověřování kvalitativních vlastností pravděpodobnostních modelů | Práce na příbuzné téma

134.
Uličný, Marek
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Vizuální editor pro návrh GUI | Práce na příbuzné téma

135.
Urban, Andrej
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Hodnocení stabilizační role monetární politiky v zemích V4: DSGE přístup | Práce na příbuzné téma

136.
Urbánek, Petr
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Simulační prostředí pro robota Pepper | Práce na příbuzné téma

137.
Večeřa, Martin
Fakulta: Ekonomicko-správní fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Práce na příbuzné téma

138.
Veselá, Hana
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná matematika / Matematika - ekonomie
Obhajoba diplomové práce: Dynamický model změny vztahu soupeření na vztah spolupráce | Práce na příbuzné téma

139.
Veselá, Veronika
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Modely kolektivního rizika | Práce na příbuzné téma

140.
Vesely, Alexandra
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Optimalizace procesů ve výrobním podniku pomocí průmyslového simulátoru Witness

141.
Vlašín, Marek
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Systémy hromadné obsluhy | Práce na příbuzné téma

142.
Vodrážka, Daniel
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Možnosti a meze systémové dynamiky při modelování trhu s elektrickou energií | Práce na příbuzné téma

143.
Vrťo, Peter
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Procesy obnovy | Práce na příbuzné téma

144.
Vulgan, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Teoretická fyzika a astrofyzika (kombinace/zaměření: Astrofyzika)
Obhajoba diplomové práce: Slupkové galaxie - hydrodynamické simulace typu "sticky-particles" | Práce na příbuzné téma

145.
Wagner, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Fyzika / Fyzika
Obhajoba bakalářské práce: Simulace sondových měření v plazmatu | Práce na příbuzné téma

146.
Wagner, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Fyzika kondenzovaných látek
Obhajoba diplomové práce: Studium systémů mnoha elektronů metodou konfigurační interakce | Práce na příbuzné téma

147.
Wiesner, David
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Utilization of Machine Learning in Biomedical Image Synthesis | Práce na příbuzné téma

148.
Zedníčková, Magdaléna
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Gaussovské procesy v regresi | Práce na příbuzné téma

149.
Zikán, Petr
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Fyzika / Fyzika plazmatu
Obhajoba disertační práce: Simulace sondových měření v plazmatu | Práce na příbuzné téma

150.
Zouharová, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Matematika - ekonomie
Obhajoba bakalářské práce: Matematické aspekty hold'em pokeru | Práce na příbuzné téma