Search for tag: "proof"

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 3 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 36 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 3 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 221 plays

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 203 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 212 plays

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

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

From  Daniel Macleod 0 likes 148 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 200 plays

cos326-2020-08-02-induction-nats

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

From  Daniel Macleod 0 likes 187 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

Sebastien_Zero Knowledge Final_1

Sebastien Philippe discusses zero knowledge protocol.

From  Chris Cane 0 likes 21 plays