Search for tag: "function"

Moiré Magic 3.0

Pablo Jarillo-Herrero - Massachusetts Institute of Technology

From  prz prz-media on June 14th, 2021 0 likes 21 plays

Orbital magnetism in graphene systems

Andrea F. Young - University of California, Santa Barbara

From  prz prz-media on June 14th, 2021 0 likes 13 plays

Correlated States in Ultra-Pure Oxides

Joseph Falson, California Institute of Technology

From  prz prz-media on June 10th, 2021 0 likes 51 plays

Quantum Hall Effects in a Partially Full Landau Level Quantized and Unquantized

Bertrand I. Halperin - Harvard University

From  prz prz-media on June 9th, 2021 0 likes 2 plays

21-02-parallel-prefix-scan

Parallel Prefix Scan

From  Daniel Macleod on November 17th, 2020 0 likes 224 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod on November 15th, 2020 0 likes 242 plays

Effective ML

Yaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020

From  Andrew Appel on November 5th, 2020 0 likes 85 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod on November 3rd, 2020 0 likes 209 plays