Search for tag: "proof"

CITP Seminar: Pramod Viswanath - Witness Chain: Proofs of Bandwidth for Trust-Free Wireless Networking

Open decentralized networking is a decades-old dream, the fabric enabling open, uncensored, global communication. Although this dream drove the design of the original Internet (web 1.0),…

From  CI Center for Information Technology Policy 0 likes 0 plays

9.8 The Place of the Quran

From  ORL Office of Religious Life 0 likes 0 plays

1.42 Sohaib Sultan reflections - Preparation for Ramadan (audio) 5_6_2016

From  ORL Office of Religious Life 0 likes 0 plays

1.40 Sohaib Sultan reflections - Planting the seed as Ramadan approaches (audio) 5_6_2016

From  ORL Office of Religious Life 0 likes 0 plays

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 0 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 0 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 0 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 0 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod 0 likes 0 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 0 plays

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

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod 0 likes 0 plays

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 0 plays

cos326-2020-11-02-uncomputability

Uncomputability: What We Can't Compute

From  Daniel Macleod 0 likes 0 plays

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

Generalizing Your Inductive Hypothesis

From  Daniel Macleod 0 likes 0 plays

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

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

From  Daniel Macleod 0 likes 0 plays

cos326-2020-08-04-induction-datatypes

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

From  Daniel Macleod 0 likes 0 plays