Concept
Knowledge representation and reasoning
Cours associés (20)
BIO-643: Integrative structural biology for Life sciences
Hands-on course in Biomolecular Integrative Structural Biology by SV experts in the field of X-ray crystallography, cryo-Electron Microscopy, Bio-NMR and protein modeling tools. No previous knowledge
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
DH-406: Machine learning for DH
This course aims to introduce the basic principles of machine learning in the context of the digital humanities. We will cover both supervised and unsupervised learning techniques, and study and imple
ENG-466: Distributed intelligent systems
The goal of this course is to provide methods and tools for modeling distributed intelligent systems as well as designing and optimizing coordination strategies. The course is a well-balanced mixture
CS-411: Digital education
This course addresses the relationship between specific technological features and the learners' cognitive processes. It also covers the methods and results of empirical studies: do student actually l
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
HUM-486: Data in context: Critical Data Studies II
Le cours "Critical Data Studies" s'inscrit dans la nouvelle offre d'enseignements UNIL/EPFL qui propose de croiser des savoirs provenant des SHS et des sciences de l'ingénieur afin d'aborder des théma
HUM-485: Data in context: Critical Data Studies I
Le cours "Critical Data Studies" s'inscrit dans la nouvelle offre d'enseignements TILT qui propose de croiser des savoirs provenant des SHS et des sciences de l'ingénieur afin d'aborder des thématique
ChE-650: Artificial intelligence in chemistry and beyond (fall)
Should have expertise in chemistry, physics or lite and material sciences. Although a very good knowledge in Al-based algorithms is required to fully understand the technical details, a basic knowledg
AR-402(e): Studio MA2 (Weinand)
Etudier la réhabilitation de bâtiments remarquables en portant une attention particulière à la matérialité et aux détails constructifs. Investiguer le potentiel des outils digitaux pour mieux connecte