Search for tag: "arrow"

21 Media

01:03:22 Sketchpad Colouring Book Workshop Sketchpad Colouring Book Workshop	Sketchpad Colouring Book Workshop RecordingThis workshop from 25th May 2021 was part of the Digital Skills Festival at the University of Edinburgh.https://digitalskillsfestival.ed.ac.uk FacilitationThis workshop will be facilitated… digital skills digital skills festival colouring books sketchpad image sketch path pad picture images end thing bit arrow padlet collection students layers background point fun screen pictures From Stewart Cromar on June 3rd, 2021 0 likes 11 plays 0 Licence Type Creative Commons - Attribution Language English Date Created May 25th, 2021
01:02:39 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 on May 20th, 2021 0 likes 15 plays 0 Publisher Liam Holligan Licence Type All rights reserved Language English Date Created May 20th, 2021
02:15 Accepting late test submissions in Learn Accepting late test submissions in Learn	Accepting late test submissions in Learn Accepting late tests in Learn learn tests late test scores submission choice hope centre grade flag submissions attempts student selections attempt instance mark arrow drop students john From Aran Ward Sell on April 14th, 2021 0 likes 2 plays 0 Publisher Bill Farquharson Licence Type All rights reserved The University of Edinburgh Language English Date Created April 14th, 2021
10:17 Ancient Lecture 10.5 Ancient Lecture 10.5	Ancient Lecture 10.5 mark power stoics role action things job values point goal death thing ethics function act aristotle providence end arrow epictetus From Damian Caluori on March 3rd, 2021 0 likes 13 plays 0
10:43 8.c 8.c	8.c The third video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference. inf2d reasoning and agents artificial intelligence inference propositional logic propositional wumpus wumpus world agent moment knowledge square axioms base things action arrow frame problem programme plan olympus rooms squares step symbol fact symbols From Claudia-Elena Chirita on January 25th, 2021 0 likes 179 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
05:12 CL - 14e - DFA (II) CL - 14e - DFA (II)	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… inf1a introduction to computation informatics 1 computation and logic hole transitions transition start dfa diagram arrow things q1 fsm convention string typing q. function q0 label beginning trace place From Haoran Peng on November 20th, 2020 0 likes 164 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 185 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
09:34 CL - 13c - Machines in Haskell CL - 13c - Machines in Haskell	CL - 13c - Machines in Haskell In this video we formalise the definition of an FSM, describe how a machine and its behaviour may be represented in Haskell.In this video we use lists to represent the sets used in the mathematical… inf1a introduction to computation informatics 1 computation and logic machine transitions lights start string symbol symbols fsm function button definition wikipedia triples alphabet character arrow starting cue light transition From Haoran Peng on November 17th, 2020 0 likes 335 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
03:42 CL - 12f - Cycles CL - 12f - Cycles	CL - 12f - Cycles In this video we look at another example, then consider graphs with a cycle of implications. If we have cycles of implications, then all nodes in the cycle must take the same truth value. inf1a computation and logic informatics 1 problems diagram cycle things problem ways heartbeats bits unit clause fact rules arrow clauses literals pll propagation point satisfiability moment From Haoran Peng on November 9th, 2020 0 likes 285 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 304 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 275 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 268 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 316 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
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 61 plays 0 Licence Type All rights reserved Language English Date Created September 24th, 2020
02:17 diagnostic self enrol diagnostic self enrol	diagnostic self enrol How to enrol onto the Fundamentals of Music Theory Diagnostic Learn Course learning and teaching conference 2020 music fundamentals of music theory dot conference teaching learning catalog theory fundamentals fun questions tasks week material submit courses rule arrow diagnostic tab acc ed From Elishia-Jayne Appleby-Donald on June 15th, 2020 0 likes 24 plays 0 Publisher Eli Appleby-Donald Licence Type All rights reserved
02:39 How to change Priority How to change Priority	How to change Priority How to change the priority on a case. priority case dynamics note screen arrow viewing side hand cursor wall column team turkeys drop fields couple dropdown rejection conversation lady decision From Stella Gouzon on June 12th, 2020 0 likes 128 plays 0 Licence Type All rights reserved The University of Edinburgh

Search for tag: "arrow"

the university of edinburgh