Search for tag: "variables"

The Reconciling of Public Policy: A Political Development and Institutional Analysis of Reconciliation and its Impact on Policy, Christian Potter, UG '22 (3964342)

This thesis represents the first large-scale analysis of budget reconciliation in decades. Through an American Political Development lens, I argue that budget reconciliation, initially legislated in…

From  Research Princeton Research Day 0 likes 26 plays

Trust In Reconciliation: How Political Violence Affects Institutional Trust, Rooya Rahin, UG '23 (3963731)

Nearly three decades after the South African Truth and Reconciliation Commission (TRC), it is still considered by most scholars to be the most successful case of a truth commission, as well as the…

From  Research Princeton Research Day 7 likes 80 plays

Do Assault Weapons Bans Really Save Lives: Moving Beyond Politics, Jacob Alayof, UG '23 (3958044)

I examine the real-world efficacy of an assault weapons ban. This is achieved through a difference-in-differences model that uses the variation of legislation between states as a natural experiment.…

From  Research Princeton Research Day 0 likes 25 plays

CITP Seminar- Pranay Anchuri - Insights into Predictability of Life Outcomes- A Data-Driven Approach

Predicting life outcomes is a challenging task even for advanced machine learning (ML) algorithms. At the same time, accurately predicting these outcomes has important implications in providing…

From  CI Center for Information Technology Policy 0 likes 6 plays

Bradford Seminar: “The Role of Extreme Heat, Urbanization and Household Income on AC Possession Around the World”

Rao’s research examines the relationship between energy systems, human development and climate change, including studying equity in energy transitions,and the impacts of climate change and its…

From  Broadcast Broadcast Center Staff 0 likes 0 plays

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

Type Checking: Part 4: Type Inference (Quantifiers)

From  Daniel Macleod 0 likes 89 plays

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

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

From  Daniel Macleod 0 likes 151 plays

cos326-2020-17-02-type-checking-implementation

Type Checking: Part 2: Ocaml Implementation

From  Daniel Macleod 0 likes 128 plays

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

Type Checking: Part 1: Formal Rules

From  Daniel Macleod 0 likes 148 plays

cos326-2020-11-03-pruning-closures

Pruning Closures in Your Environment Based Interpreter

From  Daniel Macleod 0 likes 230 plays

cos326-2020-10-02-von-neumann

How Ocaml Compiled to a Von Neumann Machine

From  Daniel Macleod 0 likes 190 plays

cos326-2020-06-03-more-evaluation

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

From  Daniel Macleod 0 likes 291 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod 0 likes 266 plays

cos326-2020-06-01-abstract-syntax

Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax

From  Daniel Macleod 0 likes 305 plays

cos326-2020-02-01-let

Let Expressions

From  Daniel Macleod 0 likes 294 plays

prob_day01_01

PNI Bootcamp 2020 Day 1 Math/Programming

From  PNI PNI system administrator 0 likes 11 plays