Liminal Spaces was a six-year Wellcome-funded project at Edinburgh Law School, which scrutinised regulatory systems that support human health research. The vision of the project was to deliver the…

New directions in classical density functional theory online workshop 3 - 6 May 2021 Matthias Schmidt ((Universität Bayreuth) Fluctuation profiles for fluids and Noether's Therorem in…

Are you looking for your next opportunity? Come along to this session to find out where the UK graduate opportunities are and hear how different sectors are responding to COVID-19.Finding a graduate…

Subtitles will be added soon. Monday 22 February 2021 UK-APASI in Mathematical Sciences William Waites - Coupling within-host and population dynamics of epidemics with stochastic graph rewriting

Third video of the Inf2D Reasoning and Agents lecture on Logical Agents.

Lecture 3 part 3

This is the second lecture video of Intelligent Agents and their Environments, presenting a taxonomy of agents based on their structure.

N/A

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.This lecture introduces a very important…

This is the last FP video lecture, on Propositions as Types.

We use ε-transitions to connect two NFA and create a machine that recognises the concatenation of their languges.

We give a second definition of regular language as the languages generated from the empty and singleton languages by the operations of, concatenation, alternation, and iteration.

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.

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…