Topics of PhD theses 2013/2014

»1-50« 51-95
 
# +Školitel Ústav Student Název
1Burget LukášUPGMSpoken message aware speaker recognition
2Černocký JanUPGMScore Processing In multilingual KEyword Spotting
3Češka MilanUITSFormal analysis and verification of systems specified by high-level visual languages
4Češka MilanUITSTermination analysis of programs with dynamic data structures
5Češka MilanUITSVerification methods based on integer programming.
6Drábek VladimírUPSYArchitecures for Highly Reliable Memories
7Drahanský MartinUITSBiometric Scanning of Brain Activities (EEG)
8Drahanský MartinUITSLiveness Detection in Biometric Systems
9Drahanský MartinUITSLocalization and navigation of a mobile robot in a difficult terrain
10Dvořák VáclavUPSYDevelopment of GPGPU-accelerqted scientific applications
11Fučík OttoUPSYA Platform for Acceleration of Image Classifiers Processing
12Fučík OttoUPSYHybrid Reprogrammable Processing Platforms
13Fučík OttoUPSYLow-Power Architectures
14Fučík OttoUPSYModeling and Synthesis of GALS Circuits
15Fučík OttoUPSYSimulation of Transportation Systems
16Hanáček PetrUITSAnalysis of Attacks on Wireless Networks
17Hanáček PetrUITSAnomaly Detection in DNS Traffic
18Hanáček PetrUITSPrivacy Protection on Mobile Devices
19Hanáček PetrUITSResearch of Honeypot Systems for Embedded and Mobile Devices
20Hanáček PetrUITSResearch of Malware Detection Algorithms Based on Artifical Intelligence
21Herout AdamUPGMAdvanced Marker Fields for Augmented Reality
22Herout AdamUPGMAdvanced Methods of Real-Time Rendering
23Herout AdamUPGMAugmented Reality on Mobile Devices
24Herout AdamUPGMComputer Vision on Graphics Processors
25Herout AdamUPGMOnline matching of sensor data against historical records
26Hruška TomášUIFSAcceleration of Multimedia Codecs on Application Processors
27Hruška TomášUIFSAdvanced simulation techniques of system services and processes
28Hruška TomášUIFSAutomatic Searching of Instruction Extensions for Application Processors
29Hruška TomášUIFSEnergy Reducing Compiler Optimizations
30Hruška TomášUIFSGraphical design of Embedded Systems
31Hruška TomášUIFSProgramming of multi-core systems
32Hruška TomášUIFSRetargetable C/C++ Compiler for VLIW Architectures
33Hruška TomášUIFSSimulation of Multiprocessor Systems on the Chip
34Hruška TomášUIFSTransformation techniques form C to HDL
35Hruška TomášUIFSWorkflow process modeling
36Janoušek VladimírUITSMonitorování, řízení a optimalizace procesů s využitím rekonfigurovatelných Petriho sítí
37Janoušek VladimírUITSNa Petriho sítích založený vývoj inteligentních agentů
38Janoušek VladimírUITSVývoj distribuovaných softwarových systémů na bázi Petriho sítí a agentů
39Kočí RadekUITSModel Transformations in Software Engineering
40Kolář DušanUIFSAutomatized Definition of Context-Sensitive Grammars
41Kolář DušanUIFSOptimization in Functional Languages
42Kolář DušanUIFSParallel Analysis of Context-Sensitive Languages
43Kolář DušanUIFSStatic Analysis of Binary Executable in order of Data Type Reconstruction
44Kotásek ZdeněkUPSYAutomatic design of checkers for digital systems with partial coverage
45Kotásek ZdeněkUPSYDigital system analysis - the identification of points affecting dependability parameters
46Kotásek ZdeněkUPSYMethodology of dependable time-critical embedded systems design
47Kotásek ZdeněkUPSYTask scheduling mechanisms for preventing and addressing the lack of computing resources during the run of time-critical systems
48Kotásek ZdeněkUPSYThe possibilities of using time redundancy during the design of fault tolerant systems
49Kreslíková JitkaUIFSDesign and optimization of autonomous algorithmic models for time series prediction
50Kreslíková JitkaUIFSOptimization of portofolio allocation cumulative risks
 Další