Search for tag: "module"

18 Media

01:55 Celebrate Princeton Innovation 2021: Ruby Lee:… Celebrate Princeton Innovation 2021: Ruby Lee: Tiny AI module for detecting smartphone theft and anomalous behavior	Celebrate Princeton Innovation 2021: Ruby Lee: Tiny AI module for detecting smartphone theft and anomalous behavior Professor Ruby Lee describes the development of built-in smartphone hardware to rapidly detect when a thief tries to use a stolen cell phone to access data and online information. This technology was… innovation technology celebrate princeton innovation 2021 smartphone learning sensors person lives cybersecurity technologies device console module hardware systems algorithm intelligence aid motion engineering computer professor lee From Catherine Zandonella 0 likes 8 plays Date December 1st, 2021 Speaker Ruby Lee, the Forrest G. Hamrick Professor in Engineering and Professor of Electrical and Computer Engineering Department Electrical and Computer Engineering
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 0 likes 20 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 0 likes 66 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 0 likes 64 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 0 likes 246 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 0 likes 218 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 0 likes 154 plays Date September 3rd, 2020 Speaker Andrew Appel 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 221 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 203 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 203 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 0 likes 133 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 0 likes 211 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
35:09 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 0 likes 192 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 0 likes 93 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 0 likes 66 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 0 likes 27 plays Date September 14th, 2019 Speaker Kyle Burkhardt Department ORPA