National Repository of Grey Literature 8 records found  Search took 0.00 seconds. 
New Structures and Operations in Mathematical Informatics
Bureš, Richard ; Krčmář, Radim (referee) ; Meduna, Alexandr (advisor)
The aim of this thesis is to look at some known and some in this thesis created operati- ons and their properties mainly over the regular, but also over the context-free languages. Further we will focus on how to "carry out" these operations over finite and pushdown auto- mata and finally we will present how to possibly impement these automata and operations over them.
Language for High-Level Description of User Interface Requirements
Rašovský, Martin ; Martiško, Jakub (referee) ; Krčmář, Radim (advisor)
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ý jazyk. Z těchto poznatků násladně jsou shrnuty zásadní požadavky, které se nutně musí zakomponovat při návrhu samotného jazyka. Jsou zde zmíněny i požadavky z pohledu osob se specifickými vzdělávacími potřebami dle tzv. návrhových principů \textit{počítačové terapie}. Následně práce dle analyzovaných požadavků navrhuje jazyk pro vysokoúrovňový popis uživatelského rozraní. Součástí návrhu jazyka je také popis algoritmu pro kompozici jednotlivých komponent definovaných v jazyce do výsledného uživatelského prostředí. Navržený jazyk je implementován v programovacím jazyce C\#. Implementace je demonstrována na reprezentativních příkladech. Nakonec se práce věnuje dalším možným rozšířením jazyka.
Route Planning in Air Transport
Sychra, Marek ; Krčmář, Radim (referee) ; Křivka, Zbyněk (advisor)
The problem of route planning in air transport (in public transport in general ) is similar to the shortest path problem. The main differences are the time dependency of the input graph and the multicriterial aspect of the path costs . The aim of this thesis was to create a complex system that would be able to load elementary flights from database and then respond to user requests with combined journeys made from single flights . It was achieved using two state of the art algorithms , CSA and RAPTOR , which were adapted for the flight graph. The experiments which were run on real world data showed massive speedup of the algorithms when using the proposed optimisations . The whole system was also tested against an existing proprietary solution .
General Grammars: Normal Forms with Applications
Klobučníková, Dominika ; Krčmář, Radim (referee) ; Meduna, Alexandr (advisor)
This thesis deals with the topic of unrestricted grammars, normal forms, and their applications. It focuses on context-sensitive grammars as their special cases. Based on the analysis of the set, an algorithm was designed using the principles of the Cocke-Younger-Kasami algorithm to make a decision of whether an input string is a sentence of a context-sensitivegrammar. The final application, which implements this algorithm, works with context-sensitive grammars in the Penttonen normal form.
Transducer Systems and Their Applications
Lupták, Filip ; Krčmář, Radim (referee) ; Meduna, Alexandr (advisor)
This thesis defines a new formal model „transducer system." Transducer system is composed of a number of finite transducers, which cooperate. The thesis examines expressive power of this formal model and shows that transducer system is more powerful than isolated finite transducer. This model is then used to design a parser of arithmetic expressions, which translates them to postfix notation.
Translation Grammars: Properties and Applications
Vít, Radek ; Krčmář, Radim (referee) ; Meduna, Alexandr (advisor)
The goal of this thesis is to discuss translation grammars and their use in syntax-driven translation. It provides an example of the use of translation grammars in predictive top-down translation and provides formal devices for language accepting and translation output generation. It examines the descriptional complexity of tranlation grammars as language generating devices. An implementation of a translation framework using these devices is described and a simple compiler is designed and implemented using this framework. This compiler translates a new language REON designed in this paper to Python 3.
Regulated Automata Systems
Krčmář, Radim ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
This thesis defines and studies two new types of automata, cooperating distributed pushdown automata systems (CDPDAS) and parallel communicating pushdown automata systems (PCPDAS).  CDPDAS and PCPDAS adapt the main concept of cooperating distributed grammar systems (CDGS) and parallel communicating automata systems (PCPDAS), respectively.  CDPDAS are proven to have the same power as PDA and this thesis further explores the reason why CDPDAS do not increase power while CDGS do and introduces an automata system inspired by CDPDAS that does increase the power.  PCGS have similar power as CDGS, but PCPDAS are equvalent with TM, which is proven by creating a communication protocol to access a second stack.
Path Planning in 3D Space
Krčmář, Radim ; Janoušek, Vladimír (referee) ; Rozman, Jaroslav (advisor)
Following thesis presents basics of motion planning, focusing on sampling-based algorithms. System for collision of objects in arbitrary dimensional space is created using linear algebra. Basic options for visualizaton of three-dimensional data are described. Selected algoritms were implemented in haskell and used to pull hedgehog out of the cage (popular disentanglement puzzle in Czech Republic).

See also: similar author names
1 KRČMÁŘ, Roman
Interested in being notified about new results for this query?
Subscribe to the RSS feed.