Search for tag: "universe"

Higgs Hour: Laura Keating 'How and when the Universe warmed up (and what that means for learning about dark matter)'

From  Ines Foidl 0 likes 4 plays 0  

Mysteries of Fundamental Physics

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…

From  Ami Andrews 0 likes 17 plays 0  

Data-Driven Innovation in Particle Physics - Dr. Akanksha Vishwakarma

Data-Driven Innovation in Particle Physics - Dr. Akanksha Vishwakarma

From  Juan Martos Diaz 1 likes 85 plays 0  

Proof complexity of CSP - Azza Gayasin

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Proof complexity of CSP by Azza Gaysin, The Charles University in Prague

From  Iain Cms 0 likes 26 plays 0  

ICMS Christmas Lecture 2021 - Quantum Universe, Neil Turok

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.

From  Ami Andrews 0 likes 121 plays 0  

IP at Edinburgh

In this video, Richard Curtin (IP & Patent Manager) introduces what Intellectual Property means within the University. ENGAGE, Edinburgh Innovations’ new online learning programme is…

From  Geoff Fortescue 0 likes 68 plays 0  

S&P Capital IQ: Screening for companies by industry and location

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.

From  Catherine Ure 0 likes 553 plays 0  

The School of Physics and Astronomy Prof. Neil Turok talk

Prof Neil Turok talks about his research and life in Edinburgh.

From  Ala Ross 0 likes 46 plays 0  

AstroTech - Our knowledge of the Universe

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…

From  Geoff Fortescue 0 likes 60 plays 0  

Higgs Hour with Florian Beutler: 'Expanding the BAO science case'

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…

From  Ines Foidl 0 likes 21 plays 0  

Higgs Centre Colloquium: Konstantinos Dimopoulos 'Quintessential Inflation: linking the origin and fate of the Universe'

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…

From  Ines Foidl 0 likes 56 plays 0  


This is the second part of the second Inf2d lecture on Resolution.

From  Claudia-Elena Chirita 0 likes 162 plays 0  

Kaltura Capture recording - November 14th 2020, 1:49:20 pm

lecture 9 part 1

From  Pauline Phemister 0 likes 30 plays 0  

CL - 12e - More Counting

In this video we look at yet another pattern of implications, and apply our a method for counting the satisfying valuations.

From  Haoran Peng 0 likes 300 plays 0  

CL - 12a - Order

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…

From  Haoran Peng 0 likes 325 plays 0  

CL - 7h - Some Haskell remarks

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…

From  Haoran Peng 0 likes 246 plays 0