Search for tag: "arrow"

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…

From  Haoran Peng on November 20th, 2020 0 likes 162 plays 0  

CL - 13a - Machines

This video introduces the notion of a machine.

From  Claudia Chirita on November 20th, 2020 0 likes 177 plays 0  

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…

From  Haoran Peng on November 17th, 2020 0 likes 332 plays 0  

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.

From  Haoran Peng on November 9th, 2020 0 likes 282 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  

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  

diagnostic self enrol

How to enrol onto the Fundamentals of Music Theory Diagnostic Learn Course

From  Elishia-Jayne Appleby-Donald on June 15th, 2020 0 likes 23 plays 0  

How to change Priority

How to change the priority on a case.

From  Christopher Harris on June 12th, 2020 0 likes 102 plays 0  

2 Abstract Type Illustrator

Video content for Introduction to Design by Maria Stoian, Teaching Fellow in Design as part of the Open Studies Arts Hub,an online learning resource , Centre for Open Learning.

From  Robbie Bushe on June 5th, 2020 0 likes 28 plays 0  

RStudio Projects

RStudio Projects

From  Holly Marissa Tibble on June 4th, 2020 0 likes 92 plays 0  

How to add your feedback and score to an assignment submission in learn.

How to add your feedback and score to an assignment submission in learn.

From  Elishia-Jayne Appleby-Donald on February 19th, 2018 0 likes 30 plays 0  

WikiFactMine: Textmining Open Access bioscience literature - Thomas Arrow at WikidataCon 2017

Presenter: Thomas Arrow (tom@contentmine.org) Recorded by Chaos Computer Club at the Tagesspiegel, Berlin for WikidataCon 2017 on Saturday 28 October 2017. Original source:…

From  Ewan McAndrew on November 16th, 2017 0 likes 6 plays 0  

WikiFactMine - Thomas Arrow at WikiCite 2017

WikiFactMine (Thomas Arrow) Slides: https://commons.wikimedia.org/wiki/File:Wikifactmine-wikicite-2017.pdf A project funded by the WMF as a project grant.Linking up the ContentMine pipeline with…

From  Ewan McAndrew on May 30th, 2017 0 likes 39 plays 0