Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 161-240 z 11242
-
Kryptografie na copánkových grupách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024Copánkové grupy obsahují několik problémů, které umožňují vytvořit trapdoor funkce pro účely asymetrické kryptografie. Konkrétně conjugacy problem ukazoval potenciál pro tyto účely a vzniklo několik schémat na něm založených. ... -
L'anatra - Library for interoperability between C# and Java
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024Tato práce měla za cíl vytvořit softwarovou knihovnu umožňující interoperabilitu mezi programovacími jazyky C# a Java. Práce umožňuje použití podmnožiny Javové funkcionality ze C#. Požadavky, které by měla knihovna splňovat, ... -
Development and deployment of SaaS solution for logistics automation in e-commerce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 6. 2024E-commerce trh v oblasti prodeje zboží zaznamenal růst, který významně ovlivnil celý maloobchod. Prodejci se dostali do situace, kdy nestačí produkt pouze nabízet, nýbrž je nutné budovat značku a posilovat vztahy se ... -
Studium dynamiky deformačních procesů ve slitinách Mg-RE pomocí in-situ experimentálních metod
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 3. 2024Předložená práce se zabývá studiem dynamiky deformačních procesů binárních slitin Mg-Gd pomocí in-situ experimentálních metod v závislosti na koncentraci Gd. Zkoumané lité slitiny jsou charakterizované náhodnou texturou. ... -
Vážené portmanteau testy pre analýzu časových rád
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 6. 2024Táto diplomová práca predstavuje vážené a nevážené portmanteau testy, ktoré sa používajú na testovanie adekvátnosti odhadnutého modelu ARMA. Modely ARMA sa hojne využívajú pri analýze časových rád. Čitateľ je oboznámený s ... -
Vybrané statistické úlohy pro procesy s diskrétními stavy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 6. 2024V této práci se zabýváme popisem Poissonových procesů. Nejprve jsou definovány základní pojmy a vysloveny fundamentální věty, které jsou doplněny o poznámky přibli- žující jejich význam. Následně jsou uvedeny metody pro ... -
Identifikace meteorický rojů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 18. 6. 2024Z pozorování meteorů jsme analýzou trajektorie meteoru schopni určit dráhu mete- oroidu. Na základě elementů této dráhy určujeme, do kterého meteorického roje meteor náleží. Za tímto účelem byly navrženy metody hromadně ... -
Robustní porozumění jazyku pro hlasový dialogový systém
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024Hlasové dialogové systémy orientované na úkoly umožňují uživatelům dosahovat cílů na počítači pomocí hlasu. Důležitou součástí porozumění mluvené řeči (SLU) v těchto hlasových dialogových systémech je vyplňování slotů, tj. ... -
Fermatova prvočísla v geometrii
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 9. 9. 2024V této práci se budeme ze začátku zabývat obecnými vlastnostmi Fermatových čí- sel a Fermatových prvočísel, u kterých zmíníme, kdy je již nutně prvočíslo Fermatovo a později zajimavou vlastnost spojenou s Eulerovou funkcí ... -
Extension of Sobolev homeomorphisms
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 7. 6. 2024Tato práce se zabývá rozšiřováním sobolevovských homeomorfismů. Našim hlavním cí- lem je dokázat rozšíření sobolevovských homeomorfismů (mezi lipschitzovskými oblastmi) na okolí hranice v obecném d-rozměrném prostoru. Také ... -
Kochenova-Stoneova nerovnost
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 24. 6. 2024Práce se zabývá Kochenovo-Stoneovou nerovností a jejími alternativami. První ka- pitola shrnuje Borel-Cantelliho lemma a je doplněna o několik příkladů, ve kterých je dokázané lemma využiváno různými způsoby. Druhá kapitola ... -
Thermodynamics of spacetime: corrections from the quantum realm
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 15. 8. 2024Tato práce zkoumá hluboký vztah mezi gravitací a termodynamikou. Zaměřuje se na představu, že gravitační dynamika je zakódována v podmínkách termodynamické rovnováhy aplikovaných na lokálně konstruované, na pozorovateli ... -
Copula based models for multivariate data
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Diplomová práce se zabývá pravděpodobnostními modely závislostí pro dvourozměrné náhodné vektory, které jsou založeny na kopulích, a jejich vztahy s tzv. Scarsiniho mí- rami souladu. V první části se soustředíme na speciální ... -
Analysis of variations of stochastic integrals
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 6. 2024V práce se zabýváme 1/H-variacemi stochastických integrálů, kdy integrátorem je frakcionální Brownův pohyb a Rosenblattův proces (s Hurstovým parametrem H> 1/2). Uvažované stochastické integrály jsou definovány jako ... -
Numerical solution of degenerate parabolic problems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 24. 9. 2024 -
Dlouhodobá stabilita zachycených planetárních systémů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Od objevu prvnı ́ch exoplanet kolem pulsaru PSR 1257+12 a pozde ̌ji ko- lem PSR 1829−10 a PSR B1620−26 nebyl pu ̊vod planet jasny ́, pr ̌ic ̌emz ̌ bylo navrz ̌eno ne ̌kolik sce ́na ́r ̌u ̊. Tato pra ́ce si klade za cı ́l ... -
Geometric properties of circular space-times
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024V rámci formalismu 3+1 a následného 2+1+1 rozštěpení zkoumáme geomet- rické vlastnosti cirkulárních prostoročasů. Centrálním problémem je nalezení minimálních 2-dim. podvariet v každém vybraných prostoročasů, s cílem nap- ... -
Elektrické pole náboje v blízkosti červí díry
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024Tato práce zkoumá chování elektrického pole bodového náboje v přítomnosti červí díry. Tradiční podoba Coulombova zákona zde přestává platit kvůli netriviální topologii prostoru. Pole bodového náboje musí být modifikováno, ... -
Code Dictation Tool
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Systémy automatického rozpoznávání řeči (ASR) jsou významnou součástí dnešního uživatelského prostředí, protože hlas/zvuk je jedním z mála možných způsobů, jak se vyjádřit, a jejich použití by mohlo zpříjemnit nebo dokonce ... -
Vplyv povrchovej teploty na termálnu konvekciu vnútri ľadových mesiacov
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 18. 6. 2024Název práce: Vliv povrchové teploty na termální konvekci v nitru ledových měsíců Autor: Timotej Kačur Katedra: Katedra geofyziky Vedoucí bakalářské práce: prof. RNDr. Ondřej Čadek, CSc., Katedra geofyziky Abstrakt: Cílem ... -
Factorization of quaternion and dual quaternion polynomials
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 6. 2024V tejto práci popisujeme základné algoritmy na faktorizáciu polynómov nad alge- brami kvaterniónov a duálnych kvaterniónov. V prípade kvaterniónov využívame znalosti z hľadania riešení daného polynómu na nájdenie faktorizácie. ... -
Vlastnosti Killingových vektorů v axiálně symetrických prostoročasech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024 -
Platforma pro monitorování mentálního zdraví
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024V Národním ústavu duševního zdraví vznikla potřeba pro digitalizaci výzkumné a terapeutické praxe. Jedním z procesů k digitalizaci byla spolupráce terapeutů s paci- enty/klienty formou dotazníků. V rámci práce byla provedena ... -
Přepínání elektrické polarizace v moiré feroelektrikách pomocí expozice elektronovým svazkem
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 6. 2024Předmětem této diplomové práce je studium materiálů VPbS3 a CrBiS3, vrstevnatých sloučenin s nesouměřitelnou krystalovou strukturou, s důrazem na VPbS3. Jak se nám nedávno podařilo ukázat, tento materiál vykazuje známky ... -
Simulátor strategií stolních her
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Tato bakalářská práce se zabývá identifikací podobností mezi stolními hrami a vývojem modelu, který slučuje tyto podobnosti do jednotné softwarové reprezen- tace. Smyslem této práce programu je systém, který umožňuje analýzu ... -
Treatment effect estimation in the cross-over design with carry-over effects
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Zkřížený design je klíčový pro klinické studie zaměřené na porovnání způsobu léčby, jelikož umožňuje srovnání v rámci jednotlivých subjektů, nicméně čelí problémům kvůli zbytkovým efektům. Tato práce se zabýva kombinováním ... -
Světelné nekonečno v dalekohledu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024Tato práce se zaměřuje na studium efektů modelových gravitačních vln na trajektorie světelných paprsků přicházejících z dalekých hvězd. Zkoumáme linearizovanou teorii gra- vitace, zejména v kontextu Bondi-Sachsova a ... -
Research and development of platinum-based cathode catalysts for proton exchange membrane fuel cells
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 4. 2024Rozšířené přijetí pokročilých energetických technologií, jako jsou palivové články s protonově vodivou membránou (PEMFC), závisí na vývoji účinných a odolných katalyzátorů pro reakci redukce kyslíku (ORR). Platina je první ... -
Návrh LLM promptu pro iterativní data exploraci
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024 -
Multiplikatívne chybové modely časových radov a odhady ich parametrov
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 6. 2024Diplomová práca sa zaoberá vysokofrekvenčnými časovými radmi, ktoré nadobúdajú kladné hodnoty. Na modelovanie takýchto časových radov sa používajú multiplikatívne chybové modely (MEM). Medzi základné MEM modely patrí ACD ... -
Strojové učení pro rozpoznávání jednoduchých fyzikálních systémů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 6. 2024Rozvoj strojového učení, zejména prostřednictvím neuronových sítí, začal měnit způ- sob, jak řešíme problémy - jedním z nich je i analýza a simulace fyzikálních systémů. V této práci se budeme zabývat tvz. Direct Poisson ... -
Aplikace na vytváření kytarových zpěvníku z písní dostupných na webu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Kytarový zpěvník je seznam textů písní s akordy. Většina kytaristů si vytváří vlastní zpěvníky, přičemž existující programy pro tvorbu kytarového zpěvníku nemusí pokrývat většinu funkcí, které od nich uživatel očekává. V ... -
Analysing data from two-layer Timepix3 detector
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024 -
Použití velkého jazykového modelu jako asistenta pro konceptuální modelování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024Tato práce se zabývá automatizací doménového modelování pomocí velkých jazyko- vých modelů (LLMs) a prezentuje experimentálního asistenta využívajícího LLM pro doménové modelování, který spolupracuje s lidským expertem. ... -
Thermal convection in an ice layer with a viscosity depending on the deformation history
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 12. 9. 2024Termální konvekce je klíčový proces ovlivňující přenos tepla, vnitřní strukturu ledové slupky a potenciální obyvatelnost ledových měsíců ve vnější sluneční soustavě. Přestože vliv velikosti zrn na chování termální konvekce ... -
Testy dobré shody s Poissonovým rozdělením založené na charakterizaci Steinova typu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 3. 9. 2024Tato bakalářská práce se zabývá testováním dobré shody s Poissonovým rozdělením metodou založenou na Steinově-Chenově identitě. Steinova-Chenova identita charakteri- zuje Poissonovo rozdělení na základě střední hodnoty ... -
Basic Properties of Multigrid Methods
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 6. 2024Víceúrovňové metody patří mezi nejefektivnější iterační metody pro numerické ře- šení parciálních diferenciálních rovnic (PDR). V práci uvažujeme jako modelový problém Poissonovu rovnici a její diskretizaci metodou konečných ... -
Growth of the omega phase in metastable alloys: numerical simulations using phase-field method
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 12. 9. 2024V mnoha metastabilních slitinách, jako jsou slitiny Ti a Zr- Nb, dochází k fázové transformaci z fáze β do metastabilní fáze ω. Fáze ω se převážně vytváří v materiálu během rychlého chlazení nebo izotermického stárnutí při ... -
Identifikace případů se čtyřmi top kvarky v datech z urychlovače LHC pomocí algoritmů strojového učení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024Jet tagging je metoda analýzy produktů ze srážek na urychlovačích, jejíž podsta- tou je označování původu jednotlivých jetů na základě vůně původního kvarku, z něhož vznikly. Tato práce se zabývá využitím algoritmů strojového ... -
Numerical description and interpretation of dynamics of negative ion created in collision of electron and molecule.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 12. 9. 2024Tato práce se zabývá apliakcí výsledků nelokální teorie kvantového rozptylu na nizkoen- ergetické srážky elektronů s dvouatomárními a tříatomárními molekulami. Dynamika to- hoto procesu je zkoumána v energetickém i časovém ... -
Tournament environment for the board game Hive with an implementation of sample bots
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024 -
Multilingual Entity Linking Using Dense Retrieval
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Propojování entit je úloha, ve které jsou zmínky z textu propojovány s příslušnými entitami. Stejně jako v mnoha jiných oblastech zpracovaní přirozeného jazyka se i v pro- pojování entit výrazně projevil vliv hlubokého ... -
Bayesian inference for anisotropic cluster point processes
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 6. 2024Bodové procesy jsou stochastické modely, které se hojně využívají v biologii, lesnictví, nebo například astronomii. V této diplomové práci se budeme zabývat především aniso- tropními shlukovými bodovými procesy. Představíme ... -
Jaderná dynamika při rezonančních srážkách elektronů s molekulami v časově závislém formalismu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024V této práci se věnujeme srážkám elektronů s dvouatomovými molekulami, zejména pak molekule kyslíku O2, v aproximaci lokálním komplexním potenciálem. Numericky řešíme jadernou dynamiku v časově závislém formalismu, pomocí ... -
Classification in data streams with abrupt concept drift in a subset of features
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Detekce malwaru je klíčovým aspektem kybernetické bezpečnosti a představuje řadu výzev, zejména ve scénářích uvažujících proud dat, kde dochází k silné změně distribuce a velkému zpoždění mezi obdržením dat a získáním jich ... -
Physical properties of doped and non-doped Tb3Fe5O12 studied by optical spectroscopies
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 7. 2024Tá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í ... -
Permutohedral varieties as Chow quotients
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024Vezmeme si konkrétní akci multiplikativní grupy komplexních čísel na součinu projek- tivních přímek a budeme zkoumat strukturu jejích orbit. Ukazuje se, že Chowův kvocient této akce je izomorfní permutohedrální varietě. ... -
Real-time strategy videogame toolkit for Godot Engine
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Real-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 ... -
Artificial Intelligence for the Hex Game
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Hex je strategická desková hra pro dva hráče. Cílem této práce je navrhnout a naim- plementovat samotnou hru Hex a několik AI agentů, kteří jsou schopni Hex hrát. Nejprve jsme zanalyzovali Hex z hlediska teorie her a popsali ... -
Effective implementation of DP elimination
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024Vyvinuli 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) ... -
Modelování protoplanetárního disku na základě měření z ALMA a VLTI
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024Protoplanetární disk DoAr 44 (Haro 1-16, V2062 Oph) se nachází v oblasti tvorby hvězd v souhvězdí Hadonoše. Pro tento disk existuje celá řada pozorování: komplexní viditelnosti z interferometru ALMA; kvadráty viditelností, ... -
Modelování proudění v aortálním kořeni
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Pro 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 ... -
Řešení soustav lineárních rovnic v nestandardních podmínkách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 3. 9. 2024V práci jsme se zaobírali soustavou lineárních rovnic a její souvislostí s reprezen- tací dat. Problém jsme rozdělili na přeurčené a podurčené soustavy. U přeurčených jsme zmínili MNČ s QR rozkladem, dále metodu Theila a ... -
Párové testy a jejich interpretace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 3. 9. 2024 -
Mocnost bodu ke kružnici
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024Práce se zabývá problematikou mocnosti bodu ke kružnici. První kapitola se věnuje motivaci a definici pojmu. V druhé kapitole jsou představeny aplikace mocnosti při do- kazování vybraných planimetrických vět. Třetí kapitola ... -
Příprava a studium heterogenních nanomateriálů kov/oxid kovu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 18. 6. 2024V 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 ... -
Nature inspired algorithms for demand-responsive transport
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024This thesis explores demand-responsive transport, where vehicles pick up and drop off passengers based on individual requests. We present a model of the Dial-A-Ride Problem (DARP), which uses real road networks from ... -
Tečna a polára kuželosečky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 4. 9. 2024V č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 ... -
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 ... -
Procedurální generování herní grafiky v shaderech a Unity DOTS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024Tato práce popisuje přístup k vytvoření vykreslovacího systému na bázi GPU pro hru simulující evoluci a založenou na datech v Unity DOTS. V této hře se bude nacházet velké množství rozmanitých bytostí, které nejsou předem ... -
Různá zavedení goniometrických funkcí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 6. 9. 2023Tato 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é ...