Sign In
 
 
 

Courses 2007

Sort by AttachmentsUse SHIFT+ENTER to open the menu (new window).
SyllabusFilter
Title Formal Methods for Interacting Systems
Teacher Antonio Cerone, UNU-IIST, Macao
Period January-February
Syllabus
Argomenti: Task analysis. Task Models. Interface Generation. Cognitive Models. Task Failure and Behavioural Patterns. Cognitive Architectures. Security and Usability. Reverse Engineering with Matrix Algebra.
 
 
Title Computational Combinatorial Optimization
Teacher Claude Lemarechal, INRIA Montbonnot, Bordeaux, Francia
Period May
Syllabus
Riferimento:
C. Lemarechal, Lagrangian relaxation
In: Computational Combinatorial Optimization
Eds. Junger and D. Naddef
Springer, Heidelberg, 2001
pp. 112-156