Search for tag: "evaluation"

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

From  Daniel Macleod on August 21st, 2020 0 likes 217 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 183 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 193 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

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

cos326-2020-06-03-more-evaluation

Implementing Ocaml in Ocaml: Part 3: More Features, More Fun!

From  Daniel Macleod on August 16th, 2020 0 likes 286 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 260 plays

Early-life autism spectrum disorder diagnosis with nonlinear EEG analysis using machine learning methods

With the increased prevalence of autism spectrum disorder (ASD) comes the challenge of identifying children at risk for ASD as early in life as possible so that they can benefit from early…

From  Research Princeton Research Day on April 29th, 2020 0 likes 67 plays