PHYS-310: Solid state physics IICe cours de deux semestres donne une introduction à la Physique du solide, à la structure cristalline, aux vibrations du réseau, aux propriétés électroniques, de transport thermique et électrique ains
CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
AR-301(ak): Studio BA5 (Chavepayreo)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Éve
AR-302(ak): Studio BA6 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Éve
AR-401(ak): Studio MA1 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Év
AR-402(ak): Studio MA2 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Éve
MATH-602: Inference on graphsThe class covers topics related to statistical inference and algorithms on graphs: basic random graphs concepts, thresholds, subgraph containment (planted clique), connectivity, broadcasting on trees,