• Centralizované plánování autonomní dopravy 

      Autor: Ondřej Pleticha; Vedoucí práce: Surynek Pavel; Oponent práce: Klouda Karel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-12)
      Tato diplomová práce se zabývá problémem řízení autonomní dopravy ve městech. Je uvažována budoucnost, kde jsou všechna vozidla sdílená a dokáží přepravovat osoby či předměty sama bez řidiče. Zákazníci pouze vytváří požadavky ...
    • Detekce a sledování vozidel z video záznamu pro analytické účely 

      Autor: Petr Pilař; Vedoucí práce: Brchl Lukáš; Oponent práce: Surynek Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-27)
      Aplikaci detekce a sledováni vozidel se v poslednich letech stále vice využivá ke sledováni dopravnich situaci v zabydlených oblastech i dálnicich, plánováni provozu po komunikacich i k různorodému civilnimu využiti. ...
    • Detekce podobností datových domén pomocí metod strojového učení 

      Autor: Andrej Oliver Chudý; Vedoucí práce: Buk Zdeněk; Oponent práce: Surynek Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-07)
      Cieľom tejto práce je navrhnúť a zostrojiť systém, na základe ktorého by bolo možne efektívne porovnávať podobnosť v stĺpcoch tabuľky. Bolo preukázané, že vektorová reprezentácia stĺpca vytvorená pomocou rekurentnej ...
    • DPLL(MAPF): Integrace řešiče SATu a multi-agetního hledání cest 

      Autor: Martin Čapek; Vedoucí práce: Surynek Pavel; Oponent práce: Starý Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-04)
      Multiagentní hledání cest (MAPF) se často kopiluje do výrokové splnitelnosti (SAT) a je dále vyřešeno existujícím SAT řešičem. V této práci jsme přišli s novým kompilačním schématem DPLL(MAPF), který používá těsnou inegraci ...
    • Evakuační model s řídícími a následujícími agenty zaměřený na evakuaci škol(ek) 

      Autor: Matej Šutý; Vedoucí práce: Hrabák Pavel; Oponent práce: Surynek Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-10)
      Děti, které tvoří významnou část populace, jsou spolu s nemocnými, staršími a zdravotně postiženými nejzranitelnější skupinou během evakuace. Nové výzkumní experimenty na chování a pohyb dětí během evakuace v mateřských ...
    • Hierarchické plánování pro real-time strategické hry 

      Autor: Lukáš Kameník; Vedoucí práce: Surynek Pavel; Oponent práce: Vašata Daniel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-08)
      Tato diplomová práce řeší hierarchické plánování pro real-time strategické hry. Cílem práce je vyzkoušet vhodnost aplikace HTN plánování pro počítačem řízeného hráče RTS hry tím, že bude HTN plánování použito ve hře Dune ...
    • Klasifikace na temporálních relačních datech 

      Autor: Mück Petr; Vedoucí práce: Motl Jan; Oponent práce: Surynek Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-08)
      Tato práce se zabývá možnostmi klasifikace temporálních dat. V práci implementuji agregační model, který je schopen pracovat s relačními daty, jejichž záznamy jsou pro určitou entitu ve vztahu n:1 pro daný čas predikce ...
    • Líná kompilace v klasickém plánování 

      Autor: Zuzana Fílová; Vedoucí práce: Surynek Pavel; Oponent práce: Vašata Daniel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-04)
      Předmětem této diplomové práce je problematika líné kompilace v klasickém plánování. V teoretické části práce jsou nejprve shrnuty základní informace o klasickém plánování, definovány důležité pojmy klasické reprezentace ...
    • Multi-agentní hledání cest se spojitým časem založené na celočíselném lineárním programování 

      Autor: Yana Zabrodskaya; Vedoucí práce: Surynek Pavel; Oponent práce: Vašata Daniel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-04)
      Tato práce se zabývá problémem hledání nejkratší cesty pro několik robotů tak, aby se tito roboti nesrazili. Za účelem řešení výše uvedeného problému byl vyvinut algoritmus, který je založen na celočíselném lineárním ...
    • Optimalizace rozmístění obrazů pomocí evolučních technik 

      Autor: Martin Šafránek; Vedoucí práce: Jiřina Marcel; Oponent práce: Surynek Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-08)
      Tato práce navrhuje genetický algoritmus s novou reprezentací chromozomu a novou implementací křížení pro řešení NP těžkého problému umístění obdélníkových obrazů na dvoudimenzionální mřížku. Chromozom je reprezentován ...
    • Programování s omezeními v rozvrhování pro autoservis 

      Autor: Petr Švec; Vedoucí práce: Surynek Pavel; Oponent práce: Vašata Daniel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-10)
      Tato diplomová práce se zabývá implementací systému pro rozvrhování dílenských prací v autoservisu. Práce analyzuje požadavky zákazníka podle kterých, s využitím programování s omezeními, definuje model. Na základě navrženého ...
    • Simulace a vizualizace plánů pohybu pro stolní robotickou paži pomocí platforem ROS a Unity 

      Autor: Ján Chudý; Vedoucí práce: Surynek Pavel; Oponent práce: Smítková Janků Ladislava
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-08)
      Robot Operating System (ROS) je nejpoužívanější framework pro vývoj robotických aplikací. Jako nadstavby ROSu existuje také několik nástrojů pro robotické simulace. Simulace robotů je nezbytnou součástí robotiky, díky čemuž ...
    • Volba parametrů řešiče SATu pomocí technik strojového učení 

      Autor: Filip Beskyd; Vedoucí práce: Surynek Pavel; Oponent práce: Kalvoda Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-27)
      SAT řešiče jsou nezbytné nástroje pro mnohé oblasti počítačové vědy a průmyslu. Obsadily funkci univerzálního nástroje, který uživatelé používají k řešení problémů, jež by v opačném případě museli řešit ad-hoc, což by ...