Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 1401-1500 z 11368
-
Optimalizace signálu tripletních stavů pigmentů ve fotosystému I
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022The main objective of the thesis is to improve signal-to-noise ratio for pigments' triplet states in photosystem I. The sample was purified from cyanobacterium Thermosynecho- coccus elongatus. Based on the measurements we ... -
Analýza vibračních spekter vybraných environmentálních kontaminantů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022This bachelor thesis deals with the study of the vibrational spectra of melamine and thiram molecules using methods of Raman spectroscopy. Quantum chemical simulations are then used for a detailed interpretation of the ... -
Konvergence stochastického gradientu v úlohách strojového učení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022The aim of this thesis is solving minimization problems where the objective function is a sum of a differentiable (yet possibly non-convex) and general convex function. We focus on methods of stochastic and projected ... -
Prostorová epidemiologie
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022This work deals with spa al sta s cs methods that are suitable for analysing spa al epidemiological data. The work presents tests of spa al autocorrela on and applies them on data of the number of people infected by Covid ... -
Shlukové bodové procesy s rodičovskými body
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022In this work we introduce some basic concepts from the theory of spatial point pro- cesses and two methods of estimation of the parametres for Thomas process. Firstly the method of minimum contrast, that is used for ... -
Rezervování škod na základě ODP modelu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022This thesis deals with estimating the outstanding claims reserve, one of important problems of insurance mathematics. It introduces the chain-ladder method as the ba- sic method for estimating the outstanding claims. Besides ... -
Coloring triangle-free graphs on the torus
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Pekárek and Dvořák (2021) proposed a linear-time algorithm to decide 3-colorability of triangle-free graphs drawn on the torus. We implemented this algorithm efficiently and evaluated its performance on a natural class of ... -
Autoregressive action-conditioned 3D human motion synthesis using latent discrete codes
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022V této práci jsme představili novou metodu pro syntézu 3D animace pohybu člověka podmíněné na pevné množině akcí definující pohyb, například "běhání" nebo "předklon". Inspirování úspěchy metod pro generování obrázků z textu ... -
An Assistant for Conversational Search
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022This thesis aims to improve the user experience for an existing information retrieval system in the domain of educational content by implementing a conversational search feature. Conversational search resembles a dialogue ... -
Investigating Large Language Models' Representations Of Plurality Through Probing Interventions
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 2. 9. 2022Title: Investigating Large Language Models' Representations Of Plurality Through Probing Interventions Author: Michael Hanna Institute: Institute of Formal and Applied Linguistics Supervisor: RNDr. David Mareček, Ph.D., ... -
Rank Two Commutative Semifields
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 6. 9. 2022In this thesis we will explain what are semifields and what interesting properties these algebraic objects possesses. In the first chapter we will go over some basics and preliminaries to understand what semifields are. ... -
Využití invertibilních prvků mřížky v ověření s nulovou znalostí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022This work is focused on the description of one verifiable encryption scheme, specifically a zero-knowledge proof of knowledge protocol. Verifiable encryption allows us to prove properties of data without revealing its ... -
Web Browser Recorder
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022The goal of this thesis is to develop an intuitive RPA tool in the form of a client- server web application. This tool can be used for recording web automation workflows and their subsequent execution, modification and ... -
Vizualizace otevřených dat zveřejněných podle OFN pro úřední desky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022The Bachelor thesis is about the design and implementation of a web application which visualizes data from public administration bulletin boards. It uses open data published according to a new machine-readable format ... -
Webová aplikácia pre vyhľadávanie a editáciu hráčov basketbalu vo Wikidata
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022There are many ways to publish data in a machine-readable form on the Internet. One way is through entities and their interconnection, where two entities are interconnected if they have a relationship with each other. Such ... -
H-compactifications of topological spaces
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 6. 9. 2022H-compactifications form an important type of compactifications, carrying the ex- tra property that all automorphisms of a given topological space can be continuously extended over such compactifications. Van Douwen proved ... -
Měření tepelné vodivosti materiálů pro projekt MaMBA
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022The content of this work is the measurement of thermal conductivity of materials within the MaMBA project. Single crystalline samples of LaNi$_5$ and PrNi$_5$ were successfully oriented along $a$ and $c$ axis each and ... -
Studium vlastností Faradayova válce s děleným kolektorem
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022Solar wind is plasma propagating from the Sun through interplanetary space. For determination of the parameters of this cosmic plasma, spacecraft often carry so-called Faraday cups, which can be used to determine the energy ... -
Dynamické vlastnosti kontinuí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 6. 9. 2022This thesis investigates long-term topological behaviour of continuous self-maps or sets of continuous self-maps of metric spaces, mostly Peano continua. The first chapter is preparatory for the following two and summarize ... -
Measuring readability of technical texts
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 2. 9. 2022Title: Measuring readability of technical texts Author: Anna Kriukova Faculty of Mathematics and Physics: Institute of Formal and Applied Linguistics Supervisor: Mgr. Cinkov'a Silvie, Ph.D., Institute of Formal and Applied ... -
Image Reassembling Algorithms
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022Jigsaw puzzle is a well-known puzzle game that has been around for centuries. How- ever, in addition to entertainment purposes, an ability to reassemble images from pieces has practical applications and can be useful, for ... -
Lineární ODR se singulárními členy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 8. 9. 2022In this text we focus on systems of two linear ordinary differential equations wherein some of the coefficients are no longer integrable functions, but signed Radon measures instead. First we devote our attention to measure ... -
Matematické modely synchronizace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 13. 9. 2022The thesis aims to discuss spontaneous synchronization phenomenon in dynamic sys- tems, which are noticable all around us (beating heart, synchronization of clapping crowd, flashing of fireflies, synchronized ticking of ... -
Neural Cell Segmentation from Fluorescent Microscopy Images of Mouse Brains
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022Our objective is to propose a neural cell segmentation algorithm for fluorescent mi- croscopic images of mice brains. We received a dataset from the Laboratory of Neu- rochemistry, Institute of Physiology of the Czech ... -
Optimization of the performance of fuel cell stacks using an ultrasonic humidifier.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022Title: Optimization of the Performance of Fuel Cell Stacks Using an Ultrasonic Humidi- fier. Author: Martin Vaněk Department: Department of Surface and Plasma Science Supervisor: Mgr. Yurii Yakovlev, Ph.D., Department of ... -
Representing Images by Weighted Finite Automata
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 6. 9. 2022The goal of this thesis is to introduce weighted finite automata (WFA) as a means of representing multi-resolution raster images. We explain the basic concepts of weighted finite automata. Then we describe an encoding ... -
Study of the Belle II vertex detector resolution
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022This bachelor thesis studies the resolution of the Belle II detector using muons from cosmic ray tracks penetrating the detector. The first part describes the Belle II exper- iment. The next part explains the method used ... -
Adapting Pretrained Models for Machine Translation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 2. 9. 2022Pre-trained language models received extensive attention in recent years. However, it is still challenging to incorporate a pre-trained model such as BERT into natural language generation tasks. This work investigates a ... -
Methods of Input Segmentation for Simultaneous Speech Translation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022Segmentation methods are an essential part of the simultaneous machine translation process because, in the ideal case, they split the input into chunks whose translation is independent of any forthcoming context. Furthermore, ... -
Declarative Web Automation Toolkit
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022The goal of this thesis is to develop a declarative toolkit for developing web automa- tions. Despite the great number of web automation tools and libraries on the market, it is difficult to find one powerful enough to ... -
Akcelerace vzájemné korelace pomocí GPU
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 13. 9. 2022Cross-correlation is a commonly used tool in the field of signal processing, with ap- plications in pattern recognition, particle physics, electron tomography, and many other areas. For many of these applications, it is ... -
Iris segmentation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Accurate iris image segmentation is crucial to a range of proposed medical diagnosis and treatment systems. Previous models have worked well with healthy eye images but do not generalize to diseased eye images. We work ... -
Rozpoznávání čísel na digitálních displejích pomocí CPU kamer Axis
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Práce se zabývá implementací aplikace pro kamery AXIS, která rozpoznává digitální čísla na tabulích ve sportovních halách. Existuje mnoho algoritmů pro rozpoznávání čísel, ale velmi málo z nich je dostatečně efektivních, ... -
Jednosměrná proudění směsí dvou tekutin
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 2. 9. 2022In a recent work Málek a Souček (2021), the authors propose several classes of simple models suitable to describe flows of binary mixtures, such as bubbly liquids, emulsions, etc. The objective of the bachaler thesis is ... -
Description of the non-linear oscillators for study of superfluid helium flows
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022The main goal of this Thesis was to develop and optimize fitting procedures for the detailed modeling of resonant curves characterizing physical behaviour of micron sized electro-mechanical resonators (MEMS). These devices ... -
An Efficient Load-balancing Image Sampler for Path Tracing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022In this thesis, we go through the process of improving a research renderer called ART. We focus primarily on the image sampler. We analyse the shortcomings of the stochastic sampler that was present before this thesis was ... -
HDR image semantic segmentation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022This work attempts to create a pipeline that accepts the high dynamic range (HDR) input in the .exr format, processes it, and feeds it to the deep neural network, which can perform a semantic segmentation task, detecting ... -
Aplikace pro modelování budov z fotografií
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Title: Application for modeling buildings from photographs Author: Jakub Medek Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Pavel Ježek, Ph.D., Department of Distributed and Dependable ... -
Emulátor zvukových syntezátorů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022A tool for creation of emulators of audio synthesizers. The base of the work is an imperative programming language Cynth that describes signals of the resulting sound. Cynth code is translated into C code for further linkage ... -
Internetový obchod se službami státu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Services provided by the state are currently not being presented to citizens in a uni- form way. The Register of Rights and Obligations (Registr práv a povinností) contains data about all provided services. The goal of ... -
Kryptografická primitiva v liché charakteristice
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 6. 9. 2022In the thesis, we focus on the cryptanalytic techniques that can be used against the cryptographic primitives operating over odd characteristic finite fields. We introduce the GMiMC permutation, which belongs to such ... -
Geometric properties of discrete weak Lebesgue spaces
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022 -
Volterrův princip a jeho zobecnění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022The thesis concerns the Volterra principle and its validity in a more general sense. Volterra principle states that an improvement of the environment benefits predators rela- tively more than prey. To begin with, there is ... -
Přechodové chování systémů bonus-malus
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 5. 9. 2022This thesis deals with bonus-malus systems in car insurance. First of all, the basic no- tation is introduced and the principles are described on the basis of which these systems can be modeled using homogeneous Markov ... -
Corneal neovascularization assesment using machine learning methods
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 13. 9. 2022In our work, we tried to help ophthalmologists with their research on treating - corneal neovascularization. The massive improvement of hardware and algorithms in machine learning opens new ways to solve many medical imaging ... -
Calibration of the Belle II detector
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022This thesis proposes an improved method for calibration of the Belle II detector by introducing an algorithm that determines the optimal length of the calibration intervals. The calibrated quantity is the centre-of-mass ... -
The Connection between Continuum Mechanics and Riemannian Geometry
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022We investigate the systems of quasi-linear partial differential equations of hydrody- namic type. These equations occur mainly in hydrodynamics and continuum mechanics, but they arise in other various applications. In the ... -
Lepenka - Modulárny framework umožňujúci tvorbu hier pre platformu .NET
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Creating games using the Entity Component System data architecture requires a change in programming approach. Current .NET frameworks as- sume that the user is familiar with the principles of ECS. Therefore, as the interest ... -
Empirical Models for an Indic Language Continuum
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 2. 9. 2022Empirical Models for an Indic Language Continuum Niyati Bafna July 20, 2022 Many Indic languages and dialects of the so-called "Hindi Belt" and surrounding re- gions in the Indian subcontinent, spoken by more than 100 ... -
Stručný úvod do teorie množin pro středoškoláky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 23. 6. 2022This thesis gives an explanation of the basic concepts of set theory, focusing primarily on high school students interested in mathematics. The text of the thesis is di- vided into six chapters. The first chapter provides ... -
Named Entity Recognition and Its Application to Phishing Detection
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022This thesis focuses on named entity recognition applied to email phishing detection. Named entity recognition is a classification task that aims to extract information from a text into a predefined set of categories (named ... -
Investigation of deformation mechanisms in textured magnesium alloy by advanced in-situ methods
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 30. 8. 2022Title: Investigation of deformation mechanisms in textured magnesium alloy by advanced in-situ methods Author: Bc. Jan Dittrich Department: Department of Physics of Materials Supervisor: RNDr. Peter Minárik, PhD., Department ... -
Microstructure and mechanical properties study of the finegrained magnesium alloys processed by severe plastic deformation
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 30. 8. 2022Two magnesium alloys (Mg-4Y-4Gd-2Ca and Mg-2Y-2Gd-1Ca) with high ignition tem- perature were successfully processed by extrusion. Mg-2Y-2Gd-1Ca alloy was addition- ally processed by equal channel angular pressing (ECAP) ... -
Adapting Czech-Vietnamese Machine Translation for Spoken Domain
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022 -
Konvexní mnohoúhelníky v hustotně omezených bodových množinách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022For A, a finite set of points in Rd , let ∆(A) denote the spread of A and be equal to the ratio of the maximum and the minimum distance of two points from A. Valtr (1992) proved that for sets of points in the plane with ... -
Konstrukce měřicích přístrojů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 5. 9. 2022This bachelor thesis' aim is the verification of instructions for constructing simple measuring instruments (i.e. barometer, hygrometer, force gauge, hydrometer and galvanometer) and their correction and improvement. It ... -
Modeling transition intensities of a non-homogenous Markov chain via the Cox model
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022We study the extension of methods from the classical two-state survival analysis to the multi-state setting. Such models are applicable in a variety of fields in situations, for which the classical case does not suffice ... -
Automatic generation of medical reports from chest X-rays in Czech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 13. 9. 2022This thesis deals with the problem of automatic generation of medical reports in the Czech language based on the input chest X-ray images using deep neural networks. The first part deals with the analysis of the problem ... -
Model-driven approach for data schema definitions modeling
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 13. 9. 2022This work analyzes, formalizes, and implements a framework for multi-level concep- tual modeling of various serialization formats based on Model-Driven Architecture and previously developed tools XCase and eXolutio. It ... -
Systém pro automatickou regulaci v domácnosti
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Title: Home automation Author: Jan Kytka Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: RNDr. David Obdržálek, Ph.D., Department of Theoretical Computer Science and Mathematical ... -
Praktické příklady z umělé inteligence
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022The thesis describes practical tasks for the lecture of Artificial Intelligence, that is to introduce students to basic structures and algorithms of this field of informatics: rational agent, uninformed and informed search, ... -
Prime geodesic theorem for the Picard manifold
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 6. 9. 2022The goal of this thesis is to obtain a weighted first moment of the error term of the approximation of the counting function of prime geodesics on the Picard variety SL(2, [i])\H3 . The group SL(2, ) acts on the 3-dimensional ... -
Komplexní projektivní přímka
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022This thesis is about the expansion of the real projective line to the complex projective line. The first chapter is dedicated to a brief history of projective geometry. The next chapter introduces definitions and basic ... -
Combinatorial Gap Label Cover
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 6. 9. 2022Theorems about probabilistically checkable proofs (PCP) are famous hard-to-prove results from the theoretical computer science. They provide constructions of PCP sys- tems with interesting surprising properties and serve ... -
Toric varieties and their applications
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 6. 9. 2022The thesis provides an introduction into the theory of affine and abstract toric vari- eties. In the first chapter, tools from algebraic geometry indispensable for the compre- hension of the topic are introduced. Many ... -
Řešené úlohy z kvantové fyziky - moment hybnosti a spin
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 21. 6. 2022Title: Solved Problems in Quantum Physics - angular momentum and spin Author: Jaroslav Kafka Department: Department of Physics Education Supervisor: RNDr. Zdeňka Koupilová, Ph.D., Department of Physics Education Abstract: ... -
Parametrické odhady funkce intenzity bodových procesů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022The thesis introduces spatial point processes. Particularly, it focuses on Poisson process, Thomas process and intensity function, which describes those two processes. The main focus is put on processes that depend on an ... -
Modulární zálohovací systém pro virtualizaci
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 13. 9. 2022Backing up of a virtual machine is the act of capturing a static image, that can be subsequently used for restoration in case of the target machine failure. We contribute a pilot implementation of a modular system suitable ... -
Rotation-equivariant convolutional neural network for design of visual prosthetic stimulation protocol
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Neighboring neurons in the primary visual cortex (V1), the first cortical area pro- cessing visual information, are selective to stimuli presented in neighboring positions of the visual field with a specific edge orientation. ... -
Detection of protein-ligand binding sites using graph neural networks
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022The function of most biological systems is realized by the interaction of proteins with other biological molecules. Protein-ligand binding is one of the most im- portant kind of interactions which, if studied well, can ... -
Metoda chain-ladder jako maximálně věrohodný odhad v Poissonově modelu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 5. 9. 2022First, the distribution-free chain-ladder is introduced. Then, the Poisson model is in- troduced. It is proven that the total reserves for one accident year given by the maximum likelihood estimation applied to the Poisson ... -
Fyzika pro (budoucí) mediky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 2. 9. 2022This thesis covers several topics from physics which appear in typical medical school curriculum or which are required in order to study this type of schools. It is intended mainly for (future) medical school students. ... -
Supersymmetric Quantum Mechanics meets Topology
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022In the first part of this thesis, we will try to get familiar with some of the concepts of supersymmetry (SUSY), starting from the zero-dimensional Quantum Field Theory and apply these concepts to a toy model of (0+1) ... -
Solid Planner: personal planning app built on Solid
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Most of the data on the current web is stored and used in a centralised way while originally the idea of the internet was to use it in a decentralised manner. The goal of this project is to develop an intuitive and easy ... -
Náhodné procházky na grupě permutací - aneb kdy jsou karty dobře zamíchané
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022This thesis deals with random walks on a symmetric group, namely the models that are used to describe the shuffling of a deck of cards. In this work we focus on the question of mixing speed (the speed of convergence of the ... -
Důkazy Tichonovovy věty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022This bachelor thesis is devoted to four different proofs of Tychonoff's Theorem. The first proof is based on definitions of compact topological space and product topology. The second proof is a construction of convergent ... -
Panorama z rovnoměrně rozložených obrázků
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022This thesis addresses the problem of stitching photos into a panorama in two ways - using features and uniformly distributed photos. The mathematical basis is introduced in the form of transformations used in both approaches, ... -
Counting operators in Effective Field Theories
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022When applying physical calculations to the real world, it is always necessary to make some approximations. In the context of field theories, in particular the quantum field theories used in particle physics, a systematic ... -
Sparsita a regularizácia v úlohách optimalizácie portfólia
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022This thesis focuses on a problem which decision vector has limited number of non- zero elements. This limitation is ensured by adding cardinality constraint, but solving the mixed-integer reformulation of the problem is ... -
On Market Efficiency, Optimal Distributional Trading Gain, and Utility Maximization
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022On Market Efficiency, Optimal Distributional Trading Gain, and Utility Maximization Robert Navr'atil The aim of this thesis is multifold. First, using results from the optimal distributional trading gain problem, we determine ... -
Maximálna vierohodnosť za prítomnosti vedľajších parametrov
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 5. 9. 2022 -
Analýza různých MCTS implementací umělé inteligence pro počítačovou hru Children of the Galaxy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 13. 9. 2022Monte Carlo Tree Search (MCTS) is a popular game AI algorithm that searches the state space of a game while using randomized playouts to evaluate new states. There have been many papers published about various adjustments ... -
Odhady parametrů diskrétních rozdělení založené na empirické vytvořující funkci
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022This bachelor thesis describes a method of estimating parameters for discrete dis- tributions via the empirical distribution function. In the first part, we derive general asymptotic distributions for such estimates. These ... -
Generating levels for Super Mario Bros using advanced level design concepts
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Procedural content generation (PCG) is a long-used approach for creating a sizable volume of playable levels in games. Such levels often lack the quality and theme consistency of hand-crafted ones. The aim of this thesis ... -
Probabilistic Models for Recommender Systems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022Recommender systems are software tools and techniques providing recommendations to users based on their needs. Today, popular e-commerce sites widely use recommender systems to recommend product items, articles, books, ... -
Extending self-organizing maps with ranking awareness
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Title: Extending Self-organizing Maps with Ranking Awareness Author: Kyung Won Park Department: Department of Software Engineering Supervisor: Mgr. Ladislav Peska, Ph.D., Department of Software Engineering Abstract: The ... -
Physical model of asteroid (130) Elektra based on adaptive optics images obtained by the VLT/SPHERE instrument
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 2. 9. 2022Using the ADAM software package, the shape model of the asteroid (130) Elektra was reconstructed. The model is based on 60 lightcurves from the DAMIT database, 46 AO images obtained by the NIRC2 and SPHERE in- struments ... -
Transformation of SPARQL queries into Cypher queries in Neo4j
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 13. 9. 2022RDF stores are still popular on the Web, although the existing RDF database management systems are not well prepared for the current data processing requirements. Usually, it is better to use one of the NoSQL systems for ... -
Sequential analysis of transaction data
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022Bank transactions are one of the data sources that banks can use for their marketing decisions and campaigns. In this thesis, we are concerned with the use of bank transac- tions for the prediction of clients who will take ... -
Peer-to-peer sieť na zdieľanie novinových článkov
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Easy, simple and free as in freedom. These are the requirements for ev- eryday access to information in newspapers. In this thesis we will create such environment based on network. We are designing a protocol for com- ... -
Analysis and visualization of OCR output
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Optical Character Recognition (OCR) is a process of converting text from images to a machine-readable text. We run three OCR systems (Tesseract, Ocrad and GOCR) on an original multilingual OCR dataset and perform statistical ... -
Quantum interference in nanocrystals
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 8. 9. 2022Quantum interference control has is a well described effect in bulk and infinite well super-lattice crystals. In this thesis, we describe this effect in nanocrystals. We use a 8-band model for the description of the electron ... -
Tessellation of trimmed NURBS surfaces.
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 13. 9. 2022Tessellation of trimmed NURBS surfaces is classical problem in CAD/CAM, with long history and huge amount of research developed so far. We present and describe a tessellation algorithm suitable for visualization purposes ... -
Variabilita slunečního větru v okolí Lagrangeova L1 bodu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022In the near future, the European space agency (ESA) is planning a space mission with objective to detect gravitational waves in the frequency range 10-4 Hz - 10-1 Hz (LISA mission). The detection of the gravitational waves ... -
Periodically driven quantum systems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 8. 9. 2022We present theoretical methods for studying quantum mechanical systems subjected to fast periodic driving and apply them to model systems with long-range interaction. We provide a comparison between the methods and insight ... -
Odhady strednej hodnoty v normálnom rozdelení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 5. 9. 2022The bachelor's thesis deals with estimators of the non-constant mean value in a specific probability model, which was taken from the article Estimating the Current Mean of a Normal Distribution which is Subjected to Changes ... -
VMA merging in Linux
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 13. 9. 2022This thesis deals with virtual memory management in the Linux kernel. Files or devices can be mapped into virtual memory using the mmap() sys- tem call, which is also capable of creating so-called anonymous mappings. Those ... -
Dvourozměrný model srážek elektronů s molekulami
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 8. 9. 2022In this master thesis we study convergence of selected iterative methods applied to linear systems originating from the finite element method, dis- crete variable representation and exterior complex scaling in the context ... -
Simulations of dynamics of ultra-cold quantum plasma
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 7. 9. 2022Title: Simulations of dynamics of ultra-cold quantum plasma Author: Andrej Rendek Department: Department of Surface and Plasma Science Supervisor: Mgr. Michal Hejduk, Ph.D., Department of Surface and Plasma Science Abstract: ... -
Truffle based .NET IL interpreter and compiler: run C# on Java Virtual Machine
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Datum obhajoby: 12. 9. 2022Traditionally, to achieve high performance for executing dynamic languages, a hand-crafted Just-In-Time (JIT) compiler was necessary. Such compilers come with several disadvantages, including security issues arising from ...