|
ASR Lecture 9: WFSTs for ASR (partial lecture due to technical issues)
Licence Type
Creative Commons - Attribution Non Commercial Date Created
February 8th, 2021
|
|
The third video on the first Inf2d lecture on Resolution.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The first video of the Inf2d lecture on Unification.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Second video of the Inf2d lecture on First-Order Logic.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The first video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Third video of the Inf2D Reasoning and Agents lecture on Logical Agents.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The third video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The second video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
A demo on how to create symbols in Cadence Virtuoso, along with some tips on using the schematic editor
Licence Type
Creative Commons - Attribution Language
English Date Created
January 13th, 2021
|
|
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.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We show the intuition of contraposition using Venn diagrams.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
A brief introduction to the Teams group for the Digital Education programme at Moray House School of Education and Sport
Publisher
Jeremy Knox and Michael Gallagher Licence Type
Creative Commons - Attribution Language
English Date Created
September 15th, 2020
|
|
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.
Publisher
Ewan McAndrew - Wikimedian in Residence Licence Type
Creative Commons - Attribution Language
English Date Created
September 15th, 2016
|