A tool for conceptual modelling of multi-model data Abstract Richard Hvizdoš 8 May 2023 The aim of the bachelor's thesis is to create a tool that supports modeling in the UML and the newly created categorical model (CAT), ...

An important ability for light terrain outdoor navigation of an UGV (Un- manned Ground Vehicle) is traversability detection. We focus on creating an evaluation layer for move_base package, which is part of ROS (Robot ...

This work introduces a system for designing and evaluating experiments with evo- lutionary algorithms in 3D-simulated physical environments of the MuJoCo library. Ex- periments allow to develop the control and morphology ...

In this thesis, we focus on creating a visual understanding of orientation of a real vector space and its subsequent connection to the mathematical definiton. As a result, this thesis can be used as supplementary material ...

Time detectors will form a fundamental component in the further develop- ment of detection devices, not only in high-energy physics. The MicroChannel Plate PhotoMultiplier (MCP-PMT) is a very fast (and very expensive) ...

Hierarchical triple stars consist of two stars orbiting each other on a close orbit and a third, more distant star. This is the only observed dynamically stable configuration of triple systems. The third star needs to be ...

This thesis explores preimage leakage-resilient trapdoor permutations (PLR-TDPs) and their applications in proofs of storage replication and incompressible encodings. The thesis consists of three chapters covering the ...

Complex systems surround us in our everyday lives and their understanding can bring crucial insights into many fields. These systems consist of components (also known as communities) tied together. This thesis focuses on ...

This thesis explores the challenges of implementing effective navigation for groups of units in real-time strategy computer games, specifically focusing on the movement of large numbers of homogeneous units across a ...

In this thesis, we address the problem of smooth interpolatory subdivision of triangle meshes. This problem is more challenging than general smooth subdivision as the original vertices of the mesh cannot be moved to produce ...

Automated minuting, or meeting summarization, is the task of accurately capturing the contents of a meeting in a short text or in bullet points. Recently, a lot of progress has happened in this area, largely due to the ...

This thesis leverages the CoVAMPnet neural network architecture to analyze the dy- namics of apolipoprotein E (APOE), a protein involved in the development of Alzheimer's disease. CoVAMPnet offers a versatile machine ...

Calculation of scalars obtained from the Riemann curvature tensor in co- ordinate components is not always efficient, this is true even in very simple spacetimes. Firstly, the calculation is not intuitive and secondly, ...

The goals of this thesis are various generalizations of the classical delta theorem, in which the advantage is that we can separately investigate the analytical properties of transformation of the estimate, and independently, ...

In this thesis we present the notion of a spectrum of a first-order sentence, including several theorems linking it to computational complexity theory and well-known open problems of Scholz and Asser. We show that there ...

It follows from the Baire theorem that comeagre sets in complete metric spaces are "topologically large". Properties that are satisfied by a large set are called typical. The proofs of statements concerning typical properties ...

This diploma thesis delves into the study of marked particle processes, a relatively unexplored field in stochastic geometry and spatial statistics. The main aim of the thesis is to lay some basic foundations of the marked ...

Abstract. In this work, we examine both point and interval estimators of two-parameter exponential distribution. We determine whether point estimates are unbiased, consistent, or both, and derive exact distributions from ...

The bachelor thesis describes the relationship between the roots of the polynomial and the eigenvalues of the companion matrix, which is formed from the coefficients of the given polynomial. For numerical computing, it can ...

In order to generate observable electromagnetic signatures, astrophysical black holes have to interact with matter. Arround the black hole, matter typically forms into a symmetric disc through which it gradually inspirals ...

Modern language models are strong at generating grammatically correct, natural lan- guage. However, they still struggle with commonsense reasoning - a task involving making inferences about common everyday situations without ...

Cross-lingual abilities have been evident in large multilingual language models over the past few years. However, understanding why and under what circumstances they work is not entirely clear. In this work, we work towards ...

The aim of this thesis is to prove the Baur-Monk Theorem and thereby show complete module-theories admit an elimination of quantifiers down to (Boolean combinations of) existential formulae. To achieve this, following a ...

This bachelor's thesis focuses on a statistical method called correlation analysis. The aim of the thesis is to explain various correlation coefficients such as Pearson's correlation coefficient, point biserial correlation, ...

In this thesis, we explore the differences between tokenization methods for multilingual neural language models and investigate their impact on language model representation quality. We propose a set of metrics to evaluate ...

Se stále dostupnějším připojením k internetu roste i počet webových aplikací a jejich uživatelů. S tímto nárůstem - jak už to bývá se vším - se zvětšuje i počet lidí, kteří se snaží nedostatky v těchto aplikacích zneužít. ...

In this thesis we consider a linear inverse problem Ax ≈ b with a smoothing operator A and a right-hand side vector b polluted by unknown noise. To find good approximation of x we can use large family of iterative ...

The work deals with the calibration of meteorological web cameras, which can be then used for training of neural networks for the creation of realistic lighting and the genera- tion of realistic clouds in the sky into 3D ...

Super Mario Bros. is still actively used as a model game for research in level genera- tion. Every year, the most recent techniques are applied and tested. This lately includes various deep learning and reinforcement ...

The field of education is rapidly evolving, with distance learning becoming an incre- asingly popular method of teaching. With the advent of technology, teachers are seeking effective ways to educate their students even ...

In his recent work, Dadush et al. introduced the condition number κ for constraint matrices of linear programming and devised an algorithm to approximately optimize κ by scaling columns of the constraint matrix. We follow ...

The diploma thesis deals with the construction and properties of image deblurring problems along with approaches to their solution. We focus on Krylov subspace methods LSQR, GMRES and RRGMRES, which are known for their ...

In this thesis, the preparation of a chemical sensor that uses a one-dimensional structure as a sensitive part is studied. First, a scanning electron microscope (SEM) was used to examine the following structures: zinc oxide ...

The quality of a parameter estimate is usually assessed using the mean squared error (MSE). For one dimensional parameter, the estimate constructed using the least squares method is the best. However, for a vector parameter ...

When p ∈ (0, 1), both the dual and the associate space of the weak Lebesgue space Lp,∞ contain only the zero function. In this thesis, we study a different method of dualization of the weak Lebesgue space. Then we extend ...

The bachelor thesis deals with the topic of recommender systems, which are especially important in e-commerce field. The main goal of the thesis was to implement a recom- mender system that would cover the needs of ...

The works discusses the basics of motions along curves in 3D space and especially those that are both rational and whose frames have the least rotation during their movement. These rotation minimizing rational frames open ...

Similarity search is a commonly used technique in databases for finding objects si- milar to a query. It finds applications in content-based retrieval of complex objects like images, information retrieval, and statistical ...

The thesis explores the possible presence of exciton interaction in phycobilisomes, the large pigment-protein light-harvesting complexes occurring mainly in cyanobacteria. The technique of two-dimensional electron spectroscopy, ...

The goal of this diploma thesis is to introduce several tests of independence for time series following the ARMA model and then compare them within the simulation study. First, the basic theory of independence is reminded ...

Brady have classified all the minimal Taylor algebras on a three-element set up to term equivalence and isomorphism; there are 24 such algebras. The thesis studies the clones of these algebras. For 12 of them, the thesis ...

This thesis deals with classification based on mixture models, mainly on models finite normal. At first, there are introduced basic definitions and characteristics of finite mix- tures. Afterwards there is described the ...

This work considers a fundamental open problem in informatics - distin- guishing two words by a deterministic finite automaton with the smallest pos- sible number of states. We review the existing research, where proven ...

Title: Gradient mapping of functions of several variables Author: Alena Skálová Department: Department of Mathematical Analysis Supervisor: doc. RNDr. Miroslav Zelený, Ph.D., Department of Mathematical Analysis Abstract: ...

This paper classifies into categories, labels, and explains physics exercises based on distinct challenges visually impaired teachers may encounter. The challenges unique to each exercise category are also detailed. In ...

We study a simple model of a one dimensional extended body in a gravitational field, consisting of two point particles connected by an elastic string, and derive equations of motion for this system in both classical mechanics ...

This thesis deals with the formulation and estimation of the multivariate GARCH model. It mentions the various parameterizations of the multivariate GARCH model and discusses the relationships between them. The necessary ...

The exploration of potential life on other celestial bodies within the Solar System is one of the key questions in planetary science. In this work, we focused on determining the hydrosphere of the icy moons Ganymede and ...

In this thesis we are going to deal with the inverse linear approximation problem Ax ≈ b, where our goal is to find the best approximation x of the unknown exact solution. We are going to especially focus on the so-called ...