|
|
|
|
|
What is Pharmacology? What is a drug?
Licence Type
Creative Commons - Attribution
|
|
An automated programme has been used to generate the subtitles on this talk.
Course Code
ICMS Publisher
ICMS Licence Type
All rights reserved Language
English Date Created
December 9th, 2020
|
|
Enabling vs. Constitutive
Licence Type
All rights reserved The University of Edinburgh
|
|
An automated programme has been used to generate the subtitles on this talk.
Course Code
ICMS Publisher
ICMS Licence Type
All rights reserved Language
English Date Created
November 26th, 2020
|
|
Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories.Abstract: The theory of differential categories uses category theory to study the foundations of differentiation.…
Licence Type
All rights reserved Language
English Date Created
November 25th, 2020
|
|
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.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Subtitles can be turned off by clicking "cc" then selecting "off".
Publisher
Liam Holligan Licence Type
All rights reserved Language
English Date Created
November 19th, 2020
|
|
We give a first definition of regular language as a language that is accepted by some FSM.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This lecture series ‘category theory and its applications’ is linked to the LMS funded Yorshire and Midlands Category Seminar (YaMCATS) network.This lecture series consists of two topics…
Licence Type
All rights reserved Language
English Date Created
November 11th, 2020
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Introduction and learning outcomes
Licence Type
Creative Commons - Attribution
|
|
ICMS An automated programme has been used to generate the subtitles on this talk.
Course Code
ICMS Publisher
ICMS Licence Type
All rights reserved Language
English Date Created
November 12th, 2020
|
|
This is the video for the FP lecture on Type Classes.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Thursday 29 October Speaker: Maxime Fairon, (University of Glasgow)Title:Quantum integrability for finite-dimensional Hamiltonian systems.LMS Introduction to Integrability Lecture SeriesThis is a…
Licence Type
All rights reserved Language
English Date Created
October 29th, 2020
|