Search for tag: "functions"

27 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 10 plays
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: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 8 plays
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 196 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 102 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
30:19 cos326-2020-11-01-computability cos326-2020-11-01-computability	cos326-2020-11-01-computability Computability lambda function dot calculus match functions g. cons b. pair step ocaml argument successor capital clause constructor point x. computation From Daniel Macleod on August 16th, 2020 0 likes 174 plays Date August 12th, 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 295 plays Date August 16th, 2020 Speaker David Walker 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 143 plays Date August 16th, 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 193 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 286 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
36:57 cos326-2020-04-03-poly-ho cos326-2020-04-03-poly-ho	cos326-2020-04-03-poly-ho Polymorphism cos326 function alpha arrow beta mystery cons head int functions tail comp reduce elements comparison arguments lists fun argument return element From Daniel Macleod on August 16th, 2020 0 likes 268 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
17:00 cos326-2020-05-03-GML-example cos326-2020-05-03-GML-example	cos326-2020-05-03-GML-example Ocaml Datatypes: An Exercise in Type Design cos326 function element font pattern structure elements markup words thing fonts change courier types mark kind italics functions elt document gml From Daniel Macleod on August 14th, 2020 0 likes 212 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
12:39 cos326-2020-04-04-type-history cos326-2020-04-04-type-history	cos326-2020-04-04-type-history Where did type systems come from? cos326 languages ml programming pointer functions theory computer vulnerabilities language types sets systems records variant record integer runtime calculus paradox russell From Daniel Macleod on August 14th, 2020 0 likes 147 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
25:03 cos326-2020-04-02-map-reduce-reasoning cos326-2020-04-02-map-reduce-reasoning	cos326-2020-04-02-map-reduce-reasoning Poly Ho! cos326 function argument functions square arrow arguments head ink times call parameter thing element cons fun tail programs sum lambda expression From Daniel Macleod on August 14th, 2020 1 likes 297 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
08:49 cos326-2020-03-03-insertion-sort cos326-2020-03-03-insertion-sort	cos326-2020-03-03-insertion-sort Insertion Sort cos326 function insertion loop portion head array tail arguments argument int setup rest insert functions lists element arrays call sort algorithm From Daniel Macleod on August 14th, 2020 0 likes 268 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ