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
Speculative Query Execution: Bottlenecks and Dependencies
Graph Chatbot
Related lectures (32)
Previous
Page 1 of 4
Next
Transfer of Model Structures
Covers the transfer of model structures through adjunctions in the context of model categories.
Homotopy theory of chain complexes
Explores the homotopy theory of chain complexes, focusing on retractions and model category structures.
Category Theory: Introduction
Covers the basics of categories and functors, exploring properties, composition, and uniqueness in category theory.
Homotopy Theory of Chain Complexes
Explores the homotopy theory of chain complexes, focusing on model categories, weak equivalences, and the retraction axiom.
Efficient GPU Join Optimization
Covers efficient GPU-accelerated join optimization for complex queries, focusing on improving optimization times and heuristic plan quality.
The Languages of Isabelle: Isar, ML, and Scala
Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Limits and Colimits in Functor Categories
Explores limits and colimits in functor categories, focusing on equalizers, pullbacks, and their significance in category theory.
Analysis IV: Measurable Sets and Properties
Covers the concept of outer measure and properties of measurable sets.
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
