Search for tag: "values"

Thank You - From the Pace Center

As 2021 comes to a close and we look ahead to 2022, all of us here at the John H. Pace, Jr. '39 Center for Civic Engagement want to say thank you to the many students, partners, alumni,…

From  Gwen McNamara 0 likes 3 plays

Moving Up Without Losing Your Way: A Discussion of the Princeton Class of 2025 Pre-Read

Join us for a discussion of the Princeton Pre-read selection for the Class of 2025, Moving Up Without Losing Your Way: The Ethical Costs of Upward Mobility by philosopher and Princeton Class of 2002…

From  Julia Schwarz 0 likes 75 plays

2021 President's Pre-Read Assembly

From  Broadcast Broadcast Center Staff 0 likes 48 plays

GSS20August2021_Hakim

From  PPPL Admins 0 likes 3 plays

ReMatch+ Intern - Laura Fang

Uncertainty Quantification for Machine Learning Models

From  Crystal Dixon 0 likes 7 plays

OURSIP Intern - Reha Mathur

Developing Machine Learning Potentials for CO2

From  Crystal Dixon 0 likes 7 plays

OURSIP Intern - Lauren Okamoto

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

From  Crystal Dixon 0 likes 19 plays

President's Town Hall 2/24/21

From  Broadcast Broadcast Center Staff 0 likes 110 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod 0 likes 218 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 0 likes 36 plays

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 203 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod 0 likes 203 plays

cos326-2020-12-04-module-evaluation

Ocaml Modules: Part 4: Module Evaluations

From  Daniel Macleod 0 likes 133 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod 0 likes 192 plays

cos326-2020-10-02-von-neumann

How Ocaml Compiled to a Von Neumann Machine

From  Daniel Macleod 0 likes 189 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

From  Daniel Macleod 0 likes 249 plays