• Matematické modelování transportu kontrastní látky a jejího přestupu skrz cévní stěnu v cévním proudění 

      Autor: Kovář, Jan
      (2021)
      Tato práce se zabývá matematickým modelováním transportu kontrastní látky a jejího přestupu přes cévní stěnu v cévním proudění na dvourozměrné výpočetní oblasti. Uloha je řešena v kontextu perfuzního vyšetření myokardu za ...
    • Matematické modelování v elektrokardiologii 

      Autor: van der Meer, Niels
      (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 ...
    • Metody strojového učení pro algoritmické obchodování na trhu s elektřinou 

      Autor: Obhlídal, Vojtěch
      (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 ...
    • Modelováni organizace prostorové fáze v primárnim vizuálnim kortexu 

      Autor: Hajduk, Stefan
      (2021)
      Primární vizuální kortex je část mozku zaměřená na zpracování vizuálních informací. Je to nejvíce zkoumaná oblast vizuálního systému, ale její funkce jsou stále nedostatečně prozkoumány. Neurony v této části mozku jsou ...
    • Non-self-adjoint relativistic point interactions and their approximations by non-local potentials 

      Autor: Heriban, Lukáš; Vedoucí práce: Tušek, Matěj
      (CTU in Prague. Faculty of Nuclear Sciences and Physical Engineering., 2021)
      The research project deals with the Dirac operator with non–local potential given by the projec tion on a fixed scaled function from L 2 (R)∩ L 1 (R) multiplied by complex matrix A. The norm–resolvent limit of this ...
    • Odhad řídké parametrizace pravděpodobnostních modelů 

      Autor: Kulička, Lukáš
      (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 ...
    • Přenos znalosti mezi bayesovskými filtry 

      Autor: Lainová, Eva
      (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í ...
    • Přenos znalostí pro Q-learning 

      Autor: Jedlička, Adam
      (2021)
      Tato práce je zaměřená na přenosové učení, i.e. přenost znalostí z vyřešeného úkolu na další, nevyřešený, úkol za účelem zrychlení učícího se procesu nebo nalezení lepšího řešení. Konkrétně se práce zaměřuje na tyto metody ...
    • Rešení Heunovy diferenciální rovnice a teorie ortogonálních polynomů 

      Autor: Šnauko, Patrik
      (2021)
      Práce se zaměřuje na teorii ortogonálních polynomů a to zejména na využití této teorie při hledání lokálního řešení Heunovy diferenciální rovnice. Jedná se o diferenciální rovnici druhého řádu v komplexním oboru se čtyřmi ...
    • Simulace dvoufázového proudění pomocí mřížkové Boltzmannovy metody 

      Autor: Malik, Michal
      (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é a strojové rozpoznávání mechanických vlastností materiálů v PM prostoru 

      Autor: Dolejš, Erik
      (2021)
      Hlavním cílem tohoto výzkumného úkolu je vyhodnocení elastických vlastností materiálů za použití Preisach-Mayergoyzova (PM) prostoru. Nejdříve je představena hystereze a její PM popis a dále nástroje pro identifikaci PM ...
    • Statistické modelování dopravního toku na neřízené křižovatce typu T 

      Autor: Wohlrath, Daniel
      (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 ...
    • Strojové ověření Rose-Rosserova důkazu úplnosti ž,ukasiewiczovy výrokové logiky - syntax 

      Autor: Šimon, Jáchym
      (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 ...
    • Testování úcinnosti odhadovacích metod pro GIG-distribuovaná data 

      Autor: Lhotáková, Anežka
      (2022)
      Tato práce je věnována rozšíření znalostí o Zobecněném inverzním Gaussovu (GIG) rozdělení. Zaměřuje se především na zpřesnění aproximace škálovací konstanty a vlastnosti funkce, která tuto škálovací konstantu popisuje. V ...
    • Vznikající diverzita v evolučních algoritmech 

      Autor: Zogatová, Dominika
      (2021)
      Evoluční algoritmy jsou založeny na základních principech biologické evoluce. Tyto algoritmy jsou známy tím, že mají tendenci konvergovat do lokálních optim a často nejsou schopny nalézt globální řešení. Jedním z návrhů ...