Search for tag: "theorem"

11 Media

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
03:00 Apples to Apples: Using a Patch Foraging… Apples to Apples: Using a Patch Foraging Computer Task to Examine Cognitive Effort Costs, Physical Effort Costs, and Motivation in Real Life, Temitope Oshinowo, UG '21 (2316710)	Apples to Apples: Using a Patch Foraging Computer Task to Examine Cognitive Effort Costs, Physical Effort Costs, and Motivation in Real Life, Temitope Oshinowo, UG '21 (2316710) People assess effort in their everyday lives and such assessments may lead them to execute a task or avoid it. In this experiment, we studied effort assessments in a controlled setting using a… amotivation anhedonia apathy cognitive effort cluster marginal value theorem expected value of control theory patch foraging task physical effort self-report sub-clinical From Research Princeton Research Day 7 likes 205 plays Speaker Temitope Oshinowo Department Neuroscience
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
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
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 223 plays Date August 16th, 2020 Speaker Andrew Appel 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 182 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 203 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 191 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
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 0 likes 1,905 plays Date April 20th, 2009 Speaker John Conway Department Mathematics
50:31 The Theorem's Implications for Science and… The Theorem's Implications for Science and Philosophy	The Theorem's Implications for Science and Philosophy Lecture 6 \| Free Will Lecture Series \| Consistency proofs and truth. Godel and truth. Determinism in philosophy and science departments. Scientific experiments and free will. Surprise and… conway free will theorem science philosophy From Broadcast Broadcast Center Staff 0 likes 1,135 plays Date April 27th, 2009 Speaker John Conway Department Mathematics