Procházení katedra teoretické informatiky dle data publikování
Zobrazují se záznamy 1-20 z 565
-
Komprese souborů s notovými zápisy
; Vedoucí práce: Holub Jan; Oponent práce: 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
; Vedoucí práce: Vaněk Ondřej; Oponent práce: 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ů
; 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) -
Automatizované provádění transformací cyklů ve zdrojových kódech
; Vedoucí práce: Šimeček Ivan; Oponent práce: 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
; Vedoucí práce: Kordík Pavel; Oponent práce: 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
; Vedoucí práce: Svoboda Jiří; Oponent práce: 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
; Vedoucí práce: Hagen Guy; Oponent práce: 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
; 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) -
Algoritmus pro tvorbu asociačních pravidel z častých sekvencí
; Vedoucí práce: Kordík Pavel; Oponent práce: Č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ů
; Vedoucí práce: Kačer Martin; Oponent práce: Černý Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Kompresní metody LZ
; Vedoucí práce: Baier Jan; Oponent práce: 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
; Vedoucí práce: Ubik Sven; Oponent práce: 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
; Vedoucí práce: Pilch Bogdan; Oponent práce: 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
; Vedoucí práce: Skrbek Miroslav; Oponent práce: 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
; Vedoucí práce: Buček Jiří; Oponent práce: 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ů
; Vedoucí práce: Trlifajová Kateřina; Oponent práce: Kůrka Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-09-05) -
Vizualizace konečných automatů
; Vedoucí práce: Janoušek Jan; Oponent práce: 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
; Vedoucí práce: Hagen Guy; Oponent práce: 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í
; Vedoucí práce: Kordík Pavel; Oponent práce: Č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í
; Vedoucí práce: Chludil Jiří; Oponent práce: Buček Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16)