|
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…
Date
April 27th, 2022 Speaker
Youssef Elasser Department
Electrical and Computer Engineering
|
|
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…
Date
March 14th, 2022 Speaker
Kevin Abbey, Rishi Joshi Department
PICSciE/Research Computing
|
|
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…
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
|
|
Date
March 18th, 2021 Department
ORPA
|
|
The Turing Machine Test: module proof for equivalence
Date
November 15th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Proving the Equivalence of Two Modules
Date
November 3rd, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Programming with Parallel Sequences
Date
September 3rd, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 3: More Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 2: Proving Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning about Modular Programs: Part 1: Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Ocaml Modules: Part 4: Module Evaluations
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Ocaml Modules: Part 3: Functors
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Ocamls Modules: Part 1: Simple Structures
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
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…
|
|
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…
Date
September 14th, 2019 Speaker
Kyle Burkhardt Department
ORPA
|
|
Coeus Training - Coeus Basics Part 3: How to navigate through Coeus modules and windows and how to search in Coeus.
Date
September 14th, 2019 Speaker
Kyle Burkhardt Department
ORPA
|