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

automated theorem proving, math information retrieval, learning to rank, language modeling, token embeddings, interpretability, math representations, semantic matching, soft cosine measure, scm, information retrieval, stem, dml, digital mathematical libraries

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Starý Novotný, Vít maiden name: Novotný
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Computer systems, communication and security
Master's thesis defence: Document Representations for Fast and Accurate Retrieval of Mathematical Information | Theses on a related topic Display description

2.
Aksamítová, Veronika
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Data analysis of production defect data | Theses on a related topic

3.
Bella, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Metody indexace dokumentů | Theses on a related topic

4.
Blagojević, Danko
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Software for Editors of Multiauthor Volumes | Theses on a related topic

5.
Blažek, Jakub
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Systémy vyhledávání obrazových informací | Theses on a related topic

6.
Cenek, Štěpán
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Autorské nástroje s přístupem do repository | Theses on a related topic

7.
Dosoudil, Vladimír
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Získávání informací v heterogenním prostředí digitálních knihoven pomocí technologie znalostních a informačních robotů | Theses on a related topic

8.
Fendrich, Tomáš
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Uplatnění technologií Web 2.0 v oblasti internetových vyhledávačů | Theses on a related topic

9.
Frajová, Alexandra maiden name: Dvořáková
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Informační chování uživatelů při práci s on-line katalogem Clavius | Theses on a related topic

10.
Glosová, Kateřina maiden name: Popelková
Faculty: Faculty of Education
Year: 2024, studies terminated for failure to fulfill study requirements
Programme/field: Chemistry for Education / Chemistry for Education, Natural Science for Education
Bachelor's thesis defence: Výuková sbírka na téma stonek a jeho metamorfózy | Theses on a related topic
Bachelor's thesis defence: Výuková sbírka na téma stonek a jeho metamorfózy | Theses on a related topic

11.
Hadraba, Adam
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Implementace invertovaného indexu | Theses on a related topic

12.
Hatlapatka, Radim
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: JBIG2 compression of monochrome images with OCR | Theses on a related topic

13.
Horáková, Jana
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Emoční inteligence a ego-obranné mechanismy u pachatelů trestné činnosti | Theses on a related topic

14.
Horváthová, Lenka
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Mapa akcií pre verejnosť | Theses on a related topic

15.
Chovanec, František
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Ing.
Programme/field: System Engineering and Informatics / Business Informatics
Master's thesis defence: Optimalizace IS pro zlepšení fungování logistického řetězce | Theses on a related topic

16.
Jílková, Veronika
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Rozvoj práce s informacemi ve školní praxi se zaměřením na schopnost psaní odborného textu u žáků 9. tříd základních škol | Theses on a related topic

17.
Jurčová, Natálie
Faculty: Faculty of Sports Studies
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Fitness and Personal Trainer / Fitness and Personal Trainer
Bachelor's thesis defence: Význam regenerace a komparace vizí a realizace regeneračních procesů biatlonistů | Theses on a related topic

18.
Kancko, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Authorship verification via cloze-test | Theses on a related topic

19.
Krajňanský, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Finding evidence for unsubstantiated claims on Wikipedia | Theses on a related topic

20.
Krajňanský, Vojtěch
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Metody vysvětlitelnosti chování neuronových sítí | Theses on a related topic

21.
Kuchár, Jakub
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Evaluation and Interpretation of Word Embeddings | Theses on a related topic

22.
Lahoda, Jan
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Vztah mezi analytickým/holistickým kognitivním stylem a vyhledáváním informací | Theses on a related topic

23.
Líška, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Evaluation of Mathematics Retrieval | Theses on a related topic

24.
Lužová, Veronika
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Brian C. Vickery, život a dílo | Theses on a related topic

25.
Macko, Dominik
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Enhancing Common Criteria Certificate Analysis with Semantic Segment Search | Theses on a related topic

26.
Malák, Kristián
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Constructivist Methods of Teaching Information Retrieval | Theses on a related topic

27.
Malatincová, Tatiana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Graded Reader Adaptations of Jonathan Swift’s “Voyage to the Country of the Houyhnhnms” Compared to the Original: Transformations in Content, Emphasis and Interpretability of a Multi-Layered Text in the Abridgement Process | Theses on a related topic

28.
Marková, Martina
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Pozitivní dopady profesního nesouladu na pracovní kariéru mladých vzdělaných lidí | Theses on a related topic

29.
Meško, Matej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Evaluation of a Supervised Approach to Information Retrieval | Theses on a related topic

30.
Mička, Petr
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Utilisation of language representations for Information Retrieval | Theses on a related topic

31.
Molková, Lucie
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Indexing very large text data | Theses on a related topic

32.
Nathans, Riva
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dolování informací z textů na základě nízkorozměrných reprezentací | Theses on a related topic

33.
Novotný, Kamil
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Optimalizace podnikových procesů pomocí vybraných softwarových nástrojů | Theses on a related topic

34.
Palubová, Katarína
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Teaching and developing soft-skills in the Informatics Curriculum | Theses on a related topic

35.
Pešková, Lenka
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Pravidla indexace beletrie se zaměřením na situaci v českých knihovnách | Theses on a related topic

36.
Pešková, Lenka
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Efektivita rešeršní činnosti v odborných databázích s přihlédnutím k praxi na České zemědělské univerzitě v Praze | Theses on a related topic

37.
Poláček, Jakub
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Explainability of Deep Learning for Genomic sequences | Theses on a related topic

38.
Růna, Jonáš
Faculty: Faculty of Law
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Legal Specializations / International Commercial Law Studies
Bachelor's thesis defence: Analýza případů řešených před Orgánem pro řešení sporů WTO (se zaměřením na ochranné známky) | Theses on a related topic

39.
Růna, Jonáš
Faculty: Faculty of Law
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / International Commercial Law Studies
Bachelor's thesis defence: Analýza případů řešených před Orgánem pro řešení sporů WTO (se zaměřením na ochranné známky) | Theses on a related topic

40.
Růžička, Michal
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Math Information Retrieval for Digital Libraries | Theses on a related topic

41.
Sasín, Jonáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Web application supporting effective search of project opportunities and collaboration | Theses on a related topic

42.
Skoupý, Radim
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Physics / Biophysics (combination/specialization: Aplikovaná biofyzika)
Master's thesis defence: Vývoj a charakterizace nosných filmů pro kvantitativní zobrazování v rastrovací prozařovací elektronové mikroskopii | Theses on a related topic

43.
Smolenskaya, Yana
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: General Linguistics / General Linguistics
Bachelor's thesis defence: Porovnání jmenné deklinace v češtině a ruštině | Theses on a related topic

44.
Snížková, Martina
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Využití umělé inteligence ve vyhledávání informací | Theses on a related topic
Bachelor's thesis defence: Vyhledávání informací | Theses on a related topic

45.
Souček, Dominik
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Geography / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Geography
Master's thesis defence: Postavení zeměpisu ve STEM vzdělávání | Theses on a related topic

46.
Stará, Lucie maiden name: Vláčilová
Faculty: Faculty of Law
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Media a trestní řízení | Theses on a related topic

47.
Starý Novotný, Vít maiden name: Novotný
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vektorové reprezentace ve vyhledávání znalostí | Theses on a related topic

48.
Šimčíková, Tereza
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / Geography for Education, Mathematics for Education
Bachelor's thesis defence: Obsahová analýza databází učebních úloh STEM se zaměřením na geografii, matematiku a moderní technologie | Theses on a related topic

49.
Šiška, Michal
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Distribuovaná správa konfiguračních parametrů komponent existujících kritických systémů jako úloha řízení konfigurace | Theses on a related topic

50.
Škrabalová, Barbora
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Processing and analysis of large-scale data
Master's thesis defence: Metric Region Representations | Theses on a related topic