Search for tag: "module"

Kundu, Suman 11 November 2024, "A string theory for 2D Yang-Mills"

+23 More
From  Broadcast Broadcast Center Staff December 5th, 2024 0 likes 4 plays

OURSIP Intern - Pranav Mathur

Control of Neutral Atom Quantum Computer Using an…

+19 More
From  our Undergraduate Research July 29th, 2024 0 likes 30 plays

The Swarm Garden: A Human-Swarm Interactive Platform for Self-Adaptive Art, Architecture and Dance Performance, Jad Bendarkawi, UG '24, Yenet Tafesse, UG'24 (F258874D)

The Swarm Garden represents a combination of…

+19 More
From  Research Princeton Research Day May 2nd, 2024 22 likes 272 plays

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

The purpose of this research project was to…

From  Mary Albert November 2nd, 2023 0 likes 14 plays

WC23August2023_ABarra

+20 More
From  PPPL Admins August 25th, 2023 0 likes 32 plays

EEB 522 Seminar Series | Jonathan Velotta

EEB 522 Seminar Series Colloquium on the Biology…

+22 More
From  EEB Media March 2nd, 2023 0 likes 9 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…

+19 More
From  Broadcast Broadcast Center Staff October 28th, 2022 0 likes 58 plays

Vertical Stacked LEGO-PoL CPU Voltage Regulator, Youssef Elasser, G4 (3963365)

This work presents a 48 V to 1 V merged-two-stage…

From  Research Princeton Research Day April 27th, 2022 7 likes 22 plays

Getting Started with the Research Computing Clusters

This workshop introduces the research computing…

From  Andrea Rubinstein March 16th, 2022 0 likes 59 plays

Celebrate Princeton Innovation 2021: Ruby Lee: Tiny AI module for detecting smartphone theft and anomalous behavior

Professor Ruby Lee describes the development of…

+22 More
From  Catherine Zandonella December 2nd, 2021 0 likes 46 plays

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

+19 More
From  Maureen Thompson-Siegel March 21st, 2021 0 likes 21 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for…

+20 More
From  Daniel Macleod November 15th, 2020 0 likes 255 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

+20 More
From  Daniel Macleod November 3rd, 2020 0 likes 227 plays

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

Programming with Parallel Sequences

From  Daniel Macleod September 3rd, 2020 0 likes 163 plays

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

Reasoning About Modular Programs: Part 3: More…

+20 More
From  Daniel Macleod August 16th, 2020 0 likes 230 plays

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

Reasoning About Modular Programs: Part 2: Proving…

+20 More
From  Daniel Macleod August 16th, 2020 0 likes 213 plays