Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 246-250 z 11265
-
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 ...
RSS 1.0