Search for tag: "option"

12 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
08:38 cos326-2020-12-02-module-choices cos326-2020-12-02-module-choices	cos326-2020-12-02-module-choices Ocaml Modules: Part 2: Design Choices stack pop interface argument error bug problem kind kinds programs exception option choice interfaces exceptions ocaml color client implementation air From Daniel Macleod on August 16th, 2020 0 likes 146 plays Date August 16th, 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
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
22:56 cos326-2020-03-02-lists cos326-2020-03-02-lists	cos326-2020-03-02-lists Thinking Inductively cos326 function cons cases lists pattern element int pair pairs zip result tail integers expression base match option excess argument pause From Daniel Macleod on August 14th, 2020 0 likes 337 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
15:03 cos326-2020-03-01-options cos326-2020-03-01-options	cos326-2020-03-01-options Options cos326 pattern option function pair slope patterns point float distance expression match types components branch statement branches values pairs bar p2 From Daniel Macleod on August 14th, 2020 0 likes 224 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
01:01:54 Best Practices for Video Production Best Practices for Video Production	Best Practices for Video Production Would you like to improve the quality of your live or recorded lectures? This workshop is for faculty interested in learning how to raise the level of their online course videos. We will explore best… light recording lecture camera presentation microphone videos lectures image location students quality screen ipad option zoom webcam computer ring youtube From OLE Staff on July 30th, 2020 1 likes 92 plays Date July 29th, 2020 Speaker Lance Herrington, Lisa Jackson Department McGraw Center for Teaching & Learning
25:20 Getting Started with Collaboration Tools:… Getting Started with Collaboration Tools: Protocols.io	Getting Started with Collaboration Tools: Protocols.io Get started with this new web-based platform for thorough and transparent documentation of protocols for lab experiments and analyses with complex procedures. protocol protocols step process recipe lab option things science manuscript record problem paper methods reproducibility amount document lot temperature kind From PU Princeton University Library on June 1st, 2020 0 likes 2 plays Date May 14th, 2020 Department Princeton Research Data Service
13:13 COVID-19 & Me: Oral History Project COVID-19 & Me: Oral History Project	COVID-19 & Me: Oral History Project interview history narrator guide story questions release option form lib presentation staff interviewer princeton transcript library commons recording access resources From PU Princeton University Library on May 13th, 2020 0 likes 223 plays Department Princeton University Library
05:14 TigerChallenge: Farmers and the Food System TigerChallenge: Farmers and the Food System	TigerChallenge: Farmers and the Food System Food and agriculture is one of New Jersey's largest industries, yet local producers have difficulty selling their goods directly to consumers. Our initiative curates local farmers' produce… prd20 food farmers option team options pilot users experience challenge supplies rental cost pallet test mind party phase orders goodness cycle From Research Day on April 29th, 2020 0 likes 30 plays Date April 29th, 2020 Speaker Larkin Ison III '22 Department Social Policy
04:35 Version 3 - Dental Section Version 3 - Dental Section	Version 3 - Dental Section network plan providers coverage ppo option care provider metlife 31st documentation benefits children aetna plans verification dependents demo adults benefit adagio From Broadcast Broadcast Center Staff on October 10th, 2019 0 likes 51 plays
04:58 PIs Must Review AND Sign Protocols Prior to IRB… PIs Must Review AND Sign Protocols Prior to IRB Submission	PIs Must Review AND Sign Protocols Prior to IRB Submission sign irb protocol captions_01_13_2021 irb protocol pi form submission things researcher screen application login assignment button task tasks members committee option bottom scroll researchers From Catherine Zandonella on December 12th, 2017 0 likes 149 plays Date December 12th, 2017 Department Research Integrity and Assurance