Search for tag: "trace"

CL - 15c - Introducing ε-transitions

We introduce NFA - automata with ε-transitions

From  Haoran Peng on November 23rd, 2020 0 likes 267 plays 0  

CL - 14e - DFA (II)

We look at the representation of DFA in Haskell (using lists to represent the sets of the formal definition).In this video the code isDFA is defining what counts as a DFA when we use the black-hole…

From  Haoran Peng on November 20th, 2020 0 likes 162 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 on November 18th, 2020 0 likes 268 plays 0  

M Fairon Title:Quantum integrability for finite-dimensional Hamiltonian systems.

Thursday 29 October Speaker: Maxime Fairon, (University of Glasgow)Title:Quantum integrability for finite-dimensional Hamiltonian systems.LMS Introduction to Integrability Lecture SeriesThis is a…

From  OLLIE Quinn on October 29th, 2020 0 likes 59 plays 0  

Monotype 1

Demonstration of how to ink up acetate sheets to draw from.

From  Susie Wilson on October 11th, 2020 0 likes 1 plays 0  

9 September Eirini Chavli - Real properties of generic Hecke algebras

ICMS An automated programme is used to generate the subtitles on the talks. You can remove the subtitles by pressing CC on the bottom toolbar.

From  ALASDAIR SPRATT on September 10th, 2020 0 likes 54 plays 0