|
Periods in Mirror Symmetry
Licence Type
All rights reserved Date Created
September 20th, 2022
|
|
Presented at the Sensor Signal Processing for Defence Conference (SSPD) 2021Presentation: "Academic Keynote Speaker: Semantic Information Pursuit" Speaker: René Vidal, Johns Hopkins…
Licence Type
All rights reserved Language
English Date Created
September 15th, 2021
|
|
Nikki explains notation duration and shows you some examples using classical and popular music examples.
Course Code
MUSI07001 Licence Type
Creative Commons - Attribution Share A Like Language
English Date Created
September 22nd, 2021
|
|
LMS Prospects in Mathematics 2021
Sarah Whitehouse,
University of Sheffield
Friday 10 September
This recording is in the process of being subtitled. We aim
to have edited…
Licence Type
All rights reserved
|
|
The third video on the first Inf2d lecture on Resolution.
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
|
|
Our third definition: we say a language is DFA-regular if it is the language recognised by some DFA.We show that the complement of a DFA-regular language is DFA-regular.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We begin with a short discussion of the history and some applications of FSM. We then introduce Deterministic Finit-state Automata (DFA), and the use of the black hole convention when presenting…
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
|
|
This video considers a wider class of nonstationary processes that share
some similarities with wide-sense periodic processes. Such
nonstationary processes occur in systems where, for example,…
Course Code
PGEE11164 Licence Type
All rights reserved Date Created
November 11th, 2020
|