Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Hyperloop and the future of transport

Series
Future of Business
Embed
LA to San Francisco in 30 minutes? We dive into the high-tech future of transport with Nick Earle, VP at Virgin Hyperloop One.
Hyperloop is a super-fast transport system where pods carrying people and cargo are shot through a vacuum tube at incredibly high speeds, taking you from LA to San Francisco in thirty minutes. The race is on to build the first functioning Hyperloop, with Virgin facing competition from Elon Musk as well as firms in the Middle East and Asia. We talk to Nick about the challenges they’re facing as well as the impact Hyperloop technology could have on the way our cities are designed to function.

Episode Information

Series
Future of Business
People
Nick Earle
Keywords
Hyperloop
technology
transport
Department: Saïd Business School
Date Added: 16/07/2018
Duration: 00:29:17

Subscribe

Download

Future of work with Google Chief Economist Hal Varian and Professor Jonathan Trevor

Series
Future of Business
Embed
AI’s effect on the labour force, who wins man or machine?
In a society rapidly moving beyond the traditional employment paradigm, how do we distribute wealth equitably and find our purpose in life? We explore the future of work with Oxford Professor Jonathan Trevor, covering everything from the utility of employment to daily working life in the future. We close out the episode by chatting with Google Chief Economist Hal Varian, who is optimistic about the coming automation revolution and believes we need machines to take over the job hole left by retiring baby boomers.

Episode Information

Series
Future of Business
People
Jonathan Trevor
Hal Varian
Keywords
Future of work
ai
automation
technology
Department: Saïd Business School
Date Added: 16/07/2018
Duration: 00:32:41

Subscribe

Download

Looking Backward; Looking Forward

Series
Federated Logic Conference (FLoC) 2018
Embed
An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018

Episode Information

Series
Federated Logic Conference (FLoC) 2018
People
Dana Scott
Keywords
floc
computer science
Department: Department of Computer Science
Date Added: 13/07/2018
Duration: 01:02:37

Subscribe

Download

Cultural Citizenship in India: Politics, Power and Media

Series
TORCH | The Oxford Research Centre in the Humanities
Embed
Cultural Citizenship in India argues that citizenship is an ongoing and evolving discursive project. Further, it studies the role of culture and different media in the process of citizen-making by taking postcolonial India as its case study.
Book at lunchtime discussion. Cultural Citizenship If the nation is an imagined community constructed through discourse, then the feeling of being part of that nation - can only arise when citizens are empowered to enter the discourse and modify it. Linking political science and cultural studies to explore the mutually constitutive role of discourse and institutions, Cultural Citizenship in India argues that citizenship is an ongoing and evolving discursive project. Further, it studies the role of culture and different media in the process of citizen-making by taking postcolonial India as its case study.

Episode Information

Series
TORCH | The Oxford Research Centre in the Humanities
People
Lion König
Polly O'hanlon
Sundas Ali
Peter Frankopan
Keywords
torch
humanities and identities
india
post colonial
cultural citizenship
Department: The Oxford Research Centre in the Humanities (TORCH)
Date Added: 13/07/2018
Duration: 00:42:37

Subscribe

Download

Pseudo deterministic algorithms and proofs

Series
Federated Logic Conference (FLoC) 2018
Embed
In this talk I will describe what is known about pseudo-deterministic algorithms in the sequential, sub-linear and parallel setting.
Probabilistic algorithms for both decision and search problems can offer significant complexity improvements over deterministic algorithms. One major difference, however, is that they may output different solutions for different choices of randomness. This makes correctness amplification impossible for search algorithms and is less than desirable in setting where uniqueness of output is important such as generation of system wide cryptographic parameters or distributed setting where different sources of randomness are used. Pseudo-deterministic algorithms are a class of randomized search algorithms, which output a unique answer with high
probability. Intuitively, they are indistinguishable from deterministic algorithms by a polynomial time observer of their input/output behavior. In this talk I will describe what is known about pseudo-deterministic algorithms in the sequential, sub-linear and parallel setting. We will also describe an extension of pseudo-deterministic algorithms to interactive proofs for search problems where the verifier is guaranteed with high probability to output the same output on different executions, regardless of the prover strategies. Based on joint work with Goldreich, Ron, Grossman and Holden.

Episode Information

Series
Federated Logic Conference (FLoC) 2018
People
Shafi Goldwasser
Keywords
algorithms
randomness
floc
computer science
Department: Department of Computer Science
Date Added: 13/07/2018
Duration: 01:06:47

Subscribe

Download

How do you grow rice faster?

Series
Big Questions - with Oxford Sparks
Embed
3 billion people depend on rice for survival & owing to predicted population increases, land that provided enough rice to feed 27 people in 2010 will need to support 43 by 2050. In this week's podcast episode we ask: how do you grow rice faster?
Currently over three billion people depend on rice for survival, and, owing to predicted population increases and a general trend towards urbanisation, land that provided enough rice to feed 27 people in 2010 will need to support 43 by 2050.
In the hopes of meeting the food needs of billions of people around the world, scientists have taken a major step towards creating a 'supercharged' strain of rice!
In this week’s Big Questions podcast we visited Jane Langdale, Professor of Plant Development at the University of Oxford, and is the current coordinator of the C4 Rice Project, to ask: How do you grow rice faster?

Episode Information

Series
Big Questions - with Oxford Sparks
People
Jane Langdale
Keywords
rice
land
farming
agriculture
science
research
c4 rice project
jane langdale.
plants
food
hunger
Department: Mathematical, Physical and Life Sciences (MPLS)
Date Added: 11/07/2018
Duration: 00:11:29

Subscribe

Download

Navayana Buddhism and Nationalism: Reading Dr B R Ambedkar

Series
Asian Studies Centre
Embed
Thahir Jamal Kiliyamannil and Manasi Mohanan Sushama speak at the 'Interrogating Buddhism and Nationalism' workshop 28 January 2018.

Episode Information

Series
Asian Studies Centre
People
Thahir Jamal Kiliyamannil
Manasi Mohanan Sushama
Keywords
navayana
Buddhism
nationalism
india
politics
Ambedkar
Department: St Antony's College
Date Added: 11/07/2018
Duration: 00:19:29

Subscribe

Download

The Production of Buddhist-Violence in Sri Lanka: A Reading through the Development of the Idea of Holy City of Anuradhapura in the Early-Twentieth Century

Series
Asian Studies Centre
Embed
Pradeep Sangapala and Nihal Perera speak at the 'Interrogating Buddhism and Nationalism' workshop 28 January 2018.
Creative Commons Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
Asian Studies Centre
People
Pradeep Sangapala
Nihal Perera
Keywords
Buddhism
violence
sri lanka
nationalism
politics
Department: St Antony's College
Date Added: 11/07/2018
Duration: 00:18:29

Subscribe

Download

Partha Mitter in conversation with Mallica Kumbera Landrus

Series
Asian Studies Centre
Embed
Partha Mitter and Mallica Kumbera Landrus speak at the Art of Independence Conference on 12 October 2018.
Creative Commons Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
Asian Studies Centre
People
Partha Mitter
Mallica Kumbera Landrus
Keywords
art
film
india
Pakistan
citizenship
Department: St Antony's College
Date Added: 10/07/2018
Duration: 00:19:26

Subscribe

Download

Continuous Reasoning: Scaling the impact of formal methods

Series
Federated Logic Conference (FLoC) 2018
Embed
Formal reasoning about programs is one of the oldest and most fundamental research directions in computer science. It has also been one of the most elusive.
There has been a tremendous amount of valuable research in formal methods, but rarely have formal reasoning techniques been deployed as part of the development process of large industrial codebases.

This talk describes work in continuous reasoning, where formal reasoning about a (changing) codebase is done in a fashion which mirrors the iterative, continuous model of software development that is increasingly practiced in industry. We suggest that advances in continuous reasoning will allow formal reasoning to scale to more programs, and more programmers. We describe our experience using continuous reasoning with large, rapidly changing codebases at Facebook, and we describe open problems and directions for research for the scientific community.

This a paper with the same title accompanying this talk appears in the LICS’18 proceedings.
Creative Commons Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
Federated Logic Conference (FLoC) 2018
People
Peter O'Hearn
Keywords
floc
computer science
Department: Department of Computer Science
Date Added: 10/07/2018
Duration: 00:53:19

Subscribe

Download

Pagination

  • First page
  • Previous page
  • …
  • Page 1738
  • Page 1739
  • Page 1740
  • Page 1741
  • Page 1742
  • Page 1743
  • Page 1744
  • Page 1745
  • Page 1746
  • …
  • Next page
  • Last page

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
  • Login
'Oxford Podcasts' X Account @oxfordpodcasts | Upcoming Talks in Oxford | © 2011-2026 The University of Oxford