Search for tag: "step"

September 29: Feel Confident for Midterms: Test Prep and Study Strategies

Ready for your midterms? In this workshop you will learn proven methods for anticipating and preparing for the kind of problems and questions you will be expected to answer on exams., selecting and…

From  Nic Voge on September 30th, 2020 0 likes 18 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod on September 16th, 2020 0 likes 131 plays

cos326-2020-11-01-computability

Computability

From  Daniel Macleod on August 16th, 2020 0 likes 173 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-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

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

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod on August 14th, 2020 0 likes 244 plays

cos326-2020-02-01-let

Let Expressions

From  Daniel Macleod on August 13th, 2020 0 likes 270 plays

rt_vis

PPPL's Eliot Feibush: ACM conference July 20-24, 2020 called PEARC20 - Practice & Experience in Academic Research Computing. They chose my visualization of an astrophysics simulation for…

From  Chris Cane on August 3rd, 2020 0 likes 4 plays

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.

From  PU Princeton University Library on June 1st, 2020 0 likes 2 plays

6.1 Hierarchy Part 1: an Introduction to Proposal Hierarchy

Coeus Training - Coeus Proposal Hierarchy Part 1: What is a proposal hierarchy? Why are hierarchies created? What are some key proposal hierarchy concepts to know before creating a hierarchy in…

From  Kyle Burkhardt on September 14th, 2019 0 likes 24 plays