Zobrazují se záznamy 197-216 z 348

    • Nové modely ve vícevrstevném přiřazování 

      Autor: Kryštof Razima; Vedoucí práce: Knop Dušan; Oponent práce: Scholtzová Jiřina
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)
      Přiřazovací problém je problémem na pomezí matematické a ekonomické teorie. Přiřazovací problém se skládá z agentů a položek, agenti vyjadřují své preference k položkám a cílem je najít (určitým způsobem) optimální přiřazení. ...
    • Omezení oboru hodnot výrazu v AST z definičních oborů proměnných 

      Autor: Jan Pokorný; Vedoucí práce: Plachý Štěpán; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)
      Tato bakalářská práce se zabývá omezením možných hodnot výrazu reprezentovaného pomocí abstraktního syntaktického stromu na základě omezení hodnot vstupních proměnných. Výrazy mohou obsahovat hodnoty různých datových typů. ...
    • OpenPonk: implementace parseru a interpretu OCL 

      Autor: Svoboda Jakub; Vedoucí práce: Pergl Robert; Oponent práce: Suchánek Marek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-15)
      Tato bakalářská práce se zabývá návrhem a implementací syntaktické analýzy a interpreta OCL jazyka pro OpenPonk modelovací platformu v prostředí Pharo. Nejdříve se v práci popisuje OCL jazyk, algoritmy syntaktické analýzy, ...
    • Ověřená binární halda 

      Autor: Luboš Zápotočný; Vedoucí práce: Knop Dušan; Oponent práce: Hušek Radek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)
      Tato práce popisuje implementaci binární minimové haldy a formální důkazy korektnosti jednotlivých operací. Ověřená binární halda je následně použita v Dijkstrově algoritmu pro hledání nejkratší cesty v grafu.
    • Ověření vlastností grafu 

      Autor: Ondrej Tomáš; Vedoucí práce: Šimeček Ivan; Oponent práce: Valla Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Paralelizace algoritmů pro toky v síti 

      Autor: Jan Groschaft; Vedoucí práce: Blažej Václav; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-20)
      Tato práce se zabývá možnostmi paralelizace vybraných algoritmů pro nalezení maximálního toku v síti. Je zaveden potřebný teoretický základ, na který navazuje popis existujících sekvenčních a paralelních algoritmů. Následně ...
    • Paralelizace metody sledování paprsku I 

      Autor: Dundr Jan; Vedoucí práce: Konfršt Zdeněk; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Zkoumané implementace metod vykreslování scény pomocí sledování paprsků běží na paralelní architektuře GPU. Zanalyzoval jsem možné akcelerační struktury a otestoval implementaci různými scénami. Porovnal jsem CPU a GPU ...
    • Paralelizace metody sledování paprsku II 

      Autor: Ďurovec Michal; Vedoucí práce: Konfršt Zdeněk; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Cílem této práce je nastudovat a implementovat metody počítačové grafiky o sledování paprsku. Tato práce zkoumá paralelizační techniky na GPU s využitím programovacího modelu NVIDIA CUDA a jazyku C++. Výsledkem této práce ...
    • Paralelní implementace dynamického naivního Bayesovského klasifikátoru 

      Autor: Lučivňák Pavel; Vedoucí práce: Šabata Tomáš; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-16)
      Dynamický naivni Bayesovský klasifikátor (DNBC) nacházi využiti v mnoha oblastech, napřiklad při rozpoznáváni hlasu, pisma, nebo při předpovidáni počasi. DNBC je rozšiřenim skrytého Markovského modelu tim, že pod-poruje ...
    • Paralelní iterační řešič soustav lineárních rovnic pomocí řezů v grafu 

      Autor: Brožek Ondřej; Vedoucí práce: Šimeček Ivan; Oponent práce: Vagner Ladislav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-17)
      Práce popisuje různé způsoby, jak lze řešit soustavy lineárních rovnic, které vedou na řídké matice. V práci jsou popsány iterační metody a metoda hranového řezu. Jako iterační metody byly zvoleny Jacobi, Gauss-Seidel a ...
    • Paralelní metody stabilního řazení 

      Autor: Čermák Michal; Vedoucí práce: Šimeček Ivan; Oponent práce: Langr Daniel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-01-10)
      Tato práce obsahuje popis algoritmů in-place a out-of-place Mergesortu. Zabývá se jejich implementací v jazyce C++ a následnou optimalizací a paralelizací pomocí technologie OpenMP. Dále je na základě těchto algoritmů ...
    • Paralelní výpočty na strukturovaných mřížkách na GPU 

      Autor: Yury Hayeu; Vedoucí práce: Oberhuber Tomáš; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)
      Různé numerické metody používají strukturované ortogonální mřížky kvůli jejich jednoduché implementaci. Tato práce se zaměřuje na zdokonalení implementace strukturovaných ortogonálních mřížek v knihovně Template Numerical ...
    • Parameterized Algorithms for the Truncated Metric Dimension problem 

      Autor: Jiří Jirásek; Vedoucí práce: Suchý Ondřej; Oponent práce: Opler Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-08)
      Tato práce se zabývá FPT algoritmy řešící problém zkrácené metrické dimenze. Nejdříve představíme dva již známé algoritmy řešící problém metrické dimenze. Poté představíme dva jednoduché protipříklady algoritmu, jehož ...
    • Parametrizované algoritmy pro problém Min-Power Symmetric Connectivity 

      Autor: Daniel Dajbov; Vedoucí práce: Opler Michal; Oponent práce: Knop Dušan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)
      V bakalářské práci představíme problém Min Power Symmetric connectivity (MinPSC), který je na obecných grafech NP-těžký. Problém MinPSC má uplatněni v sítích, kde pro daný uzel chceme zmenšit jeho spotřebu energii na co ...
    • Parametrizované algoritmy pro problém zkrácené metrické dimenze 

      Autor: Jiří Jirásek; Vedoucí práce: Suchý Ondřej; Oponent práce: Opler Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)
      Tato práce se zabývá FPT algoritmy řešící problém Zkrácené Metrické Dimenze. Představíme dva již známé algoritmy řešící problém Metrické Dimenze. Pro algoritmus parametrizovaný šířkou modulu ukážeme jeho jednoduchou ...
    • Perzistentní datové struktury a jejich aplikace 

      Autor: Malík Josef; Vedoucí práce: Valla Tomáš; Oponent práce: Suchý Ondřej
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Platforma pro měření efektivity komunikace mikrokontroleru Arduino s externími senzory 

      Autor: Matěj Kocourek; Vedoucí práce: Kubalík Pavel; Oponent práce: Hülle Robert
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)
      Práce se zabývá analýzou a měřením sítě senzorů a jiných modulů, centrálně řízenou mikrokontrolérem Arduino (modely Uno a Mega 2560) přes RS485. Je navrhnut jednoduchý komunikační protokol, který je následně použit pro ...
    • Plánovač setkání 

      Autor: Koc Lukáš; Vedoucí práce: Baier Jan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Plánování evakuace založené na lokálních technikách kooperativního hledání cest 

      Autor: Róbert Selvek; Vedoucí práce: Surynek Pavel; Oponent práce: Maldonado Lopez Juan Pablo
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-19)
      V tejto práci sa venujeme otázke evakuácie z budov alebo priestranstiev z perspektívy algoritmov na kooperatívne hľadanie ciest. Definujeme problém na zvaný multi-agentná evakuácia, ktorý sa skladá z neorientovaného grafu, ...
    • Podpora pro tvorbu semestrální práce z předmětu Programovací jazyky a překladače 

      Autor: Dejdar Jan; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-15)
      Tato bakalářská práce se zabývá tvorbou dokumentace pro semestrální práci z předmětu Programovací jazyky a překladače na Fakultě informačních technologií ČVUT a aktualizací dodávaných materiálů tak, aby využívaly aktuální ...