Concept
Famille de langues
Cours associés (32)
MATH-505: HPC for numerical methods and data analysis
The objective of this course is to provide the necessary background for designing efficient parallel algorithms in scientific computing as well as in the analysis of large volumes of data. The operati
HUM-242: Musicology and history of music
Retracer l'histoire de la pratique de l'improvisation dans la musique savante de la Renaissance à nos jours. Analyser les différents contextes, styles, genres musicaux dans lesquels l'improvisation pr
ME-498: Continuous improvement of manufacturing systems
Continuous Improvement encompasses the ongoing effort to capture, create, and deliver value to internal and external customers. This course empowers students to lead teams and harness technology to im
CS-401: Applied data analysis
This 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 dat
CS-452: Foundations of software
The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
HUM-369: Digital humanities
Les Digital Humanities sont une discipline à la croisée des sciences de l'information et des sciences humaines et sociales. Dans ce cours, les étudiantes et étudiants découvrent ce domaine de recherch
CS-411: Digital education
This course addresses the relationship between specific technological features and the learners' cognitive processes. It also covers the methods and results of empirical studies: do student actually l
ENG-270: Computational methods and tools
This course prepares students to use modern computational methods and tools for solving problems in engineering and science.
CS-550: Formal verification
We 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
CS-423: Distributed information systems
This course introduces the foundations of information retrieval, data mining and knowledge bases, which constitute the foundations of today's Web-based distributed information systems.