Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 1-10 z 11993
-
Tailoring the optical properties of light-emitting semiconductor structures via doping and matrix embedding
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 30. 1. 2026Různé formy polovodičů jsou nedílnou součástí současného života. Tato práce je věnována různým aspektům polovodičů v jejich různých dimenzích od 3D do 0D. První část práce popisuje možnost excitace fotoluminiscence kvantových ... -
Text classification in the Nutrition Counselling Domain
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 9. 2025 -
Data Factory
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 9. 2025Tato práce se zabývá kritickou mezerou v současném prostředí správy dat, kde plat- formy pro orchestraci úloh a vědecké datové toky často postrádají jednotnou metadatovou vrstvu nezbytnou pro implementaci principů FAIR v ... -
Collection and Visualisation of Data in Yaga SMT solver
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 5. 9. 2025Pro účely formální verifikace softwaru jsou používány takzvané SMT řešiče. Yaga je SMT řešič, který je vyvíjen na Univerzitě Karlově a který implementuje Model-Con- structing Satisfiability Calculus. Cílem této práce je ... -
Reconstructing the Boxer programming system for the web
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 5. 9. 2025Tato práce se zaměřuje na analýzu a rekonstrukci podmnožiny Boxeru, his- torického visuálního programovacího systému. Boxer byl vytvořen s použitím mnoha unikátních principů a vlastností, jenž byly časem zapomenuty ve ... -
Program pre výrobu prepojovacích kusov pre dané 3D objekty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 4. 9. 2025Táto práca sa zaoberá problematikou 3D modelovania v softvéri Blender. Zameriava sa na riešenie častej, no typicky zložitej a časovo náročnej úlohy: vytvárania plynulých prepojovacích dielov medzi dvoma existujúcimi 3D ... -
Support for informal meta-modeling
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 19. 6. 2025Softwaroví architekti a inženýři často spoléhají na neformální diagramy v raných fázích návrhu systému. Tento přístup sice nabízí flexibilitu a jednoduchost, ale je omezen nedo- statkem sémantiky, což znemožňuje využití ... -
Traffic Signal Optimization
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 5. 9. 2025S rostoucí velikostí měst a zhoršující se dopravní situací je optimalizace světelných křižovatek stále důležitějším problémem pro zajištění efektivní dopravy ve městech. Tato práce zkoumá zjednodušenou verzi tohoto reálného ... -
Computational modeling and imaging of hemodynamics in intracranial aneurysms
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 27. 1. 2026Výpočetní dynamika tekutin (CFD, z anglického computational fluid dynamics) hraje stále významnější roli v oblasti personalizovaného modelování intrakraniálních aneury- smat s cílem zpřesnit hodnocení rizika ruptury. Tato ... -
Optimizing Super Mario game tree search
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 5. 2. 2026Hra Super Mario Bros. je stále aktivně využívána jako modelová hra pro výzkum generování herních úrovní. Každý rok jsou zkoušeny nejnovější techniky, což v poslední době zahrnuje obzvláště hluboké a zpětnovazební učení. ...
RSS 1.0