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
4012009Hanáček PetrUITSBarabas MarošSecurity analysis of network traffic using behavioral signatures
4022009Hanáček PetrUITSHenzl MartinSecurity Protocols for Wireless Networks
4032009Hanáček PetrUITSJurnečka PeterDesign Patterns for Parallel and Distributed Systems
4042009Herout AdamUPGMKajan RudolfProcessing Multimedia Data in Heterogeneous Distributed Environment
4052009Hruška TomášUIFSDolíhal LuděkTesting of generated C compilers for processors in embedded systems
4062009Chudý PeterUPGMDittrich PetrLight airplane flight parameter estimation
4072009Kolář DušanUIFSKřoustek JakubDebugging Tools for Optimized Code of VLIW Architectures
4082009Kreslíková JitkaUIFSZámečníková EvaDesign and optimization of autonomous algorithmic models for time series prediction
4092009Kunovský JiříUITSValenta VáclavA Posteriori Error Estimation Method for Partial Differential Equations Solution
4102009Meduna AlexanderUIFSHoráček PetrFormal Models of Natural Language Processing
4112009Sekanina LukášUPSYKorček PavolAcceleration of Road Traffic Simulation on FPGAs
4122009Schwarz JosefUPSYDistributed evolutionary algoritms
4132009Schwarz JosefUPSYEvolutionary algorithm based on new paradigms
4142009Smrž PavelUPGMDytrych JaroslavSemantic Annotation of Text
4152009Smrž PavelUPGMPolok LukášAccelerated Sparse Matrix Operations in Nonlinear Least Squares Solvers
4162009Švéda MiroslavUIFSGrégr MatějSecuring IPv6 networks
4172009Švéda MiroslavUIFSVeselý VladimírMulticast in IPv6
4182009Vojnar TomášUITSFiedor JanPractical Methods of Automated Verification of Concurrent Programs
4192009Zemčík PavelUPGMBařina DavidImage features extraction, image transformations
4202009Zemčík PavelUPGMSvoboda PavelVery demanding computations in graphics and image processing
4212009Zemčík PavelUPGMŠolony MarekAutomatic reconstruction of 3D scene from images
4222009Zendulka JaroslavUIFSŠebek MichalDolování víceúrovňových sekvenčních vzorů
4232008Češka MilanUITSVerification methods for OO programs
4242008Drábek VladimírUPSYApproaches to Acceleration of Montgomery Modular Division
4252008Drábek VladimírUPSYModelling of quorum finding in multiprocessor environment
4262008Drábek VladimírUPSYSafety and tolerance models in information systems
4272008Dvořák VáclavUPSYPuš ViktorPacket classification algorithms
4282008Hanáček PetrUITSRichta TomášDynamic Object Oriented Geospatial Modelling
4292008Herout AdamUPGMHavel JiříParameterizations of Lines for Hough Transform and Other Applications
4302008Hruška TomášUIFSMates VojtěchWorkflow models
4312008Kotá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
4322008Kreslíková JitkaUIFSSvojanovský PetrMethodology Risk Management in Information Security
4332008Meduna AlexanderUIFSČermák MartinFormal Systems Based on Automata and Grammars
4342008Meduna AlexanderUIFSKoutný JiříTwo-Dimensional Languages and Their Grammatical Processing
4352008Schwarz JosefUPSYEvolutionary algorithm based on new paradigms
4362008Švéda MiroslavUIFSDe Silva GayanNetwork-wide Security Analysis
4372008Vojnar TomášUITSKonečný FilipSymbolic Verification Based on Extended Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
4382008Vojnar TomášUITSLetko ZdeněkAnalysis and Sofisticated Testing of Concurrent Programs -- co-supervised by dr. B. Krena
4392008Vojnar TomášUITSŠimáček JiříSymbolic Verification Based on Finite Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
4402008Zbořil František V.UITSWinklerová ZdenkaSwarm Intelligence
4412008Zemčík PavelUPGMNavrátil JanAlgorithms of computer graphics
4422007Burget LukášUPGMPlchot OldřichSearch in spoken documents of non-standard languages
4432007Černocký JanUPGMFapšo MichalIndexing and search of spoken documents
4442007Černocký JanUPGMKockmann MarcelSubspace modeling of prosodic features for speaker verification
4452007Černocký JanUPGMMikolov TomášLanguage modeling and system integration for speech recognition in Czech
4462007Češka MilanUITSVirtual machines and dynamic translations
4472007Drahanský MartinUITSLodrová DanaSecurity of Biometric Systems
4482007Hanáček PetrUITSCode Integrity Protection
4492007Hanáček PetrUITSResiliency of Large Networks
4502007Herout AdamUPGMJošth RadovanExploitation of GPU in graphics and image processing algorithms
PrevNext