Topics of PhD theses

»1-50« 51-100 101-150 151-200 201-250 251-300 301-350 351-400 401-450 451-500 501-541
 
# +Year Advisor Dept Student Title
11983Rábová ZdeňkaUIVTHruška TomášModelling of programming language semantics and using models in programming language implementation
21984Dvořák VáclavUPSYEysselt MilošSolution of some problems in improving computer performance
31984Dvořák VáclavUPSYSchwarz JosefDesign automation tasks of decomposition and placement of ICs
41985Rábová ZdeňkaUITSKastner AlešTools for computer aided digital circuits design
51988Dvořák VáclavUPSYStejskal AloisA contribution to electronic circuit design for a laser interferometer
61988Rábová ZdeňkaUITSMáčel MichalObject model and its use in software construction
71989Dvořák VáclavUPSYPelikán PetrDesign automation of microprocessor controllers with the use of Petri nets
81991Rábová ZdeňkaUITSMasár LubomírKnowledge based discrete simulation
91992Češka MilanUITSJanoušek VladimírPetri Nets and Objects
101992Dvořák VáclavUPSYŠustr JaroslavSynthesis of low-cost decision diagrams
111992Honzík Jan M.UIFSObluk KarelMethods for Design of an Object-Oriented Database System
121992Hruška TomášUIFSBeneš MiroslavModelling Program Semantics Using Graphs
131994Hruška TomášUIFSKolář DušanFunctional Technology for Object-Oriented Modeling and Database
141994Hruška TomášUIFSKolenčík PetrCategorical Framework for Object-Oriented Database Model
151994Hruška TomášUIFSPřikryl PetrParallel Programming Tools
161995Zendulka JaroslavUIFSKorčák ZdeněkSignature files
171996Švéda MiroslavUIFSJankovský MichalFormal specifications of real-time systems
181996Zbořil František V.UITSDobeš MichalPattern Recognition
191997Češka MilanUITSHanáček PetrThe Common Model for the Communication and Synchronization Primitives
201997Češka MilanUITSVojnar TomášFormal Analysis over Object-Oriented Petri Nets
211997Drábek VladimírUPSYSllame M. AzeddienA contribution to optimization techniques based on design space exploration during high level synthesis
221997Dvořák VáclavUPSYFučík OttoReconfigurable embedded systems
231997Hruška TomášUIFSCvrček DanielAuthorization Model for Strongly Distributed Information Systems
241997Rábová ZdeňkaUITSPeringer PetrHierarchical Modelling Based on Communicating Objects
251997Zbořil František V.UITSGrebeníček FrantišekNeural Associative Memories
261998Hruška TomášUIFSSmolík PetrObject-Based Information Systems
271998Švéda MiroslavUIFSMatoušek PetrFormal Descriptions and Verifications of a Class of Higher Protocols with Real-Time Constraints
281998Zbořil František V.UITSArnošt VladimírSimulace šíření zvuku v prostoru
291998Zbořil František V.UITSOndráček TomášAdaptivní neuronové sítě
301998Zendulka JaroslavUIFSKotásek PetrMethods of knowledge discovery in databases
311999Černocký JanUPGMBurget LukášContinuous speech recognition
321999Černocký JanUPGMMotlíček PetrSegmental methods in speech signal processing
331999Drábek VladimírUPSYSekanina LukášComponent approach to evolvable systems
341999Hruška TomášUIFSAcceleration of Multimedia Codecs on Application Processors
351999Hruška TomášUIFSAdvanced simulation techniques of system services and processes
361999Hruška TomášUIFSAutomatic Searching of Instruction Extensions for Application Processors
371999Hruška TomášUIFSProgramming of multi-core systems
381999Hruška TomášUIFSRetargetable C/C++ Compiler for VLIW Architectures
391999Hruška TomášUIFSTransformation techniques form C to HDL
401999Kotásek ZdeněkUPSYRůžička RichardFormal Approach to RTL Gigital Circuit Testability Analysis
412000Černocký JanUPGMGrézl FrantišekAcoustic modeling in speech recognition
422000Češka MilanUITSKřena BohuslavMetody analýzy v objektově orientovaných Petriho
432000Dvořák VáclavUPSYStaroba JiříPerformance Modeling and Prediction of Parallel Computing
442000Kotásek ZdeněkUPSYStrnadel JosefDigital circuit testability analysis and improvements at register-transfer level
452000Schwarz JosefUPSYOčenášek JiříNávrh meta-evolučního algoritmu pro řešení optimalizačních úloh
462000Zendulka JaroslavUIFSKubíček VladislavPodobnostní vyhledávání v multimediálních datech
472001Černocký JanUPGMKarafiát MartinStudy of Linear Transformations Applied to Training of Cross-Domain Adapted Large Vocabulary Continuous Speech Recognition Systems
482001Černocký JanUPGMSchwarz PetrPhoneme recognition based on long temporal context
492001Dvořák VáclavUPSYKutálek VladimírPerformance prediction and modeling of application-specific and configurable multiprocessor systems
502001Hruška TomášUIFSGüttner JakubProject Definition and Controling in Object-Oriented Information Systems
 Next