Search for tag: "letters"

Tech & Data Careers Day - Making Effective CVs and Applications

This session for all year groups and degree disciplines focused on helping you to make effective and tailored CVs and applications.

From  Ailsa Wright on February 11th, 2021 0 likes 25 plays 0  

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 171 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 308 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 311 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 397 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 103 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 482 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 39 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 34 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 56 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,772 plays 0