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
512017Smrž PavelUPGMFajčík MartinHluboké neuronové sítě a možnosti jejich aplikace v průmyslu
522017Vašíček ZdeněkUPSYIša RadekOvěřování korektní funkce HW komponent generovaných ze specifikace v jazyce P4
532017Vašíček ZdeněkUPSYKocnová JitkaEvolutionary synthesis of complex digital circuits
542017Vojnar TomášUITSHavlena VojtěchEfficient Techniques for Dealing with Automata and Logics and Their Applications -- co-supervised by dr. O. Lengal
552017Vojnar TomášUITSMalík ViktorStatic Analysis and Bug Finding in Software
562017Vojnar TomášUITSMatyáš JiříApplications of Formal Methods in Approximate Computing -- co=supervised by dr. M. Ceska
572017Zbořil FrantišekUITSVídeňský FrantišekPrototyping of sensor systems by multiagent systems
582017Zbořil František V.UITSŠůstek MartinNew approaches in Neural Network Theory
592017Zemčík PavelUPGMKáčerik MartinAdvanced Algorithms of Computer Graphics
602016Beran VítězslavUPGMMulti-target multi-camera tracking
612016Burget LukášUPGMBaskar Murali KarthickAdvanced techniques and architectures for Recurrent Neural Network based Language models
622016Burget LukášUPGMBeneš KarelAdvanced techniques and architectures for Recurrent Neural Network based Language models
632016Černocký JanUPGMŽmolíková KateřinaSpeech data mining from distant icrophones
642016Drahanský MartinUITSHeidari MonaConcept of algorithms for removal of influence of skin diseases on the process for fingerprint recognition
652016Fučík OttoUPSYHybrid Reprogrammable Processing Platforms
662016Fučík OttoUPSYTraffic estimation nad prediction
672016Fučík OttoUPSYTraffic simulation
682016Hanáček PetrUITSHellebrandt LukášAnalysis of Anonymisation Networks Security
692016Hanáček PetrUITSHujňák OndřejCommunication Infrastructure for Intelligent Buildings or Vehicles
702016Hanáček PetrUITSŠvéda PetrTesting Methods for Security Products
712016Herout AdamUPGMBobula VladimírAugmented Reality on Mobile Devices
722016Hruška TomášUIFSGenerating phase of the Reconfigurable Compiler
732016Hruška TomášUIFSInformation system processes modelling
742016Hruška TomášUIFSNěmečková ZitaAnalysis and optimization of business processes
752016Janoušek VladimírUITSInteligentní řídicí systém pro domácí automatizaci
762016Janoušek VladimírUITSInterpret objektově orientovaných Petriho sítí pro vestavěné systémy
772016Janoušek VladimírUITSMonitorování, řízení a optimalizace procesů s využitím rekonfigurovatelných Petriho sítí
782016Janoušek VladimírUITSNa Petriho sítích založený vývoj inteligentních agentů
792016Janoušek VladimírUITSVývoj distribuovaných softwarových systémů na bázi Petriho sítí a agentů
802016Jaroš JiříUPSYBudiský JakubNumerical Solution of Problems with Jump Discontinuities
812016Jaroš JiříUPSYČudová MartaMulti-scale Model Coupling in High Performance Computing
822016Kolář DušanUIFSAutomatic Maintenance Planning in ŠKODA AUTO
832016Kolář DušanUIFSReport Definition in Natural Language
842016Kolář DušanUIFSStrategy Definition for Implementation of "Průmysl 4.0" in ŠKODA AUTO Company
852016Kolář DušanUIFSSyntax Optimization
862016Kořenek JanUPSYMappling of packet processing described in P4 language to FPGA technology
872016Kořenek JanUPSYFukač TomášHardware acceleration of traffic shaping
882016Kořenek JanUPSYKekely MichalMappling of packet processing described in P4 language to FPGA technology
892016Kořenek JanUPSYKučera JanPacket classification in high-speed networks
902016Kořenek JanUPSYVrána RomanAnalysis of Encrypted Network Traffic
912016Kořenek JanUPSYWrona JanDistributed algorithms for network traffic analysis
922016Kotásek ZdeněkUPSYPánek RichardFault tolerant systems - the methodology of reconfiguration controller design
932016Kreslíková JitkaUIFSDohnal RomanQuantitative analysis of high frequency time series
942016Martínek TomášUPSYSumbalová LenkaAdvanced bioinformatic tool for computer design of proteins
952016Matoušek PetrUIFSLoub RadekAdvanced methods for monitoring and analysis of mobile communication
962016Meduna AlexanderUIFSKrčmář RadimRegulated automata and grammars
972016Růžička RichardUPSYDigital Circuits Based on Ambipolar Devices
982016Ryšavý OndřejUIFSYoussef SawsanProgramming Methods for Software Defined Networks
992016Sekanina LukášUPSYFormal methods in evolutionary design and optimization of digital circuits
1002016Sekanina LukášUPSYHusa JakubAdaptive reconfigurable systems-on-chip for purposes of cryptography
PrevNext