Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 81-90 z 11342
-
Immersive VR Tutorial Application for Omnidirectional Treadmill: Design, Implementation, and Testing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025With immersive virtual reality gaining popularity, the need for effective locomotion solutions grows. Omnidirectional treadmills present a promising solution; however, their novelty poses a considerable challenge. A ... -
Development of a Web-based Framework for Visualizing Biological Neural Network Simulations
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025Modern neuroscience increasingly relies on simulations of biological neural networks to unravel the complexities of how our brains work. Mozaik is a framework offering a platform for conducting small and large-scale neural ... -
Artificial Intelligence techniques for searching paths and cycles in hypercubes
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025In this thesis we study Hamilton paths and cycles in hypercubes. We prove that any matching spanning at most five directions in an n-dimensional hypercube can be extended to a Hamilton cycle, and characterize when such ... -
Schwarz methods
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 12. 9. 2024Schwarz methods are numerical methods for solving partial differential equati- ons, based on domain decomposition dividing the original large problem into smaller sub-problems. The problem corresponding to each subdomain ... -
Návrh frameworku pro edge-cloud continuum
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024The aim of this work is to design and implement a framework for Edge-Cloud Con- tinuum (ECC) in Java. Nowadays, there is an increasing number of Internet of Things (IoT) devices and the data that these devices generate. ... -
Distorční míry rizika ve vícekriteriálních úlohách optimalizace portfolia
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025The thesis focuses on distortion risk measures, examples of distortion risk measures, their properties, their relationship with spectral risk measures, and their application in portfolio optimization. The subject of the ... -
Implicitní QR algoritmus s násobnými shifty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 6. 2. 2025In this paper, we will focus on finding the eigenvalues of complex square matrices. For this purpose, we will derive in detail the implicit QR algorithm with multiple shifts. In the derivation, we will acquaint ourselves ... -
Well-posed optimization problems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 5. 2. 2025We study the relations between different notions of well-posed optimization problems, with focus on the well-posedness of minimization problems in metric spaces. We begin by introducing the concepts of Tikhonov, Levitin-Polyak, ... -
Fully symmetric operations
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 5. 2. 2025The Constraint Satisfaction Problem over an algebra A is solvable by the basic linear programming relaxation if, and only if, A has a symmetric term operation of every arity. It is, however, unclear how to decide that the ... -
Linear programming and Artificial Intelligence for Vehicle scheduling problems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025This work utilises machine learning methods in the branch and price algorithm and applies it to the crew and vehicle scheduling problem. Using machine learning, statistical models are taught to select variables for branching. ...