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 (30)
Previous
Page 2 of 3
Next
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.
Deep Neural Networks
Covers the back-propagation algorithm for deep neural networks and the importance of locality in CNN.
Gitlab Agent for Kubernetes (`agentk`)
Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Stochastic Endowment Consumption Model
Covers the stochastic endowment consumption model, log-linear transformation, impulse response solution, and Matlab codes.
Designing Learning Experiences: CS411 Class Project
Introduces the CS411 Class Project, where students design and test a lesson using learning theories.
Composition of Applications in Mathematics
Explores the composition of applications in mathematics and the importance of understanding their properties.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Rigorous Bounds: Isotropic Phases
Explores rigorous upper and lower bounds for isotropic phase composites and their microstructure arrangement, focusing on laminated plates and stress-strain relationships.
