Search for tag: "symbol"

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

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

13.c

The third video on the first Inf2d lecture on Resolution.

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

11.a

The first video of the Inf2d lecture on Unification.

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

10.b

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

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 231 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 225 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 212 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 179 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 193 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 20 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 240 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 270 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 335 plays 0  

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

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

Introduction to the Digital Education Programme Teams group

A brief introduction to the Teams group for the Digital Education programme at Moray House School of Education and Sport

From  Michael Gallagher on September 15th, 2020 0 likes 22 plays 0  

Editing Wikipedia: Communicating with others using the Talk page and Help Desk

This video demonstrates how to create a Talk page, how to sign your username on a Talk page and where to go to ask for help from the Wikipedia community.

From  Ewan McAndrew on September 15th, 2016 0 likes 26 plays 0