Search for tag: "proof"

Motivated Reasoning: facts do care about your feelings, Jeffery Chen, UG '25 (3939095)

With America divided as ever, people from state governments to households have asked themselves: "Why can’t we change their minds?" In FRS 193: Belief and Ideology, I researched why…

From  Research Princeton Research Day 5 likes 92 plays

CITP Seminar: Matt Weinberg - A Crash Course on Algorithmic Mechanism Design

Algorithmic Mechanism Design studies the design of algorithms in settings where participants have their own incentives. For example, when executing an ad auction, the auctioneer/designer wants to…

From  CI Center for Information Technology Policy 0 likes 8 plays

Energy-efficient blockchains with trusted randomness, Matheus Venturyne Xavier Ferreira, GS (2306948)

Blockchains are a disruptive technology into domains where market barriers rather than technical limitations limit innovation, including healthcare, supply chain, finance, and e-commerce. Bitcoin,…

From  Research Princeton Research Day 1 likes 45 plays

CITP Seminar: Vanessa Teague - Some Election Integrity Problems are Surprisingly Easy to Solve and Others are Very Very Hard

This talk will compare two recent advances in the understanding of election integrity. The Scytl/SwissPost e-voting solution was intended to provide complete verifiability for Swiss government…

From  CI Center for Information Technology Policy 0 likes 4 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod 0 likes 246 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 139 plays

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

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod 0 likes 222 plays

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 204 plays

cos326-2020-11-02-uncomputability

Uncomputability: What We Can't Compute

From  Daniel Macleod 0 likes 106 plays

cos326-2020-10-01-generalized-induction-hyps

Generalizing Your Inductive Hypothesis

From  Daniel Macleod 0 likes 217 plays

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

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

From  Daniel Macleod 0 likes 151 plays

cos326-2020-08-04-induction-datatypes

Did I Get it Right? Part 4: Induction for Datatypes

From  Daniel Macleod 0 likes 178 plays

cos326-2020-08-03-induction-lists

Did I Get it Right? Part 3: Induction for Lists

From  Daniel Macleod 0 likes 201 plays

cos326-2020-08-02-induction-nats

Did I Get it Right? Part 2: Induction for Naturals

From  Daniel Macleod 0 likes 189 plays

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

From  Daniel Macleod 0 likes 199 plays

Oh, Sewoong "The Power of Two Samples for Generative Adversarial Networks" May 15, 2018

PCTS "Bridging Mathematical Optimization, Information Theory and Data Science"

From  Broadcast Broadcast Center Staff 0 likes 59 plays