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
Virtualization: Principles and Applications
Graph Chatbot
Related lectures (27)
Previous
Page 2 of 3
Next
Cartesian Product and Induction
Introduces Cartesian product and induction for proofs using integers and sets.
Operating Systems: The Role of Glue Services
Covers the role of operating systems as glue services that simplify application design and enhance resource management.
Rethinking OSes for Datacenters
Explores Junction, a new approach combining kernel bypass with resource multiplexing for improved datacenter OS performance.
Local Homeomorphisms and Coverings
Covers the concepts of local homeomorphisms and coverings in manifolds, emphasizing the conditions under which a map is considered a local homeomorphism or a covering.
Advanced Metaprogramming Queries: Code Volume & Complexity
Explores challenges in code volume, complexity, and metaprogramming queries over code.
A Conjecture of Erdös: Proof by Moreira, Richter and Robertson
Presents a short proof of a conjecture by Erdös, exploring related questions and detailed proof of the proposition.
Mapping Functions and Surjections
Explores mapping functions, surjections, injective and surjective functions, and bijective functions.
Simplicial and Cosimplicial Objects: Examples and Applications
Covers simplicial and cosimplicial objects in category theory with practical examples.
Differential Forms on Manifolds
Introduces differential forms on manifolds, covering tangent bundles and intersection pairings.
Composition of Applications in Mathematics
Explores the composition of applications in mathematics and the importance of understanding their properties.