Topics of PhD theses

1-50 51-100 101-150 151-200 »201-250« 251-300 301-350 351-359
 
# -Year Advisor Dept Student Title
2012009Smrž PavelUPGMDytrych JaroslavSemantic Annotation of Text
2022009Smrž PavelUPGMPolok LukášAccelerated Sparse Matrix Operations in Nonlinear Least Squares Solvers
2032009Švéda MiroslavUIFSGrégr MatějSecuring IPv6 networks
2042009Švéda MiroslavUIFSVeselý VladimírMulticast in IPv6
2052009Vojnar TomášUITSFiedor JanPractical Methods of Automated Verification of Concurrent Programs
2062009Zemčík PavelUPGMBařina DavidImage features extraction, image transformations
2072009Zemčík PavelUPGMSvoboda PavelVery demanding computations in graphics and image processing
2082009Zemčík PavelUPGMŠolony MarekAutomatic reconstruction of 3D scene from images
2092009Zendulka JaroslavUIFSŠebek MichalDolování víceúrovňových sekvenčních vzorů
2102008Dvořák VáclavUPSYPuš ViktorPacket classification algorithms
2112008Herout AdamUPGMHavel JiříParameterizations of Lines for Hough Transform and Other Applications
2122008Hruška TomášUIFSMates VojtěchWorkflow models
2132008Kotá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
2142008Kreslíková JitkaUIFSSvojanovský PetrMethodology Risk Management in Information Security
2152008Meduna AlexanderUIFSČermák MartinFormal Systems Based on Automata and Grammars
2162008Meduna AlexanderUIFSKoutný JiříTwo-Dimensional Languages and Their Grammatical Processing
2172008Švéda MiroslavUIFSDe Silva GayanNetwork-wide Security Analysis
2182008Vojnar TomášUITSKonečný FilipSymbolic Verification Based on Extended Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
2192008Vojnar TomášUITSLetko ZdeněkAnalysis and Sofisticated Testing of Concurrent Programs -- co-supervised by dr. B. Krena
2202008Vojnar TomášUITSŠimáček JiříSymbolic Verification Based on Finite Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
2212008Zbořil František V.UITSWinklerová ZdenkaSwarm Intelligence
2222008Zemčík PavelUPGMNavrátil JanAlgorithms of computer graphics
2232007Burget LukášUPGMPlchot OldřichSearch in spoken documents of non-standard languages
2242007Černocký JanUPGMFapšo MichalIndexing and search of spoken documents
2252007Černocký JanUPGMKockmann MarcelSubspace modeling of prosodic features for speaker verification
2262007Černocký JanUPGMMikolov TomášLanguage modeling and system integration for speech recognition in Czech
2272007Drahanský MartinUITSLodrová DanaSecurity of Biometric Systems
2282007Herout AdamUPGMJošth RadovanExploitation of GPU in graphics and image processing algorithms
2292007Hruška TomášUIFSHusár AdamProgramming of reconfigurable systems using a higher programming language
2302007Hruška TomášUIFSPřikryl ZdeněkAdvanced Methods of Microprocessor Simulation
2312007Kunovský JiříUITSKopřiva JanSemi-analytical Computations and Continuous Systems Simulation
2322007Kunovský JiříUITSSehnalová PavlaStability and Convergence of Numerical computations
2332007Sekanina LukášUPSYŽádník MartinModelování a optimalizace monitorování síťových toků
2342007Zbořil František V.UITSDvořák RadimPhysical Modelling and Simulation
2352007Zemčík PavelUPGMHradiš MichalRaster image recognition algorithms
2362007Zemčík PavelUPGMJuránek RomanRaster image recognition algorithms
2372007Zemčík PavelUPGMŘezníček IvoVideo processing
2382006Hanáček PetrUITSPecho PeterSecure Hardware Devices
2392006Hanáček PetrUITSSamek JanDistributed Trusted Computing
2402006Kotásek ZdeněkUPSYStraka MartinMethodology of highly reliable systems
2412006Kreslíková JitkaUIFSSedláčková JanaSoftware Engineering Measurement
2422006Kunovský JiříUITSKraus MichalParallel Computer Systems Based on Numerical Integrations
2432006Kunovský JiříUITSŠátek VáclavStiff systems
2442006Meduna AlexanderUIFSRychnovský LukášRegulated Formal Models
2452006Sekanina LukášUPSYVašíček ZdeněkMethods of Digital System Design for Evolvabilty
2462006Vojnar TomášUITSHolík LukášFormal Verification of Software Using the Automata Theory
2472006Zemčík PavelUPGMPřibyl JaroslavLocation-aware data transfers scheduling for distributed virtual walkthrough applications
2482005Burget LukášUPGMGlembek OndřejSemantically supported search of keywords in speech data
2492005Češka MilanUITSPolášek PetrModelling of heterogeneous systems
2502005Hanáček PetrUITSMalinka KamilBehavioural Patterns in Computer Security
PrevNext

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

DNSSEC [dnssec]