• Jízdní řády s odhadem zpoždění pomocí zpětné vazby uživatelů 

      Autor: Jan Klán; Vedoucí práce: Malý Ivo; Oponent práce: Nykl Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-05)
      Tato práce pojednává o konceptu mobilní aplikace zaměřené na sběr informací o zpoždění a mimořádnostech v provozu autobusů veřejné dopravy na základě toho, jak ji uživatelé používají, a jejím následném vývoji na platformě ...
    • Nástroj pro generování unit testů pomocí model checkingu pro .net 

      Autor: Benjamin Hejl; Vedoucí práce: Frajták Karel; Oponent práce: Šebek Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-01)
      Jednotkové testy slouží jako základ testování softwaru a zdroj informací o fungování testovaného kódu, což je důležité pro jeho další rozvoj a vylepšování. Manuální formulace testů, které plně pokryjí testovanou metodu a ...
    • Nelineární pořad pro kulovou projekci 

      Autor: Vít Valečka; Vedoucí práce: Sedláček David; Oponent práce: Spratek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-01-29)
      Získávání obsahu pro planetária je velmi obtížné, obzvláště pak pro ta malá. Filmy a videa pro fulldome projekci jsou vzácná a velmi drahá, ať už mluvíme o časově omezené nebo doživotní licenci. Ceny ročního pronájmu pořadu ...