TED is a nonprofit devoted to ideas worth spreading. On this video feed, you'll find TED Talks to inspire, intrigue and stir the imagination from some of the world's leading thinkers and doers, speaking from the stage at TED conferences, TEDx events and partner events around the world. This podcast is also available in high-def video and audio-only formats.
…
continue reading
Content provided by Brian Runciman, BCS, and The Chartered Institute for IT. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Brian Runciman, BCS, and The Chartered Institute for IT or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
Formal languages, mathematical models and bike sharing
MP3•Episode home
Manage episode 386154019 series 2782862
Content provided by Brian Runciman, BCS, and The Chartered Institute for IT. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Brian Runciman, BCS, and The Chartered Institute for IT or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Professor Jane Hillston, one of the winners of the Lovelace Award for 2023, discusses her work in formal languages. She talks to Brian Runciman MBCS about resource use in systems and performance modelling - measuring how much resource is used and when, from a mathematical viewpoint. It has applications in biology and transport systems in smart cities such as bike-sharing. She is also involved in smart techniques, using ambient sensors and associated data to give people later-life benefits. Also discussed: tracking and husbanding data in AI models, double stochasticity in quantum, and is computer science post-colonial?
…
continue reading
Hosted on Acast. See acast.com/privacy for more information.
51 episodes
MP3•Episode home
Manage episode 386154019 series 2782862
Content provided by Brian Runciman, BCS, and The Chartered Institute for IT. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Brian Runciman, BCS, and The Chartered Institute for IT or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Professor Jane Hillston, one of the winners of the Lovelace Award for 2023, discusses her work in formal languages. She talks to Brian Runciman MBCS about resource use in systems and performance modelling - measuring how much resource is used and when, from a mathematical viewpoint. It has applications in biology and transport systems in smart cities such as bike-sharing. She is also involved in smart techniques, using ambient sensors and associated data to give people later-life benefits. Also discussed: tracking and husbanding data in AI models, double stochasticity in quantum, and is computer science post-colonial?
…
continue reading
Hosted on Acast. See acast.com/privacy for more information.
51 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.