Search for tag: "letters"

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 34 plays 0  

Careers Compass: Make it happen

Careers Compass: Make it happen (0:38)

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

Using variables in Xerte

Using variables in Xerte

From  Alison Christie on July 16th, 2021 1 likes 6 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 9 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 11 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 215 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 298 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 279 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 312 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 315 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 403 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 110 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 491 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 46 plays 0