MICRO-315: Embedded Systems and RoboticsCe cours aborde la programmation de systèmes embarqués: la cross-compilation, l'utilisation d'une FPU dans des microcontrôleurs, l'utilisation d'instructions DSP et les mécanismes à disposition dans le cadre d'un Real-time Operating System. Le tout est mis ...
CS-401: Applied data analysisThis course teaches the basic techniques, methodologies, and practical skills required to draw meaningful insights from a variety of data, with the help of the most acclaimed software tools in the data science world (pandas, scikit-learn, Spark, etc.) ...
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 use formal verification tools and explain the theory and ...
ME-213: Programmation pour ingénieurMettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introduction à l'instrumentation virtuelle. ...
EE-310: Microprogrammed Embedded SystemsL'étudiant comprendra les architectures des systèmes embarqués microprogrammés, les architectures des microprocesseurs, hiérarchie de mémoire et les différents périphériques de Entrée/Sortie (E/S) inclus, utilisant comme étude de cas la plate-forme portabl ...
AR-219: Advanced CAO and Integrated Modeling DIM1ère année: bases nécessaires à la représentation informatique 2D (3D).
Passage d'un à plusieurs logiciels: compétence de choisir les outils adéquats en 2D et en 3D.
Mise en relation des outils de CAO et DIM: regard critique et aptitude à choisir les métho ...
MATH-458: Programming concepts in scientific computingThe aim of this course is to provide the background in scientific computing. The class includes a brief introduction to basic programming in c++, it then focuses on object-oriented programming and c++ specific programming techniques. Typical class hierarch ...
AR-301(ak): Studio BA5 (Chavepayreo)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Évents, qui accueille des jeunes atteints de troubles psych ...
AR-302(af): Studio BA6 (Tsuneyama)Urban Wild Ecology / Production and Decomposition Urbanism / SOIL studio focuses on earth-conscious construction methods and materials that return to the soil. A radical vision will be sought to incorporate a comprehensive, self-sustaining system of the ma ...
AR-210: Principles of architectural gestaltungL'enseignement transmet les fondements théoriques et introduit les techniques opératoires de la représentation. L'objectif principal est de donner aux étudiants des outils qui leur permettent de définir et de transmettre une idée d'architecture dans son ex ...
AR-128: Building technology I, IIIntroduction à la technologie du bâti: défis environnementaux et sociétaux, exigences techniques et fonctionnelles du bâtiment dans la durée, équilibre statique des ossatures, matériaux de construction, détails d'assemblage et mise en oeuvre, stratégies de ...
PENS-230: Digital ENAC: le codage en contexteDigital ENAC aims to provide students with the ability to apply the principles of coding to the practical life of designers and engineers. We will not focus on a specific coding language, but will ext
ME-416: Fundamentals of computer aided manufacturingStudents will be exposed to basic computer-aided manufacturing (CAM) modeling concepts, basic mathematical simulation, verification and optimization algorithms and methodologies and their applications. The students will practice their knowledge by doing pr ...