Lectures related to Building automation

Sensing Considerations

Explores sensing considerations for industrial use cases, emphasizing the importance of understanding specific application fields and the convergence in sensor requirements across different IoT products.

Digital Learning Strategies

Explores the integration of digital resources in teaching and evaluation methods.

Introduction to Computer Science: Three Domains

Covers scientific computing, process automation, and data management in computer science applications across different sectors.

Indoor Air Quality and Ventilation

Covers the basics of indoor air quality modeling and the importance of ventilation in indoor environments.

Stepper Motors: Types and Functionality

Covers the principles and types of stepper motors, including reluctance, electromagnetic, and Lavet motors, and their applications in technology.

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.