Search for tag: "properties"

One World Virtual Seminar Series - Stochastic Numerics and Inverse Problems: Evelyn Buckwar (Johannes Kepler University)

Subtitles have been automatically added to this video, we are editing these so they correctly reflect the lecture. Click "cc" to turn subtitles off. Evelyn Buckwar (Johannes Kepler…

From  Liam Holligan on December 16th, 2020 0 likes 9 plays 0  

Elastostatic cloaking, low frequency elastic wave transparency and neutral inclusions - William Parnell

Continuum Mechanics Seminar Series William Parnell (University of Manchester) Elastostatic cloaking, low frequency elastic wave transparency and neutral inclusions Friday 11 December 2020 An…

From  GILLIAN KERR on December 11th, 2020 0 likes 21 plays 0  

PoS1 COVID 32.b

2nd part of 32nd lecture PoS1 2020-21

From  Alistair Isaac on November 25th, 2020 0 likes 76 plays 0  

Discrete Painlevé equations - Nalini Joshi

Virtual Integrable Systems Seminars Discrete Painlevé equations Nalini Joshi (Sydney) 25 November 2020 An automated programme is used to generate the subtitles on this talk. You can remove…

From  GILLIAN KERR on November 25th, 2020 0 likes 23 plays 0  

Phil Methods 1 - Week 10 - Part 1

What is Phenomenology?

From  Dave Ward on November 19th, 2020 0 likes 34 plays 0  

FP - Lecture 15 - Combinatorics

This is the first video for the FP lectures on Combinatorics.

From  Claudia Chirita on November 16th, 2020 0 likes 378 plays 0  

PoS 1 Week 9 Lecture 2 Part 2

mechanism

From  Johanna Wolff on November 5th, 2020 0 likes 154 plays 0  

CL - 7c - Language I

In this video we introduce the idea of a formal language — a language whose expressions can be represented in Haskell.We begin with a simple example, a language of clausal forms in which the…

From  Haoran Peng on November 1st, 2020 0 likes 370 plays 0  

CL - 6d - Karnaugh Maps III

More on blocks of ones (which correspond to conjunctions of literals).

From  Haoran Peng on October 24th, 2020 0 likes 385 plays 0  

CL - Lecture 4.k - Logic and Algebra

Last CL video for week 4.

From  Claudia Chirita on October 15th, 2020 0 likes 291 plays 0  

New Text Editor - Accessibility Checker

A new text editor is on its way to Learn, and will be available on the 5th of November 2020. It has an updated look and feel which will be demonstrated in this video.

From  Stephannie Hay on October 15th, 2020 0 likes 36 plays 0  

CL - Lecture 4.g - Sequents 2

Additional predicates after the turnstile behave similarly.

From  Claudia Chirita on October 15th, 2020 0 likes 344 plays 0