Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 41-80 z 11342
-
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