Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Hoare Logic: Foundations and Applications

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (50)

Estimate DDF curves Log in to Mediaspace to watch this video

Discusses intensity-duration-frequency relationships in hydrology and extending theory to events of any duration.

Mean Value Theorem (Mittelwertsatz)Log in to Mediaspace to watch this video

Covers the Mean Value Theorem in differential calculus, focusing on critical points and global extrema within intervals.

Heisenberg Groups: Introduction Log in to Mediaspace to watch this video

Introduces the Heisenberg groups, covering representation theory and unique properties.

Water Consumption in Geneva Log in to Mediaspace to watch this video

Explores water consumption data in Geneva, including charts on consumption and losses, available datasets, and data processing phases.

Memory Management: Address Space Abstraction Log in to Mediaspace to watch this video

Explains address space abstraction, focusing on memory management, stack and heap structures, and their roles in dynamic memory allocation.

Determinants and Row Echelon Form Log in to Mediaspace to watch this video

Covers determinants, row echelon form, properties, and geometric interpretation of determinants.

ANOVA: Partitioning Total SS Log in to Mediaspace to watch this video

Covers ANOVA method, focusing on partitioning total sum of squares into treatment and error components, mean square calculations, Fisher statistic, and F-distribution.

Blockchain Fundamentals Log in to Mediaspace to watch this video

Explores the financial applications of blockchains, covering the definition, history, Ethereum, decentralized finance, smart contracts, tokens, assessment methods, challenges of double spending, digital signatures, and cryptographic hash functions.

Distortion of the Hamming Cube Log in to Mediaspace to watch this video

Explores the distortion of the Hamming cube and the effects of flipping individual bits.

Static Games: Introduction to Game Theory Concepts Log in to Mediaspace to watch this video

Covers the basics of static games and introduces key game theory concepts, including the Prisoner's Dilemma and Nash Equilibrium.

Page 3 of 3