Industrial Automation Systems Courses

Insights into Mathematics

Number Systems Ancient to Modern - The Babylonians - Sociology and Pure Maths

Explore ancient Babylonian mathematics, including their base-60 system, arithmetic tables, and problem-solving techniques. Gain insights into historical mathematical practices and their relevance today.

• YouTube
• 46 minutes
• On-Demand
• Free Video

Insights into Mathematics

How to Set Up Fractions IV - The Relation Between Fractions and Other Number Systems

Explore number systems, focusing on rational numbers and their relationships. Challenges traditional views on real numbers, emphasizing the distinction between counting and measuring in mathematics.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Insights into Mathematics

Geometric Graph Theory - Weyl Groups, Root Systems and Quadratic Forms

Explore geometric graph theory through the Mutation Game, examining root systems, Weyl groups, and quadratic forms. Discover how graphs generate unique geometrical structures and reflection groups.

• YouTube
• 50 minutes
• On-Demand
• Free Video

Insights into Mathematics

Number Systems and Stevin's Decimals - Math History

Explore the evolution of number systems from ancient Greece to Simon Stevin's decimal arithmetic, examining key developments in mathematics, music, and physics along the way.

• YouTube
• 52 minutes
• On-Demand
• Free Video

Strange Loop Conference

Formal Modeling and Analysis of Distributed Systems

Explore formal methods for distributed systems using P programming framework. Learn to model, specify, and verify complex systems across development phases, from design to production.

• YouTube
• 39 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Automatic Generation of Runtime Checkers for Production Distributed Systems

Explore systematic techniques for automatically generating effective runtime checkers to detect and localize failures in complex distributed systems, enhancing reliability and performance.

• YouTube
• 40 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Nim Nuggets - Systems Programming & Metaprogramming Magic

Explore Nim's advanced features for systems programming, metaprogramming, and static introspection through real-world examples and practical applications.

• YouTube
• 42 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Systems That Run Forever - Self-Heal and Scale

Explore architectural principles for building scalable, fault-tolerant systems using isolated parallel components, error detection, and live code upgrades, with insights from Erlang's design.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Correctness Proofs of Distributed Systems with Isabelle

Explore formal verification of distributed systems using Isabelle/HOL. Learn to prove correctness of algorithms, focusing on consensus and agreement properties in infinite state spaces.

• YouTube
• 43 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Designing Augmented Reality Systems for Speed

Explore designing AR systems for speed, balancing complex algorithms with resource limitations. Learn trade-offs, concurrency, real-time interactions, and caching in AR development.

• YouTube
• 38 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Building Financial Systems on Eventually Consistent DBs

Explore Netflix's innovative approach to building scalable, available, and consistent financial systems using eventually consistent databases, balancing tradeoffs between availability and data integrity.

• YouTube
• 26 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

The Holy Grail of Systems Analysis - From What to Where to Why

Explore advanced distributed tracing techniques to pinpoint latency issues in complex microservice architectures, moving beyond traditional monitoring approaches for more effective system analysis.

• YouTube
• 34 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Languages for 3D Industrial Knitting

Explore programming languages for 3D industrial knitting machines, from low-level operations to advanced compilers. Learn about knittability, constraints, and production optimization for seamless fabric objects.

• YouTube
• 41 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Building Secure Systems in Haskell

Explore building secure web applications using Haskell's LIO and Hails framework, focusing on data privacy protection through language-level information flow control and declarative policy specification.

• YouTube
• 38 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Modelica - Component Oriented Modeling of Physical Systems

Explore component-oriented modeling of physical systems using Modelica, a language for simulating complex devices in various industries. Learn about compilation processes and algorithms.

• YouTube
• 42 minutes
• On-Demand
• Conference Talk