Search for tag: "values"

28 Media

12:59 Zrinka Bralo Zrinka Bralo	Zrinka Bralo Xenophobic Language: the Media, the State, and Public Policy in the UK immigration media immigrants government discourse language violence environment migrants power feeling citizenship terrorism thing attitudes values groups bit policies workers From Migration PIIRS Migration Research Community on March 23rd, 2021 0 likes 25 plays
13:34 Yael Peled Yael Peled	Yael Peled Multilingual Selfhood and the Political Ethics of a Linguistic In-Betweenness language humility experience agency sense values care empathy justice languages institutions uncertainties ambiguities tensions reality power theory barrier society context From Migration PIIRS Migration Research Community on March 23rd, 2021 0 likes 60 plays
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 Center Staff on February 26th, 2021 0 likes 109 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 35 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 195 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 185 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 181 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 236 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 177 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 203 plays Date August 12th, 2020 Speaker Andrew Appel 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 226 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ