Search for tag: "place"

CL - 16 - ε-transitions and the subset construction

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.

From  Haoran Peng on November 23rd, 2020 0 likes 0 plays 0  

School of Chemistry Exam Submission System Instructions

Please watch this video in advance of the examination period and practice using the link provided in Learn

From  Michael Seery on November 22nd, 2020 0 likes 1 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 on November 20th, 2020 0 likes 106 plays 0  

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…

From  Haoran Peng on November 18th, 2020 0 likes 247 plays 0  

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…

From  Haoran Peng on November 18th, 2020 0 likes 228 plays 0  

Using the Library for creative dissertations : digital resources in art, music and drama

Are you planning your dissertation in a creative subject? Find out more about the rich range of digital library resources available to you in the visual arts, music and drama. Led by the Academic…

From  Christine Love-Rodgers on November 4th, 2020 0 likes 5 plays 0  

Ecology of Yezo Dear Living in Hokkaido

Hokkaido Conference

From  Brian Mather on October 27th, 2020 0 likes 12 plays 0  

CL - 6c - Karnaugh Maps II

This video shows you how to find your way through the state space represented by a Karnaugh Map, and introduces features called blocks. In this video we focus on blocks of ones.

From  Haoran Peng on October 24th, 2020 0 likes 396 plays 0  

Medical Sciences 1: Pharmacokinetic Aspects of General Anaesthesia Part 1 Dr Phil Larkman

Inhalational anaesthetics - route of delivery and absorption

From  Philip Larkman on October 19th, 2020 0 likes 37 plays 0  

CL - Lecture 4.h - Sequents 3

We can now give Gentzen's rules for ¬ ⋀ ⋁.

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 344 plays 0  

Birkin Greig Robust Epidemic Models with Urban Simulation (REMUS)

V-KEMS meeting - Mathematical modelling and COVID-19: How can modelling inform a response to the current COVID-19 resurgence? This is the talk by Mark Birkin (Leeds/Turing Institute) & Rory…

From  Dawn Wasley on October 12th, 2020 0 likes 12 plays 0  

EGD 6 October 2020

Early Germanic Dialects (GRL), 6 October 2020 - Introduction to Gothic

From  Betty Los on October 11th, 2020 0 likes 4 plays 0  

The Manifesto for Teaching Online: we are the campus

Challenging the idea that online teaching is ‘second best’, and arguing that the distancing in ‘distance learning’ is more complex than we might think, Manifesto authors…

From  Claire Sowton on October 8th, 2020 0 likes 71 plays 0  

Kaltura Capture recording - October 7th 2020, 12:52:59 am

Collecting Qualitative Data

From  Susan Widdicombe on October 7th, 2020 0 likes 4 plays 0  

PGHC11501 Running the Roman Empire: Week 5-3

Screencast by Dr Benedikt Eckhardt for Running the Roman Empire: Week 5

From  Anna Raczynski on October 6th, 2020 0 likes 41 plays 0