Hledat
Zobrazují se záznamy 1621-1630 z 2274
Detekce anomálií pro množinová data
(2021)
Detekce anomálií na vektorech je již dobře zmapovanou oblastí, detekce anomálií pro množinová data však představuje několik nových problémů. Množinou rozumíme skupinu vektorů, jejichž počet se v množinách se může lišit a ...
Simulace dvoufázového proudění pomocí mřížkové Boltzmannovy metody
(2021)
Tato práce se zabývá užitím mřížkové Boltzmannovy metody (LBM) k simulaci dvoufázového dvoukomponentniho proudění typu kapalina-kapalina. V teoretické části byly popsány dva numerické modely řešící tuto problematiku. První, ...
Statistické modelování dopravního toku na neřízené křižovatce typu T
(2021)
Tato práce se zabývá statistickým modelováním kritických světlostí, které jsou hlavním předmětem teorie akceptování mezer, neboli Gap Acceptance. Nejdříve jsme definovali základní matematický model neřízené křižovatky typu ...
Algoritmy pro detekci mraků v datech ze satelitů Sentinel
(2021)
Přesná detekce mraků ze satelitních snímků je důležitý krok před jakoukoliv vědeckou analýzou těchto snímků. Mnoho existujících algoritmů, které jsou schopny detekovat oblačnost jsou závislé na informaci o teplotě. Družice ...
Odhad řídké parametrizace pravděpodobnostních modelů
(2021)
Výzkumný úkol se zabývá odhadem řídké parametrizace pravděpodobnostích modelů. V rámci práce je vypracován přehledný popis korespondencí mezi marginálními distribucemi pro parametry modelu a apriorními distribucemi pro ...
Strojové ověření Rose-Rosserova důkazu úplnosti ž,ukasiewiczovy výrokové logiky - syntax
(2021)
Tato práce se zabývá formalizací základů ž.ukasiewiczovy logiky a strojovým ověřením první poloviny prvního známého důkazu její úplnosti, t.j. ověřením celkem 23 lemmat s rozsáhlými syntaktickými důkazy, na jejichž výsledcích ...
Metody strojového učení pro algoritmické obchodování na trhu s elektřinou
(2021)
Spolu s rostoucím podílem obnovitelných zdrojů energie a celoevropskou integrací denních a vnitrodenních trhů s elektřinou se v posledních letech zvyšuje volatilita na všech typech energetických trhů. Zvýšená likvidita na ...
Přenos znalosti mezi bayesovskými filtry
(2021)
Tento výzkumný úkol popisuje a porovnává dvě metody pro přenos znalosti založené na bayesovském přístupu. Kromě přenosu znalosti se oba algoritmy snaží zamezit negativnímu přenosu tj. zhoršení odhadu. Plně pravděpodobnostní ...
Adaptivní algoritmická kvantifikace preferencí
(2021)
Tento výzkumný úkol se zabývá optimálním rozhodováním z pohledu volby preferencí pro plně pravděpodobnostní návrh. Tento návrh zavádí tzv. ideální distribuci chování, která přiřazuje vysoké hodnoty preferovanému chování a ...
Matematické modelování v elektrokardiologii
(2021)
Se zvyšující se životní úrovní v rozvojových zemích roste i počet obětí kardiovaskulárních onemocnění. Výsledné lidské a ekonomické ztráty vyžadují, aby se výzkum ubíral směrem k lepšímu porozumění srdeční činnosti. Jednu ...