Search for tag: "functions"

05December2023_PJiang

From  PPPL Admins 0 likes 5 plays

FIPPSeptember2023

From  PPPL Admins 0 likes 7 plays

EEB 522 Seminar Series | Irene Salinas Remiro

EEB 522 Seminar Series Colloquium on the Biology of Populations Presented by Irene Salinas Remiro “The extraordinary immunobiology of the African lungfish”

From  EEB Media 0 likes 9 plays

ReMatch Intern - Suhani Balachandran

Single-cell somatic mutations and genome-wide transcriptional dysregulation in cancer: a machine learning approach Mentors: Dr. Mona Singh; Dept of Computer Science, Lewis-Sigler Institute for…

From  our Undergraduate Research 0 likes 95 plays

3D Object Reconstruction of Unseen and Unlabeled Point Clouds, Gene Chou, UG '22 (3963734)

Learning 3D representations of objects is a task at the heart of computer vision, robotic manipulation, scene understanding, medicine, and content generation. Implicit neural representations which…

From  Research Princeton Research Day 0 likes 35 plays

GSS_14Aug2020_AHakim

From  PPPL Admins 0 likes 21 plays

Psychology Colloquium 10-2-2020: Rob MacCoun

From  PNI PNI system administrator 0 likes 20 plays

Complex_Analysis_Lecture_1_09112020

From  PPPL Admins 0 likes 13 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-11-02-uncomputability

Uncomputability: What We Can't Compute

From  Daniel Macleod 0 likes 110 plays

cos326-2020-11-01-computability

Computability

From  Daniel Macleod 0 likes 187 plays

cos326-2020-09-01-space-model

A Functional Space Model

From  Daniel Macleod 0 likes 304 plays

cos326-2020-08-05-proofs-programming-languages

Did I Get it Right? Part 5: Proofs About Programming Languages

From  Daniel Macleod 0 likes 156 plays

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

From  Daniel Macleod 0 likes 201 plays

cos326-2020-06-03-more-evaluation

Implementing Ocaml in Ocaml: Part 3: More Features, More Fun!

From  Daniel Macleod 0 likes 293 plays