Topics of PhD theses

1-50 51-100 101-150 151-200 »201-250« 251-300 301-350 351-400 401-450 451-500 501-587 poslední
 
# -Year Advisor Dept Student Title
2012014Čadík MartinUPGMBrejcha JanVisual Localization in Natural Environments
2022014Černocký JanUPGMEgorova EkaterinaLexicon Augmentation through FST-based Subword Unit Clustering
2032014Černocký JanUPGMFér RadekRobust Systems for Spoken Language Recognition
2042014Drahanský MartinUITSKanich OndřejResearch in the area of simulations of fingerprint damages
2052014Drahanský MartinUITSSemerád LukášTheoretical and Experimental Determination of Information Amount in Eye Biometric Characteristics
2062014Fučík OttoUPSYA Platform for Acceleration of Image Classifiers Processing
2072014Fučík OttoUPSYHybrid Reprogrammable Processing Platforms
2082014Fučík OttoUPSYLow-Power Architectures
2092014Fučík OttoUPSYModeling and Synthesis of GALS Circuits
2102014Fučík OttoUPSYSimulation of Transportation Systems
2112014Hanáček PetrUITSCompression of Behaviour of Programs for Malware Detection
2122014Hanáček PetrUITSCreation of Test According to Vulnerability Model
2132014Herout AdamUPGMSochor JakubProcessing Video from Traffic Surveillance Cameras
2142014Hruška TomášUIFSRudnitckaia JuliaProcess mining
2152014Jaroš JiříUPSYNikl VojtěchHigh Performance Computing on Low Power Devices
2162014Kolář DušanUIFSJirák OtaContext Analysis of Formal Languages
2172014Kotásek ZdeněkUPSYKrčma MartinNávrh systémů založených na neuronových sítích odolných proti poruchám s využitím on-line rekonfigurace
2182014Kreslíková JitkaUIFSHypský RomanBusiness Rules Formalization
2192014Kreslíková JitkaUIFSReš RadimSoftware Engineering Metrics
2202014Kunovský JiříUITSNečasová GabrielaParalelní numerické řešení diferenciálních rovnic
2212014Kunovský JiříUITSVeigend PetrReal Time Computations
2222014Meduna AlexanderUIFSKocman RadimRegulated Formal Systems
2232014Sekanina LukášUPSYGrochol DavidEvolvable hardware in network applications
2242014Sekanina LukášUPSYKešner FilipBiosignal processing in hardware
2252014Sekanina LukášUPSYMrázek VojtěchAdvanced methods for evolutionary circuit design
2262014Smrž PavelUPGMPrivalov VladimirScalable scene classification for large indoor environments in service robotics
2272014Smrž PavelUPGMZapletal MartinKnowledge Preservation Systems
2282014Švéda MiroslavUIFSAn Ontological Approach for Network Forensics
2292014Švéda MiroslavUIFSData Quality Management in Network Forensics
2302014Švéda MiroslavUIFSBárta StanislavBig Data Analytics for Network Forensics
2312014Švéda MiroslavUIFSHranický RadekDigital Forensics using Distributed Environment
2322014Švéda MiroslavUIFSKmeť MartinNew Methods of Processing and Analysis of VoIP communication
2332014Švéda MiroslavUIFSLichtner OndrejNetwork Architecture Aware of Applications, Users and Services
2342014Švéda MiroslavUIFSPluskal JanMethods for Intelligent Network Forensics
2352014Vojnar TomášUITSAdvanced Automata Technology and Its Applications
2362014Vojnar TomášUITSFormal Analysis and Verification of Programs with Complex Data and/or Control Structures
2372014Vojnar TomášUITSNew Approaches to Dynamic Analysis and Intelligent Testing of Concurrent Programs
2382014Vojnar TomášUITSFiedor TomášFormal Analysis and Verification of Program Termination and Resource Consumption -- co-supervised by assoc. prof. A. Rogalewicz
2392014Zbořil František V.UITSAbdulrahman Wassem3D Object Recognition
2402014Zbořil František V.UITSDalecký ŠtěpánHybrid Techniques of Soft-computing
2412014Zemčík PavelUPGMFučík JanUser interfaces based on non-contact technologies
2422014Zemčík PavelUPGMKapinus MichalUser interfaces based on non-contact technologies
2432014Zemčík PavelUPGMKlepárník PetrCompression of Ultrasound Simulations Data
2442014Zemčík PavelUPGMTóth MichalGraphics and video processing using powerful computers
2452014Zendulka JaroslavUIFSData mining in graphs
2462013Burget LukášUPGMSpoken message aware speaker recognition
2472013Češka MilanUITSFormal analysis and verification of systems specified by high-level visual languages
2482013Češka MilanUITSTermination analysis of programs with dynamic data structures
2492013Češka MilanUITSVerification methods based on integer programming.
2502013Drábek VladimírUPSYArchitecures for Highly Reliable Memories
PrevNext