Fakulta informačních technologií
English version
Kódování
Přeskočit hlavní nabídku
Přeskočit na obsah stránky
Hledat:
Nacházíte se v sekcích
Fakulta
Studium a výuka
Doktorské studium
Témata řešených disertačních prací
»1-50«
51-100
101-150
151-200
201-250
251-300
301-350
351-395
všichni
Burget Lukáš
Černocký Jan
Češka Milan
Drábek Vladimír
Drahanský Martin
Dvořák Václav
Fučík Otto
Hanáček Petr
Herout Adam
Heřmanský Hynek
Honzík Jan M.
Hrubý Martin
Hruška Tomáš
Chudý Peter
Janoušek Vladimír
Kočí Radek
Kolář Dušan
Kotásek Zdeněk
Kreslíková Jitka
Kršek Přemysl
Kunovský Jiří
Meduna Alexander
Orság Filip
Rábová Zdeňka
Rábová Zdeňka
Růžička Richard
Sekanina Lukáš
Serba Ivo
Schwarz Josef
Smrž Pavel
Švéda Miroslav
Vojnar Tomáš
Zbořil František
Zbořil František V.
Zemčík Pavel
Zendulka Jaroslav
*
UIFS
UITS
UPGM
UPSY
#
-Rok
Školitel
Ústav
Student
Název
1
2012
Černocký Jan
UPGM
On-line identifikace parametrů letounu
2
2012
Černocký Jan
UPGM
Ondel Lucas
Vyhledávání v řečových datech pomocí akustických vzorů
3
2012
Černocký Jan
UPGM
Rydlo Karol
Hybridní řízení letu
4
2012
Černocký Jan
UPGM
Skála František
Vyhledávání v řečových datech pomocí akustických vzorů
5
2012
Černocký Jan
UPGM
Vlk Jan
Hybridní řízení letu
6
2012
Češka Milan
UITS
Analýza konečnosti běhu programů s dynamickými datovými strukturami
7
2012
Češka Milan
UITS
Formální analýza a verifikace systémů specifikovaných vysokoúrovňovými vizuálními jazyky
8
2012
Češka Milan
UITS
Metody formální verifikace založené na celočíselném programování.
9
2012
Češka Milan
UITS
Novosad Petr
Automatizované prostředky návrhu systémů s využitím Petriho sítí
10
2012
Drábek Vladimír
UPSY
Architektury vysoce spolehlivých pamětí
11
2012
Drahanský Martin
UITS
Klubal Ondřej
Invazivní metody útoků na čipy
12
2012
Drahanský Martin
UITS
Marvan Aleš
Inteligentní inspekce a měření dutin válcového průřezu
13
2012
Fučík Otto
UPSY
Dvořák Milan
Hardwarové architektury pro systémy s nízkou latencí
14
2012
Fučík Otto
UPSY
Kováčik Michal
Hardwarové architektury pro systémy s nízkou latencí
15
2012
Hanáček Petr
UITS
Antal Lukáš
Analýza útoků na bezdrátové lokální sítě
16
2012
Hanáček Petr
UITS
Bláha Lukáš
Detekce útoků na počítačové systémy a automatické zpracování škodlivých programů
17
2012
Hanáček Petr
UITS
Homoliak Ivan
Detekce útoků v síťovém provozu
18
2012
Herout Adam
UPGM
Horváth Zsolt
Pokročilé metody zobrazování v reálném čase
19
2012
Herout Adam
UPGM
Kobrtek Jozef
Pokročilé metody zobrazování v reálném čase
20
2012
Herout Adam
UPGM
Milet Tomáš
Pokročilé metody zobrazování v reálném čase
21
2012
Herout Adam
UPGM
Musil Marek
Detekce a lokalizace objektu v obraze a videu
22
2012
Hruška Tomáš
UIFS
Analýza modelu procesoru
23
2012
Hruška Tomáš
UIFS
Grafické prototypování vestavěných systémů
24
2012
Hruška Tomáš
UIFS
Ladění optimalizovaného kódu
25
2012
Hruška Tomáš
UIFS
Pokročilé metody simulace vestavěných systémů
26
2012
Hruška Tomáš
UIFS
Programování víceprocesorových systémů
27
2012
Hruška Tomáš
UIFS
Rekonfigurovatelný kompilátor jazyka C pro DSP architektury
28
2012
Hruška Tomáš
UIFS
Syntéza proveditelného kódu založená na pragmatech pro generované aplikačně specifické vícejádrové architektury
29
2012
Hruška Tomáš
UIFS
Transformační techniky jazyka C do VHDL
30
2012
Hruška Tomáš
UIFS
Stríž Rostislav
Zvýšení bezpečnosti v prostředí Internetu analýzou šíření malware (společný projekt s AVG)
31
2012
Janoušek Vladimír
UITS
Agentní platforma pro Smalltalk
32
2012
Janoušek Vladimír
UITS
Alternativní prostředky pro vývoj aplikací pro OS Android
33
2012
Janoušek Vladimír
UITS
Metody simulačního ověřování softwarových systémů
34
2012
Janoušek Vladimír
UITS
Metody transformace modelů softwarových systémů
35
2012
Janoušek Vladimír
UITS
Kunštátský Martin
Petriho sítě v návrhu a vývoji systémů
36
2012
Kotásek Zdeněk
UPSY
Automatizace využití výsledků simulace pro účely verifikace funkčnosti
37
2012
Kotásek Zdeněk
UPSY
Návrh spolehlivých síťových aplikací
38
2012
Kotásek Zdeněk
UPSY
Využití principů on - line rekonfigurace při návrhu systémů odolných proti poruchám
39
2012
Kotásek Zdeněk
UPSY
Szurman Karel
Synchronizace systému odolného proti poruchám po vzniku poruchy a její opravě
40
2012
Kršek Přemysl
UPGM
Automatická 3D segmentace tkání na základě medicínských obrazových dat
41
2012
Kršek Přemysl
UPGM
Automatický převod 3D polygonálních modelů na T-spline plochy
42
2012
Kršek Přemysl
UPGM
Digitální výroba reálných modelů 3D objektů
43
2012
Kršek Přemysl
UPGM
Hardwarová akcelerace zpracování 3D dat v medicínských aplikacích
44
2012
Kršek Přemysl
UPGM
Interaktivní segmentace prostorových medicínských obrazových dat
45
2012
Kršek Přemysl
UPGM
Komprese prostorových medicínských obrazových dat
46
2012
Kršek Přemysl
UPGM
Optimalizace povrchových polygonálních modelů
47
2012
Kršek Přemysl
UPGM
Optimalizace zpracování 3D medicínských obrazových dat
48
2012
Kršek Přemysl
UPGM
Rekonstrukce 3D objektů na základě série snímků scény
49
2012
Kršek Přemysl
UPGM
Vektorová aproximace prostorových medicínských obrazových dat
50
2012
Kršek Přemysl
UPGM
Vizualizace prostorových medicínských obrazových dat
Další
Zpět na index