Search for tag: "prime"

14.b

This is the second part of the second Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 130 plays 0  

11.b

The second video of the Inf2d lecture on Unification.

From  Claudia-Elena Chirita on February 2nd, 2021 0 likes 163 plays 0  

Tutorial: Week2

Recording of the tutorial in Week 2

From  Francisca Martinez-Hergueta on January 20th, 2021 0 likes 12 plays 0  

4.b

The second video of the Inf2D lecture on Informed Search Algorithms.

From  Claudia-Elena Chirita on January 18th, 2021 0 likes 232 plays 0  

Fiona Torzewska (Univeristy of Leeds) : Mapping class groupoids and motion groupoids (2nd session)

LMS YaMCATS Category Theory and its Applications Lecture Series, Session 2 Fiona Torzewska (Univeristy of Leeds) : Mapping class groupoids and motion groupoidsA topological phase of matter is a…

From  OLLIE Quinn on November 20th, 2020 0 likes 6 plays 0  

LMS YaMCATS Fiona Torzewska: Mapping class groupoids and motion groupoids

Fiona Torzewska (Univeristy of Leeds) : Mapping class groupoids and motion groupoidsA topological phase of matter is a physical system whose behaviour may be effectively described via a topological…

From  OLLIE Quinn on November 5th, 2020 0 likes 40 plays 0  

CL - 8c - Sudoku

First we see how to express the rules of Sudoku in Haskell. Given a total function s :: Int -> Int -> Int -> Bool that represents the way a sudoku puzzle is filled in by saying that s i j k…

From  Haoran Peng on November 1st, 2020 0 likes 330 plays 0  

Dr Shashi Tharoor - Looking Back at the British Raj in India

Dr Shashi Tharoor - Looking Back at the British Raj in India

From  Lesley Middlemass on April 9th, 2019 1 likes 116 plays 0  

Restriction enzymes

Restriction enzymes

From  Heather McQueen on March 7th, 2017 3 likes 984 plays 0  

Overfitting and Underfitting

Overfitting and Underfitting

From  Nigel Goddard on September 20th, 2016 0 likes 2,534 plays 0