Search for tag: "evaluation"

Towards DESRED: A Diverse Explorable Super Resolution Evaluation Dataset, Phillip Taylor, UG '22 (3954081)

The task of explorable super resolution (ESR)…

+19 More
From  Research Princeton Research Day 0 likes 9 plays

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

+20 More
From  Daniel Macleod 0 likes 232 plays

cos326-2020-08-02-induction-nats

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

+20 More
From  Daniel Macleod 0 likes 195 plays

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

+20 More
From  Daniel Macleod 0 likes 204 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

+19 More
From  Daniel Macleod 0 likes 291 plays

cos326-2020-06-03-more-evaluation

Implementing Ocaml in Ocaml: Part 3: More…

+20 More
From  Daniel Macleod 0 likes 296 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution…

+20 More
From  Daniel Macleod 0 likes 276 plays

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

With the increased prevalence of autism spectrum…

+20 More
From  Research Princeton Research Day 0 likes 91 plays