CS-119(l): Information, Computation, 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-119(d): Information, Computation, 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++). ...
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-119(c): Information, Computation, 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-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. ...
MICRO-443: Conceptual design of products and systems"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 ...
HUM-454: Digital urban history: 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: Digital urban history: 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 ...
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 ...
CS-119(g): Information, Computation, 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 (langage C++). ...
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. ...
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-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 ...
BIO-410: Bioimage informaticsThe 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 quantitative information from multidimensional images, both using ...
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 ...
HUM-417: Philosophical perspectives on the exact sciences IThe course considers central themes in the philosophy of science. Starting from the debate between Leibniz and Newton about space and time, we move on to the transition from classical to quantum physics, the explanatory role of mathematics and philosophica ...
PHYS-210: Physique numérique (pour SPH)Aborder, formuler et résoudre des problèmes de physique en utilisant des méthodes numériques élémentaires. Comprendre les avantages et les limites de ces méthodes (stabilité, convergence). Illustrer différents sujets de physique traités dans d'autres cours ...
CS-459: Foundations of probabilistic proofsProbabilistic proof systems (eg PCPs and IPs) have had a tremendous impact on theoretical computer science, as well as on real-world secure systems. They underlie delegation of computation protocols and hardness of approximation. This course covers the fou ...
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 ...
