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

parallel, divine, lart, implementation, c, c++, llvm, llvm transformation, formal verification, model checking, weak memory models, total store order

Keywords ordered alphabetically | Keywords ordered by occurrence rate

251.
Marek, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Euclid's algorithm for large integers | Theses on a related topic Display description

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

253.
Matela, Jiří
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Designing Image Compression Algorithms for Massively Parallel Processors | Theses on a related topic

254.
Matela, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Domain-Specific Optimizations Supporting Real-Time Image Compression | Theses on a related topic

255.
Matouš, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Metody fyzikálně založeného vykreslování pracující v reálném čase | Theses on a related topic
Master's thesis defence: Metody fyzikálně založeného vykreslování pracující v reálném čase | Theses on a related topic

256.
Matoušek, Adam
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Metadata paměti programu v nástroji DIVINE | Theses on a related topic

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

258.
Matúška, Peter
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro komprimované ukládání stavových prostorů na disk | Theses on a related topic

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

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

261.
Menšík, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování pravděpodobnostních systémů v jazyce DiVinE | Theses on a related topic

262.
Meravý, Ján
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Letecká simulace v prostředí virtuální reality | Theses on a related topic

263.
Mészaroš, Tomáš
Faculty: Faculty of Informatics
Year: 2020, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Extracting Parts of Programs into Separate Binaries | Theses on a related topic

264.
Mičan, Pavel
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Serializace a C++ | Theses on a related topic

265.
Mihalkovič, Vincent
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Improved translation of LLVM IR code to C | Theses on a related topic

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

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

268.
Mišík, Marek
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: GPS tracking system using the Sigfox IoT network | Theses on a related topic

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

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

271.
Moravcová Vařeková, Pavlína
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Model Checking of Control-User Systems | Theses on a related topic

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

273.
Moravec, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Distributed State Space Reductions | Theses on a related topic

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

275.
Nadrchal, Samuel
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Economics, Mathematics
Bachelor's thesis defence: Numerické výpočty v různých programovacích jazycích | Theses on a related topic

276.
Navrátil, Michal
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Parser pro převod scén z POV-Ray do ESG | Theses on a related topic

277.
Němcová, Vendula
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer Games Development
Master's thesis defence: Procedural generation of flower pigmentation patterns | Theses on a related topic

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

279.
Novák, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Lazy object initialization support in KLEE | Theses on a related topic

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

281.
Novosad, Jiří
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Knihovna pro časově efektivní ukládání stavových prostorů na pevný disk | Theses on a related topic

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

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

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

285.
Pál, Karol
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sdílená pracovní plocha | Theses on a related topic

286.
Pálenik, Jakub Jozef
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Image Processing
Master's thesis defence: Hierarchická segmentace biomedicínských obrazů s využitím matematické morfologie | Theses on a related topic

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

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

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

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

291.
Pavlusíková, Zuzana
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Humanities / French Language and Literature, History of Arts
Bachelor's thesis defence: L'analyse et la comparaison des personnages féminins principaux dans l'oeuvre Isabelle Bruges de Christian Bobin | Theses on a related topic

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

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

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

295.
Peterka, Ivo
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: 3D vizualizace meteorologických dat | Theses on a related topic

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

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

298.
Písařová, Andrea
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Men against Gods: Marlowe's Doctor Faustus | Theses on a related topic

299.
Piskač, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Java API pro službu EGEE LB | Theses on a related topic

300.
Plášil, Roman
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Vysvětlování protipříkladů v nástroji DiVinE | Theses on a related topic