Search for tag: "operation"

JPP23JUNE2022_PMartin

From  PPPL Admins 0 likes 2 plays

Quick Tip: MFA Fatigue Attacks

This series of short videos answers frequently asked information security questions and shares insights from professionals in the field. Join us as we ask the important questions and have some fun in…

From  Stefanie Clerkin 3 likes 212 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod 0 likes 218 plays

cos326-2020-17-02-type-checking-implementation

Type Checking: Part 2: Ocaml Implementation

From  Daniel Macleod 0 likes 130 plays

cos326-2020-13-03-ho-rep-inv

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod 0 likes 222 plays

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 204 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod 0 likes 205 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod 0 likes 267 plays

python_day01_02

PNI Bootcamp 2020 Day 1 Math/Programming

From  PNI PNI system administrator 0 likes 1 plays

Tips for using VPN at Princeton

From  Tara Schaufler 0 likes 1,560 plays

The European Roadmap for MFE

Dr. Francesco Romanelli JET and EFDA

From  PPPL Admins 0 likes 38 plays