Lectures related to SMS | EPFL Graph Search

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Explores distributed actor management in clusters, emphasizing consensus, failure detection, and lifecycle monitoring.

Explores the sociological aspects of energy transition, including rebound effect, gender studies, and carbon lock-in.

Covers the basics of Python programming, focusing on strings and variables, with practical examples and exercises.

Explores regression model performance, learning errors, and building regression trees using the CART algorithm.

Explores the Boolean Hidden Matching Problem, focusing on distinguishing messages with negligible probability.

Covers graph sketching and connected components in streaming models.