Search for tag: "evaluation"

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

From  Daniel Macleod 0 likes 222 plays

cos326-2020-08-02-induction-nats

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

From  Daniel Macleod 0 likes 187 plays

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

From  Daniel Macleod 0 likes 199 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

From  Daniel Macleod 0 likes 249 plays

cos326-2020-06-03-more-evaluation

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

From  Daniel Macleod 0 likes 291 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod 0 likes 265 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 0 likes 70 plays