Search for tag: "module"

17 Media

01:25:33 Coffee with ORPA: Princeton ERA Tips and Tricks… Coffee with ORPA: Princeton ERA Tips and Tricks 3-18-2021	Coffee with ORPA: Princeton ERA Tips and Tricks 3-18-2021 proposal budget agreements proposals agreement workspace tab question activity pi words attachments module guide word percent copy compliance questions department From Maureen Thompson-Siegel on March 20th, 2021 0 likes 16 plays Date March 18th, 2021 Department ORPA
02:40 Fostering_Inclusion_Module 3 Examples Fostering_Inclusion_Module 3 Examples	Fostering_Inclusion_Module 3 Examples eeb ecology and evolutionary biology microaggressions students examples study impacts studies fields professors opportunities researchers bias academia module advancement decisions selection men minorities professionals categories From EEB EEB Media on November 17th, 2020 0 likes 62 plays Date November 17th, 2020
06:45 Fostering_Inclusion_Module 2-Assumptions, Bias,… Fostering_Inclusion_Module 2-Assumptions, Bias, Stereotypes	Fostering_Inclusion_Module 2-Assumptions, Bias, Stereotypes eeb ecology and evolutionary biology microaggressions stereotypes identity stereotype characteristics biases person decision bias module beach microaggression impact executive fields messages attitudes belief assumption understanding From EEB EEB Media on November 17th, 2020 0 likes 63 plays Date November 17th, 2020
33:26 13-05-turing-machine-tape 13-05-turing-machine-tape	13-05-turing-machine-tape The Turing Machine Test: module proof for equivalence cos326 tape dot function problem cons head module side hand definition proof i. bottom r. stack t. empty theorem match symbol From Daniel Macleod on November 15th, 2020 0 likes 242 plays Date November 15th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
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 209 plays Date November 3rd, 2020 Speaker David Walker Department COS Location Princeton NJ
34:32 cos326-2020-22-01-parallelism-and-a7 cos326-2020-22-01-parallelism-and-a7	cos326-2020-22-01-parallelism-and-a7 Programming with Parallel Sequences captions_10_9_2020 sequence function span sequences array dot length words processor elements url position module network word int operators alpha mapreduce element From Daniel Macleod on September 3rd, 2020 0 likes 151 plays Date September 3rd, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
22:45 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:35 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 195 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:10 cos326-2020-12-04-module-evaluation cos326-2020-12-04-module-evaluation	cos326-2020-12-04-module-evaluation Ocaml Modules: Part 4: Module Evaluations cos326 declaration module functor function declarations functions printing modules signature paren expression functors exception result variation side hand values series structures From Daniel Macleod on August 16th, 2020 0 likes 129 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
25:27 cos326-2020-12-03-functors cos326-2020-12-03-functors	cos326-2020-12-03-functors Ocaml Modules: Part 3: Functors cos326 matrix signature ring module elt functor function thing elements structure queue matrices element base argument result stack types alpha input From Daniel Macleod on August 16th, 2020 0 likes 200 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
35:08 cos326-2020-12-01-simple-modules cos326-2020-12-01-simple-modules	cos326-2020-12-01-simple-modules Ocamls Modules: Part 1: Simple Structures cos326 module signature implementation stack modules types operations structure query dot values clients structures client files lists interface components ocaml signatures From Daniel Macleod on August 16th, 2020 0 likes 185 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
02:01 Agreements 3: Creating an Agreement Agreements 3: Creating an Agreement	Agreements 3: Creating an Agreement This video will walk the viewer through the process of creating an agreement in Princeton ERA. To practice entering an agreement in Princeton ERA, log on to the Princeton ERA Training environment… agreement proposal funding workspace module agreements grants button create dashboard edit tab projects word screen activity execute activities side event From Eszter Rudy on July 28th, 2020 0 likes 83 plays
07:21 1.1 Coeus Basics : Coeus Background + History 1.1 Coeus Basics : Coeus Background + History	1.1 Coeus Basics : Coeus Background + History Coeus Training - Coeus Basics Part 1: Provides answers to the following questions: What is Coeus? Why does Princeton University use Coeus? What information does Coeus contain? How does Coeus… coeus online training coeus basics proposal status coleus coase department guide coates approval grants financials award orbit access manager sponsor institute warehouse word words module From Kyle Burkhardt on September 14th, 2019 0 likes 65 plays Date September 14th, 2019 Speaker Kyle Burkhardt Department ORPA
06:42 1.3 Navigating + Searching in Coeus 1.3 Navigating + Searching in Coeus	1.3 Navigating + Searching in Coeus Coeus Training - Coeus Basics Part 3: How to navigate through Coeus modules and windows and how to search in Coeus. coeus online training coeus basics proposal star toolbar coleus windows study pi wildcard zeros module buttons proposals screen field title button guide column space place From Kyle Burkhardt on September 14th, 2019 0 likes 26 plays Date September 14th, 2019 Speaker Kyle Burkhardt Department ORPA
07:17 Welcome - Yueh-Lin (Lynn) Loo Welcome - Yueh-Lin (Lynn) Loo	Welcome - Yueh-Lin (Lynn) Loo yueh-lin (lynn) loo effiliates andlinger center for energy and the environment princeton e-ffiliates partnership captions_01_13_2021 half energy climate professor environment government power accord module expertise solutions leaders efforts society plan director engineering partnership princeton morning From Broadcast Center Staff on November 27th, 2017 0 likes 107 plays Date November 10th, 2017 Speaker Yueh-Linn (Lynn) Loo Location Maeder Hall, Andlinger Center