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
Algorithmic Foundations for Systems Certification
Graph Chatbot
Related lectures (31)
Previous
Page 3 of 4
Next
Experimental Design: Strategies and Analysis
Discusses experimental design strategies, factors, responses, treatment combinations, and degrees of freedom.
Building the Internet Computer: A Glimpse into an Ambitious Adventure
Explores building the 'Internet Computer' and 'Beyond Blockchains', covering WebAssembly, consensus algorithms, state machine replication, and challenges in deriving randomness.
Quantum Random Number Generation
Explores quantum random number generation, discussing the challenges and implementations of generating good randomness using quantum devices.
Subsequences and Bolzano-Weierstrass Theorem
Covers the proof of the Squeeze Theorem, Quotient Criteria, and the Bolzano-Weierstrass Theorem.
Sequences and Convergence: Understanding Mathematical Foundations
Covers the concepts of sequences, convergence, and boundedness in mathematics.
Maximum and Minimum of Functions
Explores limits, minimum and maximum values of functions, and continuity criteria in a compact set.
Newtonian Potential: Bounded Domains
Explores Newtonian potential in bounded domains, discussing its conditions and properties.
Paired Tests: Shoe Sole Experiment
Explores paired tests using a shoe sole experiment, showing significant differences between materials A and B.
Proofs and Computations: A Journey Through Mathematical Theory
Explores historical mathematical proofs, decision problems, deductive systems, probabilistic and quantum proofs, and interactive proof systems.
Design of Experiments Basics
Covers the fundamentals of Design of Experiments (DOE) and experimental strategies.