|
|
This talk was the first of the Leverhulme Lectures, for the Leverhulme Visiting Professorship scheme.In this century, progress in fundamental physics has been slow. The Large Hadron Collider…
Licence Type
All rights reserved Date Created
November 29th, 2022
|
|
|
Data-Driven Innovation in Particle Physics - Dr. Akanksha Vishwakarma
Licence Type
Creative Commons - Attribution Share A Like
|
|
|
Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Proof complexity of CSP by Azza Gaysin, The Charles University in Prague
Licence Type
All rights reserved Date Created
July 8th, 2022
|
|
|
ICMS welcome Neil Turok (Edinburgh) for the 2021 Christmas Lecture, Quantum Universe. This video has captions. You can turn these off, by pressing the CC button on the toolbar below the video.
Licence Type
All rights reserved Date Created
December 14th, 2021
|
|
|
In this video, Richard Curtin (IP & Patent Manager) introduces what Intellectual Property means within the University. ENGAGE, Edinburgh Innovations’ new online learning programme is…
Licence Type
Creative Commons - Attribution Share A Like
|
|
|
Ely Fal from S&P Capital IQ explains how to screen for companies in a specific industry and location, add data items, and export your results to Excel.
Licence Type
All rights reserved Date Created
July 12th, 2021
|
|
|
Prof Neil Turok talks about his research and life in Edinburgh.
Publisher
Alicja Ross Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
June 25th, 2021
|
|
|
In this free short online course, you’ll learn more about the science and technology behind astronomical discovery. Each week will cover a different aspect of astronomical technology, matching…
Licence Type
Creative Commons - Attribution Share A Like Date Created
March 16th, 2021
|
|
|
Speaker: Florian Beutler (University of Edinburgh) Cosmology
has the potential to test fundamental physics through the discovery of
new particles (e.g. dark matter) and new fields that governed the…
Licence Type
All rights reserved Date Created
March 5th, 2021
|
|
|
Speaker:Konstantinos Dimopoulos (Lancaster University) Abstract: Observations suggest that the initial conditions of the history of the
Universe were set by a period of superluminal expansion of…
Licence Type
All rights reserved Date Created
February 19th, 2021
|
|
|
This is the second part of the second Inf2d lecture on Resolution.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
|
lecture 9 part 1
Course Code
PHIL10086 Licence Type
Creative Commons - Attribution Date Created
November 14th, 2020
|
|
|
In this video we look at yet another pattern of implications, and apply our a method for counting the satisfying valuations.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
|
This video looks at the ordering of predicates. We first met thsis as the satisfaction ordering a ⊨ b.We look at the ordering of the 16 possible boolean functions of two variables. We can also view…
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
|
|
|
lecture 7 part 3
Course Code
PHIL10086 Licence Type
Creative Commons - Attribution Date Created
October 31st, 2020
|
