Search for tag: "component"

5 Media

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
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
43:43 Ward, Rachel "Learning the Learning Rate in… Ward, Rachel "Learning the Learning Rate in Stochastic Gradient Descent" May 15, 2018	Ward, Rachel "Learning the Learning Rate in Stochastic Gradient Descent" May 15, 2018 PCTS "Bridging Mathematical Optimization, Information Theory and Data Science" rachel ward pcts bridging mathematical optimization information theory and data science captions_12_17_2020 gradient function step size descent point loss functions component convergence theory norm epsilon algorithm practice problem rate alpha setting lipschitz From Broadcast Broadcast Center Staff on May 23rd, 2018 0 likes 38 plays Date May 15th, 2018 Speaker Rachel Ward Department PCTS Location 407 Jadwin Hall
54:14 The Productive Scholar: John LeMasney on Sketchup The Productive Scholar: John LeMasney on Sketchup	The Productive Scholar: John LeMasney on Sketchup archived_to_s3 tool space shape 3d object sketchup objects buildings chair thing models component push plane earth styles google arc screen feet From Educational Technology Center (ETC) on December 4th, 2013 0 likes 5 plays
01:18:02 The European Roadmap for MFE The European Roadmap for MFE	The European Roadmap for MFE Dr. Francesco Romanelli JET and EFDA pppl archived_to_s3 demo fusion jet material eater neutron operation power electricity phase roadmap component mission dpa level experiment temperature plasma divertor solution From PPPL Admins on July 21st, 2013 0 likes 35 plays