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-540
 
# -Year Advisor Dept Student Title
2012014Zemčík PavelUPGMKlepárník PetrCompression of Ultrasound Simulations Data
2022014Zemčík PavelUPGMTóth MichalGraphics and video processing using powerful computers
2032014Zendulka JaroslavUIFSData mining in graphs
2042013Burget LukášUPGMSpoken message aware speaker recognition
2052013Češka MilanUITSFormal analysis and verification of systems specified by high-level visual languages
2062013Češka MilanUITSTermination analysis of programs with dynamic data structures
2072013Češka MilanUITSVerification methods based on integer programming.
2082013Drábek VladimírUPSYArchitecures for Highly Reliable Memories
2092013Drahanský MartinUITSKošík MichalVylepšení časové neměnnosti biometrických dat z EEG
2102013Drahanský MartinUITSKupková KarolínaBiometric Scanning of Brain Activities (EEG)
2112013Hanáček PetrUITSAnalysis of Attacks on Wireless Local Networks
2122013Hanáček PetrUITSAnomaly Detection in DNS Traffic
2132013Hanáček PetrUITSAron LukášPrivacy Protection on Mobile Devices
2142013Hanáček PetrUITSOvšonka DanielResearch of Malware Detection Algorithms Based on Artifical Intelligence
2152013Herout AdamUPGMBehúň KamilRozpoznávání pózy člověka z obrazu
2162013Herout AdamUPGMVeľas MartinOnline matching of sensor data against historical records
2172013Hruška TomášUIFSHynek JiříModels of Graphic Interfaces
2182013Kolář DušanUIFSOptimization in Functional Languages
2192013Kořenek JanUPSYKekely LukášSoftware-Controlled Net Traffic Monitoring
2202013Kotásek ZdeněkUPSYČekan OndřejPrincipy generování testovacích vektorů
2212013Kotásek ZdeněkUPSYPodivínský JakubVyužití verifikace pro ověřování odolnosti proti poruchám u systémů založených na FPGA
2222013Kunovský JiříUITSAutomatic Transformation of Ordinary Differential Equations
2232013Kunovský JiříUITSReal-time dynamic systems simulations
2242013Meduna AlexanderUIFSKučera JiříFormal Models of Computational Cooperation
2252013Meduna AlexanderUIFSSoukup OndřejFormal Models of Distributed Computation
2262013Růžička RichardUPSYDesign Techniques for Multifunctional Logic Circuits
2272013Růžička RichardUPSYDigital Circuits Design Automation for Printed Electronics Technology
2282013Růžička RichardUPSYCrha AdamUnconventional Technologies for Digital Systems
2292013Růžička RichardUPSYŠimek VáclavUnconventional Technologies for Digital Systems
2302013Růžička RichardUPSYTesař RadekUnconventional Technologies for Digital Systems
2312013Růžička RichardUPSYViktorin JanDynamic Reconfiguration in Embedded Systems
2322013Sekanina LukášUPSYEvolutionary algorithms in advanced traffic microsimulation.
2332013Sekanina LukášUPSYHrbáček RadekEvolutionary algorithms for approximate computing
2342013Sekanina LukášUPSYSlaný KarelEvolutionary design in the prediction problem
2352013Schwarz JosefUPSYHyrš MartinEvolutionary algorithm based on new paradigms
2362013Švéda MiroslavUIFSMarek MarcelData Transfers in Recursive Network Architectures
2372013Vojnar TomášUITSChaloupka JanNew Trends in Numerical Solutions of Differential Equations
2382013Vojnar TomášUITSPluháčková HanaDynamic Analysis and Intelligent Testing of Concurrent Programs -- co-supervised by dr. Z. Letko
2392013Zbořil František V.UITSSnášelová PetraChaotic behaviour of nonlinear dynamic systems
2402013Zemčík PavelUPGMKlíma OndřejReconstruction of 3D scene from images and/or video
2412013Zemčík PavelUPGMKoplík KarelGraphics and video processing on high performance computers
2422013Zemčík PavelUPGMKula MichalAcceleration of graphics and video processing in hardware
2432013Zemčík PavelUPGMZajíc JiříUser interfaces based on "eye tracking" and "body tracking"
2442012Černocký JanUPGMOn-line parameter identification of an aicraft
2452012Černocký JanUPGMOndel LucasSearch in speech using querying by example
2462012Češka MilanUITSFormal analysis and verification of systems specified by high-level visual languages
2472012Češka MilanUITSTermination analysis of programs with dynamic data structures
2482012Češka MilanUITSVerification methods based on integer programming.
2492012Drábek VladimírUPSYArchitecures for Highly Reliable Memories
2502012Fučík OttoUPSYDvořák MilanLow latency hardware architectures
PrevNext