Kvalifikační práce
Browse by
Recent Submissions
Now showing items 11-20 of 12042
-
An Application for Recipe Recommendation Based on Image Recognition of Ingredients
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 13. 2. 2026 -
Vícežánrová příběhová počítačová hra s podporou načítání nového obsahu za běhu
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 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
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 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
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 9. 2. 2026 -
Network File System server for HelenOS
Defence status: NOT DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 13. 2. 2026 -
GPU support in MSIM
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 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í
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 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
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 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
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 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
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Date of defense: 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 ...
RSS 1.0