Search for tag: "hand"

From Rudolf II to Catherine II: Goltzius’ Without Bacchus and Ceres, Venus is Chilled and its Iconography

Hendrick Goltzius (1558–1617): Without Bacchus and Ceres, Venus is Chilled, c. 1604–6 This superb large drawing, executed in a manner that imitates the technique of engraving on copper,…

From  Jack Allen on December 18th, 2020 0 likes 9 plays

The Art of Glassmaking_SvenDupre_Nov18_2020

The Art of Glassmaking and the Nature of Stones Sven Dupré, Utrecht University and the University of Amsterdam This talk will focus on the article: The Art of Glassmaking and the Nature of…

From  Barbara Leavey on December 10th, 2020 0 likes 6 plays

Before Zoom: Cinema, the Zoetrope, and other Optical Devices

Julie Mellby, Graphic Arts Curator, offers a captivating tour of Princeton University Library's collection of pre-cinema optical devices, rare artifacts designed for shared public entertainment…

From  PU Princeton University Library on December 7th, 2020 0 likes 62 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod on November 15th, 2020 0 likes 242 plays

The Aldine Press with G. Scott Clemons '90 (FPUL Small Talk)

G. Scott Clemons '90 presents from his collection to illustrate the history and influence of the Aldine Press, founded in 15th-century Venice, on the worlds of editing, printing, typography,…

From  PU Princeton University Library on October 26th, 2020 0 likes 28 plays

cos326-2020-17-04-type-inference-2

Type Checking: Part 4: Type Inference (Quantifiers)

From  Daniel Macleod on August 16th, 2020 0 likes 82 plays

cos326-2020-12-04-module-evaluation

Ocaml Modules: Part 4: Module Evaluations

From  Daniel Macleod on August 16th, 2020 0 likes 129 plays

cos326-2020-09-01-space-model

A Functional Space Model

From  Daniel Macleod on August 16th, 2020 0 likes 294 plays

cos326-2020-08-05-proofs-programming-languages

Did I Get it Right? Part 5: Proofs About Programming Languages

From  Daniel Macleod on August 16th, 2020 0 likes 137 plays

cos326-2020-08-04-induction-datatypes

Did I Get it Right? Part 4: Induction for Datatypes

From  Daniel Macleod on August 16th, 2020 0 likes 170 plays

cos326-2020-08-03-induction-lists

Did I Get it Right? Part 3: Induction for Lists

From  Daniel Macleod on August 16th, 2020 0 likes 193 plays

cos326-2020-08-02-induction-nats

Did I Get it Right? Part 2: Induction for Naturals

From  Daniel Macleod on August 16th, 2020 0 likes 180 plays