Search for tag: "operation"

12 Media

WC14December2022_CollinsANDGreenfield duration 1 hour 3 minutes WC14December2022_CollinsANDGreenfield WC14December2022_CollinsANDGreenfield	WC14December2022_CollinsANDGreenfield ppplonly eater fusion team question pilot plant members workshop areas control missions plasma initiatives groups things workforce operation questions phase access From PPPL Admins 0 likes 12 plays
JPP23JUNE2022_PMartin duration 58 minutes 18 seconds JPP23JUNE2022_PMartin JPP23JUNE2022_PMartin	JPP23JUNE2022_PMartin ppplonly divertor power point machine things engineering talk ddt plasma operation physics dtt lot scenario fusion construction device plot meeting configuration From PPPL Admins 0 likes 5 plays
Quick Tip: MFA Fatigue Attacks duration 2 minutes 8 seconds Quick Tip: MFA Fatigue Attacks Quick Tip: MFA Fatigue Attacks	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… multi-factor authentication two-factor authentication security attack information security mfa authentication account request password fatigue access attacker channel tip princeton stacy media operation incident compromise alert gain verification call From Stefanie Clerkin 3 likes 439 plays Date June 27th, 2022 Speaker Tara Schaufler Department Information Security Office
Cos326-13-04-module-equivalence duration 30 minutes 15 seconds Cos326-13-04-module-equivalence Cos326-13-04-module-equivalence	Cos326-13-04-module-equivalence Proving the Equivalence of Two Modules cos326 m1 values implementation m2 v2 module dot implementations function signature modules relation representation v1 abstraction relationship operation operations reveal client From Daniel Macleod 0 likes 225 plays Date November 3rd, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-17-02-type-checking-implementation duration 9 minutes 39 seconds cos326-2020-17-02-type-checking-implementation cos326-2020-17-02-type-checking-implementation	cos326-2020-17-02-type-checking-implementation Type Checking: Part 2: Ocaml Implementation cos326 function expression context error operation integer t. checking argument result expressions rule checker t1 int call variables statement paren t2 From Daniel Macleod 0 likes 139 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-13-03-ho-rep-inv duration 22 minutes 46 seconds cos326-2020-13-03-ho-rep-inv cos326-2020-13-03-ho-rep-inv	cos326-2020-13-03-ho-rep-inv Reasoning About Modular Programs: Part 3: More Representation Invariants cos326 invariant function t. module operation int representation proof input arrow argument result words component integer elements s1 star option types From Daniel Macleod 0 likes 227 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-13-02-rep-inv-set duration 13 minutes 10 seconds cos326-2020-13-02-rep-inv-set cos326-2020-13-02-rep-inv-set	cos326-2020-13-02-rep-inv-set Reasoning About Modular Programs: Part 2: Proving Representation Invariants cos326 invariant representation module proof values input obligation operation assumption output size theorem property destructor branch l. function operations sets elements From Daniel Macleod 0 likes 208 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-13-01-representation-invariants duration 12 minutes 36 seconds cos326-2020-13-01-representation-invariants cos326-2020-13-01-representation-invariants	cos326-2020-13-01-representation-invariants Reasoning about Modular Programs: Part 1: Representation Invariants cos326 invariant module representation invariance size values operation tree client duplicates outputs function elements functions sets argument implementation lists methods keys From Daniel Macleod 0 likes 210 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-06-02-simple-evaluation duration 23 minutes 36 seconds cos326-2020-06-02-simple-evaluation cos326-2020-06-02-simple-evaluation	cos326-2020-06-02-simple-evaluation Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation cos326 expression values function evaluation exception e2 variable ocaml operation expressions variables v1 integer step language substitution constants execution e1 option From Daniel Macleod 0 likes 273 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
python_day01_02 duration 45 minutes 12 seconds python_day01_02 python_day01_02	python_day01_02 PNI Bootcamp 2020 Day 1 Math/Programming things thing array axis element shape copy matrix dimension plot arrays 3d figure operations operation object function copies indexing default archived_to_s3 From PNI PNI system administrator 0 likes 3 plays Date August 3rd, 2020 Department Princeton Neuroscience Institute
TC12NOV2015_TPedersen duration 1 hour 21 minutes TC12NOV2015_TPedersen TC12NOV2015_TPedersen	TC12NOV2015_TPedersen W7-X Status Report pppl archived_to_s3 operation field phase plasma coils island heat lot bit electron surface chain flux temperature heating limiter configuration point machine From PPPL Admins 0 likes 73 plays
The European Roadmap for MFE duration 1 hour 18 minutes The European Roadmap for MFE The European Roadmap for MFE	The European Roadmap for MFE Dr. Francesco Romanelli JET and EFDA pppl archived_to_s3 demo fusion jet material eater neutron operation power electricity phase roadmap component mission dpa level experiment temperature plasma divertor solution From PPPL Admins 0 likes 38 plays