Cours associés (29)
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
MATH-100(a): Advanced analysis I - real analysis
Etude des concepts fondamentaux de l'analyse, calcul différentiel et intégral de fonctions réelles d'une variable réelle
ME-102: Mechanical construction II (for ME)
Le cours de ME-102 vise à l'acquisition d'une solide culture technique de base en vue d'être capable de traiter des cas concrets de construction mécanique, via une revue des concepts, composants, et m
ME-602: Modelling, optimisation, design and analysis of integrated energy systems
The student will learn advanced concepts in the field of process integration, process modeling and optimization for the design of integrated energy systems: Life cycle energy analysis.
MATH-101(de): Analysis I (German)
Es werden die Grundlagen der Analysis sowie der Differential- und Integralrechnung von Funktionen einer reellen Veränderlichen erarbeitet.
CS-491: Introduction to IT consulting
This course is an introduction to the alignment of enterprise needs with the possibilities offered by Information Technology (IT). Using a simulated business case, we explore how to define the require
ENG-430: Risk management
This course provides students with the opportunity to acquire the methods and tools necessary for modern risk management from an engineering standpoint. It emphasizes actors, resources, and objectives
CIVIL-611: Frontiers of Deep Learning for Engineers
The seminar aims at discussing recent research papers in the field of deep learning, implementing the transferability/adaptability of the proposed approaches to applications in the field of research o
PHYS-211: Physics lab IIb
Ce cours pratique permet d'acquérir la connaissance des phénomènes physiques de base ainsi que de leurs applications, d'acquérir des connaissances concernant les méthodes d'observation et de mesure ai
AR-598: Theoretical statement (linked to Master Project, only 9th semester)
L'énoncé théorique de master constitue la première partie du Projet de Master. L'étudiant·e pose les bases théoriques de son travail, décrit le cadre thématique, référentiel et méthodologique. Il·elle

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.