Search for tag: "proof"

14 Media

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 on November 24th, 2020 0 likes 2 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 on November 15th, 2020 0 likes 242 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 on September 16th, 2020 0 likes 131 plays Date September 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
22:45 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 on August 16th, 2020 0 likes 217 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 on August 16th, 2020 0 likes 199 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 on August 16th, 2020 0 likes 101 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 on August 16th, 2020 0 likes 199 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 on August 16th, 2020 0 likes 138 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 on August 16th, 2020 0 likes 170 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
23:56 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 on August 16th, 2020 0 likes 193 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
14:40 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 on August 16th, 2020 0 likes 180 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 on August 16th, 2020 0 likes 191 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 on May 23rd, 2018 0 likes 53 plays Date May 15th, 2018 Speaker Sewoong Oh Department PCTS Location 407 Jadwin Hall
55:59 Proof of the Free Will Theorem Proof of the Free Will Theorem	Proof of the Free Will Theorem Lecture 5 \| Free Will Lecture Series \| Old news to physicists. Descartes and Leibniz disproved. The Janus universe. Left/right symmetry. Satisfying Curie. Hidden variable theories. Random vs.… conway free will theorem proof From Broadcast Broadcast Center Staff on October 3rd, 2014 0 likes 1,776 plays Date April 20th, 2009 Speaker John Conway Department Mathematics