Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

151.
Loskot, Jaroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Počítačová analýza a simulace hry poker | Theses on a related topic Display description

152.
Ľupták, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Algoritmy pro rozpoznávání dotykových gest | Theses on a related topic

153.
Mačák, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic

154.
Maděryčová, Dita
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Analýza trhu informačních systémů | Theses on a related topic

155.
Macháček, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Mapping the Omega-Automata Jungle | Theses on a related topic

156.
Maliha, Tomáš
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Dopad zavedení GDPR na procesy v podniku | Theses on a related topic

157.
Mandal, Govinda
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Chemistry / Analytical Chemistry
Doctoral thesis defence: Mass Spectrometry of Inorganic Materials and Organic Molecules | Theses on a related topic

158.
Martoš, Lukáš
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Analýza podpory vedy a výskumu na európskej úrovni v dobe vytvárania Európskej výskumnej oblasti | Theses on a related topic

159.
Matoušek, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Hledání podobností v domácích úlohách | Theses on a related topic

160.
Mawale, Ravi
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Chemistry (4-years) / Analytical Chemistry
Doctoral thesis defence: Mass spectrometry of nanomaterials and clusters | Theses on a related topic

161.
Mazáková, Kristína
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations, Russian Studies
Bachelor's thesis defence: Environmentálne problémy v Ruskej federácii a uplatňovanie medzinárodných dohôd v praxi | Theses on a related topic

162.
Maze, Dea
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering (eng.)
Master's thesis defence: Applying LEAN methodology in large IT company | Theses on a related topic
Master's thesis defence: Applying LEAN methodology in an IT company | Theses on a related topic

163.
Mičan, Pavel
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Trading space for time in explicit-state model checking | Theses on a related topic

164.
Michlová Štěrbová, Veronika
Faculty: Faculty of Social Studies
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Vliv Regionální rozvojové agentury jižní Moravy na implementaci Phare CBC | Theses on a related topic

165.
Minaříková, Martina
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Realizace daltonské výuky na prvním stupni českých základních škol | Theses on a related topic

166.
Mokrá, Kateřina
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Změna cílů standardů kvality sociálních služeb v průběhu jejich implementace v pečovatelské službě | Theses on a related topic

167.
Mokráček, David
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Analýza trhu účetního (ekonomického) softwaru pro malé a střední podniky | Theses on a related topic

168.
Moráček, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simulátor pro modelovací jazyk nástroje DiVinE | Theses on a related topic

169.
Moravčíková, Aneta
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webová platforma pre Svobodné slovníky.cz | Theses on a related topic

170.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic

171.
Myslivec, David
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právní aspekty interoperability software | Theses on a related topic

172.
Němec, Lukáš
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies
Bachelor's thesis defence: Fiskální decentralizace v Itálii a rozdělení strukturálních fondů v období 2007-2013 | Theses on a related topic
Bachelor's thesis defence: Problematika implementace strukturálních fondů v členských zemích Evropské unie | Theses on a related topic

173.
Nováková, Kateřina
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration (combination/specialization: Reg. Develop. & Admin.)
Bachelor's thesis defence: Využívání nástrojů finančního řízení ve městě Hranice (okres Přerov) | Theses on a related topic

174.
Novosad, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Predicate Abstraction of DiVinE Models | Theses on a related topic

175.
Novotná, Kateřina
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education, Lower Secondary School Teacher Training in Special Education
Master's thesis defence: Hra jako elementární motivační prvek při výuce gymnastiky na 1. stupni ZŠ | Theses on a related topic

176.
Oplová, Eva
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Vnímání implementace konceptu Společenská odpovědnost firem v konkrétní firmě aktéry | Theses on a related topic

177.
Oppelt, Jan
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Biomolecular Chemistry
Master's thesis defence: Určení vztahu mezi sekvencemi v blízkosti klastrovaných miRNA a jejich expresí | Theses on a related topic

178.
Otrubová, Terezie
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Současné počítačové hry a jejich možnost implementace do výuky coby novodobý prostředek rozvoje žáků | Theses on a related topic

179.
Palínková, Zdeňka
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Rizika implementace systému managementu kvality dle normy ISO 9001 do škol a školských zařízení | Theses on a related topic

180.
Pamreddy, Annapurna
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Chemistry (4-years) / Analytical Chemistry
Doctoral thesis defence: Separation Methods and Mass Spectrometry Applications | Theses on a related topic

181.
Pangavhane, Sachinkumar Dagurao
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Chemistry (4-years) / Analytical Chemistry
Doctoral thesis defence: MALDI and LDI Mass Spectrometry of Solids | Theses on a related topic

182.
Pánková, Veronika
Faculty: Faculty of Economics and Administration
Year: 2012, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Klastry ve Spojeném království | Theses on a related topic

183.
Panyala, Nagender Reddy
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Chemistry (4-years) / Analytical Chemistry
Doctoral thesis defence: Nanomaterials and clusters. Properties, applications and mass spectrometry | Theses on a related topic

184.
Papcunová, Ivana
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Sprint Hero - Single Contact Point to Help Agile Teams Cope with Organizational Stress | Theses on a related topic

185.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL | Theses on a related topic

186.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Theses on a related topic

187.
Paulenková, Kristína
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Analýza implementace programu Bolsa Familia v Brazílii | Theses on a related topic

188.
Pejchalová, Eva
Faculty: Faculty of Medicine
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Bariéry implementace paliativní péče v intenzivní péči | Theses on a related topic

189.
Pejznoch, Aleš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic

190.
Pelánek, Radek
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Reduction and Abstraction Techniques for Model Checking | Theses on a related topic

191.
Pelikán, Vít
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Analýza využití ERP systémů na českém trhu | Theses on a related topic

192.
Petruchová, Zuzana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace komponentových systémů s dynamickou komunikací | Theses on a related topic

193.
Pilař, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Zrychlení syntézy parametrů pro stochastické modely | Theses on a related topic

194.
Plášil, Roman
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Grafický editor parametrizovaných modelů pro DiVinE | Theses on a related topic

195.
Podhajský, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Využití Cache-through CDN v Kentico CMS | Theses on a related topic

196.
Podloucký, Jan
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Podpora malého a středního podnikání prostřednictvím strukturálních fondů EU | Theses on a related topic

197.
Pokorná, Adéla maiden name: Hospůdková
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Implementace dopravní výchovy ve výuce na 1. stupni základní školy | Theses on a related topic

198.
Pražák, Lukáš
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Physical Chemistry
Master's thesis defence: Syntéza a charakterizace nanočástic oxidů kovů | Theses on a related topic

199.
Priadková, Barbora
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economic Theory / Economics
Master's thesis defence: Implementace železničních balíčků ve vybraných zemích EU | Theses on a related topic

200.
Prokešová, Linda
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Reflexe reformy Komitologie z pohledu Evropského parlamentu | Theses on a related topic