With the rising popularity of sport climbing and bouldering, there are increasing incentives to take it to the online space. This thesis does so in a way suitable for regular climbing gyms. A workflow for creating 3D hold ...

In this work we study asymmetric games. Unlike symmetric matrix games, asymmetric games are not so easily categorized and therefore their research seems more interesting. We will present general cases of matrix games and ...

Stimuli-responsive self-assembled polymer nanoparticles are becoming increasingly more important tools in nanomedicine. In this thesis we studied two large sets of polymer samples designed to be capable of such self-assembly. ...

This thesis is focused on the shadowing property of numerical methods for partial differential equations. The goals of this thesis are the application of shadowing theory to the case of linear maps, modification of standard ...

Title: English poetry generation with pretrained language models Author: Vojtěch John Department: Institute of Formal and Applied Linguistics Supervisor: Mgr. et Mgr. Ondřej Dušek, Ph.D., Institute of Formal and Applied ...

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

The current mainstream programming languages do not explicitly track side effects of the programs, such as the possibility of allocating memory, throwing an exception, and performing I/O actions. We create a fully speci- ...

This thesis contains a study of production and radiation of J/ψ and ψ(2S) in pp collisions. Basic analysis of J/ψ and ψ(2S) using data from pp collisions at √ s = 5.02TeV measured in 2017 by the ATLAS Experiment at the LHC ...

The bachelor thesis describes causality in multiple time series. Mul- tiple time series are formulated by using vector autoregressive models (VAR). The general properties of the VAR model are defined in the thesis . Model ...

Generalising the notion of an ultrafilter to structured sets, we construct the ultrafilter monad in the categories of partially ordered sets and finitely colourable graphs. This is done similarly to codensity monads, knowing ...

This bachelor thesis provides a mathematical description of the card game of SET. The reader is introduced to the history and the rules of this game. Further off, some combinatorial aspects of the game are investigated. ...

Lucas sequences are constant-recursive integer sequences with a long history of appli- cations in cryptography, both in the design of cryptographic schemes and cryptanalysis. In this work, we study the sequential hardness ...

An unfolding of a polyhedron is a cutting along its surface such that the surface remains connected and it can be flattened to the plane without any overlap. An edge- unfolding is a restricted kind of unfolding, we are ...

Slide attack is an attack against block ciphers which have all rounds the same. The success and the complexity of the attack is independent on the number of rounds. The original slide attack was mainly used on a Feistel ...

The autocorrelation function is a basic tool for time series analysis. The clas- sical estimation is very sensitive to outliers and can lead to misleading results. This thesis deals with robust estimations of the autocorrelation ...

Energy market modelling is one of the most pressing topics. There are several ways how to create the models depending on what features to expect and require. The thesis will be devoted to studying stochastic models of the ...

This thesis is focused on introduction on project CERN and ATLAS and on apparatus used for detection of particles. Moreover, thesis describes upgrades of detection apparatus, whose goal is to increase performance of the ...

In this work, we focus on the use of laser slit scanning rigs for 3D reconstruction of the inner parts of a nuclear reactor. Special emphasis is placed on the influence of radial distortion on the quality of 3D reconstruction. ...

In this work we will study the electromagnetic superradiance phenomenon on acceler- ated systems. We will briefly cover superradiance on a cylinder, which was thermodynam- ically proven by Zel'dovich. Then we will attempt ...

Title: Study of physical and chemical properties of tin dioxide-based systems Author: Oleksandr Leiko Department: Department of Surface and Plasma Science Supervisor: doc. RNDr. Karel Mašek, Dr. Abstract: In the presented ...

As conventional electronics approaches its fundamental limits, new paradigms are re- quired. Integration of new spintronic materials with current silicon technology shows great promise. This thesis demonstrates the possibility ...

In this thesis we study the poset of signed permutations under the pattern containment order. A signed permutation is a permutation in which each entry has a plus or a minus sign assigned to it. Therefore signed permutations ...

Raman microspectroscopy is a powerful tool combining laser scanning confocal microscopy and Raman spectroscopy which is an analytical tech- nique that provides chemical species-specific vibrational spectra or so-called ...

In this thesis we study the generalized Glivenko-Cantelli theorem and its application in mathematical foundations of machine learning. Firstly, we prove the generalized Glivenko-Cantelli's theorem using covering numbers ...

In this thesis we investigate the structure of the generalized age-period-cohort mortality model and we comment on the key components of its structure. As an example of the generalized age- period-cohort model we take a ...

Inelastic scattering of freely propagating electrons on light waves is currently a studied topic because of potential applications in advanced electron microscopy and diffraction. The interaction is typically described ...

Copulas are a popular choice when assessing the dependence structure between continuous random variables. However, major difficulties arise as soon as one of the random variables is non-continuous. This thesis introduces ...

Bachelor thesis on the topic of artificial intelligence in the game Patchwork. It deals with the actual implementation of the game and the computer-controlled player, as well as approach that was taken to get a com- petent ...

In this thesis we will be studying functional encryption for quadratic functions. We want to encrypt a message, in form of a vector, z to a plaintext ct and create a secret key skf for a quadratic function f, which will ...