Search for tag: "brackets"

LEL2A-W10-3

LEL2A: Week 10, Lecture 3.

From  Itamar Kastner 0 likes 133 plays 0  

DDC Session 3 Recording

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

From  James Cumby 0 likes 20 plays 0  

LEL2A-W1-3

LEL2A: Week 1, lecture 3.

From  Itamar Kastner 0 likes 58 plays 0  

Using variables in Xerte

Using variables in Xerte

From  Alison Christie 1 likes 20 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 14 plays 0  

PGHC11506 Ancient Egyptian Hieroglyphs: Week 2 Conjunction and Possession

Video by Dr Zsuzsanna Vegh for Ancient Egyptian Hieroglyphs Introduction: Week 2

From  Anna Raczynski 0 likes 31 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 381 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 240 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 484 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 392 plays 0  

CL - Lecture 4.h - Sequents 3

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

From  Claudia-Elena Chirita 0 likes 356 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 50 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 554 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 412 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 44 plays 0  

Exploring Data

Exploring Data

From  Holly Tibble 0 likes 532 plays 0