Search for tag: "types"

OURSIP Intern - Inci Karaaslan

Cross-Entropy-Style Benchmarking of a 13 ns Perfect Entangler

From  Crystal Dixon on July 27th, 2021 0 likes 3 plays

OURSIP Intern - Lauren Okamoto

Imputing Single-Cell Expression Data based on Joint Statistical Modeling of Spatial and RNA Sequencing

From  Crystal Dixon on July 26th, 2021 0 likes 7 plays

Machine Learning-Based Cell Segmentation Enables Spatial Single-Cell Analysis of the Tumor Immune Microenvironment, Jasper Lee, UG '21 (2308192)

The tumor microenvironment contains a complex collection of immune cells which can infiltrate cancer tissues to varying degrees. Studies into tumor immune cell populations are highly clinically…

From  Research Princeton Research Day on April 29th, 2021 1 likes 41 plays

CITP Seminar: Emilo Zagheni - Combining Social Media and Survey Methods for Health and Migration Research

This talk discusses recent developments in the use of social media platforms as a source of data, and as a tool for survey research, in order to improve our understanding of migration and population…

From  CI Center for Information Technology Policy on March 9th, 2021 0 likes 10 plays

Data Science in Oncology and Immunology: New Frontiers in Biomedical Data Science

This session was part of Engage 2020, Princeton University's innovation and entrepreneurship conference. This session, focusing on New Frontiers in Biomedical Data Science, was part of a…

From  Innovation Innovation Communication on March 8th, 2021 0 likes 9 plays

Bill Buxton Lecture 3 Minutes

From  Carrie Collins on September 2nd, 2020 0 likes 3 plays

cos326-2020-17-04-type-inference-2

Type Checking: Part 4: Type Inference (Quantifiers)

From  Daniel Macleod on August 16th, 2020 0 likes 82 plays

cos326-2020-17-03-type-inference-1

Type Checking: Part 3: Type Inference (Simple Types)

From  Daniel Macleod on August 16th, 2020 0 likes 143 plays

cos326-2020-17-01-type-checking-rules

Type Checking: Part 1: Formal Rules

From  Daniel Macleod on August 16th, 2020 0 likes 132 plays

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

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 217 plays

cos326-2020-12-03-functors

Ocaml Modules: Part 3: Functors

From  Daniel Macleod on August 16th, 2020 0 likes 203 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod on August 16th, 2020 0 likes 187 plays

Pocono Environmental Education Center: Hydroponic System

Learn about the hydroponic system at the Pocono Environmental Education Center (PEEC), one of the first projects built by Community Action students at PEEC.

From  Gwen McNamara on August 15th, 2020 0 likes 10 plays

Pocono Environmental Education Center: Composting Project

Learn more about how students with Community Action helped create a composting project at the Pocono Environmental Education Center and how the composting systems work.

From  Gwen McNamara on August 15th, 2020 0 likes 8 plays