Poslední příspěvky

Zobrazují se záznamy 161-240 z 11242

  • Kryptografie na copánkových grupách 

    Výsledek obhajoby: OBHÁJENO
    Frnka, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 20. 6. 2024
    Copá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
    Průšová, Kateřina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 11. 9. 2024
    Tato 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
    Celý dokument nebo jeho části jsou nepřístupné do 12. 06. 2027
    Půlpán, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 11. 6. 2024
    E-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
    Farkas, Andrea (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 27. 3. 2024
    Př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
    Gažová, Miroslava (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 6. 2024
    Tá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
    Kahudová, Eliška (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 27. 6. 2024
    V 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
    Ciesla, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 18. 6. 2024
    Z 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
    Požár, Borek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 9. 2024
    Hlasové 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
    Zemánek, Adam (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 9. 9. 2024
    V 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
    Mielec, Jaromír (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 7. 6. 2024
    Tato 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
    Dohnalová, Barbora (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 24. 6. 2024
    Prá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
    Liška, Marek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 15. 8. 2024
    Tato 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
    Slavenko, Matvei (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 5. 9. 2024
    Diplomová 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
    Svoboda, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 6. 2024
    V 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
    Sakić, Sunčica (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
    Fuksa, Matyáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 5. 9. 2024
    Od 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
    Tajčovský, Jan Vendelín (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 11. 9. 2024
    V 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
    Červeňan, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 9. 2024
    Tato 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
    Kaňa, Roman (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 5. 9. 2024
    Systé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
    Kačur, Timotej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 18. 6. 2024
    Ná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
    Molnár, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 6. 2024
    V 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
    Křenek, Oliver (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
    Trefil, Patrik (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 28. 6. 2024
    V 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
    Tetalová, Kateřina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 6. 2024
    Př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
    Yaghob, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 5. 9. 2024
    Tato 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
    Havránek, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
    Zkříž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
    Lukavský, Sebastian (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 11. 9. 2024
    Tato 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
    Xie, Xianxian (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 19. 4. 2024
    Rozšíř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
    Fromm, Mikoláš (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
    Kusenda, Ondrej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 6. 2024
    Diplomová 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
    Benda, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 27. 6. 2024
    Rozvoj 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
    Mezera, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 28. 6. 2024
    Kytarový 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
    Smajljaj, Penda (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
    Prokop, Dominik (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 11. 9. 2024
    Tato 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
    Mareš, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 12. 9. 2024
    Termá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
    Laube, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 3. 9. 2024
    Tato 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
    Minarovičová, Anna Marie (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 27. 6. 2024
    Ví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
    Dvořák, Adam (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 12. 9. 2024
    V 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
    Bulín, Vít (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 20. 6. 2024
    Jet 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
    Kubíček, Václav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 12. 9. 2024
    Tato 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
    Ahmadov, Avazagha (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
  • Multilingual Entity Linking Using Dense Retrieval 

    Výsledek obhajoby: OBHÁJENO
    Farhan, Dominik (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 28. 6. 2024
    Propojová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
    Pavlovičová, Diana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 6. 2024
    Bodové 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
    Taut, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 9. 2024
    V 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
    Procházka, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
    Detekce 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
    Hubert, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 19. 7. 2024
    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í ...
  • Permutohedral varieties as Chow quotients 

    Výsledek obhajoby: OBHÁJENO
    Mišinová, Magdaléna (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 19. 6. 2024
    Vezmeme 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
    Malý, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
    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 ...
  • Artificial Intelligence for the Hex Game 

    Výsledek obhajoby: OBHÁJENO
    Kunčarová, Lucie (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
    Hex 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
    Zelený, Marek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 9. 2024
    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) ...
  • Modelování protoplanetárního disku na základě měření z ALMA a VLTI 

    Výsledek obhajoby: OBHÁJENO
    Souza de Joode, Marco (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 20. 6. 2024
    Protoplanetá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
    Košárková, Lenka (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
    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 ...
  • Řešení soustav lineárních rovnic v nestandardních podmínkách 

    Výsledek obhajoby: OBHÁJENO
    Vojtek, Šimon (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 3. 9. 2024
    V 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
    Zhan, Haojun (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 3. 9. 2024
  • Mocnost bodu ke kružnici 

    Výsledek obhajoby: OBHÁJENO
    Půlpán, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 20. 6. 2024
    Prá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
    Pavlović, Max (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 18. 6. 2024
    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 ...
  • Nature inspired algorithms for demand-responsive transport 

    Výsledek obhajoby: OBHÁJENO
    Boška, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
    This 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
    Kupec, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 4. 9. 2024
    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 ...
  • Investigation of phase transformations in ternary zirconium alloys 

    Výsledek obhajoby: OBHÁJENO
    Strnad, Adam (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 12. 6. 2024
    V 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
    Provazník, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 28. 6. 2024
    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 ́ ...
  • Formalization of homotopy pushouts in homotopy type theory 

    Výsledek obhajoby: OBHÁJENO
    Štěpančík, Vojtěch (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 11. 9. 2024
    Homotopické 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
    Benčík, Benjamín (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 5. 9. 2024
    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ý ...
  • Comparison of joint-embedding deep networks for known-item search in image datasets 

    Výsledek obhajoby: OBHÁJENO
    Hajko, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 5. 9. 2024
    S 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
    Vítek, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 11. 9. 2024
    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 ...
  • Identifikace složených gramatických tvarů 

    Výsledek obhajoby: OBHÁJENO
    Krippnerová, Lenka (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 5. 9. 2024
    Cí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
    Káně, Vojtěch (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
    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. ...
  • Aplikace SAT řešičů pro hledání konečných modelů 

    Výsledek obhajoby: OBHÁJENO
    Dančo, Marek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
    Predstavujeme 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
    Mašková, Kristýna (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 6. 2024
    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 ...
  • Generování proteinových sekvencí s danou charakteristikou 

    Výsledek obhajoby: OBHÁJENO
    Hrbáň, Hugo (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 28. 6. 2024
    Proteiny 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
    Hubač, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 15. 2. 2024
    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 ...
  • Implementation of VCM in a fluorescence-capable path tracing framework 

    Výsledek obhajoby: OBHÁJENO
    Dinh, Dominik (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 11. 9. 2024
    Tato 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
    Hrynevich, Yana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
    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 ...
  • Testing copositivity by an interval branch-and-bound approach 

    Výsledek obhajoby: OBHÁJENO
    Nemjo, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
  • Electroproduction of hypernuclei 

    Výsledek obhajoby: OBHÁJENO
    Denisova, Daria (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
    Mosný, Dann (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 6. 9. 2024
    Cieľ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
    Rezková, Kateřina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 9. 2024
    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 ...
  • Studium energie srážek v experimentu Belle II 

    Výsledek obhajoby: OBHÁJENO
    Mejsnar, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 10. 9. 2024
    Tato 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
    Osuský, Adam (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 5. 9. 2024
    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 ...
  • Procedurální generování herní grafiky v shaderech a Unity DOTS 

    Výsledek obhajoby: OBHÁJENO
    Vičíková, Anna (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 11. 9. 2024
    Tato 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
    Stuchlá, Kateřina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)
    Datum obhajoby: 6. 9. 2023
    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é ...

© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV