Browsing katedra teoretické informatiky by Issue Date
Now showing items 1-20 of 565
-
Komprese souborů s notovými zápisy
; Supervisor: Holub Jan; Opponent: Balík Miroslav
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-02-10) -
Agentní model globální komerční námořní dopravy
; Supervisor: Vaněk Ondřej; Opponent: Janoušek Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Simulace nedeterministického zásobníkového automatu pro indexování stromů
; Supervisor: Janoušek Jan; Opponent: Trávníček Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Automatizované provádění transformací cyklů ve zdrojových kódech
; Supervisor: Šimeček Ivan; Opponent: Plicka Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Metody pro identifikaci vzorků z hutní výroby
; Supervisor: Kordík Pavel; Opponent: Haindl Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Port nástroje Valgrind na Solaris/x86
; Supervisor: Svoboda Jiří; Opponent: Kordík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Shluková analýza dat pořízených pomocí jednomolekulové lokalizační mikroskopie
; Supervisor: Hagen Guy; Opponent: Bartoň Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Vyhledávání nelineárních vzorků ve stromech
; Supervisor: Janoušek Jan; Opponent: Trávníček Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Algoritmus pro tvorbu asociačních pravidel z častých sekvencí
; Supervisor: Kordík Pavel; Opponent: Čepek Miroslav
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Základ systému pro automatické hodnocení programů
; Supervisor: Kačer Martin; Opponent: Černý Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Kompresní metody LZ
; Supervisor: Baier Jan; Opponent: Guth Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Distribuce Linuxu vhodná pro embedded systémy
; Supervisor: Ubik Sven; Opponent: Smítka Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Formalizační metody hudby a automatická kompozice
; Supervisor: Pilch Bogdan; Opponent: Holub Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Portování programového vybavení pro 3D vidění na vestavnou Linuxovou platformu
; Supervisor: Skrbek Miroslav; Opponent: Marek Rudolf
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Řešení soustav lineárních rovnic v modulární aritmetice
; Supervisor: Buček Jiří; Opponent: Lórencz Róbert
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Modely Peanovy aritmetiky a jejích fragmentů
; Supervisor: Trlifajová Kateřina; Opponent: Kůrka Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-09-05) -
Vizualizace konečných automatů
; Supervisor: Janoušek Jan; Opponent: Poliak Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-02-06) -
Analýza signálu a zpracování obrazu v jednomolekulové mikroskopii se superrozlišením
; Supervisor: Hagen Guy; Opponent: Krupička Mikuláš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-02-07) -
Regresní modelování pro fulltextové vyhledávání
; Supervisor: Kordík Pavel; Opponent: Černý Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16) -
Pojítko SkyWire - Zabezpečení a ochrana před neoprávněnou manipulací
; Supervisor: Chludil Jiří; Opponent: Buček Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16)