Now showing items 1-8 of 8

  • Language for High-Level Description of User Interface Requirements 

    Rašovský, Martin
    Diplomová práce se zabývá problematikou návrhu vysokoúrovňového jazyka pro popis grafického uživatelského rozhraní. Teoretická část rozebírá současné technologie uživatelských rozhraní zejména pro stanovení požadavků na ...
  • Nové struktury a operace v matematické informatice 

    Bureš, Richard
    Cílem této práce je podívat se na některé známé a na některé v této práci vytvořené operace a na jejich vlastnosti nad především regulárními, ale i bezkontextovými jazyky. Dále si zde ukážeme, jak je možné takové operace ...
  • Obecné gramatiky: Normální formy a jejich aplikace 

    Klobučníková, Dominika
    Táto práca sa zaoberá problematikou obecných gramatík, normálnych foriem a ich aplikácií. Zameriava sa na kontextové gramatiky ako ich špeciálne prípady. Na základe analýzy tejto množiny bol navrhnutý algoritmus využívajúci ...
  • Plánování cest v letecké dopravě 

    Sychra, Marek
    Problematika plánování cest v letecké dopravě (v hromadné dopravě obecně) je podobná hledání nejkratší cesty v grafu. Hlavními rozdíly jsou však časová závislost vstupního grafu a fakt, že cena cesty je určena více kritérii. ...
  • Plánování pohybu objektu v 3D prostoru 

    Krčmář, Radim
    V následující práci jsou předvedeny základy plánování v prostoru se zaměřením na pravděpodobnostní plánování. Oborem úzce spjatým je detekce kolizí, s užitím lineární algebry je vytvořen systém pro kolize objektů v libovolném ...
  • Překladové gramatiky: Vlastnosti a aplikace 

    Vít, Radek
    Cílem této práce je prozkoumat překladové gramatiky a jejich použití v syntaxí řízeném překladu. Práce ukazuje využití překladových gramatik v prediktivním syntaktickém překladu a definuje formální prostředky pro přijímání ...
  • Regulované systémy automatů 

    Krčmář, Radim
    Tato práce zavádí a studuje dva nové typy automatů, spolupracující distribuované systémy zásobníkových automatů (CDPDAS) a paralelní komunikující systémy zásobníkových automatů (PCPDAS), které jsou inspirovany spolupracujícími ...
  • Systémy převodníků a jejich aplikace 

    Lupták, Filip
    Táto práca zavádza nový formálny model „systém prevodníkov." Systém prevodníkov sa skladá z niekoľkých konečných prevodníkov, ktoré spolupracujú. Práca skúma vyjadrovaciu silu tohto formálneho modelu a ukazuje, že ...