Sign In

Courses 2007

Sort by AttachmentsUse SHIFT+ENTER to open the menu (new window).
Title Formal Methods for Interacting Systems
Teacher Antonio Cerone, UNU-IIST, Macao
Period January-February
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
C. Lemarechal, Lagrangian relaxation
In: Computational Combinatorial Optimization
Eds. Junger and D. Naddef
Springer, Heidelberg, 2001
pp. 112-156