|
Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation On the strength of semi-algebraic proof systems UPC Universitat Politècnica de Catalunya Ilario Bonacina
Licence Type
All rights reserved Date Created
July 4th, 2022
|
|
Andy Strominger (Harvard) The last decade has witnessed dramatic progress in observational
black hole astronomy. At the same time, exciting new insights - but not
a solution - have emerged…
Licence Type
All rights reserved Date Created
September 14th, 2021
|
|
Annemarie Klein plays Prelude on a baroque recorder.
Licence Type
Creative Commons - Attribution Share A Like Language
English Date Created
September 14th, 2021
|
|
Quantum methods and Classical Gravity - short talk by Prof Donal O'Connell about some research that our academic team are currently involved in.
Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
June 25th, 2021
|
|
This talk has captions. You can remove these by pressing CC on the video toolbar. Name: Christian Hirsch Talk Title: Extremal lifetimes of persistent loops and holes Abstract: Persistent homology…
Licence Type
All rights reserved Language
English
|
|
Discover how the trumpet has developed over the centuries.
Licence Type
Creative Commons - Attribution Share A Like Language
English Date Created
May 17th, 2021
|
|
This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a conjunctive normal form (CNF) — a conjunction of disjunctions of literals.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We introduce sequents, where we have finite sets of predicates on both sides of the turnstile.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We show the intuition of contraposition using Venn diagrams.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Is Discovering Astronomy the outside course for you? Watch this video to find out more. DISCOVERING ASTRONOMYPHYS08039; Semester 1; 20 credits; Level 8An accessible Astronomy course for everyone! …
Course Code
PHYS 08039 Licence Type
All rights reserved The University of Edinburgh
|
|
Video demonstrating the Japanese 4 hole stabbinding to accompany Teaching Fellow Susie Wilson's online resources on Artists books for the Centre for Open Learning's Open Studies Arts Hub
Publisher
Centre for Open Learning Language
English Date Created
July 1st, 2020
|
|
Students and staff talk about the concept of values in Learning and Teaching as part of the Near Future Teaching Project. The Near Future Teaching project is about working together to co-design the…
Licence Type
Creative Commons - Attribution Date Created
June 18th, 2018
|
|
Mitigating Climate Change - Carbon Capture Storage
Licence Type
All rights reserved The University of Edinburgh
|
|
Professor Jim Hough, OBE, FRS, FRSE, FInstP, FAPS, FRAS
The Engineering Challenges of Detecting gravitational waves
A century ago, Albert Einstein published his General Theory of
Relativity and…
Publisher
University of Edinburgh Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
April 27th, 2017
|
|
Professor Jim Hough, OBE, FRS, FRSE, FInstP, FAPS, FRAS
The Engineering Challenges of Detecting gravitational waves
A century ago, Albert Einstein published his General Theory of
Relativity and…
Publisher
University of Edinburgh Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
April 27th, 2017
|