Search for tag: "proof"

17 Media

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 3 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 36 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 3 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 246 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 139 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 221 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 203 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
18:13 cos326-2020-11-02-uncomputability cos326-2020-11-02-uncomputability	cos326-2020-11-02-uncomputability Uncomputability: What We Can't Compute cos326 function lambda rep expression calculus halts syntax wrap tree functions turing ocaml machine models computation dot interpreter e2 e1 proof From Daniel Macleod 0 likes 106 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
21:12 cos326-2020-10-01-generalized-induction-hyps cos326-2020-10-01-generalized-induction-hyps	cos326-2020-10-01-generalized-induction-hyps Generalizing Your Inductive Hypothesis cos326 mirror bar leaf theorem node induction 3x proof tree trees t. hypothesis definition bottom i. equals subcase stuff image structure From Daniel Macleod 0 likes 212 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
17:48 cos326-2020-08-05-proofs-programming-languages cos326-2020-08-05-proofs-programming-languages	cos326-2020-08-05-proofs-programming-languages Did I Get it Right? Part 5: Proofs About Programming Languages cos326 expression side hand opt expressions function cases programs programming e2 proof things functions languages argument thing language hypothesis induction integer From Daniel Macleod 0 likes 148 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
14:47 cos326-2020-08-04-induction-datatypes cos326-2020-08-04-induction-datatypes	cos326-2020-08-04-induction-datatypes Did I Get it Right? Part 4: Induction for Datatypes cos326 induction node tree function hypothesis side proof leaf hand proofs trees definition subtree left step theorem t. tm cases expression From Daniel Macleod 0 likes 178 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
23:57 cos326-2020-08-03-induction-lists cos326-2020-08-03-induction-lists	cos326-2020-08-03-induction-lists Did I Get it Right? Part 3: Induction for Lists cos326 length induction tail proofs proof hand side theorem cat cases head hypothesis expression lists excess equation cons element access function From Daniel Macleod 0 likes 200 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
14:41 cos326-2020-08-02-induction-nats cos326-2020-08-02-induction-nats	cos326-2020-08-02-induction-nats Did I Get it Right? Part 2: Induction for Naturals cos326 proof times expression theorem side hand numbers match hypothesis induction n. proofs point bit minus statement function evaluation branch cases From Daniel Macleod 0 likes 187 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
30:29 cos326-2020-08-01-simple-proofs cos326-2020-08-01-simple-proofs	cos326-2020-08-01-simple-proofs Did I Get it Right? Part 1: Simple Proofs cos326 expression side function hand proof expressions programs times principle proofs step e2 equals evaluation loop words equation foo exception functions From Daniel Macleod 0 likes 199 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
30:37 Oh, Sewoong "The Power of Two Samples for… Oh, Sewoong "The Power of Two Samples for Generative Adversarial Networks" May 15, 2018	Oh, Sewoong "The Power of Two Samples for Generative Adversarial Networks" May 15, 2018 PCTS "Bridging Mathematical Optimization, Information Theory and Data Science" pcts sewoong oh bridging mathematical optimization information theory and data science captions_12_17_2020 space point distribution region variation samples images technique class distributions generator epsilon proof packing divergence sample thing architecture colors collapse From Broadcast Broadcast Center Staff 0 likes 59 plays Date May 15th, 2018 Speaker Sewoong Oh Department PCTS Location 407 Jadwin Hall
03:29 Sebastien_Zero Knowledge Final_1 Sebastien_Zero Knowledge Final_1	Sebastien_Zero Knowledge Final_1 Sebastien Philippe discusses zero knowledge protocol. pppl archived_to_s3 patterns statement proof materials cubes hardware droplets electronics detectors side vowels objects experiment pattern weapon advantage trends capacity opacity neutrons From Chris Cane 0 likes 21 plays