Search for tag: "universe"

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

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

From  Juan Martos Diaz 1 likes 44 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 19 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  Greg McCracken 0 likes 102 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 54 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 63 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 36 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 30 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 the…

From  Ines Foidl 0 likes 15 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 32 plays 0  

14.b

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

From  Claudia-Elena Chirita 0 likes 159 plays 0  

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

lecture 9 part 1

From  Pauline Phemister 0 likes 21 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 323 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 241 plays 0  

lecture 7 part 3 Kaltura Capture recording - October 31st 2020, 9:29:37 pm

lecture 7 part 3

From  Pauline Phemister 0 likes 28 plays 0  

CL - 5x - Supplementary on Sequents

This video includes a couple of points from a 2019 review lecture on Sequents.First we discuss how to use reduction to find an inhabited model in which Γ ⊨ Δ, which is equivalent to…

From  Haoran Peng 0 likes 23 plays 0