• Analýza spánkových vzorů uživatelů aplikace Sleep as Android 

      Autor: Miroslav Domankuš; Vedoucí práce: Anýž Jiří; Oponent práce: Gerla Václav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-11)
      Data set spánkových záznamů uživatelů aplikace Sleep as Android umožňuje studovat charakteristiky spánku ve velkém měřítku v populaci uživatelů této aplikace. V této práci byl analyzován vliv několika faktorů (alkohol, ...
    • Automatizované pipeliny pro analýzu dat 

      Autor: Michael Vrána; Vedoucí práce: Křikava Filip; Oponent práce: Donat-Bouillud Pierre
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Pipeliny pro analýzu dat popisují datovou analýzu, jako sekvenci na sobě závisejících kroků. Tyto pipeliny jsou reproducibilní a lze je vyhodnocovat efektivně. Tato práce se zabývá návrhem a implementací balíčku v jazyce ...
    • Přehled přístupů postupného typování v dynamických programovacích jazycích 

      Autor: Rostislav Blaha; Vedoucí práce: Křikava Filip; Oponent práce: Donat-Bouillud Pierre
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-15)
      Graduální typování je vlastnost programovacího jazyka, která umožňuje kombinaci dynamického a statického typování ve stejné codebase. Tím umožňuje přidávání typových anotací průběžně s tím, jak se kód postupně rozšiřuje. ...