Search for tag: "arrows"

Intro to gather.town

Drop-ins in gather.town

From  Umberto Noe on January 6th, 2021 0 likes 109 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 14 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  ALASDAIR SPRATT on December 2nd, 2020 0 likes 30 plays 0  

CL - 20 - syllogisms arrowrule

N/A

From  Haoran Peng on November 30th, 2020 0 likes 138 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 303 plays 0  

CL - 13a - Machines

This video introduces the notion of a machine.

From  Claudia-Elena Chirita on November 20th, 2020 0 likes 177 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 293 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  

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 303 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 274 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 266 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 315 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 19 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 38 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 41 plays 0  

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

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

From  GILLIAN KERR on September 21st, 2020 0 likes 98 plays 0