Concept

Informatique théorique

Cours associés (32)

CS-723: Topics in Machine Learning Systems

This course will cover the latest technologies, platforms and research contributions in the area of machine learning systems. The students will read, review and present papers from recent venues acros

AR-212: Theory and techniques of architectural figuration

L'enseignement transmet les fondements théoriques de l'histoire de l'art figuratif et introduit les techniques opératoires de la représentation. L'objectif principal est d'intégrer la pratique des out

MICRO-435: Quantum and nanocomputing

The course teaches non von-Neumann architectures. The first part of the course deals with quantum computing, sensing, and communications. The second focuses on field-coupled and conduction-based nanoc

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-119(h): Information, Computation, Communication

L'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

COM-309: Introduction to quantum information processing

Information is processed in physical devices. In the quantum regime the concept of classical bit is replaced by the quantum bit. We introduce quantum principles, and then quantum communications, key d

COM-516: Markov chains and algorithmic applications

The study of random walks finds many applications in computer science and communications. The goal of the course is to get familiar with the theory of random walks, and to get an overview of some appl

BIO-109: Introduction to life sciences (for IC)

Ce cours présente les principes fondamentaux à l'œuvre dans les organismes vivants. Autant que possible, l'accent est mis sur les contributions de l'Informatique aux progrès des Sciences de la Vie.

BIO-410: Bioimage informatics

The course provides a comprehensive overview of methods, algorithms, and computer tools used in bioimage analysis. It exposes fundamental concepts and practical computer solutions to extract quantitat

NX-435: Systems neuroscience

The course "Systems Neuroscience" explores neural circuits and networks to understand how groups of neurons process information and generate behavior. It integrates techniques from neurophysiology, an

AR-464: Enlighten your design studio project

This course will support students in integrating daylight concepts into their ongoing studio projects. With an emphasis on the perceptual, qualitative, and emotional aspects of daylight, the objective

AR-507: Urban demography

This course introduces theoretical developments and empirical evidence on city population change worldwide, as well as on its interactions with sustainable development. Students will learn how to iden