Search for tag: "arrows"

24 Media

4.1.1 Defining a Landing page layout [EdWeb2 OC] duration 6 minutes 10 seconds 4.1.1 Defining a Landing page layout [EdWeb2 OC] 4.1.1 Defining a Landing page layout [EdWeb2 OC]	4.1.1 Defining a Landing page layout [EdWeb2 OC] In this short video, you'll learn how to apply a layout container to a Landing page in EdWeb 2. This video accompanies the EdWeb 2: 5 things to get started with EdWeb 2 online course. content layout column button blocks block bit elements bottom title landing columns width edit summary arrow arrows cell option From Andy Todd 0 likes 98 plays 0 Licence Type All rights reserved The University of Edinburgh
Learn Introduction: Courses duration 1 minute 40 seconds Learn Introduction: Courses Learn Introduction: Courses	Learn Introduction: Courses This video provides an overview of the Courses page within Learn learn ultra courses features menu hand navigation screen environment learning accessibility usability modernization commitment favourites grid display bar arrows left status role From Ellen Groen 9 likes 11,111 plays 1 Licence Type All rights reserved The University of Edinburgh Language English Retain Source File Yes
Paul Sutcliffe duration 32 minutes 17 seconds Paul Sutcliffe Paul Sutcliffe	Paul Sutcliffe LMS Prospects in Mathematics 2021 Paul Sutcliffe, Durham University Friday 10 September 2021 To remove the captions from this video press CC on the bottom toolbar. sutcliffe magnetic hopfians energy direction curve material tube arrows topology times hopfield bit hop heat directions magnetization sort kind flow things point magnet From GILLIAN KERR 0 likes 23 plays 0 Licence Type All rights reserved
LAGOON: Leicester Algebra and Geometry Open… duration 52 minutes 24 seconds LAGOON: Leicester Algebra and Geometry Open… LAGOON: Leicester Algebra and Geometry Open ONline: Yilin Wu	LAGOON: Leicester Algebra and Geometry Open ONline: Yilin Wu Subtitles can be turned off by selecting CC. 24 June 2021 Yilin Wu - (Université Paris Diderot - Paris 7, France): Derived equivalences from mutations of ice quivers with potential icms arrow mutation algebra vertex boundary vertices loop remark arrows cycle mutations degree completion question potential week photon maps category surface From Liam Holligan 0 likes 24 plays 0 Publisher Liam Holligan Licence Type All rights reserved Language English Date Created June 24th, 2021
LAGOON: Leicester Algebra and Geometry Open… duration 1 hour 2 minutes LAGOON: Leicester Algebra and Geometry Open… LAGOON: Leicester Algebra and Geometry Open ONline: Sergey Mozgovoy	LAGOON: Leicester Algebra and Geometry Open ONline: Sergey Mozgovoy Subtitles will be available soon. lagoon icms algebra representations space arrows category representation times row vector situation sum cycles hat quiver potential structure arrow classes varieties a1 From Liam Holligan 0 likes 21 plays 0 Publisher Liam Holligan Licence Type All rights reserved Language English Date Created May 20th, 2021
Anna Felikson (Durham) Title: Mutations of… duration 55 minutes 34 seconds 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 Greg McCracken 0 likes 38 plays 0 Licence Type All rights reserved Language English Date Created November 28th, 2020
December 02 Eleonore Faber - McKay quivers and… duration 58 minutes 11 seconds 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 Greg McCracken 0 likes 90 plays 0 Course Code ICMS Publisher ICMS Licence Type All rights reserved Language English Date Created December 2nd, 2020
CL - 20 - syllogisms arrowrule duration 53 minutes 56 seconds 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 0 likes 148 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 15b - Boolean operations on DFA-Regular… duration 11 minutes 48 seconds 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 0 likes 348 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 13a - Machines duration 5 minutes 8 seconds 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 0 likes 197 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 13d - Black holes and DFA duration 3 minutes 32 seconds 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 0 likes 315 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 14b - Machines in Haskell (II) duration 3 minutes 4 seconds 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 0 likes 289 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 12d - Counting duration 7 minutes 0 seconds 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 0 likes 313 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 12c - chains duration 4 minutes 34 seconds 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 0 likes 287 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 12b - Binary Constraints duration 5 minutes 40 seconds 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 0 likes 276 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 12a - Order duration 7 minutes 14 seconds 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 0 likes 325 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English