Topics of PhD theses

»1-50« 51-100 101-150 151-200 201-250 251-300 301-350 351-395
 
# -Rok Školitel Ústav Student Název
12012Černocký JanUPGMOn-line parameter identification of an aicraft
22012Černocký JanUPGMOndel LucasSearch in speech using querying by example
32012Černocký JanUPGMRydlo KarolHybrid Flight Control
42012Černocký JanUPGMSkála FrantišekSearch in speech using querying by example
52012Černocký JanUPGMVlk JanHybrid Flight Control
62012Češka MilanUITSFormal analysis and verification of systems specified by high-level visual languages
72012Češka MilanUITSTermination analysis of programs with dynamic data structures
82012Češka MilanUITSVerification methods based on integer programming.
92012Češka MilanUITSNovosad PetrTools for Petri net application in system design
102012Drábek VladimírUPSYArchitecures for Highly Reliable Memories
112012Drahanský MartinUITSKlubal OndřejInvasive Methods of Attacks on Chips
122012Drahanský MartinUITSMarvan AlešIntelligent Inspection and Measuring of Cavities with a Cylindric Diameter
132012Fučík OttoUPSYDvořák MilanLow latency hardware architectures
142012Fučík OttoUPSYKováčik MichalLow latency hardware architectures
152012Hanáček PetrUITSAntal LukášAnalysis of Attacks on Wireless Local Networks
162012Hanáček PetrUITSBláha LukášIntrusion Detection and Automatic Processing of Malware
172012Hanáček PetrUITSHomoliak IvanIntrusion Detection in Network Traffic
182012Herout AdamUPGMHorváth ZsoltAdvanced Methods of Real-Time Rendering
192012Herout AdamUPGMKobrtek JozefAdvanced Methods of Real-Time Rendering
202012Herout AdamUPGMMilet TomášAdvanced Methods of Real-Time Rendering
212012Herout AdamUPGMMusil MarekDetection and Localization of Objects in Image and Video
222012Hruška TomášUIFSAdvanced Simulation Methods of Embedded Systems
232012Hruška TomášUIFSAnalyzis of the Processor Model
242012Hruška TomášUIFSDebugging of Optimized Code
252012Hruška TomášUIFSGraphical Prototyping of Embedded Systems
262012Hruška TomášUIFSPragma based executable code synthesis for generated application specific multi-core architectures
272012Hruška TomášUIFSProgramming of multi-core systems
282012Hruška TomášUIFSRetargetable C Compiler for DSP Architectures
292012Hruška TomášUIFSTransformation techniques form C to VHDL
302012Hruška TomášUIFSStríž RostislavSecurity increasing in the Internet Environment Using Malware Analysis
312012Janoušek VladimírUITSAgentní platforma pro Smalltalk
322012Janoušek VladimírUITSAlternativní prostředky pro vývoj aplikací pro OS Android
332012Janoušek VladimírUITSMetody simulačního ověřování softwarových systémů
342012Janoušek VladimírUITSMetody transformace modelů softwarových systémů
352012Janoušek VladimírUITSKunštátský MartinPetriho sítě v návrhu a vývoji systémů
362012Kotásek ZdeněkUPSYAutomatizace využití výsledků simulace pro účely verifikace funkčnosti
372012Kotásek ZdeněkUPSYNávrh spolehlivých síťových aplikací
382012Kotásek ZdeněkUPSYVyužití principů on - line rekonfigurace při návrhu systémů odolných proti poruchám
392012Kotásek ZdeněkUPSYSzurman KarelSynchronizace systému odolného proti poruchám po vzniku poruchy a její opravě
402012Kršek PřemyslUPGMDigital manufacturing of 3D object models
412012Kršek PřemyslUPGMHardware akceleration of 3D madical data processing
422012Kršek PřemyslUPGMHuman tissues 3D modeling by medical image data
432012Kršek PřemyslUPGMInteractive segmentation of space medical image data
442012Kršek PřemyslUPGMMedical image volume data visualization
452012Kršek PřemyslUPGMMedical image 3D data compression
462012Kršek PřemyslUPGMMedical image 3D data vector based aproximation
472012Kršek PřemyslUPGMMedical 3D image data processing optimization
482012Kršek PřemyslUPGMOptimization of boundary polygonal models
492012Kršek PřemyslUPGMTissues automatic 3D segmentation by medical image data
502012Kršek PřemyslUPGM3D interactive collaborative system
 Další