Search for tag: "module"

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…

From  Research Princeton Research Day 7 likes 15 plays

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…

From  Andrea Rubinstein 0 likes 17 plays

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…

From  Catherine Zandonella 0 likes 19 plays

Coffee with ORPA: Princeton ERA Tips and Tricks 3-18-2021

From  Maureen Thompson-Siegel 0 likes 20 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod 0 likes 247 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod 0 likes 218 plays

cos326-2020-22-01-parallelism-and-a7

Programming with Parallel Sequences

From  Daniel Macleod 0 likes 154 plays

cos326-2020-13-03-ho-rep-inv

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod 0 likes 222 plays

cos326-2020-13-02-rep-inv-set

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 204 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod 0 likes 205 plays

cos326-2020-12-04-module-evaluation

Ocaml Modules: Part 4: Module Evaluations

From  Daniel Macleod 0 likes 134 plays

cos326-2020-12-03-functors

Ocaml Modules: Part 3: Functors

From  Daniel Macleod 0 likes 212 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod 0 likes 192 plays

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…

From  Eszter Rudy 0 likes 108 plays

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…

From  Kyle Burkhardt 0 likes 70 plays

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.

From  Kyle Burkhardt 0 likes 30 plays