Search for tag: "proof"

26 Media

02:52 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 princeton research day graduate research mathey college computer science tournament teams match matches rule question rules proof hypothesis problem korea china badminton department coast weinberg matthew professor title suchi From Research Princeton Research Day 3 likes 67 plays Date May 4th, 2023 Speaker Sacheth Sathyanarayanan, GS Department Computer Science
03:12 A House is a Home: Founding Community and Finding… A House is a Home: Founding Community and Finding Family in NYC Ballroom Culture, AJ Salcedo, UG '24 (2263205)	A House is a Home: Founding Community and Finding Family in NYC Ballroom Culture, AJ Salcedo, UG '24 (2263205) Beginning in the early twentieth century, many queer people of color migrated to cities like NYC in search of community, and thus, the underground queer culture known as Ballroom was born. Performers… prd23 princeton research day undergraduate research butler college anthropology lgbtq transgender queerness creativity and the arts the humanities ballroom balls prevention realness families lives aids ball category kinship process categories culture color identities forms proof haven outlet efforts From Research Princeton Research Day 5 likes 59 plays Date May 4th, 2023 Speaker AJ Salcedo, UG '24 Department Anthropology
02:57 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 princeton research day english dungeons and dragons undergraduate research butler college butler humanities gender player game dragons dungeons words majority dm play character pc story role plays transcripts storytelling future topic concept proof From Research Princeton Research Day 1 likes 36 plays Date April 30th, 2023 Speaker August Roberts, UG (2770101) Department Humanities
01:21:51 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 citp theorem chain lot protocol transaction transactions things sequence alice result party computer sequencer ethereum thing proof execution cost dispute claim From Broadcast Broadcast Center Staff 0 likes 22 plays Date March 8th, 2023 Speaker Ed Felten Department CITP Location Comp Sci 105
54:48 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 trust networking helium blockchain side measurement packet hotspot proof backhaul bit thing spectrum packets bandwidth core challenges coverage kind From CI Center for Information Technology Policy 0 likes 10 plays Date September 27th, 2022 Speaker Pramod Viswanath Department Center for Information Technology Policy Location 306 Sherrerd Hall
34:34 9.8 The Place of the Quran 9.8 The Place of the Quran	9.8 The Place of the Quran loss lot revelation proof month grief panel lives guidance recitation arm sisters brothers fear summer law past future purpose miracle From ORL Office of Religious Life 0 likes 1 plays
36:53 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 hanoi allah law revelation proof month recitation lot guidance sisters brothers summer lives ramadan hanover past future fear purpose From ORL Office of Religious Life 0 likes 2 plays
36:53 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 hanoi allah law revelation proof month recitation lot guidance sisters brothers summer lives ramadan hanover past future fear purpose From ORL Office of Religious Life 0 likes 2 plays
03:03 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 cognitive phenomenon ziva kunda ideology burden of proof beliefs evidence movie reasoning persuasion mind police phenomenon identity methods question narratives setting success probability strategies bias feelings facts From Research Princeton Research Day 5 likes 186 plays Date April 27th, 2022 Speaker Jeffery Chen Department Psychology
42:09 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 algorithm side strategy lot job matching proof choice doctor hospital preferences doctors thing mechanism students problem practice question partner theory From CI Center for Information Technology Policy 0 likes 19 plays Date November 16th, 0021 Speaker Matt Weinberg Department Princeton University, Center for Information Technology Policy Location Virtual
02:59 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 bitcoin randomness beacon mining coins prd21 crypto block energy strategy source puzzles puzzle alice future beacon access quantity proof lot miners privilege miner From Research Princeton Research Day 1 likes 55 plays Speaker Matheus Venturyne Xavier Ferreira, GS Department Computer Science
01:02:26 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 elections election evidence kind paper thing votes proof vote question risk lot verification things democracy ballots person problem audit audits 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
33:26 13-05-turing-machine-tape 13-05-turing-machine-tape	13-05-turing-machine-tape The Turing Machine Test: module proof for equivalence cos326 tape dot function problem cons head module side hand definition proof i. bottom r. stack t. empty theorem match symbol From Daniel Macleod 0 likes 250 plays Date November 15th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
17:43 COS510-preview COS510-preview	COS510-preview COS510 preview - Software Verification cos326 length proof cons app programs induction assistant programming thing ocaml function theorem computer things machine reflexivity append hypothesis step fact From Daniel Macleod 0 likes 141 plays Date September 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
22:46 cos326-2020-13-03-ho-rep-inv cos326-2020-13-03-ho-rep-inv	cos326-2020-13-03-ho-rep-inv Reasoning About Modular Programs: Part 3: More Representation Invariants cos326 invariant function t. module operation int representation proof input arrow argument result words component integer elements s1 star option types From Daniel Macleod 0 likes 227 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
13:10 cos326-2020-13-02-rep-inv-set cos326-2020-13-02-rep-inv-set	cos326-2020-13-02-rep-inv-set Reasoning About Modular Programs: Part 2: Proving Representation Invariants cos326 invariant representation module proof values input obligation operation assumption output size theorem property destructor branch l. function operations sets elements From Daniel Macleod 0 likes 208 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ