Search for tag: "arrows"

LAGOON: Leicester Algebra and Geometry Open ONline: Sergey Mozgovoy

Subtitles will be available soon.

From  Liam Holligan on May 20th, 2021 0 likes 15 plays 0  

Intro to gather.town

Drop-ins in gather.town

From  Umberto Noe on January 6th, 2021 0 likes 156 plays 0  

Anna Felikson (Durham) Title: Mutations of non-integer quivers: finite mutation type

Anna Felikson (Durham)Title: Mutations of non-integer quivers: finite mutation typeGiven a skew-symmetric non-integer (real) matrix, one can construct a quiver with non-integer weights of arrows.…

From  OLLIE Quinn on December 3rd, 2020 0 likes 22 plays 0  

December 02 Eleonore Faber - McKay quivers and the McKay correspondence for some complex reflection groups

An automated programme has been used to generate the subtitles on this talk.

From  OLLIE Quinn on December 2nd, 2020 0 likes 61 plays 0  

CL - 20 - syllogisms arrowrule

N/A

From  Haoran Peng on November 30th, 2020 0 likes 140 plays 0  

CL - 15b - Boolean operations on DFA-Regular Languages

Since DFA-regular languages are closed under complements and intersections, they are closed under all Boolean operations.

From  Haoran Peng on November 22nd, 2020 0 likes 307 plays 0  

CL - 13a - Machines

This video introduces the notion of a machine.

From  Claudia-Elena Chirita on November 20th, 2020 0 likes 185 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 on November 18th, 2020 0 likes 295 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 270 plays 0  

CL - 12d - Counting

In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.

From  Haoran Peng on November 9th, 2020 0 likes 304 plays 0  

CL - 12c - chains

In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.

From  Haoran Peng on November 9th, 2020 0 likes 275 plays 0  

CL - 12b - Binary Constraints

In this video we focus on binary constraints: clauses with two literals. A 2-SAT problem is a conjunction of binary constraints. We will represent it as a partial ordering on literals.In this video…

From  Haoran Peng on November 9th, 2020 0 likes 268 plays 0  

CL - 12a - Order

This video looks at the ordering of predicates. We first met thsis as the satisfaction ordering a ⊨ b.We look at the ordering of the 16 possible boolean functions of two variables. We can also view…

From  Haoran Peng on November 9th, 2020 0 likes 316 plays 0  

South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3)

South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3)

From  Liam Holligan on October 20th, 2020 0 likes 33 plays 0  

LMS Autumn Algebra School Raquel Coelho Guardado Simoes: Auslander-Reiten theory in representation theory of finite-dimensional algebras

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. LMS Autumn Algebra School Raquel Coelho Guardado Simoes:…

From  OLLIE Quinn on September 24th, 2020 0 likes 60 plays 0  

Auslander-Reiten theory in representation theory of finite-dimensional algebras talk 2 - Raquel Coelho Guardado Simoes

LMS Autumn Algebra school Auslander-Reiten theory in representation theory of finite-dimensional algebras - talk 2 Raquel Coelho Guardado Simoes 22 Sept 2020 An automated programme is used to…

From  GILLIAN KERR on September 22nd, 2020 0 likes 62 plays 0