Lecture
Algorithmic Foundations for Systems Certification
Related lectures (31)
Programming with Parallelograms
Covers the implementation of a Parallelogram class in Python.
Ergodic properties of low complexity symbolic systems
Explores the influence of complexity on ergodic properties of symbolic systems, presenting the Curtis-Hedlund-Lyndon Theorem and constructions of minimal subshifts.
Architecture Concepts: Ancient China to Modern West
Delves into ancient Chinese and Western architectural concepts, highlighting influences and key examples.
Acoustic Simulation: Pulsating Sphere
Covers the simulation of acoustic waves in fluids using the Pressure Acoustics, Frequency Domain interface in COMSOL Multiphysics.
Frequency Domain Study: Acoustic Response Analysis
Explores the Frequency Domain study in COMSOL for analyzing acoustic responses to harmonic excitation in various fields.
Creating a Simple Mosaic
Covers the process of creating a simple mosaic using a programming tool.
Radiation Impedance of Piston on Screen
Explores the radiation impedance of a piston on a screen using COMSOL Multiphysics, focusing on resistance, mass, and impedance expressions.
Orthogonal Projections: Symmetry and Matrices
Explores orthogonal projections, symmetry of matrices, and their applications.
Geometry: Euclidean Elements & Vitruvius
Explores Euclid's first proposition, ancient symmetria, and Vitruvius' architectural figures.
Triangle Inequality Theorem
Covers the Triangle Inequality Theorem in triangles, showing side length relationships.