Search for tag: "operation"

9 Media

30:15 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 218 plays Date November 3rd, 2020 Speaker David Walker Department COS Location Princeton NJ
09:39 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 127 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
22:46 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 222 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
13:10 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 204 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
12:36 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 204 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
23:36 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 266 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
45:12 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 From PNI PNI system administrator 0 likes 1 plays Date August 3rd, 2020 Department Princeton Neuroscience Institute
02:35 Tips for using VPN at Princeton Tips for using VPN at Princeton	Tips for using VPN at Princeton vpn connection network princeton device resources campus protect portal access bpn idea helpdesk operation oat professionals computing vbm reference paper From Tara Schaufler 0 likes 1,417 plays Date March 16th, 2020 Speaker Tara Schaufler Department Information Security Office
01:18:02 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 36 plays