Search for tag: "arrow"

SR course 5.3b - More free text T&A search (chronic lung disease)

SR course

From  Ruth McQuillan 0 likes 11 plays 0  

SR course 5.2a - Free text and title and abstract searching

SR training

From  Ruth McQuillan 0 likes 20 plays 0  

LAGOON: Matt Pressland (Glasgow, UK)

Subtitles will be added soon. 10.02.2022 Matt Pressland (Glasgow, UK) - Grassmannian twists categorified

From  Liam Holligan 0 likes 22 plays 0  

Discharge

DENS Trial Training Video - Discharge

From  Phillip Rayson 0 likes 101 plays 0  

LAGOON: Marcy Robertson (Melbourne, Australia)

Subtitles will be added soon. Thursday 25 November 2021 Marcy Robertson (Melbourne, Australia) A topological characterization of the Kashiwara-Vergne groups

From  Liam Holligan 0 likes 17 plays 0  

Updated whiteboard tool in Blackboard Collaborate (August 2021) - overview

A quick overview of the changes introduced in the Collaborate whiteboard update rolled out in August 2021.

From  Kacper Lyszkiewicz 0 likes 11 plays 0  

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

From  Liam Holligan 0 likes 24 plays 0  

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…

From  Stewart Cromar 0 likes 28 plays 0  

LAGOON: Leicester Algebra and Geometry Open ONline: Sergey Mozgovoy

Subtitles will be available soon.

From  Liam Holligan 0 likes 21 plays 0  

Accepting late test submissions in Learn

Accepting late tests in Learn

From  Aran Ward Sell 0 likes 10 plays 0  

Ancient Lecture 10.5

From  Damian Caluori 0 likes 14 plays 0  

8.c

The third video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

From  Claudia-Elena Chirita 0 likes 191 plays 0  

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 0 likes 189 plays 0  

CL - 13a - Machines

This video introduces the notion of a machine.

From  Claudia-Elena Chirita 0 likes 197 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 0 likes 356 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 0 likes 295 plays 0