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
3512009Herout AdamUPGMKajan RudolfProcessing Multimedia Data in Heterogeneous Distributed Environment
3522009Hruška TomášUIFSDolíhal LuděkTesting of generated C compilers for processors in embedded systems
3532009Chudý PeterUPGMDittrich PetrLight airplane flight parameter estimation
3542009Kolář DušanUIFSKřoustek JakubDebugging Tools for Optimized Code of VLIW Architectures
3552009Kreslíková JitkaUIFSZámečníková EvaDesign and optimization of autonomous algorithmic models for time series prediction
3562009Kunovský JiříUITSValenta VáclavA Posteriori Error Estimation Method for Partial Differential Equations Solution
3572009Meduna AlexanderUIFSHoráček PetrFormal Models of Natural Language Processing
3582009Sekanina LukášUPSYKorček PavolAcceleration of Road Traffic Simulation on FPGAs
3592009Schwarz JosefUPSYDistributed evolutionary algoritms
3602009Schwarz JosefUPSYEvolutionary algorithm based on new paradigms
3612009Smrž PavelUPGMDytrych JaroslavSemantic Annotation of Text
3622009Smrž PavelUPGMPolok LukášAccelerated Sparse Matrix Operations in Nonlinear Least Squares Solvers
3632009Švéda MiroslavUIFSGrégr MatějSecuring IPv6 networks
3642009Švéda MiroslavUIFSVeselý VladimírMulticast in IPv6
3652009Vojnar TomášUITSFiedor JanPractical Methods of Automated Verification of Concurrent Programs
3662009Zemčík PavelUPGMBařina DavidImage features extraction, image transformations
3672009Zemčík PavelUPGMSvoboda PavelVery demanding computations in graphics and image processing
3682009Zemčík PavelUPGMŠolony MarekAutomatic reconstruction of 3D scene from images
3692009Zendulka JaroslavUIFSŠebek MichalDolování víceúrovňových sekvenčních vzorů
3702008Češka MilanUITSVerification methods for OO programs
3712008Drábek VladimírUPSYApproaches to Acceleration of Montgomery Modular Division
3722008Drábek VladimírUPSYModelling of quorum finding in multiprocessor environment
3732008Drábek VladimírUPSYSafety and tolerance models in information systems
3742008Dvořák VáclavUPSYPuš ViktorPacket classification algorithms
3752008Herout AdamUPGMHavel JiříParameterizations of Lines for Hough Transform and Other Applications
3762008Hruška TomášUIFSMates VojtěchWorkflow models
3772008Kotásek ZdeněkUPSYKaštil JanOptimalizace algoritmů a datových struktur pro vyhledávání regulárních výrazů s využitím technologie FPGA
3782008Kreslíková JitkaUIFSSvojanovský PetrMethodology Risk Management in Information Security
3792008Meduna AlexanderUIFSČermák MartinFormal Systems Based on Automata and Grammars
3802008Meduna AlexanderUIFSKoutný JiříTwo-Dimensional Languages and Their Grammatical Processing
3812008Schwarz JosefUPSYEvolutionary algorithm based on new paradigms
3822008Švéda MiroslavUIFSDe Silva GayanNetwork-wide Security Analysis
3832008Vojnar TomášUITSKonečný FilipSymbolic Verification Based on Extended Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
3842008Vojnar TomášUITSLetko ZdeněkAnalysis and Sofisticated Testing of Concurrent Programs -- co-supervised by dr. B. Krena
3852008Vojnar TomášUITSŠimáček JiříSymbolic Verification Based on Finite Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
3862008Zbořil František V.UITSWinklerová ZdenkaSwarm Intelligence
3872008Zemčík PavelUPGMNavrátil JanAlgorithms of computer graphics
3882007Burget LukášUPGMPlchot OldřichSearch in spoken documents of non-standard languages
3892007Černocký JanUPGMFapšo MichalIndexing and search of spoken documents
3902007Černocký JanUPGMKockmann MarcelSubspace modeling of prosodic features for speaker verification
3912007Černocký JanUPGMMikolov TomášLanguage modeling and system integration for speech recognition in Czech
3922007Češka MilanUITSVirtual machines and dynamic translations
3932007Drahanský MartinUITSLodrová DanaSecurity of Biometric Systems
3942007Hanáček PetrUITSCode Integrity Protection
3952007Hanáček PetrUITSResiliency of Large Networks
3962007Herout AdamUPGMJošth RadovanExploitation of GPU in graphics and image processing algorithms
3972007Hruška TomášUIFSHusár AdamProgramming of reconfigurable systems using a higher programming language
3982007Hruška TomášUIFSPřikryl ZdeněkAdvanced Methods of Microprocessor Simulation
3992007Kunovský JiříUITSKopřiva JanSemi-analytical Computations and Continuous Systems Simulation
4002007Kunovský JiříUITSSehnalová PavlaStability and Convergence of Numerical computations
PrevNext