Title: Exploring jet calibration and jet tagging with machine learning techniques Author: Bc. Patrik Novotný Institute: Institute of Particle and Nuclear Physics Supervisor: Mgr. Martin Rybář, Ph.D., Institute of Particle ...

Dzyaloshinskii-Moriya interaction (DMI) is a type of exchange interaction found in non-centrosymmetric structures. It favors spin canting, and it is an important mechanism for stabilizing non-collinear magnetic structures, ...

Maxim Gumin's Wave Function Collapse (WFC) is a recent algorithm used for pro- cedural content generation. The algorithm uses constraint solving and local similarity to generate outputs. However, it struggles to generate ...

The main result of the work is a complete discussion of the solutions to stochastic differential equations on the half-line (0, ∞) with polynomial coefficients in terms of their lifetimes. To achieve this, Feller's test ...

Modern compilers attempt to optimize programs as much as possible. One such significant effort is Link-Time Optimization (LTO). LTO takes the whole program as accessible to a linker, and performs global optimizations that ...

A convex universal cover of a family M of sets in the plane is a convex set that contains a congruent copy of every element of M. Park and Cheong conjecture that for every family of triangles with bounded diameter there ...

Molecular electronics is currently a rapidly evolving field of science that uses both experimental and theoretical methods. Their combination is in many cases unavoidable. This paper will provide the reader with an overview ...

The Resource Description Framework (RDF) is a model for the representation of semantic data. RDF allows the storage of information without a fixed schema. This provides more flexibility but the lack of a fixed schema poses ...

This thesis deals with the problem of the longest alternating paths in colored point sets in a convex position, especially in point sets with n red and n blue points. The aim of the thesis is to summarize the main results ...

This thesis is dedicated to a problem of heat transport where radiation is taken into account. Models for such setting, although complicated, are very important for industrial purposes. We provide a derivation and explanation ...

The thesis examines a model for representing the number of claims after merging or splitting different lines of business of an insurance company. The model is based on count- ing processes, the Poisson and the renewal ...

One deals with the estimation and consequent forecast of the integrated covariance matrix in the context of high-frequency stock price data and high dimensionality regarding the number of analyzed assets. We present several ...

The safety and performance of nuclear plant relies, among others, on the quality of nuclear fuel. The quality fulfilling designed criteria of the fuel in use is inspected and reported on periodically. Visual inspection ...

Název práce v češtině: Ultrarychlá fotovodivost a transport náboje v polovodičových nanostrukturách: studium pomocí terahertzové spektroskopie Autor: Vladimir Pushkarev Ústav: Fyzikální ústav Akademie věd České republiky ...

Název práce: Inverzní Anatomické Modelování a Simulace Virtuálních Postav Autor: RNDr. Petr Kadleček Katedra: Katedra softwaru a výuky informatiky Vedoucí disertační práce: Mgr. Ladislav Kavan, Ph.D., Katedra softwaru a ...

Skenovací tunelovou mikroskopií indukovaná luminiscence (STML) v kombinaci s mikroskopií atomárních sil (AFM) s vysokým rozlišením jsou účinným nástrojem pro studium fotofyziky jednotlivých molekulárních chromoforů na ...

V posledních letech automatická formální verifikace software pokročila z několika výzkumných laboratoří do rozsáhlých aplikací, jako je cloudová infrastruktura a smart kontrakty. Formální verifikační techniky založené na ...

Ve čtyřrozměrné obecné relativitě hraje algebraická klasifikace důležitou roli při studiu pro- storočasů, včetně, avšak nikoli výhradně, hledání nových řešení Einsteinovy rovnice. V předlo- žené práci se zabýváme jejím ...

Tato disertační práce se zabývá třemi pilíři jakýchkoliv velmi přesných ab initio výpočtů: Hartreeho-Fockovým (HF) modelem, otázkou výběru vhodné báze a zahrnutím elektronové korelace. Práce začíná studiem singulárních ...

Výpočetní deriváty kódu - s kódem - jsou jedním z klíčových aktivátorů revoluce strojového učení. V počítačové grafice umožňuje automatická diferenciace řešit problémy s inverzním renderingem, kde se z jednoho nebo několika ...

Název práce: Dynamika vodíkově vázaných sítí pohledem NMR spektroskopie Autor: Petr Dvořák Katedra: Katedra fyziky nízkých teplot Vedoucí disertační práce: doc. RNDr. Jan Lang, Ph.D., Katedra fyziky nízkých teplot Abstrakt: ...

Naše znalosti o mineralogii a podmínkách na malých tělesech ve Sluneční soustavě po- cházejí především z naměřených reflektančních spekter, která jsou ale ovlivněna mnoha efekty. Jeden z hlavních je kosmické zvětrávání. ...

Přesná detekce zpomalení benchmarků v nestabilních prostředích, jako je veřejný cloud, je obtížná. Cloud nabízí dostupnou a škálovatelnou in- frastrukturu pro spouštění benchmarků, ale tradiční metody benchmarkingu často ...

Filip Seitl Modelování a statistika náhodných mozaik s aplikacemi ve studiu mikrostruktury polykrystalických materiálů Práce popisuje statistickou metodologii sloužící k analýze Laguerrových mozaik. Na Laguerrovu mozaiku ...

Hlavným cieľom tejto diplomovej práce je charakterizácia transport náboja v CdZnTe radiačných detektoroch a stúdia vplyvu osvetlenia detektoru na transport náboja.Transportné vlastnosti sú zmerané pomocou metódy ...

Tato práce se zabývá dvěma nezávislými, avšak úzce souvisejícími tématy. V první části se je změřen větvící poměr a časově závislé narušení CP syme- trie v rozpadech B0 → ηcK0 S, ηc → K0 SK± π∓ . Tento rozpad umožňuje ...

Tato práce se zabývá výpočetními problémy okolo grafových homomorfismů a příbuz- ných konceptů. Především se zabýváme složitostními dichotomiemi, které rozlišují mezi polynomiálními a NP-úplnými problémy. Výsledky tohoto ...

V této práci jsme přidali podporu RISC-V do emulátoru MSIM. MSIM podporoval pouze procesor MIPS R4000 a byl používán pro výuku operačních systémů. Tento projekt přepracovává MSIM aby podporoval více architektur procesoru ...

Karbid křemíku (SiC) je polovodič s širokým zakázaným pásem až do 3,2 eV. Aplikace na bázi SiC jsou schopné pracovat v extrémních podmínkách, vysokoteplotních a vysokoenergetických režimech. Tato práce je zaměřena na ...

Kryptosystémy s veřejným klíčem, které v dnešní době využíváme (jako např. RSA), budou v budoucnu prolomitelné kvantovými počítači. Z toho důvodu byl institucí NIST v roce 2017 zahájen proces standardizace postkvantové ...