• Markovské logické sítě s komplexními váhami a algoritmy pro jejich učení 

      Autor: Jan Tóth; Vedoucí práce: Kuželka Ondřej; Oponent práce: Van Bremen Tomothz
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-17)
      Tato práce se zabývá markovskými logickými sítěmi s komplexními vahami (komplexními markovskými logickými sítěmi, C–MLNs). Ty jsou rozšířením markovských logických sítí, které je plně expresivní v kontextu počtových ...
    • Merlin: Proces implementace doporučovacího systému na GPUs 

      Autor: Čeněk Sůva; Vedoucí práce: Kasalický Petr; Oponent práce: Kordík Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-10)
      Tato práce do detailu popisuje aplikační framework NVIDIA Merlin a všechny jeho části. Dále popisuje jak Merlin využít při implementaci škálovatelného předzpracování dat, návrhu a implementaci modelu, a generování predikcí ...
    • Paralelizace sítí typu Sum-Product-Transform pro architekturu GPU 

      Autor: Ondřej Poláček; Vedoucí práce: Oberhuber Tomáš; Oponent práce: Papež Milan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-05-26)
      Sítě typu Sum-Product-Transform jsou rozšířením sítí typu Sum-Product pomocí přidání transformačního uzlu. Toto rozšíření zvyšuje výpočetní náročnost všech operací se sítí. Tato práce popisuje implementaci sítí typu ...
    • Relace deduktivního a induktivního odvozování v relačním učení 

      Autor: Martin Svatoš; Vedoucí práce: Kuželka Ondřej; Oponent práce: Malerba Donato
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-10)
      Relační učení využívá predikátovou logiku prvního řádu pro reprezentaci dat i modelů. Neoddiskutovatelnou výhodou tohoto formalismu je snadné vysvětlení naučených modelů a možnost reprezentovat širokou paletu problémů, ...
    • Rozvrhování výpočtů inference neuronových sítí na vestavném hardware 

      Autor: Eldar Iosip; Vedoucí práce: Sojka Michal; Oponent práce: Pošík Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-01-22)
      Cílem této práce je prozkoumat state- of-the-art způsoby detekce objektů po- mocí konvolučních neuronových sítí, využívaných v oblasti autonomního řízení. Proto aby běh na vestavěných systémech byl dostatečně optimalizo- ...