Search for tag: "module"

20 Media

47:30 EEB 522 Seminar Series \| Jonathan Velotta EEB 522 Seminar Series \| Jonathan Velotta	EEB 522 Seminar Series \| Jonathan Velotta EEB 522 Seminar Series Colloquium on the Biology of Populations Presented by Jonathan Velotta "Extreme Physiology and the Mechanisms of Adaptation to High Altitude" eeb ecology and evolutionary biology ecology & evolutionary biology altitude mice genes oxygen module thermogenesis expression capacity muscle lot tissue species hypoxia modules population differences muscles rate differentiation mouse From EEB Media 0 likes 5 plays Date March 2nd, 2023 Speaker Jonathan Velotta Department Ecology and Evolutionary Biology Location Guyot Hall
01:05:51 Richard H Wilhelm Lectures "Genome… Richard H Wilhelm Lectures "Genome Engineering: A New Engineering Discipline Emerging In The 2020s?" DAY 1	Richard H Wilhelm Lectures "Genome Engineering: A New Engineering Discipline Emerging In The 2020s?" DAY 1 Bernhard Palsson is the Y.C. Fung Endowed Professor in Bioengineering, Professor of Pediatrics, and the Principal Investigator of the Systems Biology Research Group in the Department of… genomes gene genes genome protein engineering amino proteome growth strain coli sequence module signals acid scale modulus rate signal function From Broadcast Broadcast Center Staff 0 likes 14 plays Date October 26th, 2022 Speaker Bernhard Palsson Department Chemical and Biological Engineering Location Friend 113 Convocation Room
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 33 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… 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 24 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 250 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 224 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 157 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 227 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 208 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 209 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 138 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 216 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 197 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,… 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 117 plays