Topics of PhD theses

1-50 51-100 101-150 151-200 »201-250« 251-300 301-350 351-361
 
# -Year Advisor Dept Title
2012009Meduna AlexanderUIFSFormal Models of Natural Language Processing
2022009Sekanina LukášUPSYAcceleration of Road Traffic Simulation on FPGAs
2032009Smrž PavelUPGMAccelerated Sparse Matrix Operations in Nonlinear Least Squares Solvers
2042009Smrž PavelUPGMSemantic Annotation of Text
2052009Švéda MiroslavUIFSMulticast in IPv6
2062009Švéda MiroslavUIFSSecuring IPv6 networks
2072009Vojnar TomášUITSPractical Methods of Automated Verification of Concurrent Programs
2082009Zemčík PavelUPGMAutomatic reconstruction of 3D scene from images
2092009Zemčík PavelUPGMImage features extraction, image transformations
2102009Zemčík PavelUPGMVery demanding computations in graphics and image processing
2112009Zendulka JaroslavUIFSDolování víceúrovňových sekvenčních vzorů
2122008Dvořák VáclavUPSYPacket classification algorithms
2132008Herout AdamUPGMParameterizations of Lines for Hough Transform and Other Applications
2142008Hruška TomášUIFSWorkflow models
2152008Kotásek ZdeněkUPSYOptimalizace algoritmů a datových struktur pro vyhledávání regulárních výrazů s využitím technologie FPGA
2162008Kreslíková JitkaUIFSMethodology Risk Management in Information Security
2172008Meduna AlexanderUIFSFormal Systems Based on Automata and Grammars
2182008Meduna AlexanderUIFSTwo-Dimensional Languages and Their Grammatical Processing
2192008Švéda MiroslavUIFSNetwork-wide Security Analysis
2202008Vojnar TomášUITSAnalysis and Sofisticated Testing of Concurrent Programs -- co-supervised by dr. B. Krena
2212008Vojnar TomášUITSSymbolic Verification Based on Extended Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
2222008Vojnar TomášUITSSymbolic Verification Based on Finite Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
2232008Zbořil František V.UITSSwarm Intelligence
2242008Zemčík PavelUPGMAlgorithms of computer graphics
2252007Burget LukášUPGMSearch in spoken documents of non-standard languages
2262007Černocký JanUPGMIndexing and search of spoken documents
2272007Černocký JanUPGMLanguage modeling and system integration for speech recognition in Czech
2282007Černocký JanUPGMSubspace modeling of prosodic features for speaker verification
2292007Drahanský MartinUITSSecurity of Biometric Systems
2302007Herout AdamUPGMExploitation of GPU in graphics and image processing algorithms
2312007Hruška TomášUIFSAdvanced Methods of Microprocessor Simulation
2322007Hruška TomášUIFSProgramming of reconfigurable systems using a higher programming language
2332007Kunovský JiříUITSSemi-analytical Computations and Continuous Systems Simulation
2342007Kunovský JiříUITSStability and Convergence of Numerical computations
2352007Sekanina LukášUPSYModelování a optimalizace monitorování síťových toků
2362007Zbořil František V.UITSPhysical Modelling and Simulation
2372007Zemčík PavelUPGMRaster image recognition algorithms
2382007Zemčík PavelUPGMRaster image recognition algorithms
2392007Zemčík PavelUPGMVideo processing
2402006Hanáček PetrUITSDistributed Trusted Computing
2412006Hanáček PetrUITSSecure Hardware Devices
2422006Kotásek ZdeněkUPSYMethodology of highly reliable systems
2432006Kreslíková JitkaUIFSSoftware Engineering Measurement
2442006Kunovský JiříUITSParallel Computer Systems Based on Numerical Integrations
2452006Kunovský JiříUITSStiff systems
2462006Meduna AlexanderUIFSRegulated Formal Models
2472006Sekanina LukášUPSYMethods of Digital System Design for Evolvabilty
2482006Vojnar TomášUITSFormal Verification of Software Using the Automata Theory
2492006Zemčík PavelUPGMLocation-aware data transfers scheduling for distributed virtual walkthrough applications
2502005Burget LukášUPGMSemantically supported search of keywords in speech data
PrevNext

Vaše IPv4 adresa: 18.204.2.53
Přepnout na https