• Grafický editor a vizualizace ATB-DCK pro doménově nezávislé automatické plánování 

      Autor: Martin Hruška; Vedoucí práce: Chrpa Lukáš; Oponent práce: Barták Roman
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-13)
      V doménově nezávislém automatickém plánování je specifikace plánovací úlohy oddělena od její implementace, kterou poskytují doménově nezávislé plánovače. Tento přístup nabízí vysoký stupeň flexibility, protože plánovače ...
    • Metaheuristické algoritmy pro optimalizační problémy sdílející permutativní reprezentaci 

      Autor: David Woller; Vedoucí práce: Kulich Miroslav; Oponent práce: Barták Roman
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-03-16)
      Vývoj metaheuristických algoritmů pro výpočetně náročné problémy z kombinatorické optimalizace je důležitou výzkumnou oblastí v operačním výzkumu a příbuzných oblastech počítačových věd. V této práci se věnujeme široké ...
    • Modely s omezujícími podmínkami pro plánování a rozvrhování 

      Autor: Procházka Martin; Vedoucí práce: Barták Roman; Oponent práce: Ratschan Stefan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-13)
      Cílem této práce je navrhnout výpocetní model pomocí technologie constraint programming, který by byl schopen popsat a vyrešit konkrétní plánovací problém. Problém je definován pomocí plánovacího jazyka PDDL a je zameren ...
    • Plánování sběru dat pro vzdušné prostředky 

      Autor: Robert Pěnička; Vedoucí práce: Saska Martin; Oponent práce: Barták Roman
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-02-02)
      Tato práce se zabývá plánováním misí sběru dat bezpilotními vzdušnými prostředky (Unmanned Aerial Vehicles - UAV). Sběr dat je jedním z mnoha využití UAV, při kterém mohou být palubní sensory použity například záchrannými ...