Search for tag: "values"

29 Media

02:37 ReMatch+ Intern - Laura Fang ReMatch+ Intern - Laura Fang	ReMatch+ Intern - Laura Fang Uncertainty Quantification for Machine Learning Models model predictions machine errors network points plot density models inputs plasma idea bars error prediction correlation slide values ml goal From Crystal Dixon on July 27th, 2021 0 likes 1 plays Date July 27th, 2021 Speaker Laura Fang Department Princeton Plasma Physics Lab
02:48 OURSIP Intern - Reha Mathur OURSIP Intern - Reha Mathur	OURSIP Intern - Reha Mathur Developing Machine Learning Potentials for CO2 model carbon energy reference models experimentation dioxide surface properties machine values distance atom density configurations snapshots learning calculations initio predictions From Crystal Dixon on July 27th, 2021 0 likes 1 plays Date July 27th, 2021 Speaker Reha Mathur Department Department of Chemical and Biological Engineering
02:52 OURSIP Intern - Lauren Okamoto OURSIP Intern - Lauren Okamoto	OURSIP Intern - Lauren Okamoto Imputing Single-Cell Expression Data based on Joint Statistical Modeling of Spatial and RNA Sequencing expression cell gene cells genes model dataset tissue scientists patterns values datasets neuron mouse conditions issues types space mission atlas From Crystal Dixon on July 26th, 2021 0 likes 7 plays Date July 26th, 2021 Speaker Lauren Okamato Department Department of Computer Science
01:01:43 President's Town Hall 2/24/21 President's Town Hall 2/24/21	President's Town Hall 2/24/21 campus question things students president kind princeton vaccine questions values fall 6th times truth lot vaccines staff commitment members speech From Broadcast Broadcast Center Staff on February 26th, 2021 0 likes 110 plays
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:02:15 Butler Seminar - Michael Mina - Harvard -… Butler Seminar - Michael Mina - Harvard - September 9, 2020	Butler Seminar - Michael Mina - Harvard - September 9, 2020 “SARS-CoV-2: Can we test our way out of this?” Abstract: The world wasn’t prepared for SARS-CoV-2. The public health infrastructure required to detect and stop global spread of a… molecular biology butler covid-19 testing virus tests test pcr surveillance epidemic lot antibody ct sensitivity antigen values question antibodies things coronavirus outbreak point load captions_11_4_2020 From MOL MolBio Zoom Webinar on October 2nd, 2020 0 likes 36 plays Date September 9th, 2020 Speaker Michael Mina, Ph.D. Department Molecular Biology Location Zoom Webinar
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
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
35:08 cos326-2020-12-01-simple-modules cos326-2020-12-01-simple-modules	cos326-2020-12-01-simple-modules Ocamls Modules: Part 1: Simple Structures cos326 module signature implementation stack modules types operations structure query dot values clients structures client files lists interface components ocaml signatures From Daniel Macleod on August 16th, 2020 0 likes 187 plays Date August 16th, 2020 Speaker David Walker 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 182 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
18:47 cos326-2020-06-04-operational-semantics cos326-2020-06-04-operational-semantics	cos326-2020-06-04-operational-semantics A Mathematical Model of Ocaml function substitution rules language programming rule notation model variable expression ocaml evaluation lot values expressions e2 integer thing bit semantics From Daniel Macleod on August 16th, 2020 0 likes 238 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
30:12 Community Action: Engagement 101 Community Action: Engagement 101	Community Action: Engagement 101 Community Action Program Coordinator Maggie Hussar leads Engagement 101, a workshop to prepare first-year students at Princeton University for Community Action. pace center pace service civic engagement workshop experience ca engagement values students action partners experiences college organizations conversations questions princeton person leaders programming mind bit opportunities camera From Gwen McNamara on August 14th, 2020 0 likes 309 plays Date August 14th, 2020 Department Pace Center for Civic Engagement
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 255 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
15:17 cos326-2020-05-01-simple-data-types cos326-2020-05-01-simple-data-types	cos326-2020-05-01-simple-data-types Ocaml Datatypes cos326 float point types square constructors polygon triangle points pattern values side constructor function circle shape cross radius clause hand color From Daniel Macleod on August 14th, 2020 0 likes 178 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
08:16 cos326-2020-04-01-c-rant cos326-2020-04-01-c-rant	cos326-2020-04-01-c-rant C Rant cos326 cons java tail vulnerabilities cases point head lists ml length ocaml thing programming lot induction values bit types pointers sell From Daniel Macleod on August 14th, 2020 0 likes 204 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ