Doktorské projekty

Inteligentní systémy

Drahanský, M. Concept of Biometric Security System
Erlebach, P. Experience from Verifying in TVLA
Grulich, L. Reinforcement Learning System in Squeak Smalltalk
Matějka, P. Phoneme Recognition Tuning for Language Identification System
Rogalewicz, A. Towards Applying Mona in Abstract Regular Tree Model Checking
Smrčka, A. Towards Hardware Verification
Szöke, I. Smooth Pitch Tracker Based on Harmonic and Noise Model
 

Zpět