Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Untitled
Graph Chatbot
Related lectures (36)
Dependent Types in Programming Languages
Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Designing Learning Experiences: CS411 Class Project
Introduces the CS411 Class Project, where students design and test a lesson using learning theories.
Inclusion of Fermented Foods in Food Guides
Discusses the inclusion of fermented foods in global food guides, exploring their benefits and risks, enzyme kinetics, and the history of food enzymes.
Property-Based Testing: Advanced Techniques
Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.
Symmetry Operations in Quantum Mechanics
Explores symmetry operations in quantum mechanics, emphasizing the preservation of state properties.
Collision Kinetics: Theory and Applications
Covers the theory and applications of collision kinetics in understanding molecular interactions.
Verifying Programs with Stainless: How Stainless Works
Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.
Matrix to Density Operator
Explains the transformation from a matrix to the density operator in quantum physics.
Untitled
Log in to Mediaspace to watch this video
Untitled
Log in to Mediaspace to watch this video
Untitled
Log in to Mediaspace to watch this video
Introduction to Coq: Arithmetic Expressions and Evaluators
Log in to Mediaspace to watch this video
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Logic Programming Techniques: Automated Proof Search and Unification
Log in to Mediaspace to watch this video
Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.
Untitled
Log in to Mediaspace to watch this video
Untitled
Log in to Mediaspace to watch this video
Introduction to Proof Scripting: Basics of Ltac
Log in to Mediaspace to watch this video
Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.
Stochastic Endowment Consumption Model
Log in to Mediaspace to watch this video
Covers the stochastic endowment consumption model, log-linear transformation, impulse response solution, and Matlab codes.
Kinematics: Deformation and Expansion
Log in to Mediaspace to watch this video
Explores kinematics of deformation, focusing on radial and linear expansion, torsion, and rotation by an angle.
Deep Neural Networks
Log in to Mediaspace to watch this video
Covers the back-propagation algorithm for deep neural networks and the importance of locality in CNN.
Previous
Page 1 of 2
Next
