Search for tag: "operation"

WC14December2022_CollinsANDGreenfield

From  PPPL Admins 0 likes 10 plays

JPP23JUNE2022_PMartin

From  PPPL Admins 0 likes 4 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 369 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod 0 likes 223 plays

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

Type Checking: Part 2: Ocaml Implementation

From  Daniel Macleod 0 likes 134 plays

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

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod 0 likes 226 plays

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 207 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod 0 likes 209 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod 0 likes 270 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,711 plays

The European Roadmap for MFE

Dr. Francesco Romanelli JET and EFDA

From  PPPL Admins 0 likes 38 plays