Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 1-100 z 11342
-
Transient optical spectroscopy of organic semiconductors
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 30. 5. 2025Tranzientní optická spektroskopie organických polovodičů Abstrakt: Tato disertační práce zkoumá mechanismy a dynamiku transformací excitovaných stavů v organických molekulách a hybridních nanomateriálech, se zaměřením na ... -
Theoretical simulations of on-surface synthesis of novel molecular compounds
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 30. 5. 2025 -
Lipschitzovsky volné prostory a akce grup
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 15. 5. 2025The work is split into two parts. In the first one, we give detailed recount of some recent results from [7]. In particular, we describe an algorithm for computation of the Lipschitz-free p-norm and then apply it to show ... -
Story Generation Using Dynamic Text Infilling
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 7. 9. 2023Story generation, especially generating longer stories, is a complex problem regarding coherency and repetition. Even hierarchically generated stories may diverge from the outline due to the nature of left-to-right ... -
Úniková hra pro výuku mechaniky na střední škole
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 6. 2024This diploma thesis focuses on the creation of an escape game with the purpose of expanding the possibilities how to teach mechanics in high school. To establish a baseline, the first chapters are devoted to a questionnaire ... -
Disperzní přístup k rozpadu eta na tři piony
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025In this work, we present the theoretical framework necessary for the dispersive con- struction of the amplitude for the process η → πππ, which is important for understanding low-energy QCD. At the order O(p6 ) in the ... -
Fourierovská spektroskopie fotovodivosti karbidu křemíku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 5. 9. 2023This work deals with the optoelectronic properties of semi-insulating monocrystalline silicon carbide. The samples under study differ by polytype and the method of com- pensation. With the use of Raman spectroscopy, each ... -
Vysypávanie energetických elektrónov z radiačných pásov spôsobené bleskovými emisiami
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 5. 9. 2023This bachelor thesis explores the impact of lightning-generated whistlers on energetic particles trapped in the Van Allen radiation belts. The study uses energy spectra of preci- pitating electrons and electromagnetic wave ... -
Artificial Intelligence for the strategy game Score Four
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025 -
Karetní hra Bang! online a umělá inteligence
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025Bang! is a western-themed card game, where players aim to uncover hidden roles of opponents. Our goal was to implement a game environment enabling online multiplayer and to research and develop artificial intelligence (AI) ... -
Komunitní hodnocení zdrojů pro výuku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 22. 6. 2023This bachelor thesis deals with the design and implementation of an application for community-based resource rating for education. Similar available applications on the internet are described, as well as the considerations ... -
MCMC metody pro výpočet škodních rezerv v neživotním pojištení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025The diploma thesis deals with the Markov chain Monte Carlo method and its use in the calculation of claims reserves. It introduces the tools and terms used in non-life insurance, then mentions a commonly used models that ... -
Studium scintilačních vlastností krystalů rostlých metodou plovoucí zóny
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 6. 2. 2025High-energy physics and medical applications require novel scintillators with superior performance. The production of modern multicomponent garnet scintillators is often costly due to the use of expensive crucibles. In ... -
Terahertzová detekce optické manipulace s antiferomagnetem CuMnAs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 21. 6. 2023Goal of this bachelor's thesis is to carry out and optimize the very first measurement of optical manipulation of the magnetic state of the antiferromagnet CuMnAs with terahertz detection. Laser- induced changes of electrical ... -
Generácia vysokých harmonických frekvencií v kryštalických materiáloch
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 31. 3. 2025The interaction of intense ultrashort laser pulses with materials in the strong field regime of nonlinear optics enables the study of electron excitations with high temporal resolution. In this thesis, we focus on the ... -
Vlastnosti farebných centier v diamante študované metódami femtosekundovej laserovej spektroskopie
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 3. 2025In this work, we focus on the interaction of SiV color centers in diamond with femtose- cond light pulses. In the theoretical part, a script is developed to simulate the experimen- tal varying stripe length method and the ... -
On the internal gravity wave - atmospheric circulation interaction
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 18. 2. 2025Internal gravity waves (GWs) are an important component of the atmospheric dynamics, significantly affecting the middle atmosphere by momentum and energy transport and deposition. In order to be able to improve global ... -
Competitive Analysis of Online Algorithms for Scheduling Packets with Uniform Lifespans
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025This thesis focuses on the competitive analysis of online algorithms for scheduling packets with uniform lifespans. The primary focus was on reviewing previous work. We explored the management of buffers in network switches, ... -
Vysvětlování doporučení v doménách bohatých na obsah
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025Services on the internet need to handle increasing volumes of data and so do the users. Information retrieval systems prevent overloading of users with extensive amount of information, the class of these systems used in ... -
Univerzalita množin bodů pro alternující hamiltonovské cesty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025Title: Universality of point sets for alternating Hamiltonian paths Author: Ali Czech Department: Department of Applied Mathematics Supervisor: doc. Mgr. Jan Kynčl, Ph.D., Department of Applied Mathematics Abstract: A set ... -
Návrh frameworku pro edge-cloud continuum
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025The 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. ... -
Linux Kernel Live Dump
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025This thesis deals with the development of a live dump mechanism in the Linux Kernel to create memory dumps for debugging without requiring a host restart. The proposed mechanism creates a consistent memory image and dumps ... -
Trasy v mapách pre orientačný beh
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025The aim of this bachelor's thesis was to create an application that would find a suitable route in the environment of orienteering based on map data. This development was divided itno two parts. The first part involved ... -
Korelačné koeficienty a ich použitie
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 31. 1. 2022The aim of this bachelor thesis is to introduce the correlation coefficients especially Pearson's , Spearman's and Kendall's correlation coefficient and their statistic estimations following with application on data and ... -
Příprava budoucích učitelů fyziky: Znalosti a dovednosti zásadní pro učitelskou praxi
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 5. 2. 2025This thesis deals with the preparation of future teachers and the knowledge and skills essential for teaching practice. The core part of this work is a quantitative research aimed at gathering the opinions of Czech physics ... -
Hall effects in non-magnetic systems: classical, quantum and fractional
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 1. 9. 2023The classical Hall effect in disordered alloys is studied within the coherent potential approximation, explicit formulas are applied to the model system of the square lattice with on-site disorder, and temperature dependence ... -
Fine properties of functions and operators
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 23. 1. 2025We establish the equivalence between the boundedness of certain supremum operators and optimal spaces in Sobolev embeddings. We do this by exploiting known relations between higher-order Sobolev embeddings and isoperimetric ... -
Lucasova-Neubergova-Kempnerova funkce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 5. 2. 2025This text focuses on the Lucas-Neuberg-Kempner function and methods for calcu- lating its' values. In the introductory part, the function itself is presented along with related concepts and fundamental statements. Next, ... -
Study of spintronic phenomena in magnetically ordered stuctures using terahertz spectroscopy
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 22. 1. 2025The main objective of this thesis was to bring the first experimental evidence about the spin-Hall magnetoresistance (SMR) in the Terahertz (THz) spectral range. The time-domain THz spectroscopy (TDTS) was chosen as the ... -
Magnetic properties of rare-earth A2Ir207 pyrochlore iridates
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 26. 2. 2025The present thesis is focused on the synthesis, characterisation and magnetic properties of A2Ir2O7 pyrochlore iridates with A standing for Dy - Lu. The geometrically frustrated pyrochlore lattice affects the interactions ... -
Hledání robustních cest pro více agentů
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 24. 4. 2025The thesis is devoted to finding robust non-conflict paths in multi-agent path finding (MAPF). We propose several new techniques for the construction of these types of paths and describe their properties. We deal with the ... -
Remote sensoric detection of human vital signs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025Title: Remote sensoric detection of human vital signs Author: Mgr. Jaroslava Schovancová, Ph. D. Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: RNDr. David Obdržálek, Ph. D. ... -
Manipulace s objekty pomocí rozpoznávání ukazovacích gest
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024A gesture based control for the Pick And Place task was designed and implemented. Several types of gestures were explored. A raised hand gesture was selected for confirmation and a pointing gesture to specify the object ... -
Extrakcia informácií z reportov o leteckých incidentoch
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022The reporting of aviation incidents using summary reports is one of the important factors contributing to aviation safety. However, the constantly increasing number of reports and the necessity to process them manually ... -
Nástroj pro grafickou vizualizaci sociálních sítí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025This work is about the design and implementation of a website called Aphantasia - a social network for graph enthusiasts which allows users to create posts, link them to others, and view them as a part of a shared, ... -
Generative models for task and motion planning
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025Task and motion planning involves finding collision-free paths in the con- figuration space, but also determining a sequence of high-level discrete ac- tions, such as grasping or placing, that satisfy task-specific ... -
Vliv typu textury na mechanické vlastnosti biokompatibilní slitiny ZX10
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 7. 2. 2025This thesis is focused on gaining new insights into the influence of different textures on the resulting mechanical properties of an extruded magnesium alloy ZX10 (Mg - 1 wt. % Zn - 0.25 wt. % Ca). The alloy was supplied ... -
Topologicky chráněné povrchové stavy vodivých polymerů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 7. 2. 2025This thesis is concerned with the electronic structure of conducting polymers. First, we give an overview of the topic and provide a well known condensed-matter model, the so- called SSH model. We define a topologically-protected ... -
Modelling anthropogenic and natural emissions and their impact on pollutant concentrations
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 1. 4. 2025Emise znečišťujících látek představují zásadní faktor ovlivňující znečištění ovzduší ve městech, a proto je jejich přesná kvantifikace zásadní. Přirozené emise jsou v tomto ohledu poznamenány dalšími obtížemi kvůli silné ... -
Crystallographic and electronic properties of rare-earth A2B2O7 oxides under extreme conditions
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 27. 1. 2025Title: Crystallographic and electronic properties of rare-earth A2B2O7 oxides under extreme conditions Author: Daniel Staško Department: Department of Condensed Matter Physics Supervisor: RNDr. Milan Klicpera, Ph.D., ... -
Membrane organization and dynamics of glycosphingolipid nanodomains
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 9. 12. 2024Gangliosides, glycosphingolipids located in the outer leaflet of cellular membranes, play essential roles in cell communication, signaling, and serving as receptors for membrane- binding proteins. Their functionality is ... -
Role of coherence in quantum mechanical resonance energy transfer
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 3. 2. 2025Efficient energy transfer is the cornerstone of photosynthesis. Excitation energy trav- els from light-gathering antennae through protein networks such as the Fenna-Matthews- Olson (FMO) complex into reaction centers. ... -
Detekce bodů změn v tenzorových datech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025The thesis examines tensor data consisting of multivariate outcomes over the items and across the subjects with longitudinal and cross-sectional dependence. A distributional free detection procedure for changepoints at ... -
A posteriori error estimates and adaptivity for solving the Richards equation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 29. 4. 2025 -
Text Style Transfer with Neural Language Models
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 1. 4. 2025Transfer stylu textu (TST) si klade za cíl změnit stylistické vlastnosti textu při za- chování obsahu nezávislého na stylu. I přes nedávný pokrok čelí TST několika výz- vám: nedostatku dat, omezenému pokrytí jazyků, ... -
Multigrid methods for large-scale problems: approximate coarsest-level solves and mixed precision computation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 12. 12. 2024Title: Multigrid methods for large-scale problems: approximate coarsest-level solves and mixed precision computation Author: Petr Vacek Department: Department of Numerical Mathematics Supervisor: Erin Claire Carson, Ph.D., ... -
Structural basis of G-quadruplex biochemical specificity
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 25. 4. 2025Title: Structural basis of G-qudruplex biochemical specificity Author: Ráchel Sgallová Department: Department of Low Temperature Physics Supervisor: Edward Arthur Curtis, Ph.D., Institute of Organic Chemistry and Biochemistry ... -
Structural Characterization and Functional Properties of Epoxy/Graphite Composites for Fuel Cell Bipolar Plates
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 16. 4. 2025Title: Structural Characterization and Functional Properties of Epoxy/Graphite Composites for Fuel Cell Bipolar Plates Author: Mgr. Alina Madalina Darabut Department: Department of Surface and Plasma Science, Faculty of ... -
Application of machine learning methods in stochastic programming
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 28. 2. 2025This dissertation explores the application of machine learning methods in stochastic programming, with a primary focus on portfolio optimization. The first part investigates robust portfolio optimization with second-order ... -
Development of dual-(+1)-Fluorescence Correlation Spectroscopy for MonitoringProtein Oligomerization Leading to Membrane Pore Formation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 11. 2024Title: Vývoj duální-(+1)-fluorescenční korelační spektroskopie pro sledování oligomerizace proteinů vedoucí k tvorbě membránových pórů Author: Vandana Department: Biofyzika, chemická a makromolekulární fyzika Supervisor: ... -
Model metal-oxide electrocatalysts for energy conversion
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 11. 2024The development of novel (electro-)catalysts is commonly based on a trial-and-error approach without detailed understanding of the catalytic processes at the atomic scale. Reaching such understanding would be desirable, ... -
Adsorption geometry and protective properties of phenylphosphonic acid on inorganic materials
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 28. 2. 2025The thesis investigates the adsorption and thermal stability of phenylphosphonic acid (PPA) on Cu(111) and cerium oxide films of different stoichiometry, composition, and morphology. A combination of advanced analytical ... -
Understanding the catalytic and gas-sensing properties of metal oxide nanostructures with advanced surface science techniques
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 28. 2. 2025Title: Understanding the catalytic and gassensing properties of metal oxide nanostructures with advanced surface science techniques Author: Lesia Piliai Department: Department of Surface and Plasma Science Supervisor: ... -
Theory and numerical solution of traffic models
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 27. 5. 2025In this thesis, we describe a numerical technique for the solution of macroscopic traf- fic flow models on networks. On individual roads, we consider the standard Lighthill- Whitham-Richards model which is discretized using ... -
The role of rheology and water in the deformation of subducting slabs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 8. 11. 2024The process of subduction, a key driver of plate tectonics, has been intensively studied over the past few decades. Understanding the complex mechanisms that control subduction dynamics is essential for comprehending slab ... -
Diagnostics of High-Power Impulse Magnetron Sputtering (HiPIMS) Plasma by Modified Ion-Sensitive Probes
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 24. 6. 2024Diagnos琀椀cs of High-Power Impulse Magnetron Spu琀琀ering (HiPIMS) Plasma by Modi昀椀ed Ion-Sensi琀椀ve Probes Abstract The disserta琀椀on deals with the experimental inves琀椀ga琀椀on of the discharge plasma in a pulsed magnetron ... -
Advanced Iridium-Based Catalysts: Design and Characterization for Unitized Regenerative Fuel Cells and Water Electrolyzers
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 16. 4. 2025Title: Advanced Iridium-Based Catalysts: Design and Characterization for Unitized Regenerative Fuel Cells and Water Electrolyzers. Author: Mgr. Lucinda Blanco Redondo. Department: Department of Surface and Plasma Science, ... -
Integrated nested Laplace approximation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025This work explores Bayesian inference for Generalized Linear Mixed Ef- fects Models (GLMMs), essential tools for analyzing hierarchical and group- structured data. While traditional Markov Chain Monte Carlo (MCMC) methods ... -
Detekcia oblakov na snímke oblohy, analýza a vylepšenie metodík
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025There are many algorithms available for the cloud detection from ground-based images. These typically differ in the image pre-processing steps and the type of segmentation. Each of these algorithms has been developed for ... -
Vysvětlitelná evaluace generování textu založená na velkých jazykových modelech a chybové analýze
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025Traditional metrics for evaluating natural language generation (NLG) often struggle to capture linguistic complexity or align with human judgment. Recently, approaches based on large language models (LLMs) have been proposed ... -
Transformation Robustness in Computer Vision: Invariant & Equivariant Neural Networks
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 26. 5. 2025This Thesis addresses the fundamental challenge of transformation robustness in com- puter vision, focusing on designing neural networks that are inherently invariant to rota- tions and translations. While data augmentation ... -
Sociální pravidla pro multi-agentní hledání cest
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Multi-agent path-finding is a problem where we navigate agents to their destinations without collisions with other agents. We use a distributed approach to solve the problem that does not rely on centralized planning or ... -
Prostoročasy pro nadsvětelný pohyb
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 7. 2. 2025In this thesis we study a 1+1 (1 spatial and 1 time direction) version of the Alcubierre metric which, in a sense, allows superluminal motion within the framework of general relativity. We show the causal structure of that ... -
Univerzalita množin bodů pro alternující hamiltonovské cesty
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Title: Universality of point sets for alternating Hamiltonian paths Author: Ali Czech Department: Department of Applied Mathematics Supervisor: doc. Mgr. Jan Kynčl, Ph.D., Department of Applied Mathematics Abstract: The ... -
Real-Time Video Synchronization Platform
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025This thesis focuses on designing and implementing an enhanced solution for playback synchronization, addressing the shortcomings of the contemporary applications. Through comprehensive analysis and evaluation, we identified ... -
Systémový model řízení profesionální firmy
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 12. 2024In the presented work I devote to creating a computer model of a professional service firm using the theory of business modeling. The whole model was programmed using the application Vensim. Another part of this work was ... -
User-oriented application for multimodal public transit route search in Prague public transport network
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025There are many solutions for searching for a public transit connection both worldwide and in the Czech Republic. They are however targeted at the widest possible audience, meaning they are simple to use and targeted at a ... -
A Diet Coaching Chatbot Using Neural Language Models
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 2. 2025 -
Third-party Matchmaking Discord Bot for Valorant
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025One of the common tasks in online multiplayer games is matchmaking, i.e., assembling a game with concrete players and game settings. Players, in general, want to be matched with similarly skilled players while spending ... -
Multilingual multidomain generation of school tests that are hard to solve automatically
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024 -
Data mining in social network analysis
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 12. 2024Title: Data mining in social network analysis Author: Mgr. Peter Zvirinský Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: doc. RNDr. Iveta Mrázová CSc., Department of Theoretical ... -
Support for Uninterpreted Functions in Yaga SMT Solver
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Yaga is a modern, modular SMT solver developed at Charles University, based on the Model-Constructing Satisfiability Calculus. Currently, its implementation in the C++ programming language contains plugins supporting Boolean ... -
Verification of LLVM bit-code via a system of Constrained Horn Clauses
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025The master thesis presents a novel static software verification tool, Hornix. The primary goal of the tool is to verify basic assertions concerning variable states and program execution paths. The tool is built upon the ... -
Multicolor Print Implementation for 3D Printer
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025This thesis presents the design, development, and implementation of a Multi-Material Unit (MMU) for enhancing multi-color 3D printing capabilities. We have designed a new MMU prototype, developing its firmware using C++ ... -
Searching classes in the Wikidata ontology
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025The Dataspecer tool facilitates the creation and management of abstract data struc- tures to represent and exchange data on the Web by leveraging input ontologies. How- ever, acquiring comprehensive heterogeneous ontologies ... -
Správa chytrých spotřebičů za účelem optimalizace spotřeby
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Today, very popular domestic photovoltaic power plants often suffer from a mismatch between the times of highest production and highest household energy consumption. This thesis focuses on using IoT devices in combination ... -
Using convolutional neural networks to detect protein-ligand binding sites
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025Using convolutional neural networks (CNN) for high dimensional data such as images has shown some promising results, but it has issues with features without spatial correla- tion. I test a streamlined version of the REFINED ... -
Studium magnetických domén v nekolineárních antiferomagnetech a altermagnetech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 3. 2. 2025This thesis explores magnetic domain imaging in non-collinear antiferromag- netic and altermagnetic materials using thermoscanning and wide-field MOKE microscopy. Thermoscanning of non-collinear antiferromagnet Mn3GaN re- ... -
Complex experiment support through the IVIS framework
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025en davidkostal11@seznam.cz January 2025 1 Abstract Data experimentation is complex and consists of multiple steps, such as data gathering and workflow design. Because of this, an experiment management framework is needed. ... -
Automatic Relation Extraction from Clinical Documents: A Study of Fine-Tuned Transformer Models and LLMs
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 12. 6. 2024 -
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. ... -
Utilisation of terahertz scanning microscope for investigation of ultrafast photoconductivity of semiconductor nanocrystals
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 7. 2. 2025The aim of this work was to study photoexcited surfaces of semiconduc- tors in a THz SNOM (scanning near-field optical microscope) device and describe the interaction between the free carriers and THz radiation me- diated ... -
Structure and chemical stability of Ce-modified Co3O4(111) surfaces
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024The objective of this thesis is to characterize the surface structure and study the chem- ical stability of the CeO2/Co3O4(111) sample, prepared on Ir(100) substrate. The sample was gradually annealed at temperatures ranging ... -
Studies of the Belle II vertex detector physics performance
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 7. 2. 2025Title: Studies of the Belle II vertex detector physics performance Author: Tadeáš Wilczek Department: Institute of Particle and Nuclear Physics Supervisor: prof. RNDr. Zdeněk Doležal, Dr., Institute of Particle and Nuclear ... -
Advanced Type Systems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 26. 3. 2025While the results of type system research are being incorporated into many main- stream programming languages, this process has generally been conservative and slow. Recent research results have the potential to greatly ... -
Anomalous Extensive Air Showers and Hadronic Interactions
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 31. 3. 2025Anomalous Extensive Air Showers and Hadronic Interactions Jiří Blažek February 17, 2025 Supervisor: Petr Trávníček, Ph.D. Consultants: Michael Prouza, Ph.D.; doc. Dalibor Nosek, Dr. Study Programme: Physics StudyBranch: ... -
Responsive Image Processing for Assistive Medical Technologies
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 31. 3. 2025This thesis addresses two challenges in medical imaging: ensuring complete coverage during breast ultrasound examinations and providing automated evalu- ation of exercises in speech therapy. For breast ultrasound, an ... -
Drop coating deposition Raman spectroscopy of biologically important molecules
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 11. 2024Title: Drop coating deposition Raman spectroscopy of biologically important molecules Author: Mgr. Alžbeta Kuižová Department: Institute of Physics of Charles University Supervisor: RNDr. Eva Kočišová, Ph.D., Institute of ... -
Modification of textiles by non-equilibrium plasma
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 2. 2025Title: Modification of textile materials by non-equilibrium plasma Author: Natalia Khomiakova Department: Department of Macromolecular Physics Supervisor: doc. RNDr. Ondřej Kylián, Ph.D., department of Macromolecular Physics ... -
Vizualizace algoritmů lineární algebry
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 11. 2. 2009This text focuses on problems of implementation of basic linear algebra algorithms. These algorithms are not too complicated, but there is a certain problem of using extremely huge or extremely small numbers which are not ... -
Datové struktury pro sketching dynamických množin
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024