Cataclysmic variable stars are semi-detached binary systems consisting of a white dwarf primary star and a late-type secondary star. The secondary star in these systems is over- filling its Roche lobe, which enables a mass ...

In this thesis, we study two distinct topics both connected to stationary axially sym- metric spacetimes. The first is a study of an exact solution sourced by phantom scalar field. This solution can be derived from the ...

In this thesis, we study quantum aspects of the minimal renormalizable SO(10) Grand Unified Theory with the scalar sector consisting of 45 ⊕ 126 ⊕ 10C. It is an interesting candidate for a theory describing physics beyond ...

Chemical ionization mass spectrometry (CI-MS) is a powerful analytical technique, capable to detect trace levels of organic molecules diluted in air samples in real-time. Processes leading to ionization of organic molecules, ...

Cataclysmic variable stars are semi-detached binary systems consisting of a white dwarf primary star and a late-type secondary star. The secondary star in these systems is over- filling its Roche lobe, which enables a mass ...

The scope of this work is the characterization of nanoparticles prepared by aggregation from the gas phase. The main focus is on their microstructure and real structure investigated by x-ray scattering methods, although ...

1 Title: Beta-Ti alloys for medical applications Author: Dalibor Preisler Department / Institute: Department of Physics of Materials Supervisor of the doctoral thesis: doc. PhDr. RNDr. Josef Stráský, Ph.D., Department of ...

Powder Metallurgy of Hybrid Materials for Advanced Applications The field-assisted sintering technology (FAST) is a versatile powder consolidation method, which uses electrical current for rapid heating of the sintered ...

Title: Equidecomposability Author: Matyáš Valkoun Department: Department of Mathematics Education Supervisor: Mgr. Zdeněk Halas, DiS., Ph.D., Department of Mathematics Education Abstract: This bachelor thesis focuses on ...

Eyewitness identification plays an important role during criminal proceedings and may lead to prosecution and conviction of a suspect. One of the methods of eyewitness identification is a police photo lineup when a collection ...

Non-additive intermolecular interactions, involving three or more molecules, present a significant challenge in accurately predicting molecular behaviour and properties of materials. These interactions, characterized by ...

The thesis deals with a subfield of cryptography called secure multi-party computation which is a technique that allows multiple parties to work together to compute a single function while preserving the privacy of it's ...

This thesis explores the use of marked stochastic processes in the context of delayed reporting of claims in non-life insurance. The focus is on estimating the intensity of the claim occurrence process using the ν-transform ...

In our thesis we consider games with random payoff as a generalizations of the stan- dard concept of games in the game theory. We discuss possible optimality conditions for these types of games. In one of these approaches ...

Working with function spaces in various branches of mathematical analysis introduces optimality problems, where the question of choosing a function space both accessible and expressive becomes a nontrivial exercise. A good ...

This thesis studies the dynamics of geodesic motion within a curved spacetime around a Schwarzschild black hole, perturbed by a gravitational field of a far axisymmetric dis- tribution of mass enclosing the system. This ...

This thesis provides a classification of the minion homomorphism preordering and minion cores within a class of multi-sorted Boolean clones. These clones can be described as those clones defined on the set {0, 1}k = {0, ...

Organic molecules on a flat, unreactive, periodical surface self-assemble to ordered superstructures. The superstructures can be used to selectively tune the properties of the surface. This problem can be studied using ...

In this thesis we explore and compare various methods for efficient k-mer set representation. We evaluate traditional de Bruijn graph representation techniques against greedy approximation algorithms for the Shortest ...

The bachelor thesis presents railway phenomena and technical applications through grammar school physic. The underlying physical principles are easily visible to the ordinary eye when travelling by train. These phenomena ...

The thesis focuses on the development of a 2D turn-based game in Unity, from the creation of a design document to the completion of its implemen- tation. We are analyzing the important elements of the game genres of ...

The thesis deals with the Multi-Agent Path Finding problem. The task is to find for each agent a path from its current location to its destination in such a way that agents will not collide. A novel approach to solving ...

Security of the data streaming over Internet becomes a challenge if re- quirements such as post-quantum-capable cryptography and complete de- centralisation must be addressed. This thesis develops a connection-less, ...

In this Thesis, we have characterized and used Microscopic Electrical Mechanical Oscillators (MEMS) in the study of quantum turbulence. Experiments were conducted in the temperature range of 20-920 mK in vacuum in various ...

Analyzing the characteristics of complex networks is a principal task of network sci- ence. In this thesis, we study graphets, small induces subgraphs rooted in a vertex, as a tool to describe and compare networks. First, ...

Title: Microstructure and properties of multiferroic complex oxide thin films prepared by pulsed laser deposition method Author: Petr Machovec Department: Department of Condensed Matter Physics Supervisor: RNDr. Milan ...

Gregorian chant, as an oral musical tradition, was performed by singers that had to memorize thousands of melodies. Each melody has a set of properties, one of which is what mode it belongs to within the modal system. To ...

SSA form is a very important concept in compiler internal code representa- tion. Φ-functions are an integral part of SSA form. Braun, Buchwald, Hack, Leißa, Mallon and Zwinkau introduce a new algorithm for SSA construction ...

This thesis deals with the problem of finding a minimum length-bounded cut in a graph. We first provide a brief overview of the problem and its applications. We then discuss the known theoretical results and approximation ...

This thesis focuses on the multimodal and multilingual detection of humor in stand- up comedy videos. A novel multilingual dataset was collected, primarily targeting the Russian language, to address the lack of specific ...

The effects of Sc addition, different Er concentrations and deformation on phase transitions in Al(-Sc)-Er-Zr alloys were studied. Three distinct processes were identified during isochronal annealing in all of the alloys ...

In this thesis the electron hopping of selected heterocyclic compounds and selected carotenoids was studied using QM/MM simulations of excited states dynamics. Tully electron hopping and semiempirical methods OMx in ...

The behaviour of pure polycrystalline cobalt in compressive deformation is influenced by the presence of high temperature fcc phase. To investigate this influence samples are prepared using annealing at different temperatures ...

In this thesis, we explore classes of mappings suitable for models in Nonlinear Elastic- ity. We investigate whether, given the presence of certain desirable properties, there exists an element within the class that exhibits ...

In this Thesis, we present an excessive study of the dynamics of quantum fluids em- ploying the detectors in the form of mechanical resonating structures with characteristic dimensions below 1 mm. We operate the devices ...

Simulations of biological neural networks are an important tool for under- standing how the brain processes information. Mozaik is a workflow frame- work that allows such simulations to be created, run and analyzed. ...

One of the basic tasks of general relativity is to calculate the motion of free test particles by integrating the geodesics equation. In the field of an iso- lated stationary black hole, the problem is fully integrable. ...

Hyperfields are algebraic structures generalizing the concept of an algebraic field. In contrast to classical fields, summation in a hyperfield is multivalued, that is, the sum of two elements is not a single element, but ...

NumPy programs can be hard to debug. Due to the dynamic nature of Python, a bug can manifest itself after a long time of run time. This causes the computation to crash, ditching all the progress. Existing static analysis ...

This thesis is devoted to Kan extensions. First, we provide needed definitions and prove a theorem which gives us an existence condition for a Kan extensions. The proof of this theorem also contains a guide to constructing ...

In this thesis we give constructions of semifields, often characterized as not necessarily associative division algebras, from skew polynomial rings which are rings of polynomials over a field where multiplication is not ...

In this thesis we classify indecomposable finite dimensional modules over string alge- bras. In the introductory part we define string algebras and string modules and band modules. In the third chapter we prove the ...

Interval linear systems of equalities and inequalities are linear systems, where the real numbered entries of the vectors and matrices are replaced with closed intervals of real numbers. The sets of solutions to these ...

This thesis aims to provide a comprehensive overview of methods for estimating treat- ment effects in cross-over designs. It examines approaches that use baseline measurements to estimate the treatment effect, as well as ...

Abstract: Contrast agents for magnetic resonance imaging frequently employ organic com- plexes of paramagnetic ions. The present work studies rotation of phoshonate group in LnIII complexes of monoethylester-P of ...

The thesis is about obtaining absolute radiometric values of a scene using only a digital camera. A further usage of this data to calibrate a screen to perform experimental dark adaptation measurements of the human eye is ...

Structural convergence is a framework for convergence of graphs and relational struc- tures based on the probability of satisfaction of first-order formulas. We consider gadget construction, which is a ubiquitous tool in ...