Search for tag: "proof"

Professor Michael Cook

Princeton University Press Video Blurb

From  Tammy Fortson 0 likes 16 plays

How much can you gain by cheating in a Tournament?, Sacheth Sathyanarayanan, GS (2277180)

A (round-robin) tournament consists of n teams playing all possible matches. A Tournament Rule takes as input the results of a tournament and (possibly randomly) selects a ranking of teams, with a…

From  Research Princeton Research Day 3 likes 86 plays

Who Tells The Story: Speech in Collaborative Roleplaying Games, August Roberts, UG (2770101)

My research uses transcripts from the Dungeons & Dragons actual play Dimension 20 to examine the extent to which different players in a singular D&D game contribute to the telling of the…

From  Research Princeton Research Day 1 likes 56 plays

CITP Lecture: "Arbitrum: From Lab to Market"

The Arbitrum blockchain protocol started as a Princeton University research project, and has grown into a robust community hosting hundred of applications and over 600,000 monthly users. Along the…

From  Broadcast Broadcast Center Staff 0 likes 27 plays

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

9.8 The Place of the Quran

From  ORL Office of Religious Life 0 likes 1 plays

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

From  ORL Office of Religious Life 0 likes 2 plays

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

From  ORL Office of Religious Life 0 likes 2 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 231 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 21 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 55 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 5 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod 0 likes 251 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 145 plays

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

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod 0 likes 227 plays

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 208 plays