Hledat
Zobrazují se záznamy 1-5 z 5
Evaluace frameworku SEAGE, SEAGE Framework Evaluation
; Vedoucí práce: Smítková Janků Ladislava; Oponent práce: Šimánek Petr (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-12)
Tato práce je zaměřena na zhodnocení optimalizačního frameworku SEAGE z pohledu aktuálního stavu výzkumu v oblasti hyper-heuristik, a to s využitím nové metriky, která algoritmy ohodnocuje objektivně dle kvality jejich ...
Líná kompilace v klasickém plánování, Lazy Compilation in Classical Planning
; 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 ...
DPLL(MAPF): Integrace řešiče SATu a multi-agetního hledání cest, DPLL(MAPF): Integration of a SAT Solver and Multi-Agent Path Finding
; 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 ...
Multi-agentní hledání cest s více cíli pomocí výrokové splnitelnosti, Multi-Goal Multi-Agent Path Finding Using Boolean Satisfiability
; 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., 2023-06-15)
Tato práce se zabývá hledáním optimálního řešení problému multi-agentního hledání cest s více cíli (MG-MAPF), který je zobecněním multi-agentního hledání cest (MAPF). Úkolem v problému MG-MAPF je nalezení nekonfliktní cesty ...
Algebraic Cryptanalysis of Small-Scale Variants of Stream Cipher E0, Algebraic Cryptanalysis of Small-Scale Variants of Stream Cipher E0
; Vedoucí práce: Jureček Martin; Oponent práce: Lórencz Róbert (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-09)
Tato práce představuje a demonstruje nové postupy v algebraické analýze zmenšených variant proudové šifry E0 ze standardu Bluetooth. V práci jsme formulovali podobu zmenšených variant šifry a ty reprezentujeme pomocí množiny ...