Topics of PhD theses

»1-50« 51-100 101-150 151-200 201-250 251-300 301-350 351-369
 
# +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
341999Kotásek ZdeněkUPSYRůžička RichardFormal Approach to RTL Gigital Circuit Testability Analysis
352000Černocký JanUPGMGrézl FrantišekAcoustic modeling in speech recognition
362000Češka MilanUITSKřena BohuslavMetody analýzy v objektově orientovaných Petriho
372000Dvořák VáclavUPSYStaroba JiříPerformance Modeling and Prediction of Parallel Computing
382000Kotásek ZdeněkUPSYStrnadel JosefDigital circuit testability analysis and improvements at register-transfer level
392000Schwarz JosefUPSYOčenášek JiříNávrh meta-evolučního algoritmu pro řešení optimalizačních úloh
402000Zendulka JaroslavUIFSKubíček VladislavPodobnostní vyhledávání v multimediálních datech
412001Černocký JanUPGMKarafiát MartinStudy of Linear Transformations Applied to Training of Cross-Domain Adapted Large Vocabulary Continuous Speech Recognition Systems
422001Černocký JanUPGMSchwarz PetrPhoneme recognition based on long temporal context
432001Dvořák VáclavUPSYKutálek VladimírPerformance prediction and modeling of application-specific and configurable multiprocessor systems
442001Hruška TomášUIFSGüttner JakubProject Definition and Controling in Object-Oriented Information Systems
452001Kotásek ZdeněkUPSYMika DanielUplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
462001Kunovský JiříUITSŘezáč DavidStiff Systems of Differential Equations and Modern Taylor Series Method
472001Meduna AlexanderUIFSKolka MilanL systémy
482001Švéda MiroslavUIFSRyšavý OndřejFormal Specifications and Verifications of Communication Protocols
492001Švéda MiroslavUIFSŠčuglík FrantišekTools for Communication Protocols Evaluation
502001Zbořil František V.UITSDrahanský MartinBiometrické systémy
 Next

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

DNSSEC [dnssec]