Search for tag: "brackets"

IAWEL RMDA: Introduction to R Studio

This video is for the RMDA course on the IAWEL programme. It provides a basic overview of R Studio

From  Jill MacKay 0 likes 0 plays 0  

Introduction to R: Part 2

This video is Part 2/3. This event aligns with the Digital creation, problem solving and innovation competency on the University's Digital Skills Framework. This course is aimed for those who…

From  Catherine Koppe 0 likes 3 plays 0  

HealthyR demo: stringR

Data and code at: https://github.com/SurgicalInformatics/healthyr_demos

From  Sarah Elliot 0 likes 39 plays 0  

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 511 plays 0  

DDC Session 3 Recording

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

From  James Cumby 0 likes 25 plays 0  

Using variables in Xerte

Using variables in Xerte

From  Alison Christie 1 likes 55 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 61 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 392 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 246 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 495 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 398 plays 0  

CL - Lecture 4.h - Sequents 3

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

From  Claudia-Elena Chirita 0 likes 363 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 57 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 439 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