CS-119(a): Information, Computation, CommunicationD'une part, le cours aborde: (1) la notion d'algorithme et de représentation de l'information, (2) l'échantillonnage d'un signal et la compression de données et (3) des aspects
liés aux systèmes: ordi
ME-373: Finite element modelling and simulationL'objectif de ce cours est d'apprendre à réaliser de manière rigoureuse et critique des analyses par éléments finis de problèmes concrets en mécanique des solides à l'aide d'un logiciel CAE moderne.
AR-402(ag): Studio MA2 (Fröhlich M. & A.)Qu'est-ce qu'une serre sans le végétal ? Ou un jardin d'hiver sans l'hiver ? Dans le cadre de la série « Tackle The Type », le studio étudiera les serres d'un point de vue typologique et explorera l'a
BIO-693: Bioinformatic Analysis of RNA-sequencingThis course will take place from 2nd to 6th June 2025 in room AAC 1 37.
It introduces the workflows and techniques that are used for the analysis of bulk and single-cell RNA-seq data. It empowers stu
AR-302(ag): Studio BA6 (Fröhlich M. & A.)Qu'est-ce qu'une serre sans le végétal ? Ou un jardin d'hiver sans l'hiver ? Dans le cadre de la série « Tackle The Type », le studio étudiera les serres d'un point de vue typologique et explorera l'a
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
EE-334: Digital systems designStudents will acquire basic knowledge about methodologies and tools for the design, optimization, and verification of custom digital systems/hardware.
They learn how to design synchronous digital cir
