Search for tag: "module"

18 Media

02:59 Vertical Stacked LEGO-PoL CPU Voltage Regulator,… Vertical Stacked LEGO-PoL CPU Voltage Regulator, Youssef Elasser, G4 (3963365)	Vertical Stacked LEGO-PoL CPU Voltage Regulator, Youssef Elasser, G4 (3963365) This work presents a 48 V to 1 V merged-two-stage hybrid-switched-capacitor converter with a Linear Extendable Group Operated Point-of-Load (LEGO-PoL) architecture for ultra-high-current… power conversion data center energy efficiency high current microprocessor linearly extendable group operated vertical stacked power stage efficiency millimeter architecture voltage computing cloud converter buck regulator delivery topology module frequency switching density capacitor watts microprocessors From Research Princeton Research Day 7 likes 15 plays Date April 27th, 2022 Speaker Youssef Elasser Department Electrical and Computer Engineering
02:56:07 Getting Started with the Research Computing… Getting Started with the Research Computing Clusters	Getting Started with the Research Computing Clusters This workshop introduces the research computing ecosystem at Princeton: the computing clusters (Nobel, Adroit, Della, Stellar, Tiger, and Traverse), the storage systems available, and the data… research computing clusters hpc picscie job jobs cluster storage nodes environment clusters systems node scratch memory resources lot thing access module cores gpu cpu amount From Andrea Rubinstein 0 likes 17 plays Date March 14th, 2022 Speaker Kevin Abbey, Rishi Joshi Department PICSciE/Research Computing
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 19 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
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 247 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 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 205 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 134 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 212 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 Note dated Sept 2022: This video was created in 2020 for the launch of Princeton ERA. Some screens will look somewhat different now that we had our first Princeton ERA upgrade in August 2022, but… 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 108 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 70 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 30 plays Date September 14th, 2019 Speaker Kyle Burkhardt Department ORPA