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

program complexity analysis, program step counting, analyza programu, python, dynamic program analysis, program analysis, pocitani kroku programu, dynamicka analyza programu, cpython, analyza slozitosti programu, program profiling, profilovani programu

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Řechtáčková, Anna
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Detecting code quality defects in students’ solutions | Theses on a related topic Display description

2.
Adámik, Samuel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Portál otevřených dat obce: Případová studie | Theses on a related topic
Master's thesis defence: Portál otevřených dat obce: Případová studie | Theses on a related topic

3.
Alfery, Vladimír
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Systém pro automatickou detekci zpožděných letů a dopad na itineráře cestujících | Theses on a related topic

4.
Ambros, Samuel
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Deployment and operations of software systems
Master's thesis defence: Leveraging Machine Learning for Time Series Predictive Analysis | Theses on a related topic

5.
Andoniadis, Kamil
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Networks and Communication
Master's thesis defence: Automatizované nasazení projektu KYPO | Theses on a related topic

6.
Antalov, Lukáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza a návrh webového portálu na bezpečné ukládání citlivých informací | Theses on a related topic

7.
Aster, Jaroslav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Správce elektronického poštovního systému | Theses on a related topic

8.
Aster, Jaroslav
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro vytváření a správu paketových filtrů | Theses on a related topic
Master's thesis defence: Nástroj pro vytváření a správu paketových filtrů | Theses on a related topic

9.
Ayaziová, Paulína
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Klee-Based Error Witness Checker | Theses on a related topic

10.
Ayaziová, Paulína
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Validation of Violation Witnesses in Software Verification | Theses on a related topic

11.
Bajger, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Nový framework pro experimenty strojového učení | Theses on a related topic

12.
Bajužík, Branislav
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro převod příkazů pro počítačové hry | Theses on a related topic

13.
Baláž, Šimon
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Helper scripts for Wikipedia editors | Theses on a related topic

14.
Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Static Analyser for BeakerLib Tests | Theses on a related topic

15.
Barnišin, Michal
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: AIML 2.1 Chatbot Design Language Interpreter in Python | Theses on a related topic

16.
Bateľ, Jakub
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Bezdrátové zařízení pro evidenci docházky | Theses on a related topic

17.
Beľa, Martin
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer graphics and visualisation
Master's thesis defence: Chromatin Visualization in Jupyter Notebook and VR | Theses on a related topic

18.
Bernát, Tomáš
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Automatizace modelování podélných profilů pro kritické body pomocí GIS | Theses on a related topic

19.
Bernát, Tomáš
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Návrh databáze a analytických nástrojů pro kritické body v terénu | Theses on a related topic

20.
Bílek, Samuel
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: VisualUV: Blender add-on for UV Mapping workflow | Theses on a related topic

21.
Biloš, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Správa inteligentných senzorov v cloudovom prostredí | Theses on a related topic

22.
Bohatá, Tereza maiden name: Šestáková
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Mathematical Biology
Master's thesis defence: Využití hlubokých neuronových sítí pro predikci schizofrenie | Theses on a related topic

23.
Bojnák, Štefan
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Konvertor formátů dat pro sdílení bezpečnostních událostí | Theses on a related topic

24.
Brauner, Šimon
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Ansible Collection for Perun | Theses on a related topic

25.
Brlej, Šimon
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | Theses on a related topic

26.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic

27.
Brynych, Šimon
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Hromadné zpracování záznamů přednášek | Theses on a related topic

28.
Březina, Adam
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Automatizace v praktiku z analytické chemie | Theses on a related topic

29.
Bucňák, Zdeněk
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Implementace kontrolních mechanismů do prostředí WikiSkript | Theses on a related topic

30.
Burgr, Ladislav
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Economics / Economics
Bachelor's thesis defence: Vliv počtu uchazečů ve veřejné zakázce na výslednou cenu | Theses on a related topic

31.
Bušová, Hana
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Informatics
Master's thesis defence: Výuka programování v jazyce Python pro střední školy | Theses on a related topic

32.
Ceľuch, Jozef
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza nástrojů pro vyhledávání hlášených chyb | Theses on a related topic

33.
Čabala, Jaroslav
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webové rozhraní pro zpracování experimentu SAXS | Theses on a related topic

34.
Čermák, Andrej
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Lightweight portal for MetaCentrum Cloud | Theses on a related topic

35.
Černianska, Rebeka
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics for secondary school teachers / Teacher of Informatics and IT administrator
Master's thesis defence: Výuka programovania na strednej škole so zameraním na rozvoj algoritmického myslenia | Theses on a related topic

36.
Červeňanský, Michal
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Výpočtové prostredie pre anotáciu DNA sekvencií transpozónov a ich prezentáciu | Theses on a related topic

37.
Češka, Jiří
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh a implementace informačního systému SHM Prostějov | Theses on a related topic

38.
Diasová, Gabriela
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Computational Linguistics / Computational Linguistics
Master's thesis defence: Gender a povolání: Sledování proměn v publicistických textech | Theses on a related topic

39.
Dohnal, Vojtěch
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Meta-Programming Library for GraphQL APIs Autogeneration | Theses on a related topic

40.
Dopjera, Norbert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Implementácia TES API pre Galaxy Pulsar | Theses on a related topic

41.
Doucha, Šimon
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Public Administration Informatics
Bachelor's thesis defence: Orientační kalkulačka výše poplatků za prodlouženou dobu studia | Theses on a related topic

42.
Drobný, Michal
Faculty: Faculty of Informatics
Year: 2023, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Řešení pro podporu evidence a monitorování rozsáhlých počítačových sítí | Theses on a related topic

43.
Faragó, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Užívateľské prostredie pre "rocking curve imaging" | Theses on a related topic

44.
Farkas, Attila
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Information security
Master's thesis defence: Portable Virtual Cybersecurity Labs | Theses on a related topic

45.
Fedor, Jaroslav
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém kontinuální integrace pro rychlý vývoj webových aplikací | Theses on a related topic

46.
Fendek, Peter
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Webový informační systém pro podporu středoškolské studentské odborné činnosti | Theses on a related topic

47.
Floch, Michal
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Image filtering in scanning electron microscopes | Theses on a related topic

48.
Forgáč, Matej
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Bioinformatics
Master's thesis defence: Sběr dat z enzymového biosensoru pomocí systému Raspberry Pi | Theses on a related topic

49.
Franěk, Jan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatic documentation generation from SystemVerilog source files | Theses on a related topic

50.
Friedmanský, Miroslav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Systémy pro správu více projektů | Theses on a related topic