Topics of PhD theses

1-50 51-100 101-150 151-200 201-250 251-300 »301-350« 351-361
 
# Year Advisor Dept +Title
3012011Sekanina LukášUPSYSoftcomputing methods in traffic systems
3022006Kreslíková JitkaUIFSSoftware Engineering Measurement
3032014Kreslíková JitkaUIFSSoftware Engineering Metrics
3042013Kořenek JanUPSYSoftware-Controlled Net Traffic Monitoring
3051984Dvořák VáclavUPSYSolution of some problems in improving computer performance
3062003Meduna AlexanderUIFSSpecifikation and Translation of Languages by Systems of Formal Models
3072018Černocký JanUPGMSpeech data mining
3082016Černocký JanUPGMSpeech data mining from distant icrophones
3092017Burget LukášUPGMSpoken message aware speaker recognition
3102007Kunovský JiříUITSStability and Convergence of Numerical computations
3112017Vojnar TomášUITSStatic Analysis and Bug Finding in Software
3122015Vojnar TomášUITSStatic Analysis of Heap-Manipulating Programs -- co-supervised by dr. L. Holik
3132016Vojnar TomášUITSStatic Analysis of Programs with Complex Control and/or Data Structures
3142018Vojnar TomášUITSStatic Formal Analysis of Programs with Advanced Data and Control Structures
3152006Kunovský JiříUITSStiff systems
3162001Kunovský JiříUITSStiff Systems of Differential Equations and Modern Taylor Series Method
3172001Černocký JanUPGMStudy of Linear Transformations Applied to Training of Cross-Domain Adapted Large Vocabulary Continuous Speech Recognition Systems
3182007Černocký JanUPGMSubspace modeling of prosodic features for speaker verification
3192008Zbořil František V.UITSSwarm Intelligence
3202008Vojnar TomášUITSSymbolic Verification Based on Extended Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
3212008Vojnar TomášUITSSymbolic Verification Based on Finite Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
3222012Kotásek ZdeněkUPSYSynchronizace systému odolného proti poruchám po vzniku poruchy a její opravě
3231992Dvořák VáclavUPSYSynthesis of low-cost decision diagrams
3242018Vojnar TomášUITSSynthesis of Stochastic Models
3252018Meduna AlexanderUIFSSystems based on regulated automata and grammars
3262004Hruška TomášUIFSSystems for hardware-software co-design
3272015Meduna AlexanderUIFSSystems of Formal Models
3282004Kotásek ZdeněkUPSYTest Application Methodology Based On the Identification of Testable Cores
3292009Hruška TomášUIFSTesting of generated C compilers for processors in embedded systems
3301997Češka MilanUITSThe Common Model for the Communication and Synchronization Primitives
3312004Kotásek ZdeněkUPSYThe Optimization of Low Power Test Application for Digital Systems
3322014Drahanský MartinUITSTheoretical and Experimental Determination of Information Amount in Eye Biometric Characteristics
3332017Ryšavý OndřejUIFSThreat Intelligence and Situational Awareness
3342003Kotásek ZdeněkUPSYTools and methods for automated generating of benchmark circuits
3352001Švéda MiroslavUIFSTools for Communication Protocols Evaluation
3361985Rábová ZdeňkaUITSTools for computer aided digital circuits design
3372010Meduna AlexanderUIFSTransformation of Formal Models
3382008Meduna AlexanderUIFSTwo-Dimensional Languages and Their Grammatical Processing
3392017Kolář DušanUIFSTypová inference pro netypované/dynamické programovací jazyky
3402013Růžička RichardUPSYUnconventional Technologies for Digital Systems
3412013Růžička RichardUPSYUnconventional Technologies for Digital Systems
3422013Růžička RichardUPSYUnconventional Technologies for Digital Systems
3432015Růžička RichardUPSYUnconventional Technologies for Digital Systems Implementation
3442014Smrž PavelUPGMUnderstanding Complex Hierarchical Decisions in Deep Machine Learning Architectures
3452001Kotásek ZdeněkUPSYUplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
3462011Kořenek JanUPSYUse of reconfigurable circuits in computer networks
3472013Zemčík PavelUPGMUser interfaces based on "eye tracking" and "body tracking"
3482012Zemčík PavelUPGMUser interfaces based on "eye tracking" and "body tracking"
3492014Beran VítězslavUPGMUser interfaces based on non-contact technologies
3502003Vojnar TomášUITSVerification of Modern Hardware Systems
PrevNext

Vaše IPv4 adresa: 34.204.175.38