This thesis is focused on a detailed investigation of the optically induced quench switching effect in different films of antiferromagnetic CuMnAs. The quench switching effect was recently discovered to be highly reproducible ...

Short Abstract This thesis focuses on the complexity of the promise version of Constraint Satisfaction Problem (CSP) and its variants. The first study concerns the Promise Constraint Satisfaction Problem (PCSP), which ...

Graph pattern matching queries enable flexible graph exploration, similar to what SQL provides for relational databases. In this thesis, we design and improve key compo- nents of a distributed in-memory graph querying ...

From the onset of AI research, games have played an important part, serving as a benchmark for progress in artificial intelligence. Recent approaches using search in combination with learning from self-play have shown ...

Most mainstream web mapping applications implement location-based direction search. The typical workflow involves constructing an explicit sequence of places to visit. In this thesis, we aim to develop a web application ...

In this thesis we formalize Zhuk's decision algorithm solving in p-time tractable con- straint satisfaction problems (CSPs) in a weak theory of bounded arithmetic W1 1 . As a consequence, we show that tautologies that ...

The goal of the thesis is to develop a program that enables the control of multiple computers from a single workstation using a unified set of input devices. The program comprises a control application for Windows OS and ...

Loading a planet's surface causes it to deform. The evolution of this deformation is influenced by the internal structure of the planet. In this thesis we use a one-dimensional numerical model of Maxwell viscoelastic ...

Procedures for statistical control of random processes are well known. What we miss, is the comparison of such procedures. In the beginning, we will introduce the linear regression model which will be our assumption ...

Visual localization is the problem of estimating the 6 degrees of freedom camera pose from which a query image was taken relative to a known reference scene representation. It is the key for applications such as Augmented, ...

Stability under every possible circumstance is a goal for a lot of applications. This problem applies to the network stack ANIS of the real-time operating system PikeOS developed by SYSGO. PikeOS requires security and ...

The current availability of computers and mobile devices in school facilities and the affordability of mobile devices for everyone provide for an increasing use of interactive geometry in the curriculum. The aim of this ...

The Main Belt, the region between the orbits of Mars and Jupiter, is the home to more than 1 million asteroids. These asteroids form orbital groups, i.e., asteroid families formed by collisions; and also spectral groups ...

The thesis aims to find a generalization of smoothed particle hydrodynamics to fluid models which are compatible with Hamiltonian formulation of physics. We develop an approach based on a particle discretization of Poisson ...

Doped layers of crystalline silicon are currently the main driver of con- ventional photovoltaic devices. Direct introduction of group III and V atoms into the silicon matrix is still the mainstream of mass production of ...

CdZnTe and perovskites are promising materials for radiation detectors. Here, we address the main obstacles to their application, CdZnTe charging, and perovskite stability by photocurrent measurements. In the first part, ...

The present thesis is focused on the study of properties of function spaces con- taining measurable functions, and operators acting on them. It consists of four papers. In the first paper, we establish a new characterization ...

This thesis is focused on the volume and surface area of solids, particularly on the volume and surface area of polyhedra and round solids, which are part of the high school curriculum of geometry (stereometry). The purpose ...

Product descriptions are an important part of product presentation in e-commerce. This bachelor thesis explores the possibilities of using language models based on the Transformer architecture to generate product descrip- ...