Search for tag: "module"

A Summer Class Exploring Computer Science with Deaf and Hard of Hearing Students ISLAND 2023

The purpose of this research project was to design, deliver, and assess the content and methodology of an introductory course focused on the block-based coding language, Scratch, for educators of…

From  Mary Albert 0 likes 13 plays

WC23August2023_ABarra

From  PPPL Admins 0 likes 31 plays

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"

From  EEB Media 0 likes 8 plays

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…

From  Broadcast Broadcast Center Staff 0 likes 39 plays

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 18 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 45 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…

From  Catherine Zandonella 0 likes 30 plays

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

From  Maureen Thompson-Siegel 0 likes 21 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod 0 likes 251 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod 0 likes 225 plays

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

Programming with Parallel Sequences

From  Daniel Macleod 0 likes 158 plays

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

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod 0 likes 227 plays

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 208 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod 0 likes 210 plays

cos326-2020-12-04-module-evaluation

Ocaml Modules: Part 4: Module Evaluations

From  Daniel Macleod 0 likes 139 plays

cos326-2020-12-03-functors

Ocaml Modules: Part 3: Functors

From  Daniel Macleod 0 likes 218 plays