Search for tag: "letters"

Anthony Clark: The Theatre of Conversion

On November 2, 2021, Professor Anthony Clark (Whitworth University) delivered a paper entitled “The Theatre of Conversion: Catholic Drama and the (Re)presentation of China,” speaking…

From  Alexander Chow on November 17th, 2021 0 likes 0 plays 0  

How do you network

Hear from early career researchers and advanced career professionals who share their experience of building relationships and networking. ENGAGE, Edinburgh Innovations’ new online learning…

From  Geoffrey Fortescue on September 13th, 2021 0 likes 31 plays 0  

How to have a successful first meeting

Claire Pembleton (Business Development Executive) shares advice on how to have a successful first meeting with potential partners. ENGAGE, Edinburgh Innovations’ new online learning programme…

From  Geoffrey Fortescue on September 3rd, 2021 0 likes 50 plays 0  

Careers Compass: Make it happen

Careers Compass: Make it happen (0:38)

From  Jane Challinor on July 30th, 2021 0 likes 6 plays 0  

Using variables in Xerte

Using variables in Xerte

From  Alison Christie on July 16th, 2021 1 likes 13 plays 0  

Type Bites: Letterspacing

Type Bites is a series of short films introducing some of the practicalities of letterpress printing and the facilities we have available at Edinburgh College of Art. This one looks at…

From  Jennifer Harrison on March 9th, 2021 0 likes 10 plays

Type Bites: Upper Case and Lower Case

Type Bites is a series of short films introducing some of the practicalities of letterpress printing and the facilities we have available at Edinburgh College of Art. This one discusses Upper Case…

From  Jennifer Harrison on February 23rd, 2021 1 likes 12 plays

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 216 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 299 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 283 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 318 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 327 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 407 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 136 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 494 plays 0