Reliable prediction of the structure and stability of molecular crystals and their polymorphs is essential for understanding their properties and potential applications. However, obtaining reliable binding energies of ...

The ATLAS experiment is a multi-purpose detector, recording particle collisions at the Large Hadron Collider (LHC) at CERN. It is designed to test the Standard Model of particle physics (SM) and to search for physics beyond ...

Planning is a method where we try to fulfil a certain goal or goal task by finding a sequence of actions called plan. Hierarchical Task Networks is a method of planning that decomposes tasks to subtasks until we get primitive ...

This doctoral thesis focuses on synthetic geometry in various dimensions. We start with plane geometry to show how synthetic geometry can be used in proofs. We demonstrate the advantages of synthetic geometry on two different ...

Jurčák et al. (2018) demonstrated the existence of a constant vertical magnetic field at the umbra-penumbra boundary of stable sunspots. Due to the similar magnetoconvective modes observed in umbrae and pores, we aim to ...

Akreční disky v okolí kompaktních objektů poskytují ideální prostředí pro studium akrečních jevů v silných gravitačních polích. Je známo, že akreující černé díry v rentgenových dvojhvězdách a vzorek ultrajasných rentgenových ...

Mainstream object-oriented programming languages, such as Java or Scala, typically allow objects to be mutated by assigning new values to their fields, but it is also common to write code that only accesses objects in a ...

In the current era of information overload, monitoring associations and comprehending media and online news content, especially for investment purposes, is becoming increasingly demanding. This thesis addresses the challenge ...

The solidification rate of high-strength aluminum alloys strongly impacts the cast structure. The size of eutectic cells could be reduced from several hundred micrometers, typical for ingot-cast materials, down to ...

This work focuses on measuring the quality of stochastic dominance approx- imation. A measure of non-dominance is developed to quantify the error caused by assuming that a stochastic dominance relationship holds even when ...

The NA62 experiment at CERN represents leading physics research of rare kaon decays. The NA62 aims to measure the K+ → π+ νν decay branching ratio which is approximately 10−10 . Any significant discrepancy between the ...

The aim of this thesis was to probe the effect of the subTHz electric field on a key protein - tubulin dimer, which is crucial for the cell's stability, motility and division. This study was done in silico, which means ...

Higher structures offer a natural framework for the description of gauge field theories. This work provides a pedagogical introduction to the necessary mathematical background, including graded geometry, category theory, ...

Riboflavin, also known as B2 vitamine, has an important role in our body metabolism. It is a precursor for flavin mononucleotide and flavin adenin dinucleotide synthesis. Our body uses these substances in mitochondrial ...

We investigate whether successful leptogenesis driven by heavy right-handed neutrino decays can be compatible with flavour fits within the minimal and potentially realis- tic non-supersymmetric SO(10)-based model with ...

Pulsating stars undergo changes, i.e. perpetual expansion and contraction, tempera- ture changes, color changes. These changes result in variations of emitted light. Variation is usually periodical and often consists of ...

This thesis explores the continuous and distributional descriptions of im- pulsive gravitational waves, focusing on nonexpanding and expanding waves propagating in Minkowski, de Sitter, and anti-de Sitter backgrounds. It ...

This thesis explores the automation of domain modeling using large language models (LLMs), presenting an experimental LLM-based domain modeling assistant that collabo- rates with a human expert. The assistant provides ...

The concept of operadic categories was introduced in a 2015 paper "Operadic cat- egories and duoidal Deligne's conjecture" by Batanin and Markl as a generalisation of various "operad-like" structures, including classical ...

Type systems of programming languages generally do not understand external data. In statically typed programming languages, developers handle data by writing typed interfaces and data access code by hand or using external ...

Thin films of black metals are characterized by their excessively rough, porous, fractal- like nanostructured surface, capable of strong light absorption. In this thesis, thin films of black aluminium and titanium were ...

A proof of Lagrange's and Jacobi's four-square theorem due to Hurwitz utilizes orders in a quaternion algebra over the rationals. Seeking a generalization of this technique to orders over number fields, we identify two key ...

Jednou z hlavních úloh obecné teorie relativity je studium geodetického pohybu vol- ných testovacích částic. Ve speciálních případech, jako je Kerrova metrika, je tato úloha plně integrabilní a formulovaná v podobě čtyř ...

Cesium-lead bromide (CsPbBr3) is a semiconductor material with a wide range of possible applications in photovoltaics, as light sources or as radiation detectors. This work focuses on the study of the electrical and optical ...

In the field of preparation of catalytic layers for proton exchange membrane water electrolysers (PEMWE), the magnetron sputtering seems to be an auspicious new method not yet broadly used. Because of the high cost of ...

We study properties of coherent torsion sheaves on smooth and singular curves and classify such sheaves on a nodal singular curve. We investigate the bounded derived category of coherent sheaves on a singular Weierstrass ...

Languages used for data science or scientific computing commonly come with a de- facto standard library for plotting, such as GGPlot in R, MatPlotLib in Python, Plotly in Matlab, and others. However, all of these focus on ...

Title: Motions of protoplanets in an evolving gaseous disk Author: Jaroslav Hořák Institute: Astronomical Institute Supervisor: doc. Mgr. Miroslav Brož, Ph.D., Astronomical Institute Abstract: Planets form from protoplanets ...

This thesis aimed at creating a software library enabling interoperability between C# and Java programming languages by enabling the use of a subset of Java features from C# code. Requirements that the library should meet ...

This thesis describes an approach to creating a GPU-based rendering system for an evolution-simulating and data-based game in Unity DOTS. The game features a vast ar- ray of diverse creatures that are unknown in advance ...

This thesis takes known result about the classification of all boolean clones and extends this result into a lattice of all products of boolean clones modulo minion homomorphism. In the first part of the thesis we look ...

Guanine quadruplexes are non-canonical secondary structures of nucleic acids that can form under suitable conditions in guanine-rich sections of DNA and RNA. This ba- chelor's thesis deals with similar structures, the ...

The Kepler and TESS satellites, in their search for exoplanets, provide highly accurate photometric data used to study stellar variability. This work analyzes the eclipsing binary star KIC 3858884, which exhibits pulsations. ...

Homotopy pushouts can be constructed as higher inductive types in the logical framework of Homotopy Type Theory, where one may engage syn- tactic methods to explore their properties, and formalize them in a proof assistant. ...

V této práci zkoumáme řešitelnost rovnice div u = f s nulovou okrajovou podmínkou pro vektorové pole u s důrazem na konstrukci protipříkladů existence řešení v Sobolevových prostorech. Začínáme vybudováním existenční teorie ...

Předkládaná práce se zabývá vlivem příměsí ytterbia, erbia a zirkonu ve slitině AlYbEr o dvou koncentracích a slitině AlYbErZr ve stavech po odlití a po válcování za studena se stupněm deformace 70 %. Materiály byly zkoumány ...

Tato bakalářská práce se věnuje rovinným řezům těles a jejich implementaci v rámci softwaru GeoGebra. Nejprve jsou zavedeny potřebné základní definice v rámci diferenci- ální geometrie křivek a ploch. Dále je čtenář seznámen ...

Práce se věnuje difrakci a dalším optickým jevům, se kterými je možné se setkat. Součástí diplomové práce je teoretický úvod k výuce difrakčních jevů na střední škole. Uvedeny jsou pomůcky, které výuku, tematicky zaměřenou ...

Název práce: Využití her pro pochopení základních principů kvantového popisu světa Autor: Jaroslav Kafka Katedra: Katedra didaktiky fyziky Vedoucí diplomové práce: RNDr. Zdeňka Koupilová, Ph.D., Katedra didaktiky fyziky ...

V práci diskutujeme maticové verze Lieových grup a jejich Lieových algeber pohledem lineární algebry a základní matematické analýzy. V první kapitole zavedeme základní pojmy teorie a uvedeme příklady maticových Lieových ...

Bakalářská práce se zaměřuje na prozkoumání několika základních metod založených na strojovém učení pro řešení problémů variačního počtu. Cílem je tyto postupy aplikovat na několik vybraných jednoduchých příkladů a porovnat ...

Tato práce se zabývá apliakcí výsledků nelokální teorie kvantového rozptylu na nizkoen- ergetické srážky elektronů s dvouatomárními a tříatomárními molekulami. Dynamika to- hoto procesu je zkoumána v energetickém i časovém ...

Tato diplomová práce se věnuje výuce fyziky na nižší úrovni sekundárního vzdělávání v České republice a v Maďarsku. Cílem této práce je na základě kurikulárních dokumentů (především rámcových vzdělávacích programů) těchto ...

Tato práce zkoumá chování elektrického pole bodového náboje v přítomnosti červí díry. Tradiční podoba Coulombova zákona zde přestává platit kvůli netriviální topologii prostoru. Pole bodového náboje musí být modifikováno, ...

V této práci představujeme nový náhodný cache-oblivious třídící algoritmus, založený na jiném algoritmu zvaném ColumnSort, který objevil Leighton. Náš algoritmus dosahuje asymptotické optimality ve střední hodnotě běhů. ...

V regiónoch, kde sa suchá stávajú čoraz bežnejšími a závažnejšími, by nám modifi- kácia počasia, konkrétne cloud seeding, mohla poskytnúť schopnosť vyvolať zrážky. V tejto práci navrhujeme metódu simulácie rôznych typov ...