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
4512003Hruška TomášUIFSBurger TomášFormal Definition of Object-Oriented Model
4522003Kotásek ZdeněkUPSYPečenka TomášTools and methods for automated generating of benchmark circuits
4532003Kršek PřemyslUPGMŠpaněl MichalMedical image data analysis and processing
4542003Meduna AlexanderUIFSKopeček TomášSimplification of Formal Models
4552003Meduna AlexanderUIFSLukáš RomanSpecifikation and Translation of Languages by Systems of Formal Models
4562003Meduna AlexanderUIFSVítek MartinLanguage Operations in Modern Theoretical Computer Science
4572003Rábová ZdeňkaUITSSlavíček PavelDistributed environment for building of heterogeneous models
4582003Schwarz JosefUPSYJaroš JiříParallelization of evolutionary algorithms
4592003Schwarz JosefUPSYOhlídal MilošParallelization of evolutionary algorithms
4602003Švéda MiroslavUIFSOčenášek PavelCommunication and Security Network Protocols and their Verification
4612003Vojnar TomášUITSErlebach PavelVerification of Programs with Complex Dynamic Data Structures Using Their Repeating Structure
4622003Vojnar TomášUITSRogalewicz AdamVerification of Programs with Complex Data Structures Using the Automata Theory
4632003Vojnar TomášUITSSmrčka AlešVerification of Modern Hardware Systems
4642003Zemčík PavelUPGMBeran VítězslavArchitectures of spatial user interfaces
4652003Zemčík PavelUPGMKadlec JaroslavArchitectures of spatial user interfaces
4662002Drábek VladimírUPSYBryan LuděkNové metody komprese dat
4672002Hanáček PetrUITSZbořil FrantišekPlánování a komunikace v multiagentních systémech
4682002Honzík Jan M.UIFSCagaš PavelMetody návrhu vývojového prostředí pro vizualizační a řídicí aplikace
4692002Kunovský JiříUITSAutomatický převod diskrétních radiologických CT/MR dat do systémů CAD/CAM/FEM
4702002Meduna AlexanderUIFSLorenc LubošPřekladové systémy
4712002Meduna AlexanderUIFSŠvec MartinParalelní gramatiky
4722002Rábová ZdeňkaUITSHrubý MartinProstředí pro modelování heterogenních systémů
4732002Rábová ZdeňkaUITSKočí RadekMetody a nástroje pro implementaci otevřených simulačních systémů
4742002Rábová ZdeňkaUITSMarušinec JaromírArtificial Life Simulation in Virtual Reality
4752002Zemčík PavelUPGMDobšík MartinComputer Animation of Soft Tissues
4762002Zemčík PavelUPGMFědor MartinAnimation of articulated structures
4772002Zemčík PavelUPGMHerout AdamHardware accelerated graphics algorithms
4782002Zemčík PavelUPGMPečiva JanSharing of the graphics scene content
4792002Zemčík PavelUPGMPotúček IgorGesture recognition
4802002Zemčík PavelUPGMSumec StanislavAnimation and video sequences
4812002Zemčík PavelUPGMTišnovský PavelČásticové systémy
4822001Černocký JanUPGMKarafiát MartinStudy of Linear Transformations Applied to Training of Cross-Domain Adapted Large Vocabulary Continuous Speech Recognition Systems
4832001Černocký JanUPGMSchwarz PetrPhoneme recognition based on long temporal context
4842001Dvořák VáclavUPSYKutálek VladimírPerformance prediction and modeling of application-specific and configurable multiprocessor systems
4852001Hruška TomášUIFSGüttner JakubProject Definition and Controling in Object-Oriented Information Systems
4862001Kotásek ZdeněkUPSYMika DanielUplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
4872001Kunovský JiříUITSŘezáč DavidStiff Systems of Differential Equations and Modern Taylor Series Method
4882001Meduna AlexanderUIFSKolka MilanL systémy
4892001Švéda MiroslavUIFSRyšavý OndřejFormal Specifications and Verifications of Communication Protocols
4902001Švéda MiroslavUIFSŠčuglík FrantišekTools for Communication Protocols Evaluation
4912001Zbořil František V.UITSDrahanský MartinBiometrické systémy
4922001Zbořil František V.UITSOrság FilipBiometric Systems
4932001Zendulka JaroslavUIFSBartík VladimírMetody získávání znalostí z multimediálních dat
4942001Zendulka JaroslavUIFSBurget RadekMetody získávání znalostí z WWW
4952001Zendulka JaroslavUIFSHeckel MartinAnalýza obrazu pro potřeby získávání znalostí z obrazových dat
4962000Černocký JanUPGMGrézl FrantišekAcoustic modeling in speech recognition
4972000Češka MilanUITSKřena BohuslavMetody analýzy v objektově orientovaných Petriho
4982000Dvořák VáclavUPSYStaroba JiříPerformance Modeling and Prediction of Parallel Computing
4992000Kotásek ZdeněkUPSYStrnadel JosefDigital circuit testability analysis and improvements at register-transfer level
5002000Schwarz JosefUPSYOčenášek JiříNávrh meta-evolučního algoritmu pro řešení optimalizačních úloh
PrevNext