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-595 poslední
 
# -Year Advisor Dept Student Title
2512013Češka MilanUITSTermination analysis of programs with dynamic data structures
2522013Češka MilanUITSVerification methods based on integer programming.
2532013Drábek VladimírUPSYArchitecures for Highly Reliable Memories
2542013Drahanský MartinUITSKošík MichalVylepšení časové neměnnosti biometrických dat z EEG
2552013Drahanský MartinUITSKupková KarolínaBiometric Scanning of Brain Activities (EEG)
2562013Hanáček PetrUITSAnalysis of Attacks on Wireless Local Networks
2572013Hanáček PetrUITSAnomaly Detection in DNS Traffic
2582013Hanáček PetrUITSAron LukášPrivacy Protection on Mobile Devices
2592013Hanáček PetrUITSKoranda KarelResearch of Honeypot Systems for Embedded and Mobile Devices
2602013Hanáček PetrUITSOvšonka DanielResearch of Malware Detection Algorithms Based on Artifical Intelligence
2612013Herout AdamUPGMBehúň KamilRozpoznávání pózy člověka z obrazu
2622013Herout AdamUPGMVeľas MartinOnline matching of sensor data against historical records
2632013Hruška TomášUIFSHynek JiříModels of Graphic Interfaces
2642013Kolář DušanUIFSOptimization in Functional Languages
2652013Kořenek JanUPSYKekely LukášSoftware-Controlled Net Traffic Monitoring
2662013Kotásek ZdeněkUPSYČekan OndřejPrincipy generování testovacích vektorů
2672013Kotásek ZdeněkUPSYPodivínský JakubVyužití verifikace pro ověřování odolnosti proti poruchám u systémů založených na FPGA
2682013Kunovský JiříUITSAutomatic Transformation of Ordinary Differential Equations
2692013Kunovský JiříUITSReal-time dynamic systems simulations
2702013Meduna AlexanderUIFSKučera JiříFormal Models of Computational Cooperation
2712013Meduna AlexanderUIFSSoukup OndřejFormal Models of Distributed Computation
2722013Růžička RichardUPSYDesign Techniques for Multifunctional Logic Circuits
2732013Růžička RichardUPSYDigital Circuits Design Automation for Printed Electronics Technology
2742013Růžička RichardUPSYCrha AdamUnconventional Technologies for Digital Systems
2752013Růžička RichardUPSYŠimek VáclavUnconventional Technologies for Digital Systems
2762013Růžička RichardUPSYTesař RadekUnconventional Technologies for Digital Systems
2772013Růžička RichardUPSYViktorin JanDynamic Reconfiguration in Embedded Systems
2782013Sekanina LukášUPSYEvolutionary algorithms in advanced traffic microsimulation.
2792013Sekanina LukášUPSYHrbáček RadekEvolutionary algorithms for approximate computing
2802013Sekanina LukášUPSYSlaný KarelEvolutionary design in the prediction problem
2812013Schwarz JosefUPSYHyrš MartinEvolutionary algorithm based on new paradigms
2822013Švéda MiroslavUIFSMarek MarcelData Transfers in Recursive Network Architectures
2832013Vojnar TomášUITSChaloupka JanNew Trends in Numerical Solutions of Differential Equations
2842013Vojnar TomášUITSPluháčková HanaDynamic Analysis and Intelligent Testing of Concurrent Programs -- co-supervised by dr. Z. Letko
2852013Zbořil František V.UITSSnášelová PetraChaotic behaviour of nonlinear dynamic systems
2862013Zemčík PavelUPGMKlíma OndřejReconstruction of 3D scene from images and/or video
2872013Zemčík PavelUPGMKoplík KarelGraphics and video processing on high performance computers
2882013Zemčík PavelUPGMKula MichalAcceleration of graphics and video processing in hardware
2892013Zemčík PavelUPGMZajíc JiříUser interfaces based on "eye tracking" and "body tracking"
2902012Černocký JanUPGMOn-line parameter identification of an aicraft
2912012Černocký JanUPGMOndel LucasSearch in speech using querying by example
2922012Černocký JanUPGMRydlo KarolHybrid Flight Control
2932012Češka MilanUITSFormal analysis and verification of systems specified by high-level visual languages
2942012Češka MilanUITSTermination analysis of programs with dynamic data structures
2952012Češka MilanUITSVerification methods based on integer programming.
2962012Drábek VladimírUPSYArchitecures for Highly Reliable Memories
2972012Fučík OttoUPSYDvořák MilanLow latency hardware architectures
2982012Hanáček PetrUITSHomoliak IvanIntrusion Detection in Network Traffic
2992012Herout AdamUPGMKobrtek JozefAdvanced Methods of Real-Time Rendering
3002012Herout AdamUPGMMilet TomášAdvanced Methods of Real-Time Rendering
PrevNext