Topics of PhD theses

1-50 51-100 101-150 151-200 »201-250« 251-300 301-350 351-384
 
# -Year Advisor Dept Student Title
2012010Fučík OttoUPSYKadlček FilipDesign and optimisation of image classifiers
2022010Hanáček PetrUITSKačic MatejAnalysis of Attacks on Wireless Networks
2032010Herout AdamUPGMJuránková MarkétaDetection and Localization of Objects in Image and Video
2042010Kolář DušanUIFSĎurfina LukášGeneric Reverse Compilation to Recognize Specific Behavior
2052010Kotásek ZdeněkUPSYMičulka LukášMetoda návrhu systémů odolných proti poruchám do omezeného implementačního prostoru na bázi FPGA
2062010Meduna AlexanderUIFSZemek PetrTransformation of Formal Models
2072010Růžička RichardUPSYKošař VlastimilEfficient mapping of network algorithms onto the reconfigurable devices
2082010Sekanina LukášUPSYMinařík MilošEvolutionary design and optimization of microprogrammed architectures
2092010Švéda MiroslavUIFSPolčák LiborArchitecture and security of lawful interception systems
2102010Vojnar TomášUITSLengál OndřejEfficient Algorithms for Using Automata in Infinite-State Verification -- co-supervised by dr. L. Holik
2112010Zemčík PavelUPGMPřibyl BronislavReconstruction of 3D scene from images and/or video
2122010Zendulka JaroslavUIFSZelený JanWeb page segmentation
2132009Burget LukášUPGMHannemann MirkoFinite-state based recognition networks for forward-backward speech decoding
2142009Drahanský MartinUITSHájek JosefImaging system for iris and retina
2152009Hanáček PetrUITSBarabas MarošSecurity analysis of network traffic using behavioral signatures
2162009Hanáček PetrUITSHenzl MartinSecurity Protocols for Wireless Networks
2172009Hanáček PetrUITSJurnečka PeterDesign Patterns for Parallel and Distributed Systems
2182009Herout AdamUPGMKajan RudolfProcessing Multimedia Data in Heterogeneous Distributed Environment
2192009Hruška TomášUIFSDolíhal LuděkTesting of generated C compilers for processors in embedded systems
2202009Chudý PeterUPGMDittrich PetrLight airplane flight parameter estimation
2212009Kolář DušanUIFSKřoustek JakubDebugging Tools for Optimized Code of VLIW Architectures
2222009Kreslíková JitkaUIFSZámečníková EvaDesign and optimization of autonomous algorithmic models for time series prediction
2232009Kunovský JiříUITSValenta VáclavA Posteriori Error Estimation Method for Partial Differential Equations Solution
2242009Meduna AlexanderUIFSHoráček PetrFormal Models of Natural Language Processing
2252009Sekanina LukášUPSYKorček PavolAcceleration of Road Traffic Simulation on FPGAs
2262009Smrž PavelUPGMDytrych JaroslavSemantic Annotation of Text
2272009Smrž PavelUPGMPolok LukášAccelerated Sparse Matrix Operations in Nonlinear Least Squares Solvers
2282009Švéda MiroslavUIFSGrégr MatějSecuring IPv6 networks
2292009Švéda MiroslavUIFSVeselý VladimírMulticast in IPv6
2302009Vojnar TomášUITSFiedor JanPractical Methods of Automated Verification of Concurrent Programs
2312009Zemčík PavelUPGMBařina DavidImage features extraction, image transformations
2322009Zemčík PavelUPGMSvoboda PavelVery demanding computations in graphics and image processing
2332009Zemčík PavelUPGMŠolony MarekAutomatic reconstruction of 3D scene from images
2342009Zendulka JaroslavUIFSŠebek MichalDolování víceúrovňových sekvenčních vzorů
2352008Dvořák VáclavUPSYPuš ViktorPacket classification algorithms
2362008Herout AdamUPGMHavel JiříParameterizations of Lines for Hough Transform and Other Applications
2372008Hruška TomášUIFSMates VojtěchWorkflow models
2382008Kotá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
2392008Kreslíková JitkaUIFSSvojanovský PetrMethodology Risk Management in Information Security
2402008Meduna AlexanderUIFSČermák MartinFormal Systems Based on Automata and Grammars
2412008Meduna AlexanderUIFSKoutný JiříTwo-Dimensional Languages and Their Grammatical Processing
2422008Švéda MiroslavUIFSDe Silva GayanNetwork-wide Security Analysis
2432008Vojnar TomášUITSKonečný FilipSymbolic Verification Based on Extended Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
2442008Vojnar TomášUITSLetko ZdeněkAnalysis and Sofisticated Testing of Concurrent Programs -- co-supervised by dr. B. Krena
2452008Vojnar TomášUITSŠimáček JiříSymbolic Verification Based on Finite Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
2462008Zbořil František V.UITSWinklerová ZdenkaSwarm Intelligence
2472008Zemčík PavelUPGMNavrátil JanAlgorithms of computer graphics
2482007Burget LukášUPGMPlchot OldřichSearch in spoken documents of non-standard languages
2492007Černocký JanUPGMFapšo MichalIndexing and search of spoken documents
2502007Černocký JanUPGMKockmann MarcelSubspace modeling of prosodic features for speaker verification
PrevNext

Vaše IPv4 adresa: 54.234.228.78
Přepnout na IPv6 spojení

DNSSEC [dnssec]