Lectures related to Distributed Algorithms: Exam Review

Distributed Algorithms: Mock Exam Solutions

Covers solutions to a mock exam on Distributed Algorithms, addressing topics like Perfect Failure Detectors and Consensus.

Spectroscopy Basics

Covers the fundamentals of spectroscopy, including tools and techniques used for internal conversion and vibrational relaxation.

Untitled

Vectorworks Basics & Attributes

Covers the basics of Vectorworks software and attributes like fill types and shadow settings.

Reformulating Problems: Tools and Intuition

Focuses on open problems and the importance of reformulating problems with better tools and intuition.

Spectroscopy Fundamentals

Covers the fundamentals of spectroscopy, including tools, color, Doppler effect, and molecular behavior.

Composition of Applications in Mathematics

Explores the composition of applications in mathematics and the importance of understanding their properties.

Algorithm Design: Time Complexity Analysis

Introduces algorithm design and time complexity analysis using examples and notations like n² and O(n).

The Languages of Isabelle: Isar, ML, and Scala

Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.