Search for tag: "tree"

15 Media

42:50 21-02-parallel-prefix-scan 21-02-parallel-prefix-scan	21-02-parallel-prefix-scan Parallel Prefix Scan cos326 elements sequence element output sum server prefix tree algorithm servers mapreduce scan range log input function programming left span operator From Daniel Macleod on November 17th, 2020 0 likes 221 plays Date November 17th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
08:58 delacruz_dayna delacruz_dayna	delacruz_dayna Seedling Leaf Damage & Allocation to Growth eeb eeb scholars ecology and evolutionary biology damage species biomass leaf ground specificity tree survival summer allocation ratio seedlings ab category oak forest plot thesis canopy axis captions_11_4_2020 From EEB EEB Media on October 13th, 2020 0 likes 4 plays Date October 13th, 2020 Speaker Dayna Delacruz Department Ecology & Evolutionary Biology Location Zoom
55:36 cos326-2020-18-01-parallelism-future cos326-2020-18-01-parallelism-future	cos326-2020-18-01-parallelism-future Parallelism I cos326 captions_10_9_2020 thread programming future function processor parallelism threads programs force synchronization core futures thing tree alpha result unit processors performance chip From Daniel Macleod on September 3rd, 2020 0 likes 201 plays Date September 3rd, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
12:35 cos326-2020-13-01-representation-invariants cos326-2020-13-01-representation-invariants	cos326-2020-13-01-representation-invariants Reasoning about Modular Programs: Part 1: Representation Invariants cos326 invariant module representation invariance size values operation tree client duplicates outputs function elements functions sets argument implementation lists methods keys From Daniel Macleod on August 16th, 2020 0 likes 195 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
24:09 cos326-2020-09-01-space-model cos326-2020-09-01-space-model	cos326-2020-09-01-space-model A Functional Space Model cos326 space tree function pair node amount structure allocation structures c1 pointer ocaml integer garbage constructor point functions insert constructors hand From Daniel Macleod on August 16th, 2020 0 likes 294 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
26:48 cos326-2020-06-01-abstract-syntax cos326-2020-06-01-abstract-syntax	cos326-2020-06-01-abstract-syntax Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax cos326 expression tree syntax variables variable expressions function programs language interpreter structure integer kind programming class semantics ocaml constructor node component From Daniel Macleod on August 14th, 2020 0 likes 279 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:02 cos326-2020-05-02-inductive-data-types cos326-2020-05-02-inductive-data-types	cos326-2020-05-02-inductive-data-types Inductive Datatypes cos326 tree node key leaf successor constructor int datatype subtree constructors kv prime function definition datatypes types nat cases call clause From Daniel Macleod on August 14th, 2020 0 likes 206 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
00:34 THODE-SYLVIE-IMG_0697.MOV THODE-SYLVIE-IMG_0697.MOV	THODE-SYLVIE-IMG_0697.MOV air areas darkness balloon tops tree wheezing buckling clattering distances aluminum steel sky angel From english English Department on June 2nd, 2020 0 likes 6 plays
00:25 SPARE-ABBY_May15.mov SPARE-ABBY_May15.mov	SPARE-ABBY_May15.mov tree vga uncle humanity happiness vision sense mind genius From english English Department on June 2nd, 2020 0 likes 5 plays
00:27 Spare_Abbey.mov Spare_Abbey.mov	Spare_Abbey.mov tree vga uncle humanity happiness vision sense mind genius From english English Department on June 2nd, 2020 0 likes 1 plays
01:27:02 SOS16March2019_YReinfelder SOS16March2019_YReinfelder	SOS16March2019_YReinfelder pppl captions_12_03_2020 water roots trees plants ground soil plant table root lot rain climate tree question meter routes models environment season earth From PPPL Admins on March 21st, 2019 0 likes 152 plays
37:15 Bubeck, Sebastian (Video Conference)… Bubeck, Sebastian (Video Conference) "Metrical Task Systems on Trees" May 16, 2018	Bubeck, Sebastian (Video Conference) "Metrical Task Systems on Trees" May 16, 2018 PCTS "Bridging Mathematical Optimization, Information Theory and Data Science" pcts bridging mathematical optimization information theory and data science sebastian bubeck captions_12_17_2020 function cost log movement gradient tree learning distribution phi norm fact descent task strategy space inequality times algorithm bregman direction From Broadcast Broadcast Center Staff on May 25th, 2018 0 likes 84 plays Date May 16th, 2018 Speaker Sebastian Bubeck Department PCTS Location 407 Jadwin Hall