• Metody automatické verifikace v registrovém modelu jazyka SystemVerilog 

      Autor: Timur Ganeev; Vedoucí práce: Kohlík Martin; Oponent práce: Borecký Jaroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-07)
      Tato práce se zabývá metodologií pro verifikaci digitálních integrovaných obvodů (Universal Verification Methodology - UVM), zejména její registrovou vrstvou (Register Abstraction Layer - RAL). V dané práci je popsán proces ...
    • Paměť v hlubokém učení 

      Autor: Tomáš Paleček; Vedoucí práce: Janisch Jaromír; Oponent práce: Hendrich Jakub
      (Č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)
      V předkládané práci zkoumáme neuronové sítě využívající pamět, konkrétněji rekurentní neuronové sítě, plastické neuronové sítě a jejich kombinace. Výše zmíněné sítě testujeme v doménách meta-learning a meta-reinforcement ...