Search for tag: "symbol"

LEL2A-W10-2

LEL2A: Week 10, Lecture 2.

From  Itamar Kastner 0 likes 131 plays 0  

Minitab Statistics: Mann Whitney Test

This video describes the process of running a Mann WhitneyTest in Minitab. It is aimed at students of the BVM&S Student Research Course. 00:14 - Loading Minitab through apps.ed.ac.uk 01:00 -…

From  Jill MacKay 0 likes 39 plays 0  

Perturbative symmetry approach for differential-difference equations - Jing Ping Wang

VISS online seminar series Jing Ping Wang, University of Kent Perturbative symmetry approach for differential-difference equations 24 March 2021 To remove the captions from this video press CC on…

From  GILLIAN KERR 0 likes 17 plays 0  

Type Bites: Typeface

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 Typeface…

From  Gen Harrison 0 likes 9 plays

ASR Lecture 9 part I

ASR Lecture 9: WFSTs for ASR (partial lecture due to technical issues)

From  Peter Bell 0 likes 169 plays 0  

13.c

The third video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita 0 likes 157 plays 0  

11.a

The first video of the Inf2d lecture on Unification.

From  Claudia-Elena Chirita 0 likes 226 plays 0  

10.b

Second video of the Inf2d lecture on First-Order Logic.

From  Claudia-Elena Chirita 0 likes 241 plays 0  

8.a

The first video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

From  Claudia-Elena Chirita 0 likes 233 plays 0  

7.c

Third video of the Inf2D Reasoning and Agents lecture on Logical Agents.

From  Claudia-Elena Chirita 0 likes 219 plays 0  

8.c

The third video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

From  Claudia-Elena Chirita 0 likes 185 plays 0  

8.b

The second video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

From  Claudia-Elena Chirita 0 likes 202 plays 0  

AVLSI Demo 1 - Symbol Creation

A demo on how to create symbols in Cadence Virtuoso, along with some tips on using the schematic editor

From  Filip Taneski 0 likes 36 plays 0  

CL - 15d - Using ε-transitions

We present a first example of the use of ε-transitions to concstruct new mahines, and pose a problem to be answered in the following video.

From  Haoran Peng 0 likes 243 plays 0  

CL - 14b - Machines in Haskell (II)

In this video we present the formalisation of the accepts function in Haskell.In this video we use lists to represent the sets used in the mathematical definition. In the code for tutorials we use…

From  Haoran Peng 0 likes 284 plays 0  

CL - 13c - Machines in Haskell

In this video we formalise the definition of an FSM, describe how a machine and its behaviour may be represented in Haskell.In this video we use lists to represent the sets used in the mathematical…

From  Haoran Peng 0 likes 347 plays 0