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
2512006Kreslíková JitkaUIFSSedláčková JanaSoftware Engineering Measurement
2522006Kunovský JiříUITSKraus MichalParallel Computer Systems Based on Numerical Integrations
2532006Kunovský JiříUITSŠátek VáclavStiff systems
2542006Meduna AlexanderUIFSRychnovský LukášRegulated Formal Models
2552006Sekanina LukášUPSYVašíček ZdeněkMethods of Digital System Design for Evolvabilty
2562006Vojnar TomášUITSHolík LukášFormal Verification of Software Using the Automata Theory
2572006Zemčík PavelUPGMPřibyl JaroslavLocation-aware data transfers scheduling for distributed virtual walkthrough applications
2582005Burget LukášUPGMGlembek OndřejSemantically supported search of keywords in speech data
2592005Češka MilanUITSPolášek PetrModelling of heterogeneous systems
2602005Hanáček PetrUITSMalinka KamilBehavioural Patterns in Computer Security
2612005Kotásek ZdeněkUPSYStareček LukášFault model of polymorphic gate
2622005Kreslíková JitkaUIFSKvětoňová ŠárkaMethods of business modelling
2632005Meduna AlexanderUIFSMasopust TomášNew Operations over Formal Languages
2642005Meduna AlexanderUIFSTechet JiříScattered Context in Formal Languages
2652005Sekanina LukášUPSYGajda ZbyšekMethods of Polymorphic Digital Circuits Design
2662005Smrž PavelUPGMŠilhavá JanaMachine Learning Methods for Classification and Prediction on Gene Expression Data
2672005Švéda MiroslavUIFSTrchalík RomanNetwork Architecture and Interconnection of Embedded Systems
2682005Zbořil František V.UITSMazal ZdeněkDistributed Artificial Intelligence
2692005Zemčík PavelUPGMSeeman MichalRaster image processing
2702005Zendulka JaroslavUIFSRychlý MarekAdvanced methods of information system development
2712005Zendulka JaroslavUIFSWeiss PetrAdvanced methods of information system development
2722004Hruška TomášUIFSMasařík KarelSystems for hardware-software co-design
2732004Kotásek ZdeněkUPSYHerrman TomášTest Application Methodology Based On the Identification of Testable Cores
2742004Kotásek ZdeněkUPSYŠkarvada JaroslavThe Optimization of Low Power Test Application for Digital Systems
2752004Meduna AlexanderUIFSBidlo RadekParsing Based on Grammar Systems
2762004Meduna AlexanderUIFSBlatný PetrParallel systems of formal models
2772004Meduna AlexanderUIFSKřivka ZbyněkModified Models Underlying Parsing
2782004Sekanina LukášUPSYBidlo MichalEvolutionary Design of Complex Systems
2792004Zbořil František V.UITSRozman JaroslavNavigation of mobile robots
2802004Zemčík PavelUPGMMachalík StanislavObraz pohyblivého objektu
2812004Zendulka JaroslavUIFSRudolfová IvanaGenomické databáze
2822003Černocký JanUPGMSzőke IgorKeyword spotting in speech data
2832003Dvořák VáclavUPSYKořenek JanHardware and software architectures for application-specific architectures
2842003Dvořák VáclavUPSYMartínek TomášHardware and software architectures for application-specific architectures
2852003Honzík Jan M.UIFSČech VladimírDevelopment of technology and tools for ¨distand learning and working (e-learning and teleworking)
2862003Hruška TomášUIFSBurger TomášFormal Definition of Object-Oriented Model
2872003Kotásek ZdeněkUPSYPečenka TomášTools and methods for automated generating of benchmark circuits
2882003Kršek PřemyslUPGMŠpaněl MichalMedical image data analysis and processing
2892003Meduna AlexanderUIFSKopeček TomášSimplification of Formal Models
2902003Meduna AlexanderUIFSLukáš RomanSpecifikation and Translation of Languages by Systems of Formal Models
2912003Meduna AlexanderUIFSVítek MartinLanguage Operations in Modern Theoretical Computer Science
2922003Rábová ZdeňkaUITSSlavíček PavelDistributed environment for building of heterogeneous models
2932003Schwarz JosefUPSYJaroš JiříParallelization of evolutionary algorithms
2942003Schwarz JosefUPSYOhlídal MilošParallelization of evolutionary algorithms
2952003Švéda MiroslavUIFSOčenášek PavelCommunication and Security Network Protocols and their Verification
2962003Vojnar TomášUITSErlebach PavelVerification of Programs with Complex Dynamic Data Structures Using Their Repeating Structure
2972003Vojnar TomášUITSRogalewicz AdamVerification of Programs with Complex Data Structures Using the Automata Theory
2982003Vojnar TomášUITSSmrčka AlešVerification of Modern Hardware Systems
2992003Zemčík PavelUPGMBeran VítězslavArchitectures of spatial user interfaces
3002003Zemčík PavelUPGMKadlec JaroslavArchitectures of spatial user interfaces
PrevNext

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

DNSSEC [dnssec]