Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 221-240 z 11244
-
Investigation of phase transformations in ternary zirconium alloys
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 12. 6. 2024V předložené práci byly studovány fázové transformace, mikrostruktura a mechanické vlastnosti dvou nově navržených slitin, Zr-4Sn-1Cr a Zr-4Nb-2Al (v hmotnostních %). Fá- zové transformace byly zkoumány pomocí diferenční ... -
Textual Ciphers as a Tool for Better Understanding the Transformers
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Architektura 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 ́ ... -
Formalization of homotopy pushouts in homotopy type theory
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024Homotopické pushouty mohou být zkonstruovány jako vyšší induk- tivní typy v logickém rámci Homotopické Teorie Typů, ve kterém lze použít syntaktické metody pro zkoumání jejich vlastností, a formalizovat je v důka- zovém ... -
On PlonK SNARK
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Bakalá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ý ... -
Comparison of joint-embedding deep networks for known-item search in image datasets
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024S rostoucí produkcí multimédií se zvyšuje také poptávka po efektivních metodách jejich vyhledávání. Jedním z klíčových úkolů v této oblasti je vyhledávání konkrétních položek ve velkých nestrukturovaných kolekcích obrázků ... -
Quadraticity of the operadic categories of graphs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024V 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 ... -
Identifikace složených gramatických tvarů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Cílem této práce je identifikovat a vhodně označit složené gramatické tvary v dat- ech z projektu Universal Dependencies. Data z projektu Universal Dependencies jsou anotována na morfologické i syntaktické rovině, nicméně ... -
Alternativní implementace inlineru v GNU Compiler Collection
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Inlinová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. ... -
Aplikace SAT řešičů pro hledání konečných modelů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Predstavujeme nový prístup k výpočtu neizomorfných algebraických štruktúr daného typu, založený na probléme splniteľnosti SAT. Enumerácia všetkých neizomorfných mo- delov je významným problémom pre dnešné automatické ... -
Preprocessing Techniques in Algebraic Cryptanalysis
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 6. 2024Algebraická 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 ... -
Generování proteinových sekvencí s danou charakteristikou
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Proteiny jsou nezbytné pro život, protože hrají zásadní roli v mnoha biologických procesech. Navrhování nových proteinů s požadovanou funkcí je důležitým problémem ve vývoji léků a biologickém výzkumu. Velké databáze ... -
Permutace s předepsanými délkami cyklů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 15. 2. 2024Prá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 ... -
Implementation of VCM in a fluorescence-capable path tracing framework
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024Tato práce představuje novou implementaci Vertex Connection and Merging (VCM) ve frameworku s podporou Hero Wavelength Spectral Sampling (HWSS). Pokud je nám známo, je to první práce, která úspěšně dosáhla této implementace. ... -
Lane Detection Using LIDAR Data
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Detekce 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 ... -
Testing copositivity by an interval branch-and-bound approach
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024 -
Electroproduction of hypernuclei
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 23. 9. 2024 -
Interpreter spoločenských hier hraných na mape zloženej zo štvorčekov
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Cieľom tejto bakalárskej práce bolo využiť spoločné vlastnosti niektorých spoločen- ských hier na vytvorenie univerzálnej aplikácie, v ktorej je možné tieto hry hrať. Kon- krétne sme sa zamerali na hry, ktoré sú hrané na ... -
Aplikace Lagrangeových koherentních struktur na stratosférickou zimní polární cirkulaci
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024Cí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 ... -
Studium energie srážek v experimentu Belle II
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024Tato bakalářská práce se zabývá měřením rozptylu rozdělení těžišťové energie σECMS v experimentu Belle II. Byla vyvinuta nová metoda využívající rapiditu mionů z interakcí e+ e− → µ+ µ− . Tato metoda zahrnuje konvoluční ... -
Predicting Word Importance Using Pre-Trained Language Models
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Tato 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 ...
RSS 1.0