Search for tag: "brackets"

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 on March 9th, 2021 0 likes 6 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 on January 11th, 2021 0 likes 26 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 on November 17th, 2020 0 likes 366 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 on November 1st, 2020 0 likes 236 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 4.h - Sequents 3

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

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 349 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 on October 14th, 2020 0 likes 37 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  Susan Widdicombe on October 13th, 2020 0 likes 314 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 on October 4th, 2020 0 likes 384 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 on September 23rd, 2020 0 likes 36 plays 0  

Exploring Data

Exploring Data

From  Holly Marissa Tibble on June 4th, 2020 0 likes 156 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 on May 7th, 2018 0 likes 1,360 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 on May 7th, 2018 0 likes 54 plays 0  

How to edit Wikipedia using Visual Editor - Part 1: Creating Your Account & Enabling Visual Editor

This video includes: Hoe to create your Wikipedia account. How to add a 'New user' box to your userpage. How to enable the new Visual Editor interface. How to add text to your userpage.

From  Ewan McAndrew on September 15th, 2016 0 likes 19 plays 0