Search
Now showing items 1-10 of 348
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
; Supervisor: Trávníček Jan; Opponent: Baier Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Simulace kvantové částice ve zkrouceném 2D vlnovodu, Simulation of a Quantum Particle in a Twisted 2D Waveguide
; Supervisor: Kalvoda Tomáš; Opponent: Vašata Daniel (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Procesní stroj pro metodu BORM, BORM process machine
; Supervisor: Pergl Robert; Opponent: Podloucký Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Aplikace pro vyhodnocení stylu jízdy řidiče, Application for driver style evaluation
; Supervisor: Balík Miroslav; Opponent: Šimeček Ivan (Č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
; Supervisor: Trávníček Jan; Opponent: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Implementace rozšiřujícího modulu do systému CRM, New CRM add-on development
; Supervisor: Náplava Pavel; Opponent: Jiřina Marcel (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Rychlé násobení smíšených polynomů, Fast multiplication of mixed polynoms
; Supervisor: Šimeček Ivan; Opponent: Vogel Josef (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Kompresní metody LZ, LZ-family data compression methods
; Supervisor: Baier Jan; Opponent: Holub Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Ověření vlastností grafu, Verification of properties of graphs
; Supervisor: Šimeček Ivan; Opponent: Valla Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Deep learning pro algoritmické obchodování, Deep learning for algorithmic trading
; Supervisor: Kordík Pavel; Opponent: Konfršt Zdeněk (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)