Search for tag: "arrows"

20 Media

07:20 Intro to gather.town Intro to gather.town	Intro to gather.town Drop-ins in gather.town uoepsy space town drop equation dollar podium camera chair bye ins tutor thing x. board spaces arrows keyboard character avatar screen From Umberto Noe on January 6th, 2021 0 likes 109 plays 0 Licence Type All rights reserved The University of Edinburgh Date Created January 6th, 2021
55:34 Anna Felikson (Durham) Title: Mutations of… Anna Felikson (Durham) Title: Mutations of non-integer quivers: finite mutation type	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.… integrable days integrability integrable systems mutation triangle integer arrows belt picture graph cyclic angles pi vertex reflection classifications triangles exchange quiver side matrix space plane From OLLIE Quinn on December 3rd, 2020 0 likes 14 plays 0 Licence Type All rights reserved Language English Date Created November 28th, 2020
58:11 December 02 Eleonore Faber - McKay quivers and… December 02 Eleonore Faber - McKay quivers and the McKay correspondence for some complex reflection groups	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. icms repnet representations reflection representation groups lambda correspondence mci box arrows chi boxes n. loops discriminant thing tau dimension restriction tensor diagram From ALASDAIR SPRATT on December 2nd, 2020 0 likes 30 plays 0 Course Code ICMS Publisher ICMS Licence Type All rights reserved Language English Date Created December 2nd, 2020
53:56 CL - 20 - syllogisms arrowrule CL - 20 - syllogisms arrowrule	CL - 20 - syllogisms arrowrule N/A inf1a introduction to computation informatics 1 computation and logic things ways syllogisms diagram thing lines rule arrows times side aristotle problem answer valuations satisfies cycle 's assumption questions logic From Haoran Peng on November 30th, 2020 0 likes 138 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
11:48 CL - 15b - Boolean operations on DFA-Regular… CL - 15b - Boolean operations on DFA-Regular Languages	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. inf1a introduction to computation informatics 1 computation and logic machine machines languages language dfa intersection union string arrows light lights row column pair pairs sequence things transitions end construction From Haoran Peng on November 22nd, 2020 0 likes 303 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
05:08 CL - 13a - Machines CL - 13a - Machines	CL - 13a - Machines This video introduces the notion of a machine. inf1a informatics 1 introduction to computation haskell machines automata logic machine button lights arrows buttons picture arrow characters idea word moment sequences things kind character inputs blinking lots fact From Claudia-Elena Chirita on November 20th, 2020 0 likes 177 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
03:32 CL - 13d - Black holes and DFA CL - 13d - Black holes and DFA	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… inf1a introduction to computation informatics 1 computation and logic machines things lots computation diagram place bits lot hole a. arrows moment puzzle sudoku solutions strings sequence language symbols ways From Haoran Peng on November 18th, 2020 0 likes 293 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
03:04 CL - 14b - Machines in Haskell (II) CL - 14b - Machines in Haskell (II)	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… inf1a introduction to computation informatics 1 computation and logic fsm string transitions step place symbol start things urine rest character arrows symbols machine trace end run statuary stay record From Haoran Peng on November 18th, 2020 0 likes 268 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
07:00 CL - 12d - Counting CL - 12d - Counting	CL - 12d - Counting In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations. inf1a introduction to computation informatics 1 computation and logic ways lines side arrow arrows rule literals valuation region times bottom diagram problem p. examples block cases counting amino hint From Haoran Peng on November 9th, 2020 0 likes 303 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
04:34 CL - 12c - chains CL - 12c - chains	CL - 12c - chains In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule. inf1a introduction to computation informatics 1 computation and logic arrows arrow valuations contraposition valuation diagram bottom implies chain alphabet letters things evaluation problem implications cuts rule sides implication side From Haoran Peng on November 9th, 2020 0 likes 274 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
05:40 CL - 12b - Binary Constraints CL - 12b - Binary Constraints	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… inf1a introduction to computation informatics 1 arrow evaluation valuation arrows a. rule diagram implies biology head values implications literals rules combinations things implication conditions method question From Haoran Peng on November 9th, 2020 0 likes 266 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
07:14 CL - 12a - Order CL - 12a - Order	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… inf1a introduction to computation informatics 1 computation and logic things hypercube subsets arrows b. universe implication implies thing arrow diagram row satisfaction ordering elements orderings valuations literals clause propositions From Haoran Peng on November 9th, 2020 0 likes 315 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
35:35 South East Mathematical Physics Seminars:… South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3)	South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3) South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3) matrix variables form equation cluster mutation mutations poisson hirata period class sense vertex omega recurrence arrows elements algebras sequence space From Liam Holligan on October 20th, 2020 0 likes 19 plays 0 Publisher Liam Holligan Licence Type All rights reserved Language English Date Created November 2nd, 2020
55:07 LMS Autumn Algebra School Raquel Coelho Guardado… LMS Autumn Algebra School Raquel Coelho Guardado Simoes: Auslander-Reiten theory in representation theory of finite-dimensional algebras	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:… algebra arrow quiver point path arrows module morphism dimension mesh objectives representation vertex tau algorithm triangulation vertices idea extensions injective From OLLIE Quinn on September 24th, 2020 0 likes 38 plays 0 Licence Type All rights reserved Language English Date Created September 24th, 2020
46:00 Auslander-Reiten theory in representation theory… Auslander-Reiten theory in representation theory of finite-dimensional algebras talk 2 - Raquel Coelho Guardado Simoes	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… algebra sequence morphism representations vertex maps sequences alpha representation module term theory injective mono split path arrows modules space inverse sum From GILLIAN KERR on September 22nd, 2020 0 likes 41 plays 0 Licence Type All rights reserved Language english Date Created September 22nd, 2020
51:22 Auslander-Reiten theory in representation theory… Auslander-Reiten theory in representation theory of finite-dimensional algebras - Raquel Coelho Guardado Simoes	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… algebra representations path alpha representation paths relation arrows vertices quiver theory parts vertex category vector module morphism point target isomorphism From GILLIAN KERR on September 21st, 2020 0 likes 98 plays 0 Licence Type All rights reserved Language english Date Created September 21st, 2020

Search for tag: "arrows"

the university of edinburgh