Search for tag: "resolution"

15.b

The second video of the Inf2d lecture on Situation Calculus.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 134 plays 0  

14.b

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

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 125 plays 0  

14.a

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

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 138 plays 0  

13.c

The third video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 129 plays 0  

13.b

The second video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 154 plays 0  

13.a

The first video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 181 plays 0  

12.c

The third video of the Inf2d lecture on Inference in First-Order Logic.

From  Claudia-Elena Chirita on February 3rd, 2021 0 likes 142 plays 0  

LAGOON: Leicester Algebra and Geometry Open ONline - Dan Kaplan (Birmingham, UK)

Subtitles are added using an automatic system, these are currently being edited. To turn subtitles off, click "CC", "turn off". 28 January 2021 Dan Kaplan (Birmingham, UK):…

From  Liam Holligan on January 28th, 2021 0 likes 100 plays 0  

LAGOON: Leicester Algebra and Geometry Open ONline - Giulia Saccà (Columbia University, USA)

Subtitles are automatically uploaded to the video, these will be corrected shortly. Please click "cc" to turn subtitles off. Giulia Saccà (Columbia University, USA): Hodge numbers…

From  Liam Holligan on December 3rd, 2020 0 likes 57 plays 0  

Cell therapy spinout targets liver repair treatment

Advanced liver damage could be treated and repaired instead of requiring a transplant thanks to a University of Edinburgh spinout company. Resolution Therapeutics Ltd is based on a decade of research…

From  Eleanor Roger on December 2nd, 2020 0 likes 9 plays 0  

LMS Computer Science Colloquium - Anupam Das (Birmingham)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Anupam Das (Birmingham) The size of proofs: from…

From  Liam Holligan on November 19th, 2020 0 likes 14 plays 0  

4 November Alastair Craw Gale duality and the linearisation map for quiver moduli

ICMS RepNet An automated programme has been used to generate the subtitles on this talk.

From  OLLIE Quinn on November 5th, 2020 0 likes 67 plays 0  

Higgs Centre Colloquium: Laura BAUDIS 'Elucidating the fundamental nature of neutrinos with double beta decay'

Speaker: Laura Baudis (Zurich) Abstract: Neutrinos are the only known elementary particles that are Majorana fermion candidates, implying that they would be their own antiparticles. The most…

From  Ines Foidl on November 4th, 2020 0 likes 7 plays 0  

Hyperspatial resolution satellite data for SDG mapping

Lecture given to the SENSE CDT students on the use of very high spatial resolution data (<1m) for mapping proxies for social and economic conditions in support of the SDGs

From  Gary Watmough on October 28th, 2020 0 likes 31 plays 0  

w0--3--digital_images_size_and_resolution

This video introduces the basic concepts for working in the transition from analogic to digital images, from printed pictures to files. You can follow the proposed exercise downloading the attached…

From  Giorgio Ponzo on September 12th, 2020 0 likes 40 plays 0