Search for tag: "integer"

14 Media

OURSIP Intern - Kashti Satish Umare duration 3 minutes 34 seconds OURSIP Intern - Kashti Satish Umare OURSIP Intern - Kashti Satish Umare	OURSIP Intern - Kashti Satish Umare Smooth Fano Toric Surfaces Advised by: Prof. Louis Esser, Mathematics cone points lattice cones space fan triangle rays dimensions groups inverse property semi process varieties slide isomorphism examples origin integer From our Undergraduate Research 0 likes 6 plays Date August 1st, 2024 Speaker Kashti Satish Umare Department Office of Undergraduate Research
Heat Transport in Topological Matter duration 1 hour 29 minutes Heat Transport in Topological Matter Heat Transport in Topological Matter	Heat Transport in Topological Matter Dmitri Feldman – Brown University transport field heat conductance temperature edge effect experiment charge direction physics factor modes experiments integer question things thing hamiltonian energy From prz prz-media 0 likes 10 plays Date June 9th, 2021 Speaker Dmitri Feldman – Brown University Department PRISM
Quantum Hall Effects in a Partially Full Landau… duration 1 hour 25 minutes Quantum Hall Effects in a Partially Full Landau… Quantum Hall Effects in a Partially Full Landau Level Quantized and Unquantized	Quantum Hall Effects in a Partially Full Landau Level Quantized and Unquantized Bertrand I. Halperin - Harvard University field energy wave gap electrons half fermi hall electron level fraction theory density function times integer vector interactions pi particles From prz prz-media 0 likes 14 plays Date June 8th, 2021 Speaker Bertrand I. Halperin - Harvard University Department PRISM
cos326-2020-17-02-type-checking-implementation duration 9 minutes 39 seconds 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 0 likes 140 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-13-03-ho-rep-inv duration 22 minutes 46 seconds 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 0 likes 227 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-09-01-space-model duration 24 minutes 10 seconds 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 0 likes 304 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-08-05-proofs-programming-languages duration 17 minutes 48 seconds 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 0 likes 158 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-06-04-operational-semantics duration 18 minutes 47 seconds 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 0 likes 288 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-06-02-simple-evaluation duration 23 minutes 36 seconds 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 0 likes 273 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-06-01-abstract-syntax duration 26 minutes 49 seconds 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 0 likes 317 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-04-04-type-history duration 12 minutes 40 seconds 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 0 likes 155 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-02-01-let duration 15 minutes 38 seconds 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 0 likes 302 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-01-02-ocaml duration 43 minutes 11 seconds cos326-2020-01-02-ocaml cos326-2020-01-02-ocaml	cos326-2020-01-02-ocaml Introduction to Ocaml cos326 expression ocaml int function window dot unit string languages programs functions ml language programming integer rule values expressions side compiler From Daniel Macleod 0 likes 497 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
python_day01_01 duration 44 minutes 31 seconds python_day01_01 python_day01_01	python_day01_01 PNI Bootcamp 2020 Day 1 Math/Programming array thing memory object axis level numpy integers function things python bracket stuff bytes integer column arrays numbers tuple row From PNI PNI system administrator 0 likes 10 plays Date August 3rd, 2020 Department Princeton Neuroscience Institute