Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 441-460 z 11244
-
Evolution of Accreting Black Holes in X-ray Binaries
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 9. 2024Akreční disky v okolí kompaktních objektů poskytují ideální prostředí pro studium akrečních jevů v silných gravitačních polích. Je známo, že akreující černé díry v rentgenových dvojhvězdách a vzorek ultrajasných rentgenových ... -
Matematické hry a herní strategie
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 13. 5. 2024Práce je zaměřena na výsledky v oblasti kombinatorické teorie her. Op- timálním strategiím pro hry Nim a dáma jsou věnovány samostatné kapitoly. Většinu práce však představují nové výsledky. Jedná se o nalezení optimálních ... -
Optimization Techniques in Computer Graphics and Appearance Fabrication
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 19. 9. 2023Tobias Rittig Optimalizaní techniky v poítaové grafice a výrob vzhledu Optimalizace, proces zlepování prbných výsledk, byl aplikován v mnoha oblastech infor- matiky i mimo ni. Vizuální výpoty byly po celou dobu v popedí ... -
Pathwise Stochastic Calculus
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Tato práce je zaměřena na zavedení stochastického kalkulu po trajektoriích, čehož se dosáhne zavedením konceptu p-té variace trajektorie po specifické posloup- nosti dělení a definováním Föllmerova integrálu jako limity ... -
Model termální konvekce v programu ASPECT
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 18. 6. 2024Nejsvrchnější vrstva Země, litosféra, je rozlámána na několik částí, kterým říkáme litosférické desky. Ty se vůči sobě pohybují rychlostí několik centimetrů za rok. V oblastech, kde se dvě tektonické desky setkávají může ... -
Numerické řešení problému tří těles
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024Tato práce zkoumá numerické řešení problému n těles, klasického pro- blému v oblasti nebeské mechaniky. Nejprve je podán přehled problému, včetně některých jeho známých vlastností, jako jsou například zákony zacho- vání. ... -
Emise oxidů dusíku z blesků
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 18. 6. 2024Název práce: Emise oxidů dusíku z blesků Autor: Leontína Brodnianska Katedra: Katedra fyziky atmosféry Vedoucí bakalářské práce: Doc. Mgr. Peter Huszár, Ph.D., Katedra fyziky atmosféry Abstrakt: Táto práca sa zaoberá ... -
Broadband kinematic ground motion modeling of tectonic earthquakes
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 16. 9. 2024Širokopásmové simulace zemětřesných pohybů představují slibný přístup k analýze seismického ohrožení. Po validaci syntetických dat pomocí reálných záznamů nám mohou umožnit získávat dodatečné informace potřebné k přípravě ... -
Combinatorics, group theory, computational complexity & topology
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 25. 3. 2024V této práci prezentujeme nové výsledky týkající se kombinatorických vlastností topo- logických prostorů zadaných pomocí abstraktních simpliciálních komplexů, jejich vztahy a výpočetní složitost. Nejprve zobecníme Hachimoriho ... -
Systém pro chytré sledování inventáře
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Cílem této práce je poskytnout uživatelům systém chytré lednice, který by jim pomohl sledovat množství potravin v jejich domácnosti. Práce představuje systém skládající se ze serveru a zařízení. Zařízení je použito jako ... -
Continuous and distributional description of impulsive gravitational waves
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024Tato práce se zabývá spojitým a distribučním popisem impulsních gravitačních vln, přičemž se zaměřuje na neexpandující a expandující vlny šířící se na Minkowského, de Sitterově a anti-de Sitterově pozadí. K ilustraci ... -
Command-line tool lsql-csv for CSV files processing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024lsql-csv je nástroj pro provádění krátkých dotazů nad daty malých CSV souborů z shellu. Díky němu je možné pracovat s malými CSV soubory jako s read-only relační databází. Nástroj implementuje nový jazyk LSQL podobný SQL, ... -
AE řešitelnost intervalových soustav
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Součástí intervalové analýzy je zkoumání různých typů řešitelnosti intervalových sou- stav. Mezi nejznámější patří slabá řešitelnost, silná řešitelnost a jejich kombinace, AE ře- šitelnost. V současnosti není znám žádný ... -
Gravitační čočky s elipsoidální symetrií
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 18. 6. 2024Gravitační čočkování je jev způsobený ohybem světla v zakřiveném prostoročase kolem astrofyzikálního objektu charakterizovaného jeho rozložením hmoty. V práci jsou zkoumány a následně porovnávány vlastnosti a chování ... -
Centralities in computation of approximate symmetries
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Symetrie sítí je globální charakteristika komplexních sítí, která pomáhá pochopit jejich strukturu a vlastnosti. Tato charakteristika získala pozornost od doby, kdy MacArthur et al. ukázali, že reálné sítě obsahují překvapivě ... -
Combining effects with dependent types
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Dependent type systems provide a novel way of reasoning about program correctness, by embedding behavior of the program into the more expressive type system. Correctness is achieved by not allowing incorrect states to be ... -
Practical batch proofs of exponentiation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Tato práce se zabývá dávkovými důkazy pro mocnění (dávké PoE). Zkoumáme exis- tující dávkové PoE a analyzujeme jejich ověřovací náklady. Také představujeme dva dáv- kové PoE a porovnáváme jejich výkon s výkonem existujících ... -
Nejednoznačné rozklady v číselných tělesech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024Hlavním cílem práce je zkoumat ireducibilní rozklady v oborech celistvých prvků čísel- ných těles. Ke zkoumání těchto rozkladů je velmi nápomocný jednoznačný rozklad ideálů na prvoideály. Ireducibilní rozklady nějakého ... -
Geometrický Brownův pohyb ve financích
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 3. 9. 2024Tato práce se zaměřuje na popis a analýzu Geometrického Brownova po- hybu (GBP) jako modelu pro časové řady finančních aktiv. Cílem je představit základní vlastnosti GBP a metody pro odhad jeho parametrů, zejména driftu a ... -
Balancing Space Complexity and Ambiguity in Superadditive Set Functions
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Set funkce nabízejí způsob, jak vyjádřit vztah mezi podmnožinami konečné množiny. Používají se v mnoha oblastech, včetně vysvětlitelné umělé inteligence, kombinatorických aukcí a kooperativní teorie her. Při aplikaci ...