Search for tag: "symbols"

René Vidal Presentation - SSPD 2021

Presented at the Sensor Signal Processing for Defence Conference (SSPD) 2021Presentation: "Academic Keynote Speaker: Semantic Information Pursuit" Speaker: René Vidal, Johns Hopkins…

From  Joseph Burchell 0 likes 6 plays 0  

Sarah Whitehouse

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 captions available…

From  GILLIAN KERR 0 likes 24 plays 0  

13.c

The third video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita 0 likes 155 plays 0  

10.b

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

From  Claudia-Elena Chirita 0 likes 238 plays 0  

8.a

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

From  Claudia-Elena Chirita 0 likes 231 plays 0  

7.c

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

From  Claudia-Elena Chirita 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 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 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 0 likes 25 plays 0  

CL - 15a - Regular Languages (III) : DFA-regular

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.

From  Haoran Peng 0 likes 358 plays 0  

CL - 13d - Black holes and DFA

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…

From  Haoran Peng 0 likes 301 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 281 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 345 plays 0  

Topic 64: Wide-sense periodic, wide-sense cyclo-stationary, and quasi-stationary processes (PETARS, Chapter 8)

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

From  James Hopgood 0 likes 132 plays 0  

Kaltura Capture recording - October 13th 2020, 7:27:41 am

In this video I discuss transcription of verbal data using Jefferson's system of notation.

From  Susan Widdicombe 0 likes 379 plays 0  

CL - Lecture 3h - Operator Precedence

In this video, we introduce operator precedence. An expression such as a ⋀ b ⋁ c, without parentheses, could represent either (a ⋀ b) ⋁ c or a ⋀ (b ⋁ c). To specify which we mean, we either need to…

From  Haoran Peng 0 likes 411 plays 0