Search for tag: "variables"

16 Media

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
43:06 cos326-2020-17-03-type-inference-1 cos326-2020-17-03-type-inference-1	cos326-2020-17-03-type-inference-1 Type Checking: Part 3: Type Inference (Simple Types) cos326 function arrow constraints int types algorithm solution inference expression argument bool equations variables substitution equation result constraint unification term schemes From Daniel Macleod on August 16th, 2020 0 likes 141 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
09:39 cos326-2020-17-02-type-checking-implementation cos326-2020-17-02-type-checking-implementation	cos326-2020-17-02-type-checking-implementation Type Checking: Part 2: Ocaml Implementation cos326 function expression context error operation integer t. checking argument result expressions rule checker t1 int call variables statement paren t2 From Daniel Macleod on August 16th, 2020 0 likes 102 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
21:17 cos326-2020-17-01-type-checking-rules cos326-2020-17-01-type-checking-rules	cos326-2020-17-01-type-checking-rules Type Checking: Part 1: Formal Rules cos326 expression rule function context colon int types t2 rules t1 expressions behavior comma notation variables checker language execution systems t. From Daniel Macleod on August 16th, 2020 0 likes 125 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
03:56 cos326-2020-11-03-pruning-closures cos326-2020-11-03-pruning-closures	cos326-2020-11-03-pruning-closures Pruning Closures in Your Environment Based Interpreter cos326 function variables closure environment k. space arrow unit scope closures instances pointer linear n. memory words pair point environments stuff From Daniel Macleod on August 16th, 2020 0 likes 223 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
25:13 cos326-2020-10-02-von-neumann cos326-2020-10-02-von-neumann	cos326-2020-10-02-von-neumann How Ocaml Compiled to a Von Neumann Machine cos326 function pointer language record garbage variables word ocaml machine nursery header constructors call registers field values assembly records environment collector From Daniel Macleod on August 16th, 2020 0 likes 181 plays Date August 16th, 2020 Speaker Andrew Appel 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 285 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
23:35 cos326-2020-06-02-simple-evaluation cos326-2020-06-02-simple-evaluation	cos326-2020-06-02-simple-evaluation Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation cos326 expression values function evaluation exception e2 variable ocaml operation expressions variables v1 integer step language substitution constants execution e1 option From Daniel Macleod on August 14th, 2020 0 likes 244 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
15:38 cos326-2020-02-01-let cos326-2020-02-01-let	cos326-2020-02-01-let Let Expressions expression expressions times declaration step variable declarations function string programs integer change x. variables language ocaml constructs checks 2x e1 From Daniel Macleod on August 13th, 2020 0 likes 270 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
01:25:23 prob_day01_01 prob_day01_01	prob_day01_01 PNI Bootcamp 2020 Day 1 Math/Programming probability values variables interval function variable space sample pmf pdf event heads coin distribution kind infinity x. events b. guys From PNI PNI system administrator on August 10th, 2020 0 likes 5 plays Date August 3rd, 2020 Department Princeton Neuroscience Institute
23:49 Remote Exploration of Social Explorer Remote Exploration of Social Explorer	Remote Exploration of Social Explorer Presented by Ofira Schwartz, Social Sciences Data and Sociology Librarian, and Courtney Conrad, Data and Statistics Consultant, Data and Statistical Services Social Explorer provides easy access to… population jersey race county explorer plot graph analysis income box survey question webinar stata categories axis command variables poverty household From PU Princeton University Library on June 2nd, 2020 0 likes 10 plays Date May 28th, 2020 Department Princeton University Library, McGraw Center for Teaching and Learning
15:36 Preparing Data for Publication: Readmes and… Preparing Data for Publication: Readmes and Documentation	Preparing Data for Publication: Readmes and Documentation Deeper dive into documenting and describing your data to optimize discovery and reuse. metadata files documentation codebooks level series codebook form publication presentation labels space text types variables end lots resources template readme From PU Princeton University Library on June 1st, 2020 0 likes 4 plays Date May 12th, 2020 Department Princeton Research Data Service
04:46 The Path to Safe Fusion Energy through Deep… The Path to Safe Fusion Energy through Deep Learning	The Path to Safe Fusion Energy through Deep Learning San Diego Supercomputer Center Published on May 15, 2019 When the plasma inside a fusion reactor becomes unstable, there can be a release of energy that seriously damages the reactor. Key to… captions_8_6_2020 fusion plasma energy cancer methods gas cross domain tuning comparison apples hyperparameter variables tang professor machines vector learning prediction disruptions From Chris Cane on May 16th, 2019 0 likes 15 plays
50:11 Goldfarb, Donald "ADMM for Multiaffine… Goldfarb, Donald "ADMM for Multiaffine Constrained Optimization: Theory and Applications" May 15, 2018	Goldfarb, Donald "ADMM for Multiaffine Constrained Optimization: Theory and Applications" May 15, 2018 PCTS "Bridging Mathematical Optimization, Information Theory and Data Science" pcts bridging mathematical optimization information theory and data science donald goldfarb captions_12_17_2020 problem variables problems function convex solution lagrangian admm star term method assumptions form theory transpose rank thing blocks lagrange constraints From Broadcast Broadcast Center Staff on May 23rd, 2018 0 likes 64 plays Date May 15th, 2018 Speaker Donald Goldfarb Department PCTS Location 407 Jadwin Hall
01:43:41 SOS10Mar2018_Rabitz_Woody SOS10Mar2018_Rabitz_Woody	SOS10Mar2018_Rabitz_Woody pppl captions_12_17_2020 question science landscape nature chemistry fact resources optimization assumptions landscapes experiments framework lot molecules variables things control questions laboratory evolution From PPPL Admins on March 19th, 2018 0 likes 58 plays