Machine-translated page for increased accessibility for English questioners.

Program for 2012/2013

Autumn 2012

20. 9. 2012: Introductory Seminar Seminar; Agenda of the seminar. Discussion.
27. 9. 2012: Štěpán Kozák; Outsourcing Similarity Search: Encrypted M-Index
4. 10. 2012: Jaromír Plhák; Integrating Dialogue Systems with Images
11. 10. 2012: Tereza Pařilová; Analysis and visualization of social media content
18. 10. 2012: Karel Štěpka; Retinal Vessel Segmentation Using Mathematical Morphology
25. 10. 2012: Jitka Daňková; Managing video files in the e-learning process - problems and solution
1. 11. 2012: Dalibor Toth; Analytical Tool for the Processing of Unstructured Texts
8. 11. 2012: Karel Klíč; Behavior analysis through abstract interpretation
15. 11. 2012: Lucie Fabriková; Architecture-based predictive techniques: an overview
22. 11. 2012: Jaroslav Bayer; Predicting the drop-out from social behavior of students
29. 11. 2012: Pavel Hamrik; Personality Modeling for a Better Experience
6. 12. 2012: Adam Jurčík; Finding asymmetric tunnels in proteins

21. 2. 2013: Introductory Seminar of the Spring Semester; Agenda of the seminar. Discussion.
28. 2. 2013: Ibrahim Ghafir; Designing a microwave filter by studying and simulating the discontinuity in the waveguide
March 7, 2013: Pavel Hamrik; User and Situation Modeling for Adaptive User Interfaces
14. 3. 2013: Tereza Pařilová; User modeling: An Approach to Interoperability
21 March 2013: Simon Toth; Quest for the Holy Grail: quantifying the quality of parallel job schedules
28. 3. 2013: M. Kotry; Visualization of molecular surface
4.4. 3. 2013: J. Řihák; Automatic Detection of Concepts from Problem Solving Times
April 11, 2013: J. Valčík; TBA
April 18, 2013: F. Blahoudek; May / must and Generalized Rabin Automata in Verification of Probabilistic Systems
April 25, 2013: M. Svoreňová; Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
2. 5. 2013: P.Velan; TBA