Kvalifikační práce
Recent Submissions
Now showing items 1-10 of 9671
-
Semi-supervised learning in Optical Music Recognition
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 7. 6. 2022Optical music recognition (OMR) is a niche subfield of computer vision, where some labeled datasets exist, but there is an order of magnitude more unlabeled data available. Recent advances in the field happened largely ... -
Systém pre rezerváciu chát
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 7. 6. 2022iv Title: Cottage reservation system Author: Marian Dolník Department: Department of Distributed and Dependable Systems Supervisor: doc. RNDr. Jan Kofroň, Ph.D., Department of Distributed and Dependable Systems Abstract: ... -
Assisted race track procedural generation
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 7. 6. 2022Racing games often take place on circuits with large surroundings. The goal of this thesis is to design and create a procedural generator for realistic road racing tracks surroundings. The track surroundings must feel ... -
Monitoring Support for Manta Flow Agent in Cloud-Based Architecture
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 7. 6. 2022Today, it is quite common to see software migrations from an on-premises solution to a cloud solution. The product MANTA Flow Platform also experiences this transformation. As a part of this transformation, the introduction ... -
SQL analyzér pro datovou linii s podporou více dialektů
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 7. 6. 2022The main goal of this work was to create a program that would be able to use static analysis of SQL code to detect the data line between database objects. In this paper we will find examples of the data line in SQL, various ... -
Precise and Efficient Incremental Update of Data Lineage Graph
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 7. 6. 2022Data lineage forms an essential aspect of today's enterprise environment. MANTA Flow is a data lineage analysis platform that works based on extracting and analyzing customers' source files. However, often the customer ... -
Properties and interpretation of black hole spacetimes
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 31. 5. 2022In this thesis, we study a limit of the Kerr-(A)dS spacetime in a general dimen- sion where an arbitrary number of its rotational parameters is set equal. The resulting metric after the limit formally splits into two parts: ... -
Schema Inference for Multi-model Data
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 7. 6. 2022In recent years, multi-model databases have become very popular as the individual models better suit the different domains, use cases or scenarios. NoSQL databases are an integral part of the multi-model world of big and ... -
Nonlinear processes in space plasmas and their effects on the generation and propagation of electromagnetic waves
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 6. 6. 2022Nonlinear interactions of charged particles and large-amplitude waves have a signif- icant impact on magnetospheric dynamics. Here we focus on the cyclotron resonant interaction between energetic electrons and the discrete, ... -
Elementary Processes at Low Temperatures - Reactions of H3+ and N2H+ in Afterglow Plasmas
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)Date of defense: 28. 6. 2019Electron-ion recombination and ion-neutral interactions play a piv- otal role in the chemical evolution of molecules in the Interstellar Medium (ISM). Physical conditions under which these processes un- dergo in the ISM ...