Search for tag: "function"

78 Media

01:05:18 GSS_14Aug2020_AHakim GSS_14Aug2020_AHakim	GSS_14Aug2020_AHakim equations equation solution scheme functions thing physics basis schemes polynomials things methods paper function alright norm error solutions term side From PPPL Admins on January 3rd, 2021 0 likes 1 plays
01:01:52 GSS_11Aug2020_IKaganovich GSS_11Aug2020_IKaganovich	GSS_11Aug2020_IKaganovich plasma temperature electrons devices function electron lot distribution energy plasmas gas semiconductor kind device discharge physics field tools density voltage From PPPL Admins on January 3rd, 2021 0 likes 0 plays
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
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 on November 15th, 2020 0 likes 242 plays Date November 15th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
57:57 Effective ML Effective ML	Effective ML Yaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020 things thing language ocaml kind lot connection error fact function programming idea lots languages exchange questions garbage messages tool performance From Andrew Appel on November 5th, 2020 0 likes 81 plays Date November 5th, 2020 Speaker Yaron Minsky
30:15 Cos326-13-04-module-equivalence Cos326-13-04-module-equivalence	Cos326-13-04-module-equivalence Proving the Equivalence of Two Modules cos326 m1 values implementation m2 v2 module dot implementations function signature modules relation representation v1 abstraction relationship operation operations reveal client From Daniel Macleod on November 3rd, 2020 0 likes 209 plays Date November 3rd, 2020 Speaker David Walker Department COS Location Princeton NJ
01:11:09 Psychology Colloquium 10-2-2020: Rob MacCoun Psychology Colloquium 10-2-2020: Rob MacCoun	Psychology Colloquium 10-2-2020: Rob MacCoun evidence function functions indecision models ambiguity model threshold sigmoid question probability ambivalence parameter lot decision scale choice paper positivity point captions_11_4_2020 From PNI PNI system administrator on October 2nd, 2020 0 likes 19 plays Date October 2nd, 2020 Speaker Rob MacCoun Department Psychology
01:28:17 Complex_Analysis_Lecture_2_09182020 Complex_Analysis_Lecture_2_09182020	Complex_Analysis_Lecture_2_09182020 pi point function thing branch minus plane contour series residue naught times theta circle continuation integrand problem taylor situation bar captions_11_4_2020 From PPPL Admins on September 29th, 2020 0 likes 7 plays
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 on September 16th, 2020 0 likes 131 plays Date September 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
01:24:00 Complex_Analysis_Lecture_1_09112020 Complex_Analysis_Lecture_1_09112020	Complex_Analysis_Lecture_1_09112020 plane thing function series singularity point times kind contour fact minus things taylor functions sense singularities naught equations derivative derivatives From PPPL Admins on September 14th, 2020 0 likes 7 plays
34:32 cos326-2020-22-01-parallelism-and-a7 cos326-2020-22-01-parallelism-and-a7	cos326-2020-22-01-parallelism-and-a7 Programming with Parallel Sequences captions_10_9_2020 sequence function span sequences array dot length words processor elements url position module network word int operators alpha mapreduce element From Daniel Macleod on September 3rd, 2020 0 likes 150 plays Date September 3rd, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
57:44 cos326-2020-21-01-parallel-collections cos326-2020-21-01-parallel-collections	cos326-2020-21-01-parallel-collections Parallel Sequences cos326 captions_10_9_2020 sequence span function parentheses length element processors cost parenthesis base mapreduce pair sequences processor programming sum operator elements parallel algorithm From Daniel Macleod on September 3rd, 2020 0 likes 236 plays Date September 3rd, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
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
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 216 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
39:47 cos326-2020-16-01-mutation cos326-2020-16-01-mutation	cos326-2020-16-01-mutation Mutation cos326 function factor box ref stack alpha programming ocaml side structures int mutation reference references s1 href node cons unit marks From Daniel Macleod on August 21st, 2020 0 likes 170 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