Topics of PhD theses

»1-50« 51-100 101-150 151-200 201-250 251-300 301-350 351-384
 
# +Year Advisor Dept Title
11983Rábová ZdeňkaUIVTModelling of programming language semantics and using models in programming language implementation
21984Dvořák VáclavUPSYDesign automation tasks of decomposition and placement of ICs
31984Dvořák VáclavUPSYSolution of some problems in improving computer performance
41985Rábová ZdeňkaUITSTools for computer aided digital circuits design
51988Dvořák VáclavUPSYA contribution to electronic circuit design for a laser interferometer
61988Rábová ZdeňkaUITSObject model and its use in software construction
71989Dvořák VáclavUPSYDesign automation of microprocessor controllers with the use of Petri nets
81991Rábová ZdeňkaUITSKnowledge based discrete simulation
91992Češka MilanUITSPetri Nets and Objects
101992Dvořák VáclavUPSYSynthesis of low-cost decision diagrams
111992Honzík Jan M.UIFSMethods for Design of an Object-Oriented Database System
121992Hruška TomášUIFSModelling Program Semantics Using Graphs
131994Hruška TomášUIFSCategorical Framework for Object-Oriented Database Model
141994Hruška TomášUIFSFunctional Technology for Object-Oriented Modeling and Database
151994Hruška TomášUIFSParallel Programming Tools
161995Zendulka JaroslavUIFSSignature files
171996Švéda MiroslavUIFSFormal specifications of real-time systems
181996Zbořil František V.UITSPattern Recognition
191997Češka MilanUITSFormal Analysis over Object-Oriented Petri Nets
201997Češka MilanUITSThe Common Model for the Communication and Synchronization Primitives
211997Drábek VladimírUPSYA contribution to optimization techniques based on design space exploration during high level synthesis
221997Dvořák VáclavUPSYReconfigurable embedded systems
231997Hruška TomášUIFSAuthorization Model for Strongly Distributed Information Systems
241997Rábová ZdeňkaUITSHierarchical Modelling Based on Communicating Objects
251997Zbořil František V.UITSNeural Associative Memories
261998Hruška TomášUIFSObject-Based Information Systems
271998Švéda MiroslavUIFSFormal Descriptions and Verifications of a Class of Higher Protocols with Real-Time Constraints
281998Zbořil František V.UITSAdaptivní neuronové sítě
291998Zbořil František V.UITSSimulace šíření zvuku v prostoru
301998Zendulka JaroslavUIFSMethods of knowledge discovery in databases
311999Černocký JanUPGMContinuous speech recognition
321999Černocký JanUPGMSegmental methods in speech signal processing
331999Drábek VladimírUPSYComponent approach to evolvable systems
341999Kotásek ZdeněkUPSYFormal Approach to RTL Gigital Circuit Testability Analysis
352000Černocký JanUPGMAcoustic modeling in speech recognition
362000Češka MilanUITSMetody analýzy v objektově orientovaných Petriho
372000Dvořák VáclavUPSYPerformance Modeling and Prediction of Parallel Computing
382000Kotásek ZdeněkUPSYDigital circuit testability analysis and improvements at register-transfer level
392000Schwarz JosefUPSYNávrh meta-evolučního algoritmu pro řešení optimalizačních úloh
402000Zendulka JaroslavUIFSPodobnostní vyhledávání v multimediálních datech
412001Černocký JanUPGMPhoneme recognition based on long temporal context
422001Černocký JanUPGMStudy of Linear Transformations Applied to Training of Cross-Domain Adapted Large Vocabulary Continuous Speech Recognition Systems
432001Dvořák VáclavUPSYPerformance prediction and modeling of application-specific and configurable multiprocessor systems
442001Hruška TomášUIFSProject Definition and Controling in Object-Oriented Information Systems
452001Kotásek ZdeněkUPSYUplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
462001Kunovský JiříUITSStiff Systems of Differential Equations and Modern Taylor Series Method
472001Meduna AlexanderUIFSL systémy
482001Švéda MiroslavUIFSFormal Specifications and Verifications of Communication Protocols
492001Švéda MiroslavUIFSTools for Communication Protocols Evaluation
502001Zbořil František V.UITSBiometric Systems
 Next

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