Search for tag: "universe"

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  Dawn Wasley 0 likes 71 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 45 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 39 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 19 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 26 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 13 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 21 plays 0  

14.b

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

From  Claudia-Elena Chirita 0 likes 157 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 299 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 322 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 240 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 24 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 22 plays 0  

CL - 6b - Karnaugh Maps I

In logic, we call the things in the universal model valuations; they are Boolean-values functions defined on the set of predicates.In computer science we often call these states, because, as we will…

From  Haoran Peng 0 likes 427 plays 0  

CL - 6a - Keeping it Simple

We begin by revisiting the idea of a universal model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for…

From  Haoran Peng 0 likes 408 plays 0