Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 41-50 z 11561
-
Artwork media classification using Convolutional Neural Network
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 6. 2025Text 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í ... -
Interaktivní aplikace pro vizualizaci fundamentálních konceptů lineární algebry
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 6. 2025Lineární algebra je základní matematická disciplína, na které stojí dnešní matematika. Během výuky je často opomíjena geometrická interpretace jejích základních konceptů, často i z důvodu neexistence uživatelsky přívětivé ... -
Sémantiky a transformace HTN modelů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 6. 2025Hierarchická 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 ... -
Parallel Algorithms for Clustering High-Dimensional Data
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 6. 2025Shlukování je v Informatice široce studovaný problém s mnoha aplikacemi v růz- ných oblastech. Kvůli značné velikosti instancí vyžaduje shlukování efektivní paralelní algoritmy. V této práci se zaměřujeme na skupinu masivně ... -
Relational reasoning in vision-language models
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 6. 2025Uvaž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á ... -
Measuring lexical surprisal in legal texts
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 6. 2025Tato práce kombinuje zpracování přirozeného jazyka a vizualizaci textu prostřednic- tvím inovativního konceptu "text glittering". Ten je inspirován statistickými metodami popsanými v článku "GLTR: Statistical Detection and ... -
The PD-KIND algorithm in the Golem CHC solver
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 6. 2025PDKind (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 ... -
Heuristické přístupy ke kompilaci do SLR reprezentace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 6. 2025Booleovské funkce jsou jedním ze základních pojmů informatiky, které se využívají například v reprezentaci znalostí, teoretické informatice nebo kryptografii. Tato práce se zabývá reprezentací booleovských funkcí pomocí ... -
Nature-Inspired Algorithmic Approach to Capacitated Vehicle-Routing Problem with Preferred Times
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 6. 2025 -
Generování textur pro trojrozměrné modely pomocí sítě GAN
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 20. 6. 2025V této bakalářské práci se zaměřujeme na generování realistických textur pro 3D ob- jekty. Hlavním cílem je experimentálně prozkoumat možnosti integrace procesů hlubokého učení a rasterizace a ověřit, zda je možné přes ...
RSS 1.0