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  Joe Burchell 0 likes 7 plays 0  

Rudiments of Duration Notation

Nikki explains notation duration and shows you some examples using classical and popular music examples.

From  Nikki Moran 0 likes 109 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 31 plays 0  

13.c

The third video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita 0 likes 157 plays 0  

10.b

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

From  Claudia-Elena Chirita 0 likes 241 plays 0  

8.a

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

From  Claudia-Elena Chirita 0 likes 233 plays 0  

7.c

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

From  Claudia-Elena Chirita 0 likes 219 plays 0  

8.c

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

From  Claudia-Elena Chirita 0 likes 185 plays 0  

8.b

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

From  Claudia-Elena Chirita 0 likes 202 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 40 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 361 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 309 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 285 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 351 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 190 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  Sue Widdicombe 0 likes 555 plays 0