Táto práca je zameraná na systematické štúdium optických a magnetooptických vlast- ností nedopovaných a dopovaných Tb3Fe5O12 tenkých vrstiev na gadolínium gálium gra- nátových a kremíkových substrátoch. Z vykonaných meraní ...

Real-time strategie (RTS) jsou v posledních letech na vzestupu, ale nástrojů k jejich výrobě je málo. Tato práce představuje sadu nástrojů pro tvorbu 2D RTS her v Godot enginu a zvoleným jazykem je C#. Sada nástrojů obsahuje ...

Vyvinuli jsme efektivní implementaci Davis-Putnamovy (DP) eliminace, algoritmu, který eliminuje proměnné z formule v konjunktivní normální formě (KNF). Použili jsme tzv. zero-suppressed binární rozhodovací diagramy (ZBDD) ...

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