|
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…
Licence Type
Creative Commons - Attribution Language
English Date Created
December 13th, 2023
|
|
Data and code at: https://github.com/SurgicalInformatics/healthyr_demos
Licence Type
Creative Commons - Attribution Language
English Date Created
October 6th, 2022
|
|
This video will show you how to cite and reference a book, journal article and webpage using the Harvard style.
Licence Type
Creative Commons - Attribution Non Commercial Share A Like Retain Source File
Yes
|
|
Recording from session 3 of data-driven chemistry 2021-22
Course Code
CHEM08031 Licence Type
Creative Commons - Attribution Language
English Date Created
October 7th, 2021 Retain Source File
Yes
|
|
Using variables in Xerte
Publisher
Alison Christie Licence Type
All rights reserved The University of Edinburgh Date Created
July 16th, 2021
|
|
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. …
Publisher
R(D)SVS Licence Type
Creative Commons - Attribution Language
English Date Created
March 10th, 2021
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we introduce the interpretation of statements such as, "Mary loves Everybody". We use sections in Haskell to help us do this.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We can now give Gentzen's rules for ¬ ⋀ ⋁.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Licence Type
All rights reserved Language
english Date Created
October 14th, 2020
|
|
In this video I discuss transcription of verbal data using Jefferson's system of notation.
Course Code
PSYL11072 Publisher
Sue Widdicombe Licence Type
Creative Commons - Attribution Language
English Date Created
October 13th, 2020
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Licence Type
All rights reserved Language
english Date Created
September 23rd, 2020
|
|
Exploring Data
Course Code
GLHE11086 Licence Type
Creative Commons - Attribution Language
English Date Created
June 4th, 2020
|