Kvalifikační práce
Browse by
Recent Submissions
Now showing items 21-30 of 12042
-
Deformation properties of shape memory steels prepared by additive methods.
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 11. 2. 2026Title: Deformation properties of shape memory steels prepared by additive methods. Author: Mykyta Vasylyk Department: Department of Physics of Materials Supervisor of the bachelor thesis: RNDr. Jan Čapek, Ph.D., Department ... -
Geometrické principy v soutěžních úlohách
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 11. 2. 2026This diploma thesis aims to present selected geometrical principles commonly found in contest geometry problems. The first chapter focuses on explaining the necessary basics of angle chasing and the use of circles in ... -
Body z Kimberlingovy encyklopedie
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 11. 2. 2026This master's thesis presents triangle centers described in The Encyclopedia of Triangle Centers. The first chapter introduces the encyclopedia, its author and the basic con- cepts. The second chapter summarizes the ... -
The Challenge of Heterogeneity in Recommender Systems
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 11. 2. 2026Recommender systems (RS) have become integral to everyday digital life, helping users navigate vast information spaces. While early RS research focused on accuracy, the field has since broadened to tackle multiple "axes ... -
Automatický převod RDF dat do CSV
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 10. 2. 2026With the ever-growing amount of data and its formats, it is necessary to provide means for greater accessibility to a wide user community. RDF is an academically renowned data model, but it remains largely unfamiliar to ... -
Phishing Detection Using Knowledge Distilled from Large Language Models
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 10. 2. 2026This thesis focuses on privacy-preserving knowledge distillation applied to email phishing detection. Email phishing remains a critical cybersecurity threat, and although large language models, such as GPT-4o, demonstrate ... -
Analysis of Cryptographic Protocols in Mobile Banking Applications (part B)
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Date of defense: 1. 9. 2025Throughout this thesis we have examined three banks operating in the Czech Republic and explore cryptography used in their mobile banking applications. Namely we have examined CREDITAS, Fio and mBank. We have examined the ... -
Context-Enriched Prompting Strategies for Automated Data Specification Adjustment in Dataspecer Using LLMs, RAG and MCP
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 10. 2. 2026This thesis elaborates on the application of LLMs to the automated adjustment of data specifications in response to real-world changes, such as updates of APIs and database schemas. The work is situated in the context of ... -
Interpolation Support for Yaga SMT Solver
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 10. 2. 2026We extend the Yaga SMT solver with support for Craig interpolation. Yaga is an SMT solver based on the Model-Constructing Satisfiability Calculus, which integrates theory reasoning directly into the search process. While ... -
Vývoj simulátoru plachetní lodě ve virtuální realitě
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 10. 2. 2026The aim of this thesis is to develop an interactive virtual reality application that simulates the dynamics of sailing vessels using the Unity game engine. The application allows the user to directly interact with and ...
RSS 1.0