Search for tag: "circuit"

GAGTA 14 Markus Lohrey

7-11 June 2021, GAGTA 14 2021 Markus Lohrey Groups with hard compressed word problems This recording is in the process of being subtitled. Subtitles will be available in due course.

From  Anna Munro on June 16th, 2021 0 likes 14 plays 0  

CL - 22 - Tseytin Satisfaction DPLL

N/A

From  Haoran Peng on December 1st, 2020 0 likes 99 plays 0  

CL - 14a - Tseytin Week 9

In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell.

From  Haoran Peng on November 18th, 2020 0 likes 278 plays 0  

CL - 11d - Tseytin

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 309 plays 0  

Lecture 5 Networks

Gareth Harrison describes the network connection aspect of the project and offers advice on approaching this effectively.

From  Gareth Harrison on September 23rd, 2020 0 likes 40 plays 0  

6b - Defects passed on to customers

Lecture 6b - Defects passed on to customers by Prof Ian Underwood

From  Lesley Gibson on September 4th, 2020 0 likes 62 plays 0  

6c - Contribution of design and manufacturing to failures (1)

Lecture 6c - Contribution of design and manufacturing to failures (1) by Prof Ian Underwood

From  Lesley Gibson on September 4th, 2020 0 likes 64 plays 0  

1b - Phases of the Product Development Cycle

Lecture 1b - Phases of the Product Development Cycle by Prof Ian Underwood

From  Lesley Gibson on September 3rd, 2020 0 likes 92 plays 0  

Sport & Exercise Pleasance Video Tour

A video tour of the Pleasance. Narrated by Jim Aitken MBE Director of Sport at the University of Edinburgh. The video provides a fly through of the world class facilities here at Sport &…

From  Steven Guthrie on May 5th, 2017 2 likes 18,274 plays 0