Search for tag: "expression"

Distillation Lecture 5 2020 part 3

Distillation Lecture 5 2020 Activity coefficients: derivation from Gibbs free energy

From  John Christy on December 31st, 2020 0 likes 3 plays 0  

REF2020: Etienne Blanco- All-plus helicity off-shell gauge invariant multigluon amplitudes at one loop

REF2020: Etienne Blanco- All-plus helicity off-shell gauge invariant multigluon amplitudes at one loop

From  Lyndsey Ballantyne on December 18th, 2020 0 likes 2 plays 0  

REF2020: Martin Hentschinski- High energy factorization at NLO: forward Higgs production

REF2020: Martin Hentschinski- High energy factorization at NLO: forward Higgs production

From  Lyndsey Ballantyne on December 18th, 2020 0 likes 2 plays 0  

REF2020: Giuseppe Bozzi- Perturbative uncertainties in the Drell-Yan spectrum at low qT

REF2020: Giuseppe Bozzi- Perturbative uncertainties in the Drell-Yan spectrum at low qT

From  Lyndsey Ballantyne on December 11th, 2020 0 likes 1 plays 0  

Oleg Chalykh (Leeds) Title: Twisted Ruijsenaars model

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…

From  OLLIE Quinn on December 3rd, 2020 0 likes 13 plays 0  

CL - 18 - rules

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…

From  Haoran Peng on November 30th, 2020 0 likes 200 plays 0  

CL - 15f - R* -- Iteration

We construct an NFA for R*; then summarize the algebra of regular expressions.

From  Haoran Peng on November 23rd, 2020 0 likes 225 plays 0  

CL - 14a - Tseytin Week 9

In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell.

From  Haoran Peng on November 18th, 2020 0 likes 268 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 362 plays 0  

CL - 11d - Tseytin

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 302 plays 0  

CL - 11c - CNF by KM (I)

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 219 plays 0  

CL - 8d - Sudoku II

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…

From  Haoran Peng on November 1st, 2020 0 likes 310 plays 0  

CL - 7c - Language I

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…

From  Haoran Peng on November 1st, 2020 0 likes 370 plays 0  

CL - 7b - Quantifiers And Lambda

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".

From  Haoran Peng on October 30th, 2020 0 likes 471 plays 0  

CL - 6e - DNF

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…

From  Haoran Peng on October 24th, 2020 0 likes 396 plays 0