Systems Administration Courses

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

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

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

CAE in Cybersecurity Community

Security and Trustworthiness of Modern Cyber-Physical Systems - Dr. Dimitrios Damopoulos

Explore challenges and strategies for securing interconnected cyber-physical systems, focusing on machine learning, smartphone security, and AI trustworthiness in our increasingly digital world.

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

International Centre for Theoretical Sciences

Measurement Induced Transitions in Long-Range Spin Systems by Rosario Fazio

Explore measurement-induced transitions in long-range spin systems, examining their dynamics, properties, and implications for quantum physics and information theory.

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