Search for tag: "operation"

WC14December2022_CollinsANDGreenfield

From  PPPL Admins 0 likes 12 plays

JPP23JUNE2022_PMartin

From  PPPL Admins 0 likes 5 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 437 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod 0 likes 225 plays

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

Type Checking: Part 2: Ocaml Implementation

From  Daniel Macleod 0 likes 139 plays

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

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod 0 likes 227 plays

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 208 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod 0 likes 210 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod 0 likes 273 plays

python_day01_02

PNI Bootcamp 2020 Day 1 Math/Programming

From  PNI PNI system administrator 0 likes 3 plays

TC12NOV2015_TPedersen

W7-X Status Report

From  PPPL Admins 0 likes 73 plays

The European Roadmap for MFE

Dr. Francesco Romanelli JET and EFDA

From  PPPL Admins 0 likes 38 plays