PHYS-642: Statistical physics for optimization & learningThis course covers the statistical physics approach to computer science problems, with an emphasis on heuristic & rigorous mathematical technics, ranging from graph theory and constraint satisfaction to inference to machine learning, neural networks and st ...
MICRO-443: Analyse de produits et systèmes"Reverse engineering", une activité consistant à étudier un objet pour en déterminer le fonctionnement interne ou la méthode de fabrication. Les étudiants seront capables d'analyser et d'évaluer des produits microtechniques complexes (identification des él ...
CS-455: Topics in theoretical computer scienceThe students gain an in-depth knowledge of several current and emerging areas of theoretical computer science. The course familiarizes them with advanced techniques, and develops an understanding of fundamental questions that underlie some of the key probl ...
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 ...
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. ...
PHYS-512: Statistical physics of computationThe students understand tools from the statistical physics of disordered systems, and apply them to study computational and statistical problems in graph theory, discrete optimisation, inference and machine learning. ...
CS-599: Master project in Computer ScienceThe student carries out an academic or industrial master's project. The student will use the required skills and knowledge to accomplish an independent Master in Computer Science. ...
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-522: Principles of computer systemsThis advanced graduate course teaches the key design principles underlying successful computer and communication systems, and shows how to solve real problems with ideas, techniques, and algorithms from operating systems, networks, databases, programming l ...
CS-503: Visual intelligenceThis course covers both classic concepts and recent advances in computer vision and machine learning for processing visual data -- with a primary focus on embodied intelligence and multimodal learning ...
HUM-454: Histoire urbaine digitale: Lausanne Time Machine IICe cours fait partie d'une série de cours interdisciplinaires et collaboratifs ouverts aux étudiants de l'UNIL et de l'EPFL.
Il se concentre sur l'histoire urbaine à travers l'application de méthodes informatiques et le développement d'un projet numérique ...
HUM-450: Histoire urbaine digitale: Lausanne Time Machine ICe cours fait partie d'une série de cours interdisciplinaires et collaboratifs ouverts aux étudiants de l'UNIL et de l'EPFL.
Il se concentre sur l'histoire urbaine à travers l'application de méthodes informatiques et le développement d'un projet numérique ...
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 ...
AR-114: Modélisation numériqueLe cours de Modélisation Numérique consiste à apprendre et à manipuler les fonctions de base du logiciel de conception assistée Rhinoceros 3D grâce à l'élaboration d'un modèle simple ainsi qu'à en exploiter les capacités de rendu graphique. ...
AR-301(ah): Théorie et critique du projet BA5 (Malterre-Barthes)"To be useful, helpful, of assistance to someone:" The "In Service of: Berre" studio
reflects on the architectural and territorial project as a form of public service. It explores how architecture and design tools can engage in spatial struggles in the con ...
CH-335: Asymmetric synthesis and retrosynthesisThe first part of the course presents the classical methods of asymmetric synthesis. The second part of the course introduces retrosynthesis strategies based on the disconnection approach. ...
NX-435: Systems neuroscienceThe course "Systems Neuroscience" explores neural circuits and networks to understand how groups of neurons process information and generate behavior. It integrates techniques from neurophysiology, anatomy, genetics, and computer science to investigate com ...
AR-302(ah): Théorie et critique du projet BA6 (Malterre-Barthes)How is architecture made? 'Revolutionize Construction' unpacks the political economy of construction, examining who commissions, finances, and builds, and interrogating architects' roles. It explores how these systems might be revolutionized to enable the ...
CS-524: Computational complexityIn computational complexity we study the computational resources needed to solve problems and understand the relation between different types of computation.
This course advances the students knowledge of computational complexity, and develop an understa ...
CS-597: Master project in CybersecurityThe student carries out an academic or industrial master's project. The student will use skills and knowledge to accomplish an independent Master in Cybersecurity ...
