Zobrazují se záznamy 928-942 z 942

    • Zacházení s datovými strukturami na haldě ve zpětné symbolické exekuci 

      Autor: Husák Robert; Vedoucí práce: Ratschan Stefan; Oponent práce: Tvrdík 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)
      Cílem této práce je významně rozšířit AskTheCode, dříve vytvořený doplněk nástroje Microsoft Visual Studio, který využívá zpětnou symbolickou exekuci pro verifikaci asercí v kódu C#. Jedno z největších omezení našeho doplňku ...
    • Zajištění konsistence DEMO modelů na platformě OpenPonk 

      Autor: Jakub Nováček; Vedoucí práce: Pergl Robert; Oponent práce: Skotnica Marek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-08)
      Tato diplomová práce je zaměřena na sestavování UML profilů realizujících DEMO diagramy. Jsou odvozeny metamodely diagramů a následě celkový metamodel DEMO a odpovídající UML profily.
    • Zajištění škálovatelnosti webových aplikací s využitím architektury mikroslužeb 

      Autor: Hamrla Lukáš; Vedoucí práce: Kuchař Jaroslav; Oponent práce: Vondra Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-04)
      Tato práce se věnuje zajištění škálovatelnosti a vysoké dostupnosti webových aplikací, tuto problematiku řeší zejména pro části aplikací. Pro dosažení tohoto cíle je použita architektura založená na mikroslužbách a ...
    • Zavádění otevřených dat ve státní správě 

      Autor: Kunte Matěj; Vedoucí práce: Gattermayer Josef; 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., 2016-05-15)
      Tato práce se zabývá otevřenými daty, jejich formáty, zpracováním, uchováváním a publikací. Nabízí krátké nahlédnutí na otevírání dat v zahraničí a v jednoduché webové aplikaci zobrazuje možnost praktického využití.
    • Zákaznický portál firmy ÚVT Internet, s.r.o. 

      Autor: Horejš Martin; Vedoucí práce: Richter Pavel; Oponent práce: Hunka Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-02-01)
      Cílem této diplomové práce je vytvořit webovou aplikaci pro zákazníky firmy internetového poskytovatele ÚVT Internet s.r.o. Text této práce postupně rozebírá většinu částí softwarového vývoje od analýzy až po nasazení ...
    • Zásuvný modul do NetBeans - podpora technologie XDefinice 

      Autor: Zachov Martin; Vedoucí práce: Šenk Adam; Oponent práce: Trojan Václav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Závislosti mezi projekty v softwarových ekosystémech jazyku Java 

      Autor: Chedid Jean; Vedoucí práce: Procházka Antonín; Oponent práce: Šenk Adam
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Změnové řízení procesních modelů 

      Autor: Mikeš Stanislav; Vedoucí práce: Skotnica Marek; Oponent práce: Pergl Robert
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-02-01)
      Podnikové procesy jsou zásadní součástí každé společnosti. Vzhledem k tomu, že společnosti rostou, procesy se stávají stále složitějšími a náklady spojené s jejich změnami rostou. Podle některých publikací je až 6 % obratu ...
    • Znalostní systém pro podporu výuky BI-ZNS 

      Autor: Jan Horáček; Vedoucí práce: Jiřina Marcel; Oponent práce: Nováček Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)
      Cílem této práce bylo vytvorení nového frameworku pro výuku znalostních systému v predmetu Znalostní systémy (BI-ZNS) na Fakulte informacních technologií CVUT. V první fázi byla provedena analýza problematiky znalostních ...
    • Zobecnění hry Pac-man z hlediska tahových herních algoritmů 

      Autor: Kristián Kuľka; Vedoucí práce: Surynek Pavel; Oponent práce: Klán Petr
      (Č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)
      Hra Pac-Man predstavuje zaujímavý problém z pohľadu umelej inteligencie, keďže predstavuje multi-agentný systém, ktorý si vyžaduje koordináciu agentov a dlhodobé plánovanie. Hru navyše komplikuje fakt, že jednotlivé akcie ...
    • Zpoplatnění IT služeb 

      Autor: Rejzek Michael; Vedoucí práce: Voříšek Jiří; Oponent práce: Trlifajová Kateřina
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16)
    • Zpracování akustických signálů z optických senzorů 

      Autor: Jakub Šedý; Vedoucí práce: Mařík Radek; Oponent práce: Maršálek Jakub
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-09)
      Diplomová práce se zabývá klasifikací zvukových signálů získaných z optických vláken. Cíle dosahuje pomocí analýzy problému, návrhu architektury, implementace klientské a serverové aplikace. Dále se práce zabývá testováním ...
    • Způsoby srovnání notací pro modelování byznys procesů 

      Autor: Cimpl Lukáš; Vedoucí práce: Náplava Pavel; Oponent práce: Pergl Robert
      Diplomová práce se zabývá způsoby srovnání notací pro modelování byznys procesů. Základem je seznámení s celým životním cyklem procesu, procesním řízením, modelováním procesu a notacemi BPMN/UML. Důležitou oblastí je ...
    • Zvukový mixer použitelný místo QuickTime 

      Autor: Novák Jan; Vedoucí práce: Zahradnický Tomáš; Oponent práce: Mikšík Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • Živé vizualizace epidemiologických modelů 

      Autor: Blizničenko Jan; Vedoucí práce: Pergl Robert; Oponent práce: Stinckwich Serge
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-06-30)
      Práce s modulárními modely, kde může jakýkoliv model sestávat z jiných modelů, by se usnadnila možností vizuálního modelování, při kterém by byly výsledky změn provedených na modelu okamžitě zobrazovány uživateli, a to ať ...