Search

Form-Finding and Structural Optimization: Gaudi Workshop

Lecture 18: Krylov Methods / Multigrid Continued

Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 1

Lecture 8: Landing and Mechanical Systems

Lecture 1 Part 2: Derivatives as Linear Operators

Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 1

Lecture 19: Conjugate Gradient Method

Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 1

Lecture 5: The Kilian-Micali Protocol, Part 2

Seminar 1: Larry Abbott - Mind in the Fly Brain