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
Untitled
Graph Chatbot
Related lectures (32)
Previous
Page 4 of 4
Next
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.
Density Operator: Matrix to the System State
Explores density operator matrix transformation in quantum physics and the implications of measuring the system, leading to state collapse.
