In this thesis we study policy-level models for unreported claim counts. We assume that the total number of claims on a policy follows a Poisson or negative binomial dis- tribution. The parameters of these distributions ...

This thesis describes the development of a desktop application that should allow the user to organize their family tree. The existing solutions, such as MyHeritage or Family Historian, are analyzed first. The detailed ...

The aim of this thesis is the prediction of insurance events under the condition that the data related to the occurrence of the events is truncated. The nature of the truncation lies in the fact that in the present we ...

This bachelor's thesis introduces, derives and implements recursive least squares me- thod. The recursive least squares method is analogy to ordinary least squares for linear regression exercise. Method uses recursive ...

Modern compilers apply a set of optimization passes aiming to speed up the generated code. The combined effect of individual optimizations is often un- predictable. Thus, changes to a compiler's code may hinder the performance ...

In this bachelor thesis was created command line application for generat- ing Einstein's riddles in natural language using language model GPT-3 (third generation Generated Pre-trained Transformer). The few-shot method was ...

In presented work we will discuss the central limit theorem for dependent random variables. First of all, we brush up the basic version of the theorem and we illustrate it by an example of its use. Then we introduce a ...

Multimedia retrieval is increasingly important with the skyrocketing multimedia vol- umes produced every day. Therefore many image and video retrieval tools are being developed utilising visual similarity modelling algorithms ...

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

Task-oriented dialogue systems pose a significant challenge due to their complexity and the need to handle components such as language understanding, state tracking, action selection, and language generation. In this work, ...

This thesis explores the identification and detection of misleading elements in data visu- alizations. The theoretical portion focuses on understanding various types of misleading features commonly encountered in scientific ...

The goal of this bachelor thesis was to create a software for small companies dealing with earthworks and excavation works, repairing and selling excavators, which do not have access to a suitable software solution for ...

We study dynamics of an extremally charged black hole on the background of two stationary, mutually orbiting extremally charged black holes, forming thus a seed binary system. We extend the two-body perturbative solution ...

The Optogenetic stimulation of neurons in the primary visual cortex (V1) is a novel and promising technique for vision restoration for people with acquired blindness. One of the challenges of such a technique is finding ...

Detection of protein-ligand binding sites plays key role not only in understanding of protein function but it also can be used for computer-aided drug design. Improving these detection can lead to faster drug development. ...

We explore the use of different model extensions of the FELIX neural transformer-based text-editing model for data-to-text generation. Our ap- proach is based on iterative text-editing - transforming the individual items ...

In theory, the linear autoencoder EASE is one of the most capable collaborative filtering recommenders for large item domains with sparse user-item feedback. However, the model's weights are determined by the inverse of a ...

Third-person 3D action role-playing games inspired by Dark Souls (souls-likes) have recently gained a lot of popularity, but are difficult to develop due to the amount of gameplay and content required. In this thesis, we ...

Title: Work and heat at the mesoscale Author: Bc. Šimon Pajger Department: Department of Macromolecular Physics Supervisor: RNDr. Artem Ryabov, Ph.D., KMF MFF UK Abstract: Understanding the conversion between heat and work ...

Online document editors are useful tools that allow users to create, edit, and often also store and share documents. Some editors additionally support collaborative real-time editing for multiple users, allowing them to ...

Data integration tools often use embedded code for data manipulation tasks. Popular examples of such tools include AWS Glue data integration service, Databricks platform, Snowflake data cloud or SQL Server Integration ...

Kampa is an experimental general-purpose imperative programming language influ- enced by functional programming. While Kampa offers several potentially useful features, its usability is limited by some properties of its ...

This thesis deals with the one-phase Bernoulli problem, focusing on the existence and regularity of its solutions. After establishing the necessary preliminary theory on function spaces and convergence in the first chapter, ...

This paper focuses on simulation modeling of the total aggregate reinsurer claim S when considering XL.reinsurance for multiple insurance lines. In the first part, this re- insurance structure is defined. In the second ...

One of the most important problems of modern theoretical nuclear physics is to accu- rately determine the structure of atomic nuclei. To obtain results that are in agreement with experimental data, one needs to solve the ...

This thesis deals with tests of serial independence for functional time series. The first part of the thesis introduces the issue of serial independence in time series of random vari- ables. The second part focuses on tests ...

Fuel cells appear as a promising technology, enabling the replacement of internal combustion engines in the automotive industry. Hydrogen fuel cells with a polymer membrane are particularly suitable for this application. ...

This thesis deals with asymptotic properties of least squares estimators of regression coefficients of linear models with a large dimension of regressors. Particularly, consistency and asymptotic normality are investigated. ...

Kinetic Monte Carlo (kMC) is a stochastic method used to simulate time evolution of a system. This algorithm finds application in various scientific fields. It is also widely used in physics of thin films. In the thesis, ...

In this thesis, we study the structural and algorithmic properties of graphs embedded or represented in surfaces and with constraints on their faces or cycles. We derive tools to quantify properties of embedded flows and ...