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

This thesis discusses loci of points. The thesis is constructed as a website which should assist mathematic education in primary schools and especially high schools. The thesis revises loci of points, which is taught in ...

The 6D pose estimation is an important computer vision task with applications in robotics, e.g. for manipulation or grasping, but also in computer graphics and augmented reality. Given an image, the task is to estimate the ...

In this thesis, we investigate the application of pretrained Deep Neural Networks, par- ticularly Vision Transformers (ViT), for predicting human fMRI activity in response to visual stimulation. The Algonauts Challenge ...

We explore the capability of evolution strategies to train a transformer architecture in the reinforcement learning setting. We perform experiments using OpenAI's highly parallelizable evolution strategy and its derivatives ...

The study of artificial active matter has significantly intensified in recent years due to its potential practical applications and promises to understand living organisms' in- teractions and collective behaviour. The ...

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

This thesis investigates the possibility of using a representation neural network as a data structure for an appearance prediction model. We present the representation network as an adaptation of the popular neural radiance ...

This work focuses on the synthesis of nanoparticles of vanadium, titanium and their oxides. Magnetron-based gas aggregation source was used for nanoparticle preparation. Metallic nanoparticles of vanadium and titanium ...

Title: Ultrafast dynamics of charge carriers in 2D materials Author: Bc. Petr Koutenský Department: Department of Chemical Physics and Optics Supervisor: RNDr. Martin Kozák, Ph.D., Department of Chemical Physics and Optics ...

Title: Forward and Backward Modelling of Spectroscopic Diagnostics in Fusion Plasmas Author: Matěj Tomeš Department: Department of Surface and Plasma Science Supervisor: Mgr. Jakub Seidl, Ph.D., Institute of Plasma Physics ...

SN1987A, the first supernova visible by the naked eye since 1600s, is anomalous by existence of preexisting triple ring nebula around it. One candidate explanation of the nebula is a binary merger of SN1987A's progenitors. ...

The main focus of this work is the investigation of the anode catalysts for the Proton Exchange Membrane Water Electrolyzers (PEM-WEs). PEM-WEs play a pivotal role in the hydrogen economy concept as they allow water ...

This bachelor thesis is dedicated to Hawkes process. It is divided into six chapters. Chapter one consists of an introduction into the theory of random processes and a de- scription of Poisson process, the second chapter ...

Europa is one of the Jovian icy moons with confirmed subsurface ocean. Circulation of the ocean in presence of the Jovian ambient magnetic field leads to generation of the ocean-induced magnetic field (OIMF). On Earth, the ...

Study of ionospheric variability High variability of the ionosphere is connected to geomagnetic, solar, and neutral atmosphere wave activity. Results of scaling analysis of solar data (F10.7, SSN), geomagnetic indices (Dst, ...

Title: Towards Machine Translation Based on Monolingual Texts Author: Ivana Kvapilíková Institute: Institute of Formal and Applied Linguistics Supervisor: doc. RNDr. Ondřej Bojar, Ph.D., Institute of Formal and Applied ...

The process of setting material properties for realistic appearance after rendering is usually tiresome and often requires carefully crafted skill for fine-tuning the parameters, as different combinations of these parameters ...

The Framework Educational Programme was revised in the Czech Republic in 2021 to include the basic principles of the Internet and computer networks in teaching computer science at ISCED level 2. According to the new revision, ...

This thesis addresses the challenge of social group detection in crowds, presenting an algorithm informed by sociological insights into common group formations among pedestrians. Our proposed algorithm demonstrates comparable ...

The Manta Flow is a highly automated static analysis platform producing data lineage over its input and representing it in a graph. The platform performs analysis on various technologies and programming languages via ...

Strategy games are known for allowing players to choose from a vast array of different strategies that can be employed to achieve victory. The major- ity of these games revolve around the standardized pillars of 4X (Explore, ...

Electrical transport measurement of small, irregular shape sample is difficult task. In order to overcome these limitations, this thesis employed a focused ion beam microfabrication. Process of microfabrication is successfully ...

This thesis studies quadratic forms and lattices over rings of integers in number fields, and, to some extent, over non-maximal orders as well. The main focus is on universality of forms and lattices, and on the connected ...

Title: (Im)possibilty results in Proof Complexity and Arithmetic Author: Erfan Khaniki Department: Department of Algebra Supervisor: Prof. RNDr. Pavel Pudl'ak, DrSc Abstract: We study various problems in proof complexity, ...

The central problem in the modern electronic structure theory is the calculation of cor- relation energy, possibly by an approach that would account for both static and dynamic correlation in an efficient, balanced and ...

This work is focused on the laboratory studies of reactions of O+ and N+ ions with molecular hydrogen and its isotopologues, HD (hydrogen deuteride) and D2. The experimental studies were performed using a 22-pole radiofrequency ...

V práci studujeme přesná řešení vázaného systému Einsteinových-Maxwellových ro- vnic pro Robinsonovu-Trautmanovu a Kundtovu geometrii s kosmologickou konstantou v 2+1 gravitaci. Uvažujeme také elektromagnetické pole bez ...

Modelově založené shlukování vícerozměrných longitudinálních dat smíšeného typu Jan Vávra 3. října 2022 Abstrakt Mnoho dnešních studií sbírá data opakovaně na těch samých jedin- cích po předem vymezenou časovou dobu. Takto ...