Concept
Lindström quantifier
Cours associés (7)
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
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
EE-619: Advanced topics in network neuroscience
The main goal of this course is to give the student a solid introduction into approaches, methods, and tools for brain network analysis. The student will learn about principles of network science and
PHYS-201(d): General physics: electromagnetism
The topics covered by the course are concepts of fluid mechanics, waves, and electromagnetism.
PHYS-758: Advanced Course on Quantum Communication
The aim of this doctoral course by Nicolas Sangouard is to lay the theoretical groundwork that is needed for students to understand how to take advantage of quantum effects for communication technolog
PENS-223: Waters within cities
Knowledge of how to articulate the "urban transition" is today urgently needed. The course reflects on the possibility of designing an urban space without negatively impacting on its water quality.
MICRO-391: Interfaces in biology and nanoscience
A biological system is composed of water, macromolecules and interfaces. Processes inside the cell depend on biomolecular interactions that are decomposed into elementary physical and chemical interac