CS-430: Intelligent agentsSoftware agents are widely used to control physical, economic and financial processes. The course presents practical methods for implementing software agents and multi-agent systems, supported by prog
PHYS-207(a): General physics : quantaCe cours est une introduction à la mécanique quantique. En partant de son développement historique, le cours traite les notions de complémentarité quantique et le principe d'incertitude, le processus
EE-110: Logic systems (for MT)Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de syn
MATH-496: Computational linear algebraThis is an introductory course to the concentration of measure phenomenon - random functions that depend on many random variables tend to be often close to constant functions.
CS-451: Distributed algorithmsComputing is nowadays distributed over several machines, in a local IP-like network, a cloud or a P2P network. Failures are common and computations need to proceed despite partial failures of machin
