Search for tag: "lambda"

UK-APASI in Mathematical Sciences: Julien Arino (Lecture 1)

Subtitles will be added soon. Monday 22 February 2021 UK-APASI in Mathematical Sciences Julien Arino - Assessing the risk of COVID-19 importation and the effect of quarantine

From  Liam Holligan on February 22nd, 2021 0 likes 19 plays 0  

FDS-S2-01-2-1 Introduction to estimation

We'll introduce the concept of estimating a population or distribution parameter from a sample.

From  David Sterratt on January 14th, 2021 0 likes 194 plays 0  

January 13 2021 Eoghan McDowell The image of the Specht module under the inverse Schur functor

An automated programme has been used to generate the subtitles on this talk.

From  OLLIE Quinn on January 14th, 2021 0 likes 20 plays 0  

REF2020: Etienne Blanco- All-plus helicity off-shell gauge invariant multigluon amplitudes at one loop

REF2020: Etienne Blanco- All-plus helicity off-shell gauge invariant multigluon amplitudes at one loop

From  Lyndsey Ballantyne on December 18th, 2020 0 likes 2 plays 0  

REF2020: Nizami Abdulov- Bottomonia production and polarization in the NRQCD with kT-factorization

REF2020: Nizami Abdulov- Bottomonia production and polarization in the NRQCD with kT-factorization

From  Lyndsey Ballantyne on December 18th, 2020 0 likes 0 plays 0  

December 02 Eleonore Faber - McKay quivers and the McKay correspondence for some complex reflection groups

An automated programme has been used to generate the subtitles on this talk.

From  OLLIE Quinn on December 2nd, 2020 0 likes 41 plays 0  

Giovanni Felder - The integrable Boltzmann system

Giovanni Felder (Zurich)Title: The integrable Boltzmann systemLudwig Boltzmann, in his search for an example of a chaotic dynamical system, studied the planar motion of a particle subject to a…

From  OLLIE Quinn on December 1st, 2020 0 likes 26 plays 0  

FP - Lecture 19 - Propositions as Types

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

From  Claudia-Elena Chirita on November 29th, 2020 0 likes 351 plays 0  

FP - Lecture 17 - IO and Monads

This is the first video for the FP lecture on IO and Monads.

From  Claudia-Elena Chirita on November 23rd, 2020 0 likes 308 plays 0  

Francesco Giglio (University of Glasgow) Title:The KdV equation as an example of integrable PDE.

LMS Introduction to Integrability Lecture SeriesThis is a lecture course of 5 lectures which gives samples of main types of integrable systems together with techniques for dealing with them.…

From  OLLIE Quinn on November 19th, 2020 0 likes 36 plays 0  

Soliton Solutions of noncommutative anti self dual Yang Mills equations - Claire Gilson

VISS online seminar series Soliton Solutions of noncommutative anti self dual Yang Mills equations Claire Gilson (University of Glasgow) 11 November 2020 An automated programme is used to generate…

From  GILLIAN KERR on November 11th, 2020 0 likes 20 plays 0  

CL - 7b - Quantifiers And Lambda

In this video we briefly mention more examples of sections, and then introduce λ-functions, which we use to help us interpretat statements such as, "Somebody loves Everybody".

From  Haoran Peng on October 30th, 2020 0 likes 473 plays 0  

South East Mathematical Physics Seminars: Juan Miguel Nieto García (Lecture 3)

South East Mathematical Physics Seminars: Juan Miguel Nieto García (Lecture 3)

From  Liam Holligan on October 20th, 2020 0 likes 34 plays 0  

South East Mathematical Physics Seminars: Juan Miguel Nieto García (Lecture 2)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Juan Miguel Nieto García Scalar Products in the…

From  Liam Holligan on October 13th, 2020 0 likes 43 plays 0  

Black Heroes of Mathematics Conference - Dr Howard Haughton (King's College London)

Black Heroes of Mathematics Conference Dr Howard Haughton (King's College London) Credit risk via MGF An automated programme is used to generate the subtitles on this talk. You can remove the…

From  Liam Holligan on October 12th, 2020 0 likes 122 plays 0  

IMA, LMS Joint Meeting: Topological methods in Data Science (1-2 October 2020)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Kathryn Hess (EPFL) - Trees, barcodes, and symmetric groups …

From  Liam Holligan on October 9th, 2020 0 likes 37 plays 0