|
Distillation Lecture 5 2020 Activity coefficients: derivation from Gibbs free energy
Course Code
CHEE11023 Publisher
John Christy Licence Type
All rights reserved The University of Edinburgh Language
English (British) Date Created
December 31st, 2020
|
|
REF2020: Etienne Blanco- All-plus helicity off-shell gauge invariant multigluon amplitudes at one loop
Licence Type
All rights reserved The University of Edinburgh Date Created
December 11th, 2020
|
|
REF2020: Martin Hentschinski- High energy factorization at NLO: forward Higgs production
Licence Type
All rights reserved The University of Edinburgh Date Created
December 10th, 2020
|
|
REF2020: Giuseppe Bozzi- Perturbative uncertainties in the Drell-Yan spectrum at low qT
Licence Type
All rights reserved The University of Edinburgh Date Created
December 7th, 2020
|
|
Oleg Chalykh (Leeds)Title: Twisted Ruijsenaars modelThe quantum Ruijsenaars model is a q-analogue of the Calogero—Moser model, described by n commuting partial difference operators (quantum…
Licence Type
All rights reserved Language
English Date Created
November 28th, 2020
|
|
This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.This lecture introduces a very important…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We construct an NFA for R*; then summarize the algebra of regular expressions.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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
|
|
Introduction and learning outcomes
Licence Type
Creative Commons - Attribution
|
|
Description Pending
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Description Pending
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we translate this code for checking a solution described by a function s :: Int -> Int -> Int -> Bool into an expression in our language of Forms.This form uses 729…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we introduce the idea of a formal language — a language whose expressions can be represented in Haskell.We begin with a simple example, a language of clausal forms in which the…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we briefly mention more examples of sections, and then introduce λ-functions, which we use to help us interpretat statements such as, "Somebody loves Everybody".
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
More on blocks of ones (which correspond to conjunctions of literals).This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a disjunctive normal…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|