Search for tag: "values"

ReMatch+ Intern - Laura Fang

Uncertainty Quantification for Machine Learning Models

From  Crystal Dixon on July 27th, 2021 0 likes 3 plays

OURSIP Intern - Reha Mathur

Developing Machine Learning Potentials for CO2

From  Crystal Dixon on July 27th, 2021 0 likes 5 plays

OURSIP Intern - Lauren Okamoto

Imputing Single-Cell Expression Data based on Joint Statistical Modeling of Spatial and RNA Sequencing

From  Crystal Dixon on July 26th, 2021 0 likes 15 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

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

Butler Seminar - Michael Mina - Harvard - September 9, 2020

“SARS-CoV-2: Can we test our way out of this?” Abstract: The world wasn’t prepared for SARS-CoV-2. The public health infrastructure required to detect and stop global spread of a…

From  MOL MolBio Zoom Webinar on October 2nd, 2020 0 likes 36 plays

cos326-2020-13-02-rep-inv-set

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 199 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 196 plays

cos326-2020-12-04-module-evaluation

Ocaml Modules: Part 4: Module Evaluations

From  Daniel Macleod on August 16th, 2020 0 likes 129 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod on August 16th, 2020 0 likes 187 plays

cos326-2020-10-02-von-neumann

How Ocaml Compiled to a Von Neumann Machine

From  Daniel Macleod on August 16th, 2020 0 likes 182 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

From  Daniel Macleod on August 16th, 2020 0 likes 243 plays

Community Action: Engagement 101

Community Action Program Coordinator Maggie Hussar leads Engagement 101, a workshop to prepare first-year students at Princeton University for Community Action.

From  Gwen McNamara on August 14th, 2020 0 likes 310 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod on August 14th, 2020 0 likes 261 plays