Hledat
Zobrazují se záznamy 1-10 z 52
Automatová knihovna - převody mezi regulárními výrazy, regulárními gramatikami a konečnými automaty, Automata library - transformations between ragular expressions, regular grammars and finite automata
; Vedoucí práce: Trávníček Jan; Oponent práce: Baier Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Automatová knihovna - determinizace konečných a zásobníkových automatů, Automatová knihovna - determinisation of finite and pushdown automata
; 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., 2014-06-27)
Simulace pohybu tanečního páru po parketu, Ballroom dance simulation
; Vedoucí práce: Kašpar Jiří; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Multiagentní prostředí na platformě Android, Multi-agent Environment on Android Platform
; Vedoucí práce: Baier Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
Protisměrné vyhledávání ve stromech, Backward tree pattern matching
; Vedoucí práce: Trávníček Jan; Oponent práce: Baier Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
Zjednodušení matematických výrazů generovaných induktivními modely, The Simplification of Folmulas Generated by Inductive Models
; Vedoucí práce: Kordík Pavel; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
Automatová knihovna - vnitřní a komunikační formát, Automata library - internal and comunication format
; Vedoucí práce: Trávníček Jan; Oponent práce: Poliak Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)
Komprese dat metodou bajtového antislovníku, Byte Antidictionary Compression
; Vedoucí práce: Baier Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Simulace nedeterministického zásobníkového automatu pro indexování stromů, Simulation of a nondeterministic pushdown automaton for tree indexing
; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
Vyhledávání v cyklických řetězech, Searching in Cyclic Strings
; Vedoucí práce: Kolář Josef; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-09-05)