Industrial Automation Systems Courses

Strange Loop Conference

Ceptre - A Language for Modeling Generative Interactive Systems

Explore Ceptre, a formal language for modeling interactive systems, game design, and program rules, with applications in game development and balance evaluation.

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

Strange Loop Conference

Architectural Patterns of Resilient Distributed Systems

Explore architectural patterns for building resilient distributed systems, focusing on adaptation, decomposition, consistency, and safety. Learn strategies for system evolution and testing.

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

Strange Loop Conference

When "Worst" is Best in Distributed Systems

Explore how designing distributed systems for worst-case network behavior can paradoxically improve typical performance, with practical lessons for web, transaction processing, and database applications.

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

Strange Loop Conference

Onyx - Distributed Workflows for Dynamic Systems

Explore Onyx, a distributed computation system addressing workflow complexities in modern frameworks. Learn about its innovative approach to simplify processing and leverage hardware advancements.

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

Alan Turing Institute

Scoring Systems - At the Extreme of Interpretable Machine Learning - Cynthia Rudin - Duke University

Explore interpretable machine learning for high-stakes decisions. Learn about optimal scoring systems, their applications in healthcare and criminal justice, and the importance of transparency in AI models.

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

Alan Turing Institute

MOSIP Research Platform - Integrating Anomaly Detection Prototypes into Centralized ID Systems

Explore novel anomaly detection methods for digital identity systems using autoencoders, with a focus on fraud prevention during registration in MOSIP architecture.

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

Alan Turing Institute

Intersectional Approaches to Data Can Inform the Development of Trustworthy Digital Identity Systems

Exploring intersectional approaches to data for developing trustworthy digital identity systems, highlighting benefits, challenges, and research insights for more inclusive and ethical design.

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

Alan Turing Institute

Neural Networks as Interacting Particle Systems

Explore neural networks as interacting particle systems, examining their mathematical foundations and applications in complex systems modeling across various scientific disciplines.

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

Alan Turing Institute

Universality Classes for 1+1 Dimensional Systems

Explore universality classes in 1+1 dimensional systems, focusing on weak universality conjecture, graphical construction, and links to Brownian web. Gain insights into complex systems modeling.

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

Alan Turing Institute

Systems and Security - Advanced

Explore advanced system architectures, performance optimization, and security concerns in layered systems. Learn debugging techniques and architectural strategies for addressing bottlenecks and vulnerabilities.

• YouTube
• 1 hour 39 minutes
• On-Demand
• Free Video

Alan Turing Institute

Formal Verification and Learning of Complex Systems - Professor Alessandro Abate

Exploring formal verification techniques for complex systems, combining model-based and data-driven methods to address scalability issues and provide system-level assertions in Cyber-Physical Systems.

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

Alan Turing Institute

At-Scale Formal Verification for Industrial Semiconductor Designs - Professor Tom Melham

Explore formal verification techniques for complex semiconductor designs, focusing on symbolic trajectory evaluation and symmetry exploitation to enhance microprocessor reliability and efficiency.

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

Alan Turing Institute

Invariant Synthesis for Linear Dynamical Systems - Pierre Ohlmann, ENS de Lyon

Explore linear dynamical systems, the Orbit Problem, and invariant synthesis. Learn about semialgebraic and semilinear invariants, Jordan blocks, and related concepts in computational mathematics.

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

RSA Conference

Building Secure and Reliable Systems at Scale

Learn Google's best practices for building secure, reliable systems at scale through automated security, containment, and multi-party techniques that foster a culture of review and resilience.

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

RSA Conference

Scaling Your Defenses - Next Level Security Automation for Enterprise

Learn to implement advanced security automation, from basic tasks to end-to-end processes, enhancing your organization's cyber defense capabilities and efficiency in handling increasing security workloads.

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