Tato dizertační práce prezentuje magnetická pole tokamaku COMPASS a práci vykonanou během reinstalace COMPASSu v České republice. V technické části práce je popsána geometrie, vakuová magnetická pole a výkonové zdroje ...

Tato práce prezentuje počítačový model Charles University Large-eddy Microscale Model (CLMM) a příklady jeho využití. Je to numerický model pro výpočty proudění a rozptylu příměsí v mezní vrstvě atmosféry. CLMM řeší ...

Slovesná valence hraje důležitou úlohu v popisu chování sloves a propojuje povrchovou realizaci jazyka s jeho sémantikou. Sloveso samotné může být použito ve více významech. Slovesná valenční doplnění pak pomáhají identifikovat ...

Cílem této diplomové práce je prozkoumat mechanické a tlumící vlastnosti slitin AZ91 s přidáním různého množství legujícího prvku bor a dvou experimentálních slitin na bázi čistého hořčíku. Dalším úkolem je určit vliv ...

V tejto práci sme študovali dva kvasinkové transportéry z rodiny ABC, Pdr10p a Pdr15p. V čase zadania diplomovej práce sa verilo, že tieto proteíny prispievajú ku kvasinkovému MDR fenotypu (PDR) na základe ich vysokej ...

MASTER THESIS Kirill Semenov Pre-processing of the Subword Encoding for the Neural Machine Translation Institute of Formal and Applied Linguistics Supervisor of the master thesis: Mgr. Martin Popel, Ph.D. Study programme: ...

Recent studies have demonstrated several methods on different approaches to classi- fication of vectorial Boolean functions up to certain equivalence relation and to finding new quadratic Almost Perfect Nonlinear (APN) ...

Relational databases are widely used in software engineering, but the language used to access them, SQL, was created in the 1970s and has numerous problems that make writing complex queries unnecessarily difficult. In this ...

Rhythm is an important part of music. It is easy for humans to hear or feel the rhythm of a song, but automatic rhythm recognition is a complicated task. In this work, we in- troduce an algorithm for automatic rhythm ...

This work presents a framework for interactive appliaction on a distributed network of lighting devices based on Espressif ESP32-S3 modules. The framework locates devices by measuring their mutual distances. There are two ...

This thesis studies the capacitated dynamic vehicle routing problem with changing vehicle availability. It is motivated by the increasing demand for fast and reliable delivery services in recent years. First, we analyze ...

Proteins are essential for life as they play a fundamental role in many biological processes. Designing novel proteins with a desired function is an important problem in drug development and biological research. Large ...

The rise of Big Data has highlighted the limitations of relational databases while handling large datasets, leading to the growth of NoSQL databases. This has made DBMS benchmarking crucial for performance evaluation and ...

This bachelor thesis provides an introduction to game theory and artificial intelligence methods, specifically for games with incomplete information, and a playable application of the game based on the Scotland Yard on ...

In this thesis, we introduce 2D game editor providing environment for creation of simple computer games, such as FlappyBird or JumpKing. We present an alternative to other existing game editors, which are either paid (such ...

Given hypergraphs H and P, wsat(H, P) denotes the smallest number of edges in a subgraph of H with the property that the missing edges can be sequentially added such that the addition of every edge creates a new copy of ...

Rendering transparent geometry in realtime brings a set of problems as the transpar- ent objects need to be sorted first and rendered in order from back to front for their correct overlaying. A set of rendering algorithms ...

The Transformer architecture is very popular, so it is potentially im- pactful to interpret what influences its performance. We test the hypothesis that the model relies on the linguistic properties of a text when working ...

This thesis focuses on the description of a tool designed for simulating fire spread across landscapes, which is developed within the cross-platform Unity game engine. This tool stands out due to its visually appealing ...

In modern manufacturing systems, production planners create schedules by iteratively obtaining proposed schedules and adjusting input parameters to satisfy multiple, often competing, optimization goals. The goal of this ...

Entity linking (EL) is the computational process of connecting textual mentions to corresponding entities. Like many areas of natural language processing, the EL field has greatly benefited from deep learning, leading to ...

Cloud classification task is a task where we classify images of clouds into groups of similar images. Images are similar in terms of texture, shape, colour, size and other visual aspects. The aim of this work is to create ...

A standard approach to many natural language processing tasks is to take an existing, pre-trained large language model and fine-tune it for the given task. Such an approach leads to having a separate model for each task; ...

A goal of this thesis is to create an open-source application which could serve as foundation for public bus transport analysis and organizing, while di- rectly operating with timetables in a JDF format for a comfortable ...

Bugs in compilers can have severe consequences. Apart from traditional methods like testing, one of the ways of keeping compilers correct that gained traction only in recent years is translation validation, a technique ...

In this thesis, we will use Kinect v2 (from Microsoft Corporation), Stockfish (one of the highest-ranking chess engines), and a custom-made robotic crane capable of accepting simple commands to move across a 3-dimensional ...

Within this work, an educational web application was created for prac- ticing database queries using SQL language. The website consists of of four main parts - SQL hřiště, Úkoly, Diskusní fórum and Test. Students are free ...

In the realm of data quality management, integrating robust data quality rules into automated workflows and data pipelines is essential for maintaining data integrity. This thesis addresses the gap in programmatic accessibility ...

This thesis explores the topic of generating Czech lyrics to English cover songs. Songs are often adapted to different languages to make them more available to people who do not necessarily speak the language of the original ...

Dependent type systems provide a novel way of reasoning about program correctness, by embedding behavior of the program into the more expressive type system. Correctness is achieved by not allowing incorrect states to be ...

Effective path planning for long-distance flights is critically important when air streams significantly affect airship movement, as is the case for a ship or a zeppelin. Optimal con- trol can save travel time, fuel consumed ...

Resonance phenomena appear in various areas of physics. A case of shape resonance is associated with the scattering of particles on a potential barrier, through which particles pass due to tunneling effect. The energy ...

The rise of machine learning, particularly through the use of neural networks, has begun to change how we solve problems, including understanding simple physical systems. This thesis focuses on the Direct Poisson Neural ...

In this thesis we are concerned with the description of Poisson processes. Firstly, we define the basic terminology and state the fundamental theorems, which we then supplement by explanatory remarks. We present methods ...

This bachelor's thesis focuses on modeling claim frequency, examining the Poisson process and its generalization, the renewal process. The first part of the thesis analyzes the Poisson process, while the second part delves ...

The study focuses on applying the Gompertz-Makeham mortality law in actuarial calculations for life insurance. This method simplifies actuarial calculations by relying on the gamma function, which requires only a few ...

The goal of this work is to describe some (multiple) change-point detection methods that aim to estimate the total number and locations of structural changes in the data. From the variety of all change-point detection ...