translated by Google

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