Search for tag: "symbols"

Bohan Fang - Gamma II conjecture and HMS for toric Fanos

Periods in Mirror Symmetry

From  Greg McCracken 0 likes 7 plays 0  

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 8 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 111 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…

From  GILLIAN KERR 0 likes 32 plays 0  

13.c

The third video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita 0 likes 158 plays 0  

10.b

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

From  Claudia-Elena Chirita 0 likes 247 plays 0  

8.a

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

From  Claudia-Elena Chirita 0 likes 237 plays 0  

7.c

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

From  Claudia-Elena Chirita 0 likes 222 plays 0  

8.c

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

From  Claudia-Elena Chirita 0 likes 187 plays 0  

8.b

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

From  Claudia-Elena Chirita 0 likes 204 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 59 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 223 plays 0