Search for tag: "p."

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 304 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 475 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 384 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 431 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 39 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 44 plays 0  

How many Gaussians in the GMM

How many Gaussians in the GMM

From  Nigel Goddard on September 25th, 2016 0 likes 1,985 plays 0