Search for tag: "proof"

29 Media

Yu, Jiabin, 5 December 2024, "Quantum… duration 31 minutes 26 seconds Yu, Jiabin, 5 December 2024, "Quantum… Yu, Jiabin, 5 December 2024, "Quantum geometry in correlated quantum materials"	Yu, Jiabin, 5 December 2024, "Quantum geometry in correlated quantum materials" pcts +21 More From Broadcast Broadcast Center Staff 0 likes 39 plays Date December 5th, 2024 Speaker Jiabin Yu Department PCTS Location Jadwin 407
Defending Civilization: A Philosopher on the… duration 1 hour 25 minutes Defending Civilization: A Philosopher on the… Defending Civilization: A Philosopher on the Frontlines of World Conflict	Defending Civilization: A Philosopher on the Frontlines of World Conflict Drawing on his decades of reporting from Ukraine, Sudan, Afghanistan, Bosnia, Nigeria, Libya, Syria, and Israel, globally renowned philosopher, journalist, and filmmaker Bernard-Henri… war +19 More From judaicstudies Program in Judaic Studies 0 likes 5 plays Date November 12th, 2024 Speaker Bernard-Henri Lévy, Flora Champy Location Princeton University
Professor Michael Cook duration 2 minutes 8 seconds Professor Michael Cook Professor Michael Cook	Professor Michael Cook Princeton University Press Video Blurb anecdotes +19 More From Tammy Fortson 0 likes 33 plays Speaker Professor Michael Cook Department Near Eastern Studies
How much can you gain by cheating in a… duration 2 minutes 52 seconds How much can you gain by cheating in a… How much can you gain by cheating in a Tournament?, Sacheth Sathyanarayanan, GS (2277180)	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… prd23 +24 More From Research Princeton Research Day 3 likes 113 plays Date May 4th, 2023 Speaker Sacheth Sathyanarayanan, GS Department Computer Science
Who Tells The Story: Speech in Collaborative… duration 2 minutes 57 seconds Who Tells The Story: Speech in Collaborative… Who Tells The Story: Speech in Collaborative Roleplaying Games, August Roberts, UG (2770101)	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… prd23 +27 More From Research Princeton Research Day 1 likes 64 plays Date April 30th, 2023 Speaker August Roberts, UG (2770101) Department Humanities
CITP Lecture: "Arbitrum: From Lab to… duration 1 hour 21 minutes CITP Lecture: "Arbitrum: From Lab to… CITP Lecture: "Arbitrum: From Lab to Market"	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… ed felten +21 More From Broadcast Broadcast Center Staff 0 likes 32 plays Date March 8th, 2023 Speaker Ed Felten Department CITP Location Comp Sci 105
CITP Seminar: Pramod Viswanath - Witness Chain:… duration 54 minutes 48 seconds CITP Seminar: Pramod Viswanath - Witness Chain:… CITP Seminar: Pramod Viswanath - Witness Chain: Proofs of Bandwidth for Trust-Free Wireless Networking	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),… network +19 More From CI Center for Information Technology Policy 0 likes 17 plays Date September 27th, 2022 Speaker Pramod Viswanath Department Center for Information Technology Policy Location 306 Sherrerd Hall
9.8 The Place of the Quran duration 34 minutes 34 seconds 9.8 The Place of the Quran 9.8 The Place of the Quran	9.8 The Place of the Quran loss +19 More From ORL Office of Religious Life 0 likes 1 plays
1.42 Sohaib Sultan reflections - Preparation for… duration 36 minutes 53 seconds 1.42 Sohaib Sultan reflections - Preparation for… 1.42 Sohaib Sultan reflections - Preparation for Ramadan (audio) 5_6_2016	1.42 Sohaib Sultan reflections - Preparation for Ramadan (audio) 5_6_2016 loss +19 More From ORL Office of Religious Life 0 likes 2 plays
1.40 Sohaib Sultan reflections - Planting the… duration 36 minutes 53 seconds 1.40 Sohaib Sultan reflections - Planting the… 1.40 Sohaib Sultan reflections - Planting the seed as Ramadan approaches (audio) 5_6_2016	1.40 Sohaib Sultan reflections - Planting the seed as Ramadan approaches (audio) 5_6_2016 loss +19 More From ORL Office of Religious Life 0 likes 2 plays
Motivated Reasoning: facts do care about your… duration 3 minutes 3 seconds Motivated Reasoning: facts do care about your… Motivated Reasoning: facts do care about your feelings, Jeffery Chen, UG '25 (3939095)	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… motivated reasoning +23 More From Research Princeton Research Day 5 likes 251 plays Date April 27th, 2022 Speaker Jeffery Chen Department Psychology
CITP Seminar: Matt Weinberg - A Crash Course on… duration 42 minutes 9 seconds CITP Seminar: Matt Weinberg - A Crash Course on… CITP Seminar: Matt Weinberg - A Crash Course on Algorithmic Mechanism Design	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… algorithms +20 More From CI Center for Information Technology Policy 0 likes 21 plays Date November 15th, 0021 Speaker Matt Weinberg Department Princeton University, Center for Information Technology Policy Location Virtual
Energy-efficient blockchains with trusted… duration 2 minutes 59 seconds Energy-efficient blockchains with trusted… Energy-efficient blockchains with trusted randomness, Matheus Venturyne Xavier Ferreira, GS (2306948)	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,… blockchains +22 More From Research Princeton Research Day 1 likes 55 plays Speaker Matheus Venturyne Xavier Ferreira, GS Department Computer Science
CITP Seminar: Vanessa Teague - Some Election… duration 1 hour 2 minutes CITP Seminar: Vanessa Teague - Some Election… CITP Seminar: Vanessa Teague - Some Election Integrity Problems are Surprisingly Easy to Solve and Others are Very Very Hard	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… voting +20 More From CI Center for Information Technology Policy 0 likes 5 plays Date November 10th, 2020 Speaker Vanessa Teague Department Center for Information Technology Policy Location Webinar
13-05-turing-machine-tape duration 33 minutes 26 seconds 13-05-turing-machine-tape 13-05-turing-machine-tape	13-05-turing-machine-tape The Turing Machine Test: module proof for equivalence cos326 +20 More From Daniel Macleod 0 likes 253 plays Date November 15th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
COS510-preview duration 17 minutes 43 seconds COS510-preview COS510-preview	COS510-preview COS510 preview - Software Verification cos326 +20 More From Daniel Macleod 0 likes 147 plays Date September 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ