Search for tag: "expression"

26 Media

01:01:14 Molecular Biology Butler Seminar: John Brooks,… Molecular Biology Butler Seminar: John Brooks, October 28th, 2020	Molecular Biology Butler Seminar: John Brooks, October 28th, 2020 The microbiota coordinates diurnal rhythms in intestinal innate immunity with the host circadian clock Environmental light cycles entrain circadian feeding behaviors in animals that produce rhythms… molecular biology circadian feeding microbiota sfb expression rhythms mice gamma registry protein clock attachment cell cells pathway bacteria night cycle sfp factors rhythmicity animals production captions_11_4_2020 From MOL MolBio Zoom Webinar on October 28th, 2020 0 likes 21 plays Date October 28th, 2020 Speaker John F. Brooks - UT Southwestern Department Molecular Biology Location Zoom Webinar
35:50 cos326-2020-16-02-laziness.mp4 cos326-2020-16-02-laziness.mp4	cos326-2020-16-02-laziness.mp4 Lazy Evaluation and Infinite Data cos326 stream cons unit function alpha head tail call suspension 2s arrow loop streams programming evaluation zip result expression fibs ink From Daniel Macleod on August 21st, 2020 0 likes 215 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
20:43 cos326-2020-17-04-type-inference-2 cos326-2020-17-04-type-inference-2	cos326-2020-17-04-type-inference-2 Type Checking: Part 4: Type Inference (Quantifiers) cos326 function inference expression algorithm bool thing arrow argument types side unit reference hand variables solution ref href result quantifier int From Daniel Macleod on August 16th, 2020 0 likes 82 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
43:06 cos326-2020-17-03-type-inference-1 cos326-2020-17-03-type-inference-1	cos326-2020-17-03-type-inference-1 Type Checking: Part 3: Type Inference (Simple Types) cos326 function arrow constraints int types algorithm solution inference expression argument bool equations variables substitution equation result constraint unification term schemes From Daniel Macleod on August 16th, 2020 0 likes 141 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
09:39 cos326-2020-17-02-type-checking-implementation cos326-2020-17-02-type-checking-implementation	cos326-2020-17-02-type-checking-implementation Type Checking: Part 2: Ocaml Implementation cos326 function expression context error operation integer t. checking argument result expressions rule checker t1 int call variables statement paren t2 From Daniel Macleod on August 16th, 2020 0 likes 100 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
21:17 cos326-2020-17-01-type-checking-rules cos326-2020-17-01-type-checking-rules	cos326-2020-17-01-type-checking-rules Type Checking: Part 1: Formal Rules cos326 expression rule function context colon int types t2 rules t1 expressions behavior comma notation variables checker language execution systems t. From Daniel Macleod on August 16th, 2020 0 likes 124 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:10 cos326-2020-12-04-module-evaluation cos326-2020-12-04-module-evaluation	cos326-2020-12-04-module-evaluation Ocaml Modules: Part 4: Module Evaluations cos326 declaration module functor function declarations functions printing modules signature paren expression functors exception result variation side hand values series structures From Daniel Macleod on August 16th, 2020 0 likes 129 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
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 137 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 189 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
18:47 cos326-2020-06-04-operational-semantics cos326-2020-06-04-operational-semantics	cos326-2020-06-04-operational-semantics A Mathematical Model of Ocaml function substitution rules language programming rule notation model variable expression ocaml evaluation lot values expressions e2 integer thing bit semantics From Daniel Macleod on August 16th, 2020 0 likes 225 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
20:03 cos326-2020-06-03-more-evaluation cos326-2020-06-03-more-evaluation	cos326-2020-06-03-more-evaluation Implementing Ocaml in Ocaml: Part 3: More Features, More Fun! cos326 function expression body argument functions language evaluation application fun expressions interpreter substitution thing things branch statement constructs declaration variables result From Daniel Macleod on August 16th, 2020 0 likes 285 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
23:35 cos326-2020-06-02-simple-evaluation cos326-2020-06-02-simple-evaluation	cos326-2020-06-02-simple-evaluation Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation cos326 expression values function evaluation exception e2 variable ocaml operation expressions variables v1 integer step language substitution constants execution e1 option From Daniel Macleod on August 14th, 2020 0 likes 242 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ