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
Spring 2013
- 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