Search for tag: "formal methods"

Implementing Increased Transparency and Reproducibility in Economics

Replicability is at the core of the scientific enterprise. In the past 30 years,recurring concerns about the extent of replicability (or lack thereof) of the research in various disciplines have…

From  Lars Vilhuber on April 1st, 2020 2 plays

CUFF - 201901250 - Greg Morrisett - What is CIS?

From  Marshall Perryman on January 30th, 2019 30 plays

Privacy-Protecting Smart Contracts at Scale -- Noah Johnson

From  Jake Lopez on August 14th, 2018 95 plays

33 - Bending moment and shear diagrams II Session 33

2010-11-12 15:28:37+00

From  mjp337@cornell.edu on June 26th, 2018 23 plays

CS2110-FA17-26 Session 26

2017-11-22 00:00:00+00

From  mjp337@cornell.edu on June 26th, 2018 57 plays