Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 236-240 z 11265
-
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
RSS 1.0