Topics of PhD theses

1-50 »51-100« 101-150 151-200 201-250 251-300 301-350 351-375
 
# -Year Advisor Dept Title
512017Vašíček ZdeněkUPSYOvěřování korektní funkce HW komponent generovaných ze specifikace v jazyce P4
522017Vojnar TomášUITSApplications of Formal Methods in Approximate Computing -- co=supervised by dr. M. Ceska
532017Vojnar TomášUITSEfficient Techniques for Dealing with Automata and Logics and Their Applications -- co-supervised by dr. O. Lengal
542017Vojnar TomášUITSStatic Analysis and Bug Finding in Software
552017Zbořil FrantišekUITSPrototyping of sensor systems by multiagent systems
562017Zbořil František V.UITSNew approaches in Neural Network Theory
572017Zemčík PavelUPGMAdvanced Algorithms of Computer Graphics
582016Burget LukášUPGMAdvanced techniques and architectures for Recurrent Neural Network based Language models
592016Burget LukášUPGMAdvanced techniques and architectures for Recurrent Neural Network based Language models
602016Černocký JanUPGMSpeech data mining from distant icrophones
612016Drahanský MartinUITSConcept of algorithms for removal of influence of skin diseases on the process for fingerprint recognition
622016Hanáček PetrUITSAnalysis of Anonymisation Networks Security
632016Hanáček PetrUITSSecurity of wireless communication for IoT devices
642016Hruška TomášUIFSAnalysis and optimization of business processes
652016Jaroš JiříUPSYMulti-scale Model Coupling in High Performance Computing
662016Jaroš JiříUPSYNumerical Solution of Problems with Jump Discontinuities
672016Kořenek JanUPSYAnalysis of Encrypted Network Traffic
682016Kořenek JanUPSYDistributed algorithms for network traffic analysis
692016Kořenek JanUPSYHardware Acceleration of Application Protocols Analysis
702016Kořenek JanUPSYMappling of packet processing described in P4 language to FPGA technology
712016Kotásek ZdeněkUPSYFault tolerant systems - the methodology of reconfiguration controller design
722016Kreslíková JitkaUIFSQuantitative analysis of high frequency time series
732016Martínek TomášUPSYAdvanced bioinformatic tool for computer design of proteins
742016Ryšavý OndřejUIFSProgramming Methods for Software Defined Networks
752016Sekanina LukášUPSYAdaptive reconfigurable systems-on-chip for purposes of cryptography
762016Vojnar TomášUITSStatic Analysis of Programs with Complex Control and/or Data Structures
772016Zbořil FrantišekUITSCooperation among robots
782016Zbořil František V.UITSConstructive Neural Networks
792016Zemčík PavelUPGMAlgorithms of Image and Video Processing
802016Zendulka JaroslavUIFSClassification on unbalanced data
812015Černocký JanUPGMApplications of Artifical Neural Networks to Automatic Speaker Recognition
822015Černocký JanUPGMLightly-supervised Speech Recognition Training on Heterogeneous Data
832015Drahanský MartinUITSNew technology for 2D and 3D hand geometry recognition
842015Drahanský MartinUITSResearch in area of hardware accelerated biometric recognition and search of people
852015Hanáček PetrUITSResearch of Intrusion Detection Systems for Embedded and Mobile Devices
862015Herout AdamUPGMAdvanced Methods of Real-Time Rendering
872015Herout AdamUPGMDetection and Re-Identification of Objects in Image and Video
882015Herout AdamUPGMDetection and Re-Identification of Objects in Image and Video
892015Herout AdamUPGMMining Information From Stationary Cameras
902015Jaroš JiříUPSYHigh Performance Computing on Multi-GPU Clusters
912015Kořenek JanUPSYPattern matching in high-speed computer networks
922015Kotásek ZdeněkUPSYFault tolerant systems design automation
932015Meduna AlexanderUIFSSystems of Formal Models
942015Růžička RichardUPSYNekonvenční technologie pro implementaci číslicových systémů
952015Ryšavý OndřejUIFSPacket analysis based network service diagnostics
962015Sekanina LukášUPSYEvolutionary algorithms for approximate computing
972015Vojnar TomášUITSAutomata in Decision Procedures and Formal Verification -- co-supervised by dr. L. Holik
982015Vojnar TomášUITSFormal Verification of Concurrent Programs with an Unbounded Number of Concurrent Threads -- co-supervised by dr. L. Holik
992015Vojnar TomášUITSStatic Analysis of Heap-Manipulating Programs -- co-supervised by dr. L. Holik
1002015Zbořil František V.UITSBiologií inspirované řízeni kráčivého robota
PrevNext

Vaše IPv4 adresa: 54.226.175.101
Přepnout na https

DNSSEC [dnssec]