Computer Science

From classical to non-classical stochastic shortest path problems

Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture Abstract: The classical...

• 0
• 0
• 3 meses

How Can Algorithms Help to Protect our Privacy

In this terms Strachey lecture, Professor Monika Henzinger gives an introduction to differential...

• 0
• 0
• 5 meses

Strachey Lecture - Used or Be Used: Regaining Control of AI

It’s said that Henry Ford’s customers wanted a “a faster horse”. If Henry Ford was selling us...

• 0
• 0
• 8 meses

Strachey lecture - Symmetry and Similarity

An introduction to algorithmic aspects of symmetry and similarity, ranging from the fundamental...

• 0
• 0
• 1 año

Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic

An overview of work on probabilistic soft logic (PSL), an SRL framework for large-scale...

• 0
• 0
• 1 año

The Continuing Evolution of C++

Stroustrup discusses the development and evolution of the C++, one of the most widely used...

• 0
• 0
• +1 año

Strachey Lecture - The Once and Future Turing

Professor Andrew Hodges author of 'Alan Turing: The Enigma' talks about Turing's work and ideas...

• 0
• 0
• +1 año

Strachey Lecture - Quantum Supremacy

Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. In the near future, it will...

• 0
• 0
• +1 año

Artificial Intelligence and the Future

In this talk Demis Hassabis discuss's what is happening at the cutting edge of AI research, its...

• 0
• 0
• +1 año

Bidirectional Computation is Effectful

A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming...

• 0
• 0
• +1 año