Topics of PhD theses

»1-50« 51-100 101-150 151-200 201-250 251-300 301-350 351-361
 
# Year Advisor Dept -Title
12014Zbořil František V.UITS3D Object Recognition
22008Hruška TomášUIFSWorkflow models
32010Zendulka JaroslavUIFSWeb page segmentation
42013Kotásek ZdeněkUPSYVyužití verifikace pro ověřování odolnosti proti poruchám u systémů založených na FPGA
52014Čadík MartinUPGMVisual Localization in Natural Environments
62017Čadík MartinUPGMVisual Localization in indoor environments
72017Čadík MartinUPGMVisual Geo-Localization and Augmented Reality on Mobile Devices
82007Zemčík PavelUPGMVideo processing
92009Zemčík PavelUPGMVery demanding computations in graphics and image processing
102003Vojnar TomášUITSVerification of Programs with Complex Dynamic Data Structures Using Their Repeating Structure
112003Vojnar TomášUITSVerification of Programs with Complex Data Structures Using the Automata Theory
122003Vojnar TomášUITSVerification of Modern Hardware Systems
132014Beran VítězslavUPGMUser interfaces based on non-contact technologies
142013Zemčík PavelUPGMUser interfaces based on "eye tracking" and "body tracking"
152012Zemčík PavelUPGMUser interfaces based on "eye tracking" and "body tracking"
162011Kořenek JanUPSYUse of reconfigurable circuits in computer networks
172001Kotásek ZdeněkUPSYUplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
182014Smrž PavelUPGMUnderstanding Complex Hierarchical Decisions in Deep Machine Learning Architectures
192015Růžička RichardUPSYUnconventional Technologies for Digital Systems Implementation
202013Růžička RichardUPSYUnconventional Technologies for Digital Systems
212013Růžička RichardUPSYUnconventional Technologies for Digital Systems
222013Růžička RichardUPSYUnconventional Technologies for Digital Systems
232017Kolář DušanUIFSTypová inference pro netypované/dynamické programovací jazyky
242008Meduna AlexanderUIFSTwo-Dimensional Languages and Their Grammatical Processing
252010Meduna AlexanderUIFSTransformation of Formal Models
261985Rábová ZdeňkaUITSTools for computer aided digital circuits design
272001Švéda MiroslavUIFSTools for Communication Protocols Evaluation
282003Kotásek ZdeněkUPSYTools and methods for automated generating of benchmark circuits
292017Ryšavý OndřejUIFSThreat Intelligence and Situational Awareness
302014Drahanský MartinUITSTheoretical and Experimental Determination of Information Amount in Eye Biometric Characteristics
312004Kotásek ZdeněkUPSYThe Optimization of Low Power Test Application for Digital Systems
321997Češka MilanUITSThe Common Model for the Communication and Synchronization Primitives
332009Hruška TomášUIFSTesting of generated C compilers for processors in embedded systems
342004Kotásek ZdeněkUPSYTest Application Methodology Based On the Identification of Testable Cores
352015Meduna AlexanderUIFSSystems of Formal Models
362004Hruška TomášUIFSSystems for hardware-software co-design
372018Meduna AlexanderUIFSSystems based on regulated automata and grammars
382018Vojnar TomášUITSSynthesis of Stochastic Models
391992Dvořák VáclavUPSYSynthesis of low-cost decision diagrams
402012Kotásek ZdeněkUPSYSynchronizace systému odolného proti poruchám po vzniku poruchy a její opravě
412008Vojnar TomášUITSSymbolic Verification Based on Finite Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
422008Vojnar TomášUITSSymbolic Verification Based on Extended Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
432008Zbořil František V.UITSSwarm Intelligence
442007Černocký JanUPGMSubspace modeling of prosodic features for speaker verification
452001Černocký JanUPGMStudy of Linear Transformations Applied to Training of Cross-Domain Adapted Large Vocabulary Continuous Speech Recognition Systems
462001Kunovský JiříUITSStiff Systems of Differential Equations and Modern Taylor Series Method
472006Kunovský JiříUITSStiff systems
482018Vojnar TomášUITSStatic Formal Analysis of Programs with Advanced Data and Control Structures
492016Vojnar TomášUITSStatic Analysis of Programs with Complex Control and/or Data Structures
502015Vojnar TomášUITSStatic Analysis of Heap-Manipulating Programs -- co-supervised by dr. L. Holik
 Next

Vaše IPv4 adresa: 34.204.176.189