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

documentation generation, html, python, hdl, systemverilog, automatization, verification

Keywords ordered alphabetically | Keywords ordered by occurrence rate

401.
Slámečka, Ondřej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Monte Carlo Tree Search in Verification of Markov Decision Processes | Theses on a related topic Display description

402.
Slámová, Dana
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Úloha autoevaluace v mateřské škole | Theses on a related topic

403.
Sloupová, Kateřina
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Reimplementace a konsolidace systémů podporujících výuku formálních jazyků | Theses on a related topic

404.
Slovák, Petr
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Theses on a related topic

405.
Sluka, Markéta maiden name: Štegnerová
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in German Language
Master's thesis defence: Zur Rolle von Chunks und Automatisierungsprozessen bei der Aussprache in der Fremdsprache Deutsch. Eine Untersuchung zu Assimilationsprozessen bei tschechischen beginnenden Deutschlernenden | Theses on a related topic

406.
Smejkalová, Andrea
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Funkční model váhy pro měření kalorického příjmu | Theses on a related topic

407.
Softič, Zdeněk
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Webová aplikace pro podporu spolupráce v malé firmě | Theses on a related topic

408.
Sonnek, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Podpora skriptování v systému VRECKO | Theses on a related topic

409.
Sonnek, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Blokování tunelů v molekulách proteinů | Theses on a related topic

410.
Sotona, Jiří
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Příprava hypertextových dat pro využití v elektronické výuce | Theses on a related topic

411.
Spišiak, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Strojové generování twitterových příspěvků pomocí rekurentních neuronových sítí | Theses on a related topic

412.
Stalmachová, Marie
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: English-language Translation / English-language Translation
Master's thesis defence: Text mining and its application in specialized translation | Theses on a related topic

413.
Stanislav, Vít
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Adaptabilní výukový systém pro učení faktických znalostí zeměpisu | Theses on a related topic

414.
Stanko, Oto
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Improving Efficiency of Boolean Networks Inference | Theses on a related topic

415.
Staruch, Andrej
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatizované zpracování a archivování velkého objemu dat | Theses on a related topic

416.
Steuer, Jan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Architektura a implementace školního informačního systému | Theses on a related topic

417.
Straka, Jan
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Webová aplikace sloužící k orchestraci modelů umělé inteligence | Theses on a related topic

418.
Stražovský, Oldřich
Faculty: Faculty of Informatics
Year: 2003, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Efektivní analýza ohraničených Petriho sítí | Theses on a related topic

419.
Strcuľa, Zoltán
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatický parsing Windows Event Logu | Theses on a related topic

420.
Strnad, Milan
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Automatizovaný zavlažovací systém | Theses on a related topic

421.
Struška, Tomáš
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Technical Education
Master's thesis defence: Internet jako nástroj pro prezentaci a komunikaci školy s veřejností | Theses on a related topic

422.
Sukupčák, Michal
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro rychlou tvorbu webových stránek | Theses on a related topic

423.
Svoboda, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Webová aplikace pro správu soutěže vín | Theses on a related topic

424.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Verifikace hybridních systémů | Theses on a related topic

425.
Svrček, Oliver
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Custom Sequence Creator for Prototyping Alignments on Transmission Electron Microscopes | Theses on a related topic

426.
Sýkora, Samuel
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Web application for questionnaire creation and monitoring in React.js | Theses on a related topic

427.
Symerský, Petr
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Webové stránky základní školy | Theses on a related topic

428.
Šálek, Lubomír
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Design and implementation of convertor from ATML (Automated Test Mark-Up Language) to technical documentation. | Theses on a related topic

429.
Šamajová, Kamila
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: PepperDict - Application for Accessing Dictionary Data with the Help of a Social Robot | Theses on a related topic

430.
Šanta, Marek
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Cybersecurity management
Master's thesis defence: Analysis and enhancement of remote management system | Theses on a related topic

431.
Šašinka, Radim
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Prototyp infrastruktury pro sběr a analýzu dat o PDX modelech | Theses on a related topic

432.
Šebesta, Jozef
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Vývoj softwaru pro tvorbu porot pro soutěž IYPT | Theses on a related topic

433.
Šebestík, Vít
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Computational Linguistics / Computational Linguistics
Bachelor's thesis defence: Filmové titulky: žánry a sentiment | Theses on a related topic

434.
Šebök, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webová aplikace pro vyhledávání informací o molekulách cukru | Theses on a related topic

435.
Šeděnka, Lukáš
Faculty: Faculty of Informatics
Year: 2009, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Easydialogs pro Linux | Theses on a related topic

436.
Šeděnka, Lukáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Easydialogs pro Linux | Theses on a related topic

437.
Šembera, Radek
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Uživatelské rozhraní systému poskytování služeb zdravotně postiženým | Theses on a related topic

438.
Šimáček, Michael
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic

439.
Šimbera, Ján
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Databáze pohostinských služeb | Theses on a related topic

440.
Šimša, Jiří
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic

441.
Šinoglová, Eva
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physics / Theoretical Physics and Astrophysics (combination/specialization: Astrofyzika)
Master's thesis defence: Teplotní struktura horké atmosféry eliptické galaxie | Theses on a related topic

442.
Škrabálek, Jaroslav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba bohatých webových aplikací | Theses on a related topic

443.
Škrabánek, Matěj
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro tvorbu pluginů pro PyMOL | Theses on a related topic

444.
Šmíd, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Počítání kroků výpočtu pro jazyk Python | Theses on a related topic

445.
Šmíd, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Textové korpusy ze závěrečných prací | Theses on a related topic

446.
Šmíd, Martin
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Automated metadata extraction | Theses on a related topic

447.
Šobáň, Vojtěch
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webový informační systém pro správu a reporting prodejů firmy | Theses on a related topic

448.
Šoltis, Michal
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Advanced REST API Development with Django | Theses on a related topic
Bachelor's thesis defence: Vizualizácia štatistík hodnotenia pre nástroj Frag | Theses on a related topic
Bachelor's thesis defence: Vizualizácia štatistík hodnotenia pre nástroj Frag | Theses on a related topic

449.
Šoltisík, Martin
Faculty: Faculty of Informatics
Year: 2022, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Classification of Threat Intelligence via Machine Learning Methods | Theses on a related topic
Master's thesis defence: Classification of Threat Intelligence via Machine Learning Methods | Theses on a related topic

450.
Špik, Matúš
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro aktivní identifikaci služeb v síti | Theses on a related topic