Matematicko-fyzikální fakulta: Poslední příspěvky
Zobrazují se záznamy 1-20 z 11445
-
Optical detection of particle motion in laser-cooled plasma
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024EN The laser-cooling of ions to temperatures below 1 millikelvin is a standard technique in quantum computing development, but achieving similar cooling for electrons remains difficult. Discovering an effective method could ... -
Linux Kernel Live Dump
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025Tato diplomová práce se zabývá vývojem mechanismu pro vytváření livedumpů v Lin- uxovém jádře, který umožňuje vytvořit paměťové dumpy pro ladění bez nutnosti restartu hostitelského systému. Tento mechanismus vytváří ... -
Competitive Analysis of Online Algorithms for Scheduling Packets with Uniform Lifespans
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025Táto práca sa zameriava na kompetetivnú analýzu online algoritmov pre plánovanie pakety s jednotnou životnosťou. Primárny dôraz bol kladený na výskum o predchádza- júcich prác. Preskúmali sme správu vyrovnávacích pamätí v ... -
Bezkonfliktní barvení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025Řádné bezkonfliktní barvení grafů je řádné barvení splňující dodatečnou podmínku takovou, že na otevřeném sousedství každého vrcholu se jedna z barev objevuje právě jednou. Tato variace na řádné barvení grafů byla nedávno ... -
Verification of LLVM bit-code via a system of Constrained Horn Clauses
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025Diplomová práca predstavuje nový nástroj na statickú verifikáciu programov s názvom Hornix. Hlavným cieľom je overenie základných tvrdení o stave premenných a dosiahnutých stavoch programu. Základným stavebným kameňom ... -
Univerzalita množin bodů pro alternující hamiltonovské cesty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025Název práce: Univerzalita množin bodů pro alternující hamiltonovské cesty Autor: Ali Czech Katedra: Katedra aplikované matematiky Vedoucí bakalářské práce: doc. Mgr. Jan Kynčl, Ph.D., Katedra aplikované matematiky Abstrakt: ... -
Searching classes in the Wikidata ontology
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025Nástroj Dataspecer usnadňuje vytváření a správu abstraktních datových struktur pro reprezentaci a výměnu dat na webu pomocí integrace vstupních ontologií. Nicméně, získat komplexní heterogenní ontologii však zůstává náročným ... -
Complex experiment support through the IVIS framework
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025cz davidkostal11@seznam.cz January 2025 1 Abstrakt Datové experimentování je complexní proces, který se skládá z různých kroků jako například sběr dat a vytváření postupu. Z tohoto důvodu jsou potřeba nástroje pro řízení ... -
Detekcia oblakov na snímke oblohy, analýza a vylepšenie metodík
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025Na detekciu oblakov z pozemných snímok existuje mnoho algoritmov. Tie sa typicky líšia v krokoch predspracovania snímky a druhom segmentácie. Každý z algoritmov je vyvinutý pre svoj špecifický dataset, čo môže spôsobovať ... -
Immersive VR Tutorial Application for Omnidirectional Treadmill: Design, Implementation, and Testing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025S rostoucí popularitou imerzivní virtuální reality roste i potřeba efektivních řešení pro lokomoci. Všesměrové pohybové platformy jsou slibným řešením, jejich malá rozšířenost však představuje značnou výzvu. Vzniká potřeba ... -
Real-Time Video Synchronization Platform
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025Tato práce se zaměřuje na návrh a implementaci vylepšeného řešení pro synchronizaci přehrávání, které řeší nedostatky současných aplikací. Na základě komplexní analýzy jsme identifikovali klíčové nedostatky a navrhli řešení ... -
The influence of subhalo structure in a dark-matter halo on gravitational lensing by galaxies and galaxy clusters
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025V práci zkoumáme gravitačně-čočkovací vlastnosti kombinovaného modelu Navarro-Frenk-White hala a ořezaného Navarro-Frenk-White subhala. Nejprve popisujeme samotné ořezané halo, poté kombino- vaný model pro devět kombinací ... -
On Kundt spacetimes in higher dimensions
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025Tato diplomová práce se zaměřuje na studium Kundtových prostoročasů ve více dimenzích, s důrazem na speciální Weylův a bezestopý-Ricciho typ N. V práci shrnujeme metody klasifikace vícedimenzionálních prostoročasů pomocí ... -
Disperzní přístup k rozpadu eta na tři piony
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025V této práci jsme představili teoretický framework potřebný k disperzní konstrukci amplitudy procesu η → πππ, který je důležitý pro pochopení nízkoenergetické QCD. V rekonstrukční proceduře se v řádu O(p6 ) vyskytují ... -
Návrh frameworku pro edge-cloud continuum
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025Cílem této práce je navrhnout a implementovat framework pro Edge-Cloud Continu- um (ECC) v jazyce Java. V dnešní době je stále více zařízení IoT (Internet of Things) a dat, která tato zařízení generují. Edge-Cloud Continuum ... -
Nástroj pro grafickou vizualizaci sociálních sítí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025Tato práce se zabývá návrhem a implementací webové stránky nazvané Afantázie - sociální sítě pro grafové nadšence, která umožňuje uživatelům vytvářet příspěvky, pro- pojovat je s ostatními a zobrazit je jako rostoucí sdílený ... -
Trasy v mapách pre orientačný beh
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025Záměrem této bakalářské práce bylo vytvořit aplikaci, která bude na základě mapo- vých dat hledat vhodnou trasu v prostředí orientačního běhu. Tato tvorba byla rozdělena do dvou částí. První čast obsahovala vytvoření návrhu ... -
Using convolutional neural networks to detect protein-ligand binding sites
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025Použití konvolučních neuronových sítí (CNN) pro vysokorozměrná data, jako jsou obrázky, ukázalo některé slibné výsledky, ale má problémy s featurami bez prostorové korelace. V této práci jsem otestoval zjednodušenou verzi ...