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