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

implementation, symmetric multiprocessing, clusters, state space reductions, multi-threading, shared memory, model checking, parallel algorithms, multi-core, distributed memory, partial order reduction

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

151.
Ľupták, Martin
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Algoritmy pro rozpoznávání dotykových gest | Práce na příbuzné téma Zobrazit popisek

152.
Mačák, Jan
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma

153.
Maděryčová, Dita
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Ekonomické informační systémy
Obhajoba bakalářské práce: Analýza trhu informačních systémů | Práce na příbuzné téma

154.
Macháček, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Mapping the Omega-Automata Jungle | Práce na příbuzné téma

155.
Maliha, Tomáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Dopad zavedení GDPR na procesy v podniku | Práce na příbuzné téma

156.
Mandal, Govinda
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Chemie / Analytická chemie
Obhajoba disertační práce: Mass Spectrometry of Inorganic Materials and Organic Molecules | Práce na příbuzné téma

157.
Martoš, Lukáš
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Evropská studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Analýza podpory vedy a výskumu na európskej úrovni v dobe vytvárania Európskej výskumnej oblasti | Práce na příbuzné téma

158.
Matoušek, Adam
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Hledání podobností v domácích úlohách | Práce na příbuzné téma

159.
Mawale, Ravi
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Chemie (čtyřleté) / Analytická chemie
Obhajoba disertační práce: Mass spectrometry of nanomaterials and clusters | Práce na příbuzné téma

160.
Mazáková, Kristína
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy, Ruská studia
Obhajoba bakalářské práce: Environmentálne problémy v Ruskej federácii a uplatňovanie medzinárodných dohôd v praxi | Práce na příbuzné téma

161.
Maze, Dea
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace (angl.)
Obhajoba diplomové práce: Applying LEAN methodology in large IT company | Práce na příbuzné téma
Obhajoba diplomové práce: Applying LEAN methodology in an IT company | Práce na příbuzné téma

162.
Mičan, Pavel
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma

163.
Michlová Štěrbová, Veronika
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Evropská studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Vliv Regionální rozvojové agentury jižní Moravy na implementaci Phare CBC | Práce na příbuzné téma

164.
Minaříková, Martina
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Pedagogika
Obhajoba bakalářské práce: Realizace daltonské výuky na prvním stupni českých základních škol | Práce na příbuzné téma

165.
Mokrá, Kateřina
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce
Obhajoba diplomové práce: Změna cílů standardů kvality sociálních služeb v průběhu jejich implementace v pečovatelské službě | Práce na příbuzné téma

166.
Mokráček, David
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance
Obhajoba bakalářské práce: Analýza trhu účetního (ekonomického) softwaru pro malé a střední podniky | Práce na příbuzné téma

167.
Moráček, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Simulátor pro modelovací jazyk nástroje DiVinE | Práce na příbuzné téma

168.
Moravčíková, Aneta
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: Webová platforma pre Svobodné slovníky.cz | Práce na příbuzné téma

169.
Mrázek, Jan
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma

170.
Myslivec, David
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právní aspekty interoperability software | Práce na příbuzné téma

171.
Němec, Lukáš
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba bakalářské práce: Fiskální decentralizace v Itálii a rozdělení strukturálních fondů v období 2007-2013 | Práce na příbuzné téma
Obhajoba bakalářské práce: Problematika implementace strukturálních fondů v členských zemích Evropské unie | Práce na příbuzné téma

172.
Nováková, Kateřina
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa (kombinace/zaměření: Regionální rozvoj a správa)
Obhajoba bakalářské práce: Využívání nástrojů finančního řízení ve městě Hranice (okres Přerov) | Práce na příbuzné téma

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

174.
Novotná, Kateřina
Fakulta: Fakulta sportovních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství speciální pedagogiky pro základní školy, Učitelství tělesné výchovy pro základní a střední školy
Obhajoba diplomové práce: Hra jako elementární motivační prvek při výuce gymnastiky na 1. stupni ZŠ | Práce na příbuzné téma

175.
Oplová, Eva
Fakulta: Fakulta sociálních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Vnímání implementace konceptu Společenská odpovědnost firem v konkrétní firmě aktéry | Práce na příbuzné téma

176.
Oppelt, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biochemie / Biomolekulární chemie
Obhajoba diplomové práce: Určení vztahu mezi sekvencemi v blízkosti klastrovaných miRNA a jejich expresí | Práce na příbuzné téma

177.
Otrubová, Terezie
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy
Obhajoba diplomové práce: Současné počítačové hry a jejich možnost implementace do výuky coby novodobý prostředek rozvoje žáků | Práce na příbuzné téma

178.
Palínková, Zdeňka
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Rizika implementace systému managementu kvality dle normy ISO 9001 do škol a školských zařízení | Práce na příbuzné téma

179.
Pamreddy, Annapurna
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Chemie (čtyřleté) / Analytická chemie
Obhajoba disertační práce: Separation Methods and Mass Spectrometry Applications | Práce na příbuzné téma

180.
Pangavhane, Sachinkumar Dagurao
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Chemie (čtyřleté) / Analytická chemie
Obhajoba disertační práce: MALDI and LDI Mass Spectrometry of Solids | Práce na příbuzné téma

181.
Pánková, Veronika
Fakulta: Ekonomicko-správní fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa
Obhajoba diplomové práce: Klastry ve Spojeném království | Práce na příbuzné téma

182.
Panyala, Nagender Reddy
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Chemie (čtyřleté) / Analytická chemie
Obhajoba disertační práce: Nanomaterials and clusters. Properties, applications and mass spectrometry | Práce na příbuzné téma

183.
Papcunová, Ivana
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje služeb
Obhajoba diplomové práce: Sprint Hero - Single Contact Point to Help Agile Teams Cope with Organizational Stress | Práce na příbuzné téma

184.
Pastva, Samuel
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL | Práce na příbuzné téma

185.
Pastva, Samuel
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Práce na příbuzné téma

186.
Paulenková, Kristína
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba diplomové práce: Analýza implementace programu Bolsa Familia v Brazílii | Práce na příbuzné téma

187.
Pejchalová, Eva
Fakulta: Lékařská fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Bariéry implementace paliativní péče v intenzivní péči | Práce na příbuzné téma

188.
Pejznoch, Aleš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma

189.
Pelánek, Radek
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Reduction and Abstraction Techniques for Model Checking | Práce na příbuzné téma

190.
Pelikán, Vít
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Ekonomické informační systémy
Obhajoba bakalářské práce: Analýza využití ERP systémů na českém trhu | Práce na příbuzné téma

191.
Petruchová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace komponentových systémů s dynamickou komunikací | Práce na příbuzné téma

192.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Zrychlení syntézy parametrů pro stochastické modely | Práce na příbuzné téma

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

194.
Podhajský, Vojtěch
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: Využití Cache-through CDN v Kentico CMS | Práce na příbuzné téma

195.
Podloucký, Jan
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba diplomové práce: Podpora malého a středního podnikání prostřednictvím strukturálních fondů EU | Práce na příbuzné téma

196.
Pokorná, Adéla roz. Hospůdková
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy
Obhajoba diplomové práce: Implementace dopravní výchovy ve výuce na 1. stupni základní školy | Práce na příbuzné téma

197.
Pražák, Lukáš
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Fyzikální chemie
Obhajoba diplomové práce: Syntéza a charakterizace nanočástic oxidů kovů | Práce na příbuzné téma

198.
Priadková, Barbora
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomické teorie / Ekonomie
Obhajoba diplomové práce: Implementace železničních balíčků ve vybraných zemích EU | Práce na příbuzné téma

199.
Prokešová, Linda
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Reflexe reformy Komitologie z pohledu Evropského parlamentu | Práce na příbuzné téma

200.
Protušová, Klaudia
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Fyzika / Astrofyzika
Obhajoba bakalářské práce: Rentgenová studie sférického šoku v galaxii M89 vyvolaného působením aktivního galaktického jádra | Práce na příbuzné téma