Search for tag: "symbol"

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 on September 23rd, 2021 0 likes 0 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 on March 24th, 2021 0 likes 15 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  Jennifer Harrison on March 3rd, 2021 0 likes 8 plays

ASR Lecture 9 part I

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

From  Peter Bell on February 15th, 2021 0 likes 113 plays 0  

13.c

The third video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 155 plays 0  

11.a

The first video of the Inf2d lecture on Unification.

From  Claudia-Elena Chirita on February 2nd, 2021 0 likes 224 plays 0  

10.b

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

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 237 plays 0  

8.a

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

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 230 plays 0  

7.c

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

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 217 plays 0  

8.c

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

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 183 plays 0  

8.b

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

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 199 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 on January 13th, 2021 0 likes 22 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 on November 23rd, 2020 0 likes 241 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 on November 18th, 2020 0 likes 272 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 on November 17th, 2020 0 likes 341 plays 0  

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

From  Haoran Peng on October 20th, 2020 0 likes 344 plays 0