# Search for tag: "letters"

#### 9.a

This is the first video of the Inf2D lecture on Smart Searching using Constraints.

From  Claudia-Elena Chirita on January 26th, 2021 0 likes 212 plays 0

#### Greats Plato Lecture 4.2

From  Damian Caluori on January 12th, 2021 0 likes 546 plays 0

#### CL - 12e - More Counting

In this video we look at yet another pattern of implications, and apply our a method for counting the satisfying valuations.

From  Haoran Peng on November 9th, 2020 0 likes 295 plays 0

#### CL - 12c - chains

In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.

From  Haoran Peng on November 9th, 2020 0 likes 275 plays 0

#### CL - 8e - DPLL I

This video introduces the key idea behind the DLPP algorithm. If we decide to make some literal true, we may reduce the problem to a simpler problem. We will build our DPLL algorithm by using this…

From  Haoran Peng on November 2nd, 2020 0 likes 310 plays 0

#### CL - 8d - Sudoku II

In this video we translate this code for checking a solution described by a function s :: Int -> Int -> Int -> Bool into an expression in our language of Forms.This form uses 729…

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

#### CL - 6a - Keeping it Simple

We begin by revisiting the idea of a universal model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for…

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

#### Topic 42: Introduction to Estimation Theory (PETARS, Chapter 6)

In this video, Estimation Theory is introduced in which unknown parameters are estimated from data, rather than assuming that problems can be described by fully known distributions or statistics.…

From  James Hopgood on October 21st, 2020 0 likes 105 plays 0

#### CL - Lecture 3e - Constructing a Counterexample

In the last video, we showed a rule is sound using Venn diagrams. In this video, we will again use Venn diagrams to construct counter-examples for unsound rules.

From  Haoran Peng on October 3rd, 2020 0 likes 489 plays 0

#### 3. Word Compositions Illustrator

Video content for Introduction to Design by Maria Stoian, Teaching Fellow in Design as part of the Open Studies Arts Hub,an online learning resource , Centre for Open Learning.

From  Robbie Bushe on June 5th, 2020 0 likes 40 plays 0

#### Canto 31

Canto 31 by Ezra Pound Introduced by Roxana Preda Read by Paul Cunningham

From  John Glendinning on April 25th, 2019 0 likes 44 plays 0

#### 2.5 - The steel industry

Mitigating Climate Change - Carbon Capture Storage

From  Jonathan Jack on January 23rd, 2018 0 likes 15 plays 0

#### 1.9 - Removing CO2 from the Atmosphere

Mitigating Climate Change - Carbon Capture Storage

From  Jonathan Jack on January 23rd, 2018 0 likes 17 plays 0

#### CARE-MND research project: Laura Stephenson

Research nurse Laura Stephenson describes a clinical research project for people with MND: the CARE-MND platform and MND Register.

From  Rebecca Devon on June 1st, 2017 0 likes 58 plays 0

#### Timetable on My Phone

This project news video focuses on an exciting new service form Information Services, Academic Timetable Integration with O365.

From  Tim Gray on November 10th, 2016 1 likes 3,845 plays 0

#### Logistic Regression

Logistic Regression

From  Nigel Goddard on September 8th, 2016 0 likes 3,337 plays 0