Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Functional Reactive Programming
Graph Chatbot
Related lectures (28)
Previous
Page 3 of 3
Next
Practical Engineering: Signal Processing and Sound Synthesis
Covers advanced software engineering topics in signal processing and sound synthesis using Scala.
GTKmm4: Project Architecture and Visualization
Covers the architecture of a project using GTKmm4 and the MVC design pattern for graphical applications.
Fast Fourier Transform
Explains the Fast Fourier Transform, a fast algorithm for calculating the Discrete Fourier Transform.
Hoare Logic: Strongest Postcondition and Weakest Precondition
Covers Hoare logic, strongest postcondition, and weakest precondition for simplifying proofs in imperative programming.
LabVIEW Design Patterns
Explores LabVIEW design patterns, covering local and global variables, race conditions, state machines, and producer-consumer architecture.
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.
Effective Altruism: AI Safety and Governance
Covers effective altruism in AI safety, focusing on programming semantics and memory management.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
