Lectures related to Functional Reactive Programming

Functional Reactive Programming: Signals and Transformations

Explores functional reactive programming using signals to simplify state changes and event reactions in a more functional and clean approach.

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Discrete Event Simulation

Covers discrete event simulation using digital circuits, base components, complex components, and simulation implementation.

Functional Programming Principles

Covers the principles and benefits of functional programming, emphasizing immutable data and functions.

Stainless Verification System Tutorial

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Imperative Event Handling: The Observer Pattern

Introduces the widely used Observer Pattern for views to react to model changes, with examples of Publisher, Subscriber, and a Consolidator.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Functional Programming: Concepts and History

Explores imperative programming limitations, theories without mutation, functional programming principles, and the history of functional languages.

Recursion in Programming

Explores recursion in programming, discussing its benefits, challenges, and impact on algorithm complexity.

Monads: Concepts and Applications

Explores monads, their laws, Scala implementation, and practical applications in functional programming.

Dynamic Arrays in C++: Features and Performance

Covers the implementation and manipulation of dynamic arrays in C++ using vectors, focusing on their features and performance implications.

Introduction to Object-Oriented Programming in Java

Covers the basic concepts of object-oriented programming in Java, emphasizing encapsulation, abstraction, and the importance of organizing complex programs.

Untitled

Practical Engineering 1: Signal Processing

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.

Designing Systems for Harsh Environments: Principles and Strategies

Covers design principles for mechanical systems in radiative and dusty environments.

Loops: Control Statements and Functions

Covers modeling control statements with functions in Scala, including while loops, repeat loops, and for-loops translation.

GTKmm4: Project Architecture and Visualization

Covers the architecture of a project using GTKmm4 and the MVC design pattern for graphical applications.

Hoare Logic: Strongest Postcondition and Weakest Precondition

Covers Hoare logic, strongest postcondition, and weakest precondition for simplifying proofs in imperative programming.

Global Sensitivity Analysis in Stochastic Systems

On Variance-Based Sensitivity Analysis for Stochastic Systems covers the impact of parameters uncertainty and sensitivity indices in stochastic models.

LabVIEW Programming Essentials Log in to Mediaspace to watch this video

Explores LabVIEW essentials, troubleshooting common issues, managing cache, and data visualization techniques.