BIO-499: Neural circuits of motivated behaviorsMotivated behaviors fulfil the basic physiological needs of animals and enable their safety. In this course, you will learn about the neuronal circuits that sense and regulate internal states, detect
BIO-320: Morphology ICe cours est une préparation intensive à l'examen d'entrée en 3ème année de Médecine. Les matières enseignées sont la morphologie macroscopique (anatomie), microscopique (histologie) du corps humain.
BIO-377: Physiology by systemsLe but est de connaitre et comprendre le fonctionnement des systèmes cardiovasculaire, urinaire, respiratoire, digestif, ainsi que du métabolisme de base et sa régulation afin de déveloper une réflect
ENV-418: River eco-morphologyLe cours traite les interactions entre l'hydraulique, le transport solide par charriage et l'espace cours d'eau à l'origine de la morphologie et de la richesse des habitats. La théorie de régime est p
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
MICRO-470: Scaling laws in micro & nanosystemsThis class adresses scaling laws in MEMS/NEMS. The dominant physical effects and scaling effects when downsizing sensors and actuators in microsystems are discussed, across a broad range of actuation
CS-444: Virtual realityThe goal of VR is to embed the users in a potentially complex virtual environment while ensuring that they are able to react as if this environment were real. The course provides a human perception-ac
