Search for tag: "p."

Multivariate Extremes: Callum Barltrop

This talk has been automatically captioned. You can remove these by pressing CC on the video toolbar. Name: Callum Barltrop Talk Title: Novel diagnostic and uncertainty characterisation tools for…

From  Belle Taylor on June 29th, 2021 0 likes 35 plays 0  

CL - 12d - Counting

In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.

From  Haoran Peng on November 9th, 2020 0 likes 307 plays 0  

CL - 7a - Mary Loves Everybody

In this video we introduce the interpretation of statements such as, "Mary loves Everybody". We use sections in Haskell to help us do this.

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

CL - Lecture 4.i - Reduction 1

We use the rules to reduce a sequent to a conjunction of simpler sequents. In this example we find that the expression asserted by the sequent is a tautology — it is equivalent to the empty…

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

CL - Lecture 3j - Aristotle's Syllogisms

We describe the traditional presentation of the syllogisms, and introduce Aristotle's existential assumption, on the basis of which he derives nine more syllogisms. These are not sound in our…

From  Haoran Peng on October 5th, 2020 0 likes 437 plays 0  

Locally analytic representations of p-adic groups - Nicolas Dupre

LMS Autumn Algebra school Locally analytic representations of p-adic groups Nicolas Dupre 5 October 2020 An automated programme is used to generate the subtitles on this talk. You can remove the…

From  GILLIAN KERR on October 5th, 2020 0 likes 46 plays 0  

OpenRefine demo: a tool to clean up and enrich datasets - Arthur P Smith at WikidataCon 2017

OpenRefine demo: a tool to clean up and enrich datasets - Arthur P Smith at WikidataCon 2017 Recorded by Chaos Computer Club at Tagesspiegel, Berlin on Saturday 28 October 2017. Original source:…

From  Ewan McAndrew on November 7th, 2017 0 likes 45 plays 0  

How many Gaussians in the GMM

How many Gaussians in the GMM

From  Nigel Goddard on September 25th, 2016 0 likes 2,042 plays 0