|
The third video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
A demo on how to create symbols in Cadence Virtuoso, along with some tips on using the schematic editor
Licence Type
Creative Commons - Attribution Language
English Date Created
January 13th, 2021
|
|
The first video on Problem Solving and Search: we give a characterization of problem-solving agents and some examples of such intelligent agents.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
REF2020: Harut Avakian- Experimental Input for TMD Evolution Studies
Licence Type
All rights reserved The University of Edinburgh Date Created
December 9th, 2020
|
|
REF2020: Jianwei Qiu- Factorized approach to radiative corrections for lepton-hadron semi-inclusive deep inelastic scatterings
Licence Type
All rights reserved The University of Edinburgh Date Created
December 11th, 2020
|
|
REF2020: Yong Zhao- QCD resummations in the lattice calculation of PDFs
Licence Type
All rights reserved The University of Edinburgh Date Created
December 7th, 2020
|
|
REF2020: Jianwei Qiu- Factorized approach to radiative corrections for lepton-hadron semi-inclusive deep inelastic scatterings
Licence Type
All rights reserved The University of Edinburgh Date Created
December 11th, 2020
|
|
LMS Introduction to Integrability Lecture SeriesThis is a lecture course of 5 lectures which gives samples of main types of integrable systems together with techniques for dealing with them.…
Licence Type
All rights reserved Language
English Date Created
November 19th, 2020
|
|
Subtitles have been automatically addeded to this lecture, to turn off please select "cc". Professor Claire Voisin, Collège de France - Quadratic Extensions: Algebra and Geometry …
Publisher
Liam Holligan Licence Type
All rights reserved Language
English Date Created
November 17th, 2020
|
|
Sudoku is just a game, but it a good, accessible example of a type of problem that of great practical significance. Here we discuss the Sudoku problem within this wider context.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
First we see how to express the rules of Sudoku in Haskell. Given a total function s :: Int -> Int -> Int -> Bool that represents the way a sudoku puzzle is filled in by saying that s i j k…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
EMS meeting date ... Talk delivered by Professor Kenneth Falconer
Publisher
Hossein Amini Kafiabad Licence Type
All rights reserved Language
English
|
|
This video considers the properties of valid correlation matrix, including the Hermitian property, positive semi-definiteness, and positive real-valued leading diagonal. This video proves these…
Course Code
PGEE11164 Licence Type
All rights reserved Date Created
October 12th, 2020
|
|
This FP lecture video presents the concepts of map, filter, and fold.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Lecture 2 part 2
Course Code
PHIL10086 Licence Type
Creative Commons - Attribution Date Created
September 12th, 2020
|
|
Lecture 2 part 1
Course Code
PHIL10086 Licence Type
Creative Commons - Attribution Date Created
September 12th, 2020
|