Search for tag: "input"

9 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
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
25:27 cos326-2020-12-03-functors cos326-2020-12-03-functors	cos326-2020-12-03-functors Ocaml Modules: Part 3: Functors cos326 matrix signature ring module elt functor function thing elements structure queue matrices element base argument result stack types alpha input From Daniel Macleod on August 16th, 2020 0 likes 195 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:07 cos326-2020-03-04-java-rant cos326-2020-03-04-java-rant	cos326-2020-03-04-java-rant A Short Java Rant cos326 pair java possibility option class ocaml pairs types input swap pattern compiler error x. structure thing components argument fields programming From Daniel Macleod on August 14th, 2020 0 likes 179 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
48:09 SULI_24Jun2020SSmith SULI_24Jun2020SSmith	SULI_24Jun2020SSmith codes question plasma libraries input gui fit framework library network inputs control fusion problem method analysis pie repository dr kind From PPPL Admins on August 5th, 2020 0 likes 15 plays
48:09 SULI_24Jun2020NMurphy SULI_24Jun2020NMurphy	SULI_24Jun2020NMurphy codes question plasma libraries input gui fit framework library network inputs control fusion problem method analysis pie repository dr kind From PPPL Admins on July 14th, 2020 0 likes 21 plays
01:17:13 A Worldview Through the Computational Lens - Part… A Worldview Through the Computational Lens - Part 1: A Common Language for Nature, Man, and Computer	A Worldview Through the Computational Lens - Part 1: A Common Language for Nature, Man, and Computer computation machine turing algorithm things mathematics step process computers input computer science numbers algorithms problem thing cell question theory fact From Broadcast Broadcast Center Staff on April 13th, 2020 0 likes 11 plays Speaker Avi Wigderson, School of Mathematics, Institute for Advanced Study Department Public Lecture Series
41:01 Vishwanath, Pramod "Learning in Gated Neural… Vishwanath, Pramod "Learning in Gated Neural Networks" May 16, 2018	Vishwanath, Pramod "Learning in Gated Neural Networks" May 16, 2018 PCTS "Bridging Mathematical Optimization, Information Theory and Data Science" pcts bridging mathematical optimization information theory and data science pramod vishwanath captions_12_17_2020 mixture function model parameters linear input algorithms networks loss network tensor a2 a1 output functions problem samples mixtures regressors experts From Broadcast Broadcast Center Staff on May 25th, 2018 0 likes 51 plays Date May 16th, 2018 Speaker Pramod Vishnawath Department PCTS Location 407 Jadwin Hall