Topics of PhD theses

1-500 »501-550« 551-592
 
# -Year Advisor Dept Student Title
5012003Honzík Jan M.UIFSČech VladimírDevelopment of technology and tools for ¨distand learning and working (e-learning and teleworking)
5022003Hruška TomášUIFSBurger TomášFormal Definition of Object-Oriented Model
5032003Kotásek ZdeněkUPSYPečenka TomášTools and methods for automated generating of benchmark circuits
5042003Kršek PřemyslUPGMŠpaněl MichalMedical image data analysis and processing
5052003Meduna AlexanderUIFSKopeček TomášSimplification of Formal Models
5062003Meduna AlexanderUIFSLukáš RomanSpecifikation and Translation of Languages by Systems of Formal Models
5072003Meduna AlexanderUIFSVítek MartinLanguage Operations in Modern Theoretical Computer Science
5082003Rábová ZdeňkaUITSSlavíček PavelDistributed environment for building of heterogeneous models
5092003Schwarz JosefUPSYJaroš JiříParallelization of evolutionary algorithms
5102003Schwarz JosefUPSYOhlídal MilošParallelization of evolutionary algorithms
5112003Švéda MiroslavUIFSOčenášek PavelCommunication and Security Network Protocols and their Verification
5122003Vojnar TomášUITSErlebach PavelVerification of Programs with Complex Dynamic Data Structures Using Their Repeating Structure
5132003Vojnar TomášUITSRogalewicz AdamVerification of Programs with Complex Data Structures Using the Automata Theory
5142003Vojnar TomášUITSSmrčka AlešVerification of Modern Hardware Systems
5152003Zemčík PavelUPGMBeran VítězslavArchitectures of spatial user interfaces
5162003Zemčík PavelUPGMKadlec JaroslavArchitectures of spatial user interfaces
5172002Drábek VladimírUPSYBryan LuděkNové metody komprese dat
5182002Hanáček PetrUITSZbořil FrantišekPlánování a komunikace v multiagentních systémech
5192002Honzík Jan M.UIFSCagaš PavelMetody návrhu vývojového prostředí pro vizualizační a řídicí aplikace
5202002Kunovský JiříUITSAutomatický převod diskrétních radiologických CT/MR dat do systémů CAD/CAM/FEM
5212002Meduna AlexanderUIFSLorenc LubošPřekladové systémy
5222002Meduna AlexanderUIFSŠvec MartinParalelní gramatiky
5232002Rábová ZdeňkaUITSHrubý MartinProstředí pro modelování heterogenních systémů
5242002Rábová ZdeňkaUITSKočí RadekMetody a nástroje pro implementaci otevřených simulačních systémů
5252002Rábová ZdeňkaUITSMarušinec JaromírArtificial Life Simulation in Virtual Reality
5262002Zemčík PavelUPGMDobšík MartinComputer Animation of Soft Tissues
5272002Zemčík PavelUPGMFědor MartinAnimation of articulated structures
5282002Zemčík PavelUPGMHerout AdamHardware accelerated graphics algorithms
5292002Zemčík PavelUPGMPečiva JanSharing of the graphics scene content
5302002Zemčík PavelUPGMPotúček IgorGesture recognition
5312002Zemčík PavelUPGMSumec StanislavAnimation and video sequences
5322002Zemčík PavelUPGMTišnovský PavelČásticové systémy
5332001Černocký JanUPGMKarafiát MartinStudy of Linear Transformations Applied to Training of Cross-Domain Adapted Large Vocabulary Continuous Speech Recognition Systems
5342001Černocký JanUPGMSchwarz PetrPhoneme recognition based on long temporal context
5352001Dvořák VáclavUPSYKutálek VladimírPerformance prediction and modeling of application-specific and configurable multiprocessor systems
5362001Hruška TomášUIFSGüttner JakubProject Definition and Controling in Object-Oriented Information Systems
5372001Kotásek ZdeněkUPSYMika DanielUplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
5382001Kunovský JiříUITSŘezáč DavidStiff Systems of Differential Equations and Modern Taylor Series Method
5392001Meduna AlexanderUIFSKolka MilanL systémy
5402001Švéda MiroslavUIFSRyšavý OndřejFormal Specifications and Verifications of Communication Protocols
5412001Švéda MiroslavUIFSŠčuglík FrantišekTools for Communication Protocols Evaluation
5422001Zbořil František V.UITSDrahanský MartinBiometrické systémy
5432001Zbořil František V.UITSOrság FilipBiometric Systems
5442001Zendulka JaroslavUIFSBartík VladimírMetody získávání znalostí z multimediálních dat
5452001Zendulka JaroslavUIFSBurget RadekMetody získávání znalostí z WWW
5462001Zendulka JaroslavUIFSHeckel MartinAnalýza obrazu pro potřeby získávání znalostí z obrazových dat
5472000Černocký JanUPGMGrézl FrantišekAcoustic modeling in speech recognition
5482000Češka MilanUITSKřena BohuslavMetody analýzy v objektově orientovaných Petriho
5492000Dvořák VáclavUPSYStaroba JiříPerformance Modeling and Prediction of Parallel Computing
5502000Kotásek ZdeněkUPSYStrnadel JosefDigital circuit testability analysis and improvements at register-transfer level
PrevNext