Topics of PhD theses

1-500 501-550 »551-592«
 
# -Year Advisor Dept Student Title
5512000Schwarz JosefUPSYOčenášek JiříNávrh meta-evolučního algoritmu pro řešení optimalizačních úloh
5522000Zendulka JaroslavUIFSKubíček VladislavPodobnostní vyhledávání v multimediálních datech
5531999Černocký JanUPGMBurget LukášContinuous speech recognition
5541999Černocký JanUPGMMotlíček PetrSegmental methods in speech signal processing
5551999Drábek VladimírUPSYSekanina LukášComponent approach to evolvable systems
5561999Hruška TomášUIFSAcceleration of Multimedia Codecs on Application Processors
5571999Hruška TomášUIFSAdvanced simulation techniques of system services and processes
5581999Hruška TomášUIFSAutomatic Searching of Instruction Extensions for Application Processors
5591999Hruška TomášUIFSProgramming of multi-core systems
5601999Hruška TomášUIFSRetargetable C/C++ Compiler for VLIW Architectures
5611999Hruška TomášUIFSTransformation techniques form C to HDL
5621999Kotásek ZdeněkUPSYRůžička RichardFormal Approach to RTL Gigital Circuit Testability Analysis
5631998Hruška TomášUIFSSmolík PetrObject-Based Information Systems
5641998Švéda MiroslavUIFSMatoušek PetrFormal Descriptions and Verifications of a Class of Higher Protocols with Real-Time Constraints
5651998Zbořil František V.UITSArnošt VladimírSimulace šíření zvuku v prostoru
5661998Zbořil František V.UITSOndráček TomášAdaptivní neuronové sítě
5671998Zendulka JaroslavUIFSKotásek PetrMethods of knowledge discovery in databases
5681997Češka MilanUITSHanáček PetrThe Common Model for the Communication and Synchronization Primitives
5691997Češka MilanUITSVojnar TomášFormal Analysis over Object-Oriented Petri Nets
5701997Drábek VladimírUPSYSllame M. AzeddienA contribution to optimization techniques based on design space exploration during high level synthesis
5711997Dvořák VáclavUPSYFučík OttoReconfigurable embedded systems
5721997Hruška TomášUIFSCvrček DanielAuthorization Model for Strongly Distributed Information Systems
5731997Rábová ZdeňkaUITSPeringer PetrHierarchical Modelling Based on Communicating Objects
5741997Zbořil František V.UITSGrebeníček FrantišekNeural Associative Memories
5751996Švéda MiroslavUIFSJankovský MichalFormal specifications of real-time systems
5761996Zbořil František V.UITSDobeš MichalPattern Recognition
5771995Zendulka JaroslavUIFSKorčák ZdeněkSignature files
5781994Hruška TomášUIFSKolář DušanFunctional Technology for Object-Oriented Modeling and Database
5791994Hruška TomášUIFSKolenčík PetrCategorical Framework for Object-Oriented Database Model
5801994Hruška TomášUIFSPřikryl PetrParallel Programming Tools
5811992Češka MilanUITSJanoušek VladimírPetri Nets and Objects
5821992Dvořák VáclavUPSYŠustr JaroslavSynthesis of low-cost decision diagrams
5831992Honzík Jan M.UIFSObluk KarelMethods for Design of an Object-Oriented Database System
5841992Hruška TomášUIFSBeneš MiroslavModelling Program Semantics Using Graphs
5851991Rábová ZdeňkaUITSMasár LubomírKnowledge based discrete simulation
5861989Dvořák VáclavUPSYPelikán PetrDesign automation of microprocessor controllers with the use of Petri nets
5871988Dvořák VáclavUPSYStejskal AloisA contribution to electronic circuit design for a laser interferometer
5881988Rábová ZdeňkaUITSMáčel MichalObject model and its use in software construction
5891985Rábová ZdeňkaUITSKastner AlešTools for computer aided digital circuits design
5901984Dvořák VáclavUPSYEysselt MilošSolution of some problems in improving computer performance
5911984Dvořák VáclavUPSYSchwarz JosefDesign automation tasks of decomposition and placement of ICs
5921983Rábová ZdeňkaUIVTHruška TomášModelling of programming language semantics and using models in programming language implementation
Prev