This bachelor's thesis includes two board games created by the author, which can be used in mathematics education. The first part of the thesis provides information about board games and outlines the mathematics curriculum ...

The main result of this thesis is that we prove certain versions of Ilmanen's lemmma. That means - given semiconvex (or locally semiconvex) function f1 and semiconcave (or locally semiconcave) function f2 such that f1 ≤ ...

Enceladus is one of the icy moons of the planet Saturn and one of the objects in the solar system where liquid water is known to exist. It is also one of the best-studied icy bodies in the solar system. One of the unique ...

In this thesis, we present a novel approach to the fluid-structure interaction (FSI) problems using the Symmetric Hyperbolic Thermodynamically Compatible (SHTC) equa- tions in the Smoothed Particle Hydrodynamics (SPH) ...

This bachelor thesis focuses on numerical quadrature in the context of the finite ele- ment method (FEM). The aim is to present the theoretical foundations of quadrature rules, their application in one and two dimensions, ...

The conjugate gradient method (CG) is an iterative algorithm for solving systems of linear equations with large, sparse, symmetric, positive-definite matrices. It seeks an approximate solution by minimizing the associated ...

This thesis deals with two topics in string field theory (SFT) which are of interest in current research: The role of stubs in open bosonic SFT and its variational principle in presence of a target space boundary. The first ...

Ve stochastice známe několik druhů konvergencí, přičemž jednou z nejpoužívanějších je konvergence v distribuci, která je definována pomocí slabé konvergence. V této bakalářské práci se budeme primárně zabývat právě slabou ...

Predložená práca sa zaoberá existenciou regulárnych podmienených pravdepodob- ností (RCPP), pričom sa zameriava na niekoľko odlišných formulácií. Najskôr ukážeme, že pravdepodobnostné priestory založené na úplných separabilných ...

Tato práce se zaměřuje na Doeblinovu větu a její možné aplikace. Po úvodní moti- vaci je vybudována potřebná teorie k důkazu Doeblinovy věty, včetně Kolmogorovovy nerovnosti. Věta je poté dokázána, načež jsou diskutovány ...

Tato práce se zabývá pojmem zaměnitelnost a vlastnostmi, které posloupnost ná- hodných veličin díky ní získá. Dále představujeme směsi nezávislých stejně rozdělených náhodných veličin, neboť se vyskytují ve znění de Finettiho ...

Tato práce zkoumá odhad nejmenších vážených čtverců (LWS) jako robustní alterna- tivu k tradičnějším regresním metodám, které bývají někdy citlivé na odlehlé hodnoty a heteroskedasticitu. Jsou představeny koncepty vah ...

Práce pojednává o tzv. Garsiově-Rodemichově-Rumseyově nerovnosti a dvou jejích vy- braných aplikacích, a to konkrétně o Kolmogorovově větě a o spojitém vnoření Sobolevova- Slobodeckého prostoru do Hölderova prostoru. V ...

Tandemová hmotnostní spektrometrie je účinná metoda pro objevování molekul. Postupně prochází molekuly ve vzorku a fragmentuje je. Informace o vzniklých fragmentech jsou uloženy jako tandemová hmotnostní spektra. Tato ...

V této práci se budeme věnovat náhodným nakreslením grafům, ty budeme generovat pomocí rotačních schémat a kreslících systému, což jsou ze své podstaty kombinatorické objekty snadno udržitelné v paměti kódu. Tato náhodná ...

Tato bakalářská práce se zabývá návrhem a vývojem webové aplikace, která slouží jako interaktivní průvodce pro návštěvníky zoologických zahrad. Aplikace umožňuje vyhledá- vání informací o zvířatech na základě různých ...

Optické rozpoznávání notového zápisu (OMR) je specializovaná oblast počítačového vidění zaměřená na převod naskenovaných dokumentů do strojově čitelných digitálních formátů. Na rozdíl od tradičního rozpoznávání textu (OCR) ...

Směrování zpráv SWIFT se posouvá od statických pravidel ke strojovému učení, ale banky nemají systematické metody k ověření takových nedeterministických modelů před jejich implementací do výroby. Tato práce vytváří ...

Moranův proces modeluje evoluci mutace v populaci jedinců. Jedinci se náhodně množí a nahrazují své sousedy. Struktura populace je definovaná váženým orientovaným grafem. Některé varianty Moranova procesu umožňují mutantům ...

Integrovaný vyhledávač spojení v regionální dopravě Čeněk Řehoř Abstrakt Hledání spojení a předprodejní nákup jízdenek regionální veřejné dopravy v ČR v dnešní době funguje na bázi webových a mobilních aplikací, které ovšem ...

V mnoha videohrách - zejména v těch s otevřeným světem - jsou budovy nedíl- nou součástí prostředí. Modelování budov může být velmi časově náročné, obzvláště pro nezávislé vývojáře, nebo malé týmy. Na zjednodušení tohoto ...

Při plánování kuchyně v kuchyňském studiu designér navrhuje rozmístění skříněk a spotřebičů v místnosti. Naším cílem je tento krok automatizovat. Nejprve jsme zavedli nový formální model rozvržení kuchyně a na jeho základě ...

Cílem práce je implementace nástroje pro zobrazování multi-modelových dat a refe- rencí mezi nimi. Jde o rozšíření existujícího frameworku MM-cat, ve kterém je možné modelovat schémata multi-modelových dat. Ta naimplementovaný ...

Tato diplomová práce navrhuje nový přístup k integraci anotace diskurzních vztahů Prague Discourse Treebanku do rámce Universal Dependencies. Spojením anotací PDiT transformovaných do formátu podobného PDTB se syntaktickými ...

Tenzorové faktorové modely nacházejí stále širší uplatnění v oblasti analýzy dat, při- čemž představují zobecnění klasických faktorových modelů na vícerozměrná data. Tato bakalářská práce se věnuje základní teorii tenzorů ...

Cílem této bakalářské práce je vytvoření jednoduché mobilní aplikace pro detekci exponátů z Uměleckoprůmyslového musea v Praze. Aplikace je určena pro systémy An- droid a je schopna detekovat 101 unikátních exponátů. Pro ...

Stráž přírody hraje klíčovou roli pro ochranu národních parků. Strážci pravidelně procházejí určené trasy, kde dohlíží na dodržování pravidel chování návštěvníků a posky- tují veřejnosti informační servis. Jejich služba ...

V této práci studujeme obarvení platónských a archimédovských těles. Poskytujeme přehled vlastností jejich grafů, následovaný shrnutím typů obarvení, která lze na tyto grafy aplikovat. Ukazujeme převody mezi různými typy ...

Práca sa venuje vývoju 3D logicko-platformovej hre v hernom engine Unity a pro- cedurálnej generácii logických hádaniek. Danú hru sme navrhli, zanalyzovali a nakoniec aj implementovali. Zaoberali sme sa prieskumom techník ...

Tato práce představuje Hex2 , variantu deskové hry Hex pro tři hráče hranou na šesti- úhelníkovém herním plánu. Přidání třetího hráče otevírá zcela nové strategické možnosti a výrazně zvyšuje celkovou složitost hry. Pro ...

Multiagentní plánování cest (MAPF z anglického multi-agent pathfinding) se zabývá bezkolizní navigací více agentů ve sdíleném prostředí. Nalezení optimálního řešení, které minimalizuje celkovou délku cesty, je výpočetně ...

Text obsahuje stručný popis nástrojů použitých v práci a pipeline vytvoření datových sad. Text obsahuje analýzu různých přístupů k úloze a jejich úspěšnost. Text analyzuje kroky provedené při vytváření finální klasifikační ...

Hierarchická síť úloh (HTN) je způsob plánování obsahující složené úlohy, které lze dekomponovat na podúlohy, které mohou být opět dekomponovány nebo přímo vyko- nány. HTN je rozšíření klasického plánování podobně jako ...

Uvažování o vztazích je klíčovou složkou fluidní inteligence, se kterou však tradiční architektury hlubokého učení často zápasí. Relační sítě, které představili Santoro et al., přinášejí silný induktivní bias, který pomáhá ...

PDKind (Property-Directed K-induction) je kombinací IC3 a k-indukce, obou běžně používaných algoritmů pro model checking. PDKind odděluje ověření dosažitelnosti od in- dukčního odůvodňování, což umožňuje nahradit indukci ...

Systém DNS definuje hierarchii domén, jež jsou přes registrátory registrovány v doméno- vých registrech. V této práci je popsán návrh a implementace webové aplikace pro registrá- tory, která jim umožňuje komunikovat s ...