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 ...