Search for tag: "expression"

44 Media

25:56 Distillation Lecture 5 2020 part 3 Distillation Lecture 5 2020 part 3	Distillation Lecture 5 2020 part 3 Distillation Lecture 5 2020 Activity coefficients: derivation from Gibbs free energy times term activity equation coefficients expression log minus parameter a1 moles values lot gibbs energy respect n1 fact form suffix From John Christy on December 31st, 2020 0 likes 3 plays 0 Course Code CHEE11023 Publisher John Christy Licence Type All rights reserved The University of Edinburgh Language English (British) Date Created December 31st, 2020
23:17 REF2020: Etienne Blanco- All-plus helicity… 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 REF2020: Etienne Blanco- All-plus helicity off-shell gauge invariant multigluon amplitudes at one loop higgs centre ref2020 amplitude quark limit lambda expression energy term prescription quarks method katie momentum glue paper instance factor shell option process action From Lyndsey Ballantyne on December 18th, 2020 0 likes 2 plays 0 Licence Type All rights reserved The University of Edinburgh Date Created December 11th, 2020
31:50 REF2020: Martin Hentschinski- High energy… REF2020: Martin Hentschinski- High energy factorization at NLO: forward Higgs production	REF2020: Martin Hentschinski- High energy factorization at NLO: forward Higgs production REF2020: Martin Hentschinski- High energy factorization at NLO: forward Higgs production higgs centre ref2020 kind corrections factor factors calculation energy result momentum action term function things proton calculations glue impact minus framework expression epsilon From Lyndsey Ballantyne on December 18th, 2020 0 likes 2 plays 0 Licence Type All rights reserved The University of Edinburgh Date Created December 10th, 2020
22:29 REF2020: Giuseppe Bozzi- Perturbative… 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 REF2020: Giuseppe Bozzi- Perturbative uncertainties in the Drell-Yan spectrum at low qT higgs centre ref2020 log solution alpha difference uncertainty equations equation renormalization function ways variation scale plot expression framework lock pseudo evolution instance functions From Lyndsey Ballantyne on December 11th, 2020 0 likes 1 plays 0 Licence Type All rights reserved The University of Edinburgh Date Created December 7th, 2020
01:02:27 Oleg Chalykh (Leeds) Title: Twisted Ruijsenaars… Oleg Chalykh (Leeds) Title: Twisted Ruijsenaars model	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… integrability integrable days integrable systems space function storey variables theory result moment mcdonald kind functions psi matrices hamiltonian polynomials combination systems expression parameter shift difference From OLLIE Quinn on December 3rd, 2020 0 likes 13 plays 0 Licence Type All rights reserved Language English Date Created November 28th, 2020
55:01 CL - 18 - rules CL - 18 - rules	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… inf1a introduction to computation informatics 1 computation and logic rules machine things star friend proof language relation thing string solution theorem rule expression comma languages start sets words sigma From Haoran Peng on November 30th, 2020 0 likes 200 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
02:48 CL - 15f - R* -- Iteration CL - 15f - R* -- Iteration	CL - 15f - R* -- Iteration We construct an NFA for R*; then summarize the algebra of regular expressions. inf1a introduction to computation informatics 1 computation and logic string epsilon expressions things language match thing unit sum matches star expression times concatenation alternation numbers strings names algebra r. From Haoran Peng on November 23rd, 2020 0 likes 225 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
06:28 CL - 14a - Tseytin Week 9 CL - 14a - Tseytin Week 9	CL - 14a - Tseytin Week 9 In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell. inf1a introduction to computation informatics 1 computation and logic expression form thing wire gate character clausal pattern bit function variables cnf patent matching characters haskell formula circuit transform subformula From Haoran Peng on November 18th, 2020 0 likes 268 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
08:58 CL - 13b - regex and FSM CL - 13b - regex and FSM	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… inf1a introduction to computation informatics 1 computation and logic machine star strings language b. times machines expressions string parallel alphabet brackets a. circle bingo languages things parentheses expression alternation From Haoran Peng on November 17th, 2020 0 likes 362 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
03:30 Pharmacology 3: Antidepressant Drugs -… Pharmacology 3: Antidepressant Drugs - Introduction Dr Phil Larkman	Pharmacology 3: Antidepressant Drugs - Introduction Dr Phil Larkman Introduction and learning outcomes disorders risk symptoms behaviour drug factors disorder depression pharmacokinetics pathophysiology action dysfunction brain understanding knowledge disease genes gene prevalence expression From Philip Larkman on November 14th, 2020 0 likes 81 plays 0 Licence Type Creative Commons - Attribution
07:13 CL - 11d - Tseytin CL - 11d - Tseytin	CL - 11d - Tseytin Description Pending inf1a introduction to computation informatics 1 computation and logic clauses gate circuit gates output inputs clause expression values formula cnf pll variable algebra wires unit variables equation wire linear From Haoran Peng on November 12th, 2020 0 likes 302 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
01:33 CL - 11c - CNF by KM (I) CL - 11c - CNF by KM (I)	CL - 11c - CNF by KM (I) Description Pending inf1a introduction to computation informatics 1 computation and logic half karnaugh problem kind b. moment maps complement piece hub halves columns rows variables things expression result slide g. negation From Haoran Peng on November 12th, 2020 0 likes 219 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
02:30 CL - 8d - Sudoku II CL - 8d - Sudoku II	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… inf1a introduction to computation informatics 1 computation and logic haskell language clauses values letters ideas expression slides things sudoku model assertions form specification checker variables side slide bottom hydrogen From Haoran Peng on November 1st, 2020 0 likes 310 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
03:17 CL - 7c - Language I CL - 7c - Language I	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… inf1a introduction to computation informatics 1 computation and logic language logic conjunction clauses clause algebra thing literals disjunction properties disjunctions expression haskell computers century truth tomorrow sizes sorts sentence From Haoran Peng on November 1st, 2020 0 likes 370 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
07:25 CL - 7b - Quantifiers And Lambda CL - 7b - Quantifiers And Lambda	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". inf1a introduction to computation informatics 1 computation and logic quantifiers mary function lambda body property things language 2pi root variable bit x. words stuff mark maths lambdas backstroke expression identifier From Haoran Peng on October 30th, 2020 0 likes 471 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
02:29 CL - 6e - DNF CL - 6e - DNF	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… inf1a introduction to computation informatics 1 computation and logic karnaugh map blocks 's form disjunction block pattern literals things conjunctions r. expression naught aig b. zeros rows g. column piece power From Haoran Peng on October 24th, 2020 0 likes 396 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English

Search for tag: "expression"

the university of edinburgh