Search for tag: "brackets"

How do I cite and reference?

This video will show you how to cite and reference a book, journal article and webpage using the Harvard style.

From  Catherine Ure 0 likes 359 plays 0  

DDC Session 3 Recording

Recording from session 3 of data-driven chemistry 2021-22

From  James Cumby 0 likes 23 plays 0  

Using variables in Xerte

Using variables in Xerte

From  Alison Christie 1 likes 39 plays 0  

Quick Answer: Writing Up Results

This video gives a short overview of the key features of a results section. It is aimed mainly at veterinary scientists and covers how to write up a generic quantitative and qualitative finding. …

From  Jill MacKay 0 likes 39 plays 0  

CL - 13b - regex and FSM

We introduce some simple finite state machines, and three key ideas of the theory.The first idea is that of the language recognised by a machine. Given an alphabet of symbols, a language is a set…

From  Haoran Peng 0 likes 387 plays 0  

CL - 7h - Some Haskell remarks

In this video we give an example showing how Haskell's types can help us to avoid confusions.We then discuss the types of the Boolean operations lifted to predicates, and show how…

From  Haoran Peng 0 likes 244 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 0 likes 492 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 0 likes 394 plays 0  

CL - Lecture 4.h - Sequents 3

We can now give Gentzen's rules for ¬ ⋀ ⋁.

From  Claudia-Elena Chirita 0 likes 359 plays 0  

Covariant Poisson bracket and r-matrix structure for an integrable hierarchy: role of Lagrangian and Hamiltonian multiforms - Vincent Caudrelier

VISS online seminar series Covariant Poisson bracket and r-matrix structure for an integrable hierarchy: role of Lagrangian and Hamiltonian multiforms Vincent Caudrelier (Leeds) 14 October 2020 An…

From  GILLIAN KERR 0 likes 56 plays 0  

Kaltura Capture recording - October 13th 2020, 7:27:41 am

In this video I discuss transcription of verbal data using Jefferson's system of notation.

From  Sue Widdicombe 0 likes 562 plays 0  

CL - Lecture 3h - Operator Precedence

In this video, we introduce operator precedence. An expression such as a ⋀ b ⋁ c, without parentheses, could represent either (a ⋀ b) ⋁ c or a ⋀ (b ⋁ c). To specify which we mean, we either need to…

From  Haoran Peng 0 likes 435 plays 0  

Nonabelian Hamiltonian (integrable) systems - double, lambda and Schouten brackets - Matteo Casati

VISS online seminar series Nonabelian Hamiltonian (integrable) systems - double, lambda and Schouten brackets Matteo Casati (Kent/Ningbo) 23 September 2020An automated programme is used to generate…

From  GILLIAN KERR 0 likes 49 plays 0  

Exploring Data

Exploring Data

From  Holly Tibble 0 likes 1,159 plays 0  

Moving a drafted article into Wikipedia's live space.

Video tutorial to demonstrate how to move a drafted article into Wikipedia's live space.

From  Ewan McAndrew 0 likes 1,840 plays 0  

How to Edit Wikipedia - unabridged version

How to Edit Wikipedia - unabridged version 2018 tutorial including how to navigate your way round a page.

From  Ewan McAndrew 1 likes 85 plays 0