Search for tag: "operation"

10 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 on November 3rd, 2020 0 likes 211 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 on August 16th, 2020 0 likes 113 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 on August 16th, 2020 0 likes 217 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 on August 16th, 2020 0 likes 199 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 on August 16th, 2020 0 likes 196 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 on August 14th, 2020 0 likes 260 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 on August 10th, 2020 0 likes 1 plays Date August 3rd, 2020 Department Princeton Neuroscience Institute
01:31:03 NCURA - RESEARCH ADMINISTRATION IN A TIME OF… NCURA - RESEARCH ADMINISTRATION IN A TIME OF DISRUPTION - Part 2 Webinar Recording - 4.8.20	NCURA - RESEARCH ADMINISTRATION IN A TIME OF DISRUPTION - Part 2 Webinar Recording - 4.8.20 Experts from The National Institutes of Health (NIH), University of Kent and Max Delbrück Center for Molecular Medicine in the Helmholtz Association will answer these questions and more in a… covid-19 captions_7_29_2020 question lot things team bit situation projects funding meetings michelle webinar flexibility operation staff sort systems questions application grant emergency pilot_captioned From Maureen Thompson-Siegel on April 9th, 2020 0 likes 14 plays Date April 8th, 2020 Department ORPA
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 on March 16th, 2020 0 likes 959 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 on July 21st, 2013 0 likes 35 plays