Pro modelování proudění v kořeni aorty se používají trojrozměrné nestacionární Navierovy- Stokesovy rovnice nestlačitelné Navierovy-Stokesovy tekutiny v trubici obsahující sinu- soidální rozšíření. Nejdříve je v této práci ...

V této práci byly připravovány a studovány heterogenní nanomateriály zlato/oxid ni- obu. Byly otestovány možnosti přípravy těchto materiálů s dvěma různými architekturami oxidu niobu, a to tenkými naprašovanými vrstvami a ...

V českých středoškolských učebnicích je téma tečen kuželoseček pojímáno různě. Někde jsou uvedeny rovnice prakticky bez jakéhokoli odvození, jinde jsou odvození sice uvedena, ale liší se pro každou kuželosečku. Tvar rovnic ...

Architektura Transformer je velmi popula ́rnı ́, takz ̌e mu ̊z ̌e by ́t potencia ́lne ̌ vy ́znamne ́ interpretovat, co ovlivn ̌uje jejı ́ vy ́kon. Testujeme hypote ́zu, z ̌e mo- del se pr ̌i pra ́ci s textem spole ́ha ́ ...

Bakalárska práca ponúka analýzu zk-SNARK protokolu PlonK. Zaoberá sa kryptografickymi základmi, na ktorých stojí bezpečnosť PlonKu, a poskytuje detailné vysvetlenie procedúr protokolu. Práca dopĺňa existujúci výskum zameraný ...

V této práci definujeme operadickou kategorii jednoduchých grafů a studujeme její konstantní operádu. Z této kategorie pak zkonstruujeme diskrétní operadickou fibraci do kategorie grafů a použijeme ji k ověření dalších ...

Inlinování je velmi důležitou součástí optimalizačních průchodů současných překla- dačů. Nahrazením volání funkce za její tělo se ušetří režie na provedení volání a získá více kontextu pro ostatní optimalizační průchody. ...

Algebraická kryptoanalýza je metoda používaná v kryptografii k analýze a prolomení kryptografických systémů a algoritmů. Spočívá ve vyjádření vztahu mezi otevřeným tex- tem, šifrovým textem a klíčem, systémem polynomiálních ...

Práce se zabývá zkoumáním a počítáním permutací, jejichž cykly mají předepsané délky. V první části představíme třídu permutací složených pouze z jednocyklů a dvojcyklů a ukážeme některé související úlohy. Druhá část je ...

Detekce jízdních pruhů hraje v autonomní navigaci vozidel zásadní roli. Tradiční přístupy sice využívají data z kamer, ale často trpí výrazným zkreslením obrazu. Naproti tomu nedávný vývoj zavedl techniky založené na datech ...

Cílem této práce je představit teorii Lagrangeových koherentních struktur (LCSs) a analyzovat LCSs na atmosférických datech. Konkrétní zaměření je na stratosférickou zimní polární cirkulaci na severní polokouli. Výpočty ...

Tato bakalářská práce komplexně zkoumá hodnocení důležitosti slov, od definování tohoto pojmu po vytvoření a vyhodnocení predikčního systému. Po- mocí našeho webového anotačního nástroje jsme sebrali ruční odhady důležitosti ...

Tato práce představuje, porovnává a propojuje pět různých zavedení sinu a kosinu; základoškolské zavedení pomocí poměrů délek stran v pravoúhlých trojúhelnících, středoškolské zavedení pomocí souřadnic bodů na jednotkové ...

Tato práce zkoumá důsledky heteroskedasticity v regresních modelech, kde rozptyl chyb není konstantní napříč pozorováními. Tradiční odhady jako jest Metoda nejmenších čtverců (OLS) se spoléhají na předpoklad homoskedasticity, ...

Dokážeme ekvivalenci omezenosti jistých supremálních operátorů a optimality pros- torů v Sobolevově vnoření. Tohoto docílíme tak, že využijeme známých vztahů mezi Sobolevovými vnořeními a izoperimetrickými nerovnostmi. ...

V práci se zabýváme různými, avšak ekvivalentními, způsoby zavedení Lebesgueova integrálu v R. První kapitola je věnována historickému vývoji infinitezimálního počtu až po vznik Lebesgueova integrálu. Ve druhé kapitole je ...

Hlavním cílem této disertační práce je studovat pojmy "složitost" a "výpočetní kapa- cita" diskrétních dynamických systémů a propojit je s rigorózně měřitelnými vlastnostmi. V první části práce navrhujeme metodu, jak ...

Benchmarkování je podstatnou součástí vývoje nových optimalizací pro kompilátory. Důležitou součástí každého benchmarku je jeho validace. Pomocí validace zajišťujeme, že benchmark při každém spuštění vykoná stejné výpočty, ...

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

V této bakalářské práci popisujeme samoopravné kódy v takzvané hodnostní metrice. Za tímto účelem používáme linearizované polynomy a jejich vlastnosti. Porovnáváme tento přístup se samoopravnými kódy v klasické Hammingově ...

Sumarizační modely v kontextu hlubokého učení jsou tradičně trénovány metodou ma- ximální věrohodnosti s použitím referenčních souhrnů. Aktivní je také výzkum v oblasti učení s vlastním dohledem (self-supervised), kde ...

Záměrem této bakalářské práce bylo vytvořit aplikaci, která bude na základě mapo- vých dat hledat vhodnou trasu v prostředí orientačního běhu. Velký časový prostor při její tvorbě zabralo vytvoření návrhu a naprogramování ...

Dyckovy jazyky se skládají z dobře uzávorkovaných posloupností otevíracích a zavíra- cích závorek různých typů. Dyckova editační vzdálenost měří vzdálenost daného řetězce od Dyckova jazyka nutným počtem změn jednotlivých ...

Bromid cesno-olovnatý (CsPbBr3) patří mezi polovodičové materiály se širokou škálou možných aplikací ve fotovoltaice, jako světelné zdroje nebo jako detektory záření. Tato práce se zaměřuje na studium elektrických a oprických ...

Náplní této práce je měřením spinových vln na antiferomagnetických trojúhelníkových mřížkách. Byly úspěšně připraveny monokrystalické vzorky Na2BaMn(PO4)2 a magnetické vlastnosti tohoto systému byly zkoumány pomocí měrné ...

Tato diplomová práce zkoumá teoretické a praktické aspekty kryptograficky bezpečných generátorů pseudonáhodných čísel (CSPRNG) v moderní kryptografii a počítačové bezpeč- nosti. Studie se ponoří do teoretického zázemí, ...

3D CAD systémy usnadňují tvorbu a úpravu 3D modelů. Přesto se stále používají také technické výkresy a 2D projekce. Rekonstrukce 3D modelu z těchto projekcí však vyžaduje manuální práci uživatele. Cílem této práce je ...