Matematicko-fyzikální fakulta
Procházet dle
Sbírky fakulty / součásti
-
Habilitační práce [124]
Habilitations -
Kvalifikační práce [12034]
Theses -
Kvalifikační práce obhajované před rokem 2006 [14]
Theses defended before year 2006
Poslední příspěvky
-
Strategická počítačová hra v Unity s generováním hradů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 13. 2. 2026In the thesis we create a real-time strategy game prototype, with emphasis on the game mechanics of castle generation in an already existing, complex terrain. The prototype is inspired by the extensive Mount and Blade game, ... -
Design and implementation of an item positioning management system
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 13. 2. 2026Keeping track of the location of physical items is a common problem in both personal and small-scale business environments. Existing inventory management solutions often focus on quantity tracking rather than spatial ... -
An Application for Recipe Recommendation Based on Image Recognition of Ingredients
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 13. 2. 2026 -
Vícežánrová příběhová počítačová hra s podporou načítání nového obsahu za běhu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 13. 2. 2026The thesis deals with the creation of a multi-genre narrative computer game with support for loading new content on the fly in Unreal Engine 5. It includes an analysis and design of a complex system for AI generation of ... -
A Basis of Static Analysis Library for C# Programs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 13. 2. 2026The .NET ecosystem currently lacks an open-source framework for deep static anal- ysis comparable to Java's WALA or Soot. While the Roslyn compiler exposes syntax trees, it does not provide the high-level intermediate ... -
Relatively Big Projective Modules, Direct Sum Decompositions of Modules, and Representations of Finite Groups
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 9. 2. 2026 -
Network File System server for HelenOS
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 13. 2. 2026 -
GPU support in MSIM
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 13. 2. 2026This thesis presents the design and implementation of graphical device support for the MSIM simulator, addressing the limitation of text-only output in the existing system. We developed two complementary graphical devices: ... -
Tolerance vah ve vícekriteriálním lineárním programování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 13. 2. 2026This thesis deals with the computation of the maximal tolerance of weight in scalariza- tion problems of multiobjective linear programming. The maximal tolerance is defined as the largest feasible perturbation of scalarization ... -
Post-Quantum Blind Signature Schemes
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 12. 2. 2026This work addresses the threat that quantum computers pose to conventional digital signatures. It focuses on remote signing scenarios, specifically in the context of national identification systems such as ID Austria. We ... -
Construction and applications of elliptic curves with small embedding degree
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 12. 2. 2026Pairing-based cryptography relies on a bilinear map, called a pairing, defined from groups of elliptic curves over finite fields to the multiplicative group of a finite field extension. To ensure that such pairings are ... -
Temporal network, centrality measures, and ordinary differential equations
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 12. 2. 2026Nowadays, centrality indexes are popular measures of the "importance" of nodes in a network. In the analysis of temporal networks, these indexes are extended to sys- tems where interactions evolve over time. In this temporal ... -
Deformation properties of shape memory steels prepared by additive methods.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 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
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 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
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 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
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 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
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 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
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 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)
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 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
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 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 ...
RSS 1.0