ME-251: Thermodynamics and energetics IThe course introduces the basic concepts of thermodynamics and heat transfer, and thermodynamic properties of matter and their calculation. The students will master the concepts of heat, mass, and momentum conservation, and apply these concepts to thermody ...
ChE-340: Le génie de la réaction chimiqueCe cours applique les concepts de la cinétique chimique et des bilans de masse et d'énergie pour résoudre les problèmes de génie des réactions chimiques, en mettant l'accent sur les applications industrielles. Les étudiants développent leur capacité d'anal ...
CS-119(h): Information, calcul, communicationL'objectif de ce cours est d'initier les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'informatique et des communications et de développer une première compétence en programmation avec le langage Python. ...
CS-341: Computer graphicsThe students study and apply fundamental concepts and algorithms of computer graphics for rendering, geometry
synthesis, and animation. They design and implement their own interactive graphics programs. ...
MGT-201: Introduction to entrepreneurshipThis course provides an introduction to the field of entrepreneurship, in particular the process of new venture creation and the commercialization of technologies. It integrates theories of entrepreneurship with a practical, process-based
project, where st ...
PHYS-101(a): Physique générale : mécaniqueLe but du cours de physique générale est de donner à l'étudiant les notions de base nécessaires à la compréhension des phénomènes physiques. L'objectif est atteint lorsque l'étudiant est capable de prévoir quantitativement les conséquences de ces phénomène ...
CS-320: Computer language processingWe teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language into machine code using a popular backend called LLVM (htt ...
CS-213: Human-computer interactionLa discipline de l'Interaction Homme-Machine (ou HCI : Human-Computer Interaction) vise à systématiquement placer le facteur humain dans la conception de systèmes interactifs. ...
MATH-251(a): Analyse numériqueThis course presents numerical methods to solve mathematical problems such as systems of linear and nonlinear equations, function approximation, integration and differentiation, and differential equations. ...
CS-119(c): Information, calcul, communicationL'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (langage C++). ...
CS-420: Advanced compiler constructionStudents learn several implementation techniques for modern functional and object-oriented programming languages. They put some of them into practice by developing key parts of a compiler and run time system for a simple functional programming language. ...
ENV-418: River eco-morphodynamics and bioengineeringThe course deals with the interactions between hydraulics, solid transport by hauling and the watercourse space at the origin of the morphology and richness of habitats. Regime theory is presented and the quality of a stream's habitat is assessed. ...
PHYS-467: Machine learning for physicistsMachine learning and data analysis are becoming increasingly central in sciences including physics. In this course, fundamental principles and methods of machine learning will be introduced and practised. ...
ME-474: Numerical flow simulationThis course provides practical experience in the numerical simulation of fluid flows. Numerical methods are presented in the framework of the finite volume method. A simple solver is developed with Matlab, and a commercial software is used for more complex ...
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 ...
BIO-491: New tools & research strategies in personalized healthThis course introduces the concept of personalized health, exploring its foundational technologies as well as the technological, legal, and ethical challenges the field currently faces. Strategies and approaches used to address these challenges will also b ...
ENG-474: Etudes d'impact sur l'environnementPrésentation des bases des études d'impact, du contexte et des outils d'évaluation de chacun des sujets et des chapitres. Illustration par de nombreux cas réels, et par un travail de groupe. Discussion des limites des EIE et des nouveaux outils tels que le ...
