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-533
 
# -Year Advisor Dept Student Title
3512009Sekanina LukášUPSYKorček PavolAcceleration of Road Traffic Simulation on FPGAs
3522009Schwarz JosefUPSYDistributed evolutionary algoritms
3532009Schwarz JosefUPSYEvolutionary algorithm based on new paradigms
3542009Smrž PavelUPGMDytrych JaroslavSemantic Annotation of Text
3552009Smrž PavelUPGMPolok LukášAccelerated Sparse Matrix Operations in Nonlinear Least Squares Solvers
3562009Švéda MiroslavUIFSGrégr MatějSecuring IPv6 networks
3572009Švéda MiroslavUIFSVeselý VladimírMulticast in IPv6
3582009Vojnar TomášUITSFiedor JanPractical Methods of Automated Verification of Concurrent Programs
3592009Zemčík PavelUPGMBařina DavidImage features extraction, image transformations
3602009Zemčík PavelUPGMSvoboda PavelVery demanding computations in graphics and image processing
3612009Zemčík PavelUPGMŠolony MarekAutomatic reconstruction of 3D scene from images
3622009Zendulka JaroslavUIFSŠebek MichalDolování víceúrovňových sekvenčních vzorů
3632008Češka MilanUITSVerification methods for OO programs
3642008Drábek VladimírUPSYApproaches to Acceleration of Montgomery Modular Division
3652008Drábek VladimírUPSYModelling of quorum finding in multiprocessor environment
3662008Drábek VladimírUPSYSafety and tolerance models in information systems
3672008Dvořák VáclavUPSYPuš ViktorPacket classification algorithms
3682008Herout AdamUPGMHavel JiříParameterizations of Lines for Hough Transform and Other Applications
3692008Hruška TomášUIFSMates VojtěchWorkflow models
3702008Kotá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
3712008Kreslíková JitkaUIFSSvojanovský PetrMethodology Risk Management in Information Security
3722008Meduna AlexanderUIFSČermák MartinFormal Systems Based on Automata and Grammars
3732008Meduna AlexanderUIFSKoutný JiříTwo-Dimensional Languages and Their Grammatical Processing
3742008Schwarz JosefUPSYEvolutionary algorithm based on new paradigms
3752008Švéda MiroslavUIFSDe Silva GayanNetwork-wide Security Analysis
3762008Vojnar TomášUITSKonečný FilipSymbolic Verification Based on Extended Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
3772008Vojnar TomášUITSLetko ZdeněkAnalysis and Sofisticated Testing of Concurrent Programs -- co-supervised by dr. B. Krena
3782008Vojnar TomášUITSŠimáček JiříSymbolic Verification Based on Finite Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
3792008Zbořil František V.UITSWinklerová ZdenkaSwarm Intelligence
3802008Zemčík PavelUPGMNavrátil JanAlgorithms of computer graphics
3812007Burget LukášUPGMPlchot OldřichSearch in spoken documents of non-standard languages
3822007Černocký JanUPGMFapšo MichalIndexing and search of spoken documents
3832007Černocký JanUPGMKockmann MarcelSubspace modeling of prosodic features for speaker verification
3842007Černocký JanUPGMMikolov TomášLanguage modeling and system integration for speech recognition in Czech
3852007Češka MilanUITSVirtual machines and dynamic translations
3862007Drahanský MartinUITSLodrová DanaSecurity of Biometric Systems
3872007Hanáček PetrUITSCode Integrity Protection
3882007Hanáček PetrUITSResiliency of Large Networks
3892007Herout AdamUPGMJošth RadovanExploitation of GPU in graphics and image processing algorithms
3902007Hruška TomášUIFSHusár AdamProgramming of reconfigurable systems using a higher programming language
3912007Hruška TomášUIFSPřikryl ZdeněkAdvanced Methods of Microprocessor Simulation
3922007Kunovský JiříUITSKopřiva JanSemi-analytical Computations and Continuous Systems Simulation
3932007Kunovský JiříUITSSehnalová PavlaStability and Convergence of Numerical computations
3942007Sekanina LukášUPSYŽádník MartinModelování a optimalizace monitorování síťových toků
3952007Zbořil František V.UITSDvořák RadimPhysical Modelling and Simulation
3962007Zemčík PavelUPGMHradiš MichalRaster image recognition algorithms
3972007Zemčík PavelUPGMJuránek RomanRaster image recognition algorithms
3982007Zemčík PavelUPGMŘezníček IvoVideo processing
3992006Hanáček PetrUITSPecho PeterSecure Hardware Devices
4002006Hanáček PetrUITSSamek JanDistributed Trusted Computing
PrevNext