Search for tag: "'s"

CL - 20 - syllogisms arrowrule

N/A

From  Haoran Peng on November 30th, 2020 0 likes 139 plays 0  

CL - 15e - RS -- Concatenation

We use ε-transitions to connect two NFA and create a machine that recognises the concatenation of their languges.

From  Haoran Peng on November 23rd, 2020 0 likes 256 plays 0  

CL - 9d - DPLL III

We introduce the idea of using a divide and conquer algorithm.

From  Haoran Peng on November 4th, 2020 0 likes 243 plays 0  

CL - 6e - DNF

More on blocks of ones (which correspond to conjunctions of literals).This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a disjunctive normal…

From  Haoran Peng on October 24th, 2020 0 likes 398 plays 0  

CL - Lecture 4.g - Sequents 2

Additional predicates after the turnstile behave similarly.

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 348 plays 0  

CL - Lecture 4d - Disjunction

In this video, we try to arrive at the disjunction rule.

From  Haoran Peng on October 11th, 2020 0 likes 462 plays 0  

CL - Lecture 4a - Aristotle's Rules

Our first video is a recap of last week's materials.

From  Haoran Peng on October 11th, 2020 0 likes 533 plays 0  

Beth Waddington 3 Minute MND Thesis

Beth, a member of the Euan MacDonald Centre explains her MND research in under 3 minutes.

From  Alison Irving on August 17th, 2020 1 likes 80 plays 0  

DNA and Sequencing

DNA and Sequencing

From  Dimitrios Doudesis on May 28th, 2020 0 likes 189 plays 0  

Eigenvalue = variance along eigenvector

Eigenvalue = variance along eigenvector

From  Nigel Goddard on September 25th, 2016 1 likes 1,785 plays 0  

Mean Absolute Error (MAE)

Mean Absolute Error (MAE)

From  Nigel Goddard on September 21st, 2016 0 likes 2,017 plays 0  

Binary vs. Multiclass Classifiers

Binary vs. Multiclass Classifiers

From  Nigel Goddard on September 17th, 2016 0 likes 1,927 plays 0