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
Вміст надано Brian Runciman, BCS, and The Chartered Institute for IT. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Brian Runciman, BCS, and The Chartered Institute for IT або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.
Схожі до The Gem of all Mechanisms
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
BackStory is a weekly public podcast hosted by U.S. historians Ed Ayers, Brian Balogh, Nathan Connolly and Joanne Freeman. We're based in Charlottesville, Va. at Virginia Humanities. There’s the history you had to learn, and the history you want to learn - that’s where BackStory comes in. Each week BackStory takes a topic that people are talking about and explores it through the lens of American history. Through stories, interviews, and conversations with our listeners, BackStory makes histo ...
…
continue reading
Learn something new every day! Everything Everywhere Daily is a daily podcast for Intellectually Curious People. Host Gary Arndt tells the stories of interesting people, places, and things from around the world and throughout history. Gary is an accomplished world traveler, travel photographer, and polymath. Topics covered include history, science, mathematics, anthropology, archeology, geography, and culture. Past history episodes have dealt with ancient Rome, Phoenicia, Persia, Greece, Chi ...
…
continue reading
Although the world is becoming mostly sedentary, our bodies still require a wide variety of daily movements in order to work well. Many of us struggle to get regular exercise, but even that can fall short of nourishing the body from head to toe. How can we move more—a lot more—when we have sore, stiff parts and overly busy lifestyles? Join Katy Bowman M.S., biomechanist, author, and movement educator as she combines big-picture lessons on biomechanics, kinesiology, physiology, and natural hu ...
…
continue reading
Welcome to the Success Story Podcast, hosted by entrepreneur, business executive, author, educator & speaker, Scott D. Clary (@scottdclary). On this podcast, you'll find interviews, Q&A, keynote presentations & conversations on sales, marketing, business, startups and entrepreneurship. Scott will discuss some of the lessons he's learned over his own career, as well as have candid interviews with execs, celebrities, notable figures and politicians. All who have achieved success through both w ...
…
continue reading
A weekly podcast tracing the history of the Roman Empire, beginning with Aeneas's arrival in Italy and ending with the exile of Romulus Augustulus, last Emperor of the Western Roman Empire. Now complete!
…
continue reading
Join two of the stars from Real Housewives of Potomac, Gizelle Bryant and Robyn Dixon, as they team up for their new podcast Reasonably Shady. The show features conversations about being fearless women as they recount stories from their exciting lives. Topics include dating, relationships, marriage, entrepreneurs, motherhood, style, glam, current events and more! Join Gizelle and Robyn for Reasonably Shady!
…
continue reading
Bitcoin groundbreakers share personal stories of how Bitcoin is changing lives for the better. Host Mauricio Di Bartolomeo, co-founder and CSO of Ledn, speaks with leading Bitcoin voices, entrepreneurs, and human rights advocates to hear their unique journey and practical real-world examples of how Bitcoin has made a positive impact in their lives. Brought to you by Ledn, a leading financial services company built for Bitcoin & digital assets. Ledn offers a suite of lending, saving and tradi ...
…
continue reading
Do your eyes glaze over when looking at a long list of annual health insurance enrollment options – or maybe while you’re trying to calculate how much you owe the IRS? You might be wondering the same thing we are: Where’s the guidebook for all of this grown-up stuff? Whether opening a bank account, refinancing student loans, or purchasing car insurance (...um, can we just roll the dice without it?), we’re just as confused as you are. Enter: “Grown-Up Stuff: How to Adult” a podcast dedicated ...
…
continue reading
Player FM - додаток Podcast
Переходьте в офлайн за допомогою програми Player FM !
Переходьте в офлайн за допомогою програми Player FM !
))
Formal languages, mathematical models and bike sharing
Manage episode 386154019 series 2782862
Вміст надано Brian Runciman, BCS, and The Chartered Institute for IT. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Brian Runciman, BCS, and The Chartered Institute for IT або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.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.
50 епізодів
Поширити
Manage episode 386154019 series 2782862
Вміст надано Brian Runciman, BCS, and The Chartered Institute for IT. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Brian Runciman, BCS, and The Chartered Institute for IT або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.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.
50 епізодів
Усі епізоди
×
Ласкаво просимо до Player FM!
Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.
Схожі до The Gem of all Mechanisms
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
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
BackStory is a weekly public podcast hosted by U.S. historians Ed Ayers, Brian Balogh, Nathan Connolly and Joanne Freeman. We're based in Charlottesville, Va. at Virginia Humanities. There’s the history you had to learn, and the history you want to learn - that’s where BackStory comes in. Each week BackStory takes a topic that people are talking about and explores it through the lens of American history. Through stories, interviews, and conversations with our listeners, BackStory makes histo ...
…
continue reading
Learn something new every day! Everything Everywhere Daily is a daily podcast for Intellectually Curious People. Host Gary Arndt tells the stories of interesting people, places, and things from around the world and throughout history. Gary is an accomplished world traveler, travel photographer, and polymath. Topics covered include history, science, mathematics, anthropology, archeology, geography, and culture. Past history episodes have dealt with ancient Rome, Phoenicia, Persia, Greece, Chi ...
…
continue reading
Although the world is becoming mostly sedentary, our bodies still require a wide variety of daily movements in order to work well. Many of us struggle to get regular exercise, but even that can fall short of nourishing the body from head to toe. How can we move more—a lot more—when we have sore, stiff parts and overly busy lifestyles? Join Katy Bowman M.S., biomechanist, author, and movement educator as she combines big-picture lessons on biomechanics, kinesiology, physiology, and natural hu ...
…
continue reading
Welcome to the Success Story Podcast, hosted by entrepreneur, business executive, author, educator & speaker, Scott D. Clary (@scottdclary). On this podcast, you'll find interviews, Q&A, keynote presentations & conversations on sales, marketing, business, startups and entrepreneurship. Scott will discuss some of the lessons he's learned over his own career, as well as have candid interviews with execs, celebrities, notable figures and politicians. All who have achieved success through both w ...
…
continue reading
A weekly podcast tracing the history of the Roman Empire, beginning with Aeneas's arrival in Italy and ending with the exile of Romulus Augustulus, last Emperor of the Western Roman Empire. Now complete!
…
continue reading
Join two of the stars from Real Housewives of Potomac, Gizelle Bryant and Robyn Dixon, as they team up for their new podcast Reasonably Shady. The show features conversations about being fearless women as they recount stories from their exciting lives. Topics include dating, relationships, marriage, entrepreneurs, motherhood, style, glam, current events and more! Join Gizelle and Robyn for Reasonably Shady!
…
continue reading
Bitcoin groundbreakers share personal stories of how Bitcoin is changing lives for the better. Host Mauricio Di Bartolomeo, co-founder and CSO of Ledn, speaks with leading Bitcoin voices, entrepreneurs, and human rights advocates to hear their unique journey and practical real-world examples of how Bitcoin has made a positive impact in their lives. Brought to you by Ledn, a leading financial services company built for Bitcoin & digital assets. Ledn offers a suite of lending, saving and tradi ...
…
continue reading
Do your eyes glaze over when looking at a long list of annual health insurance enrollment options – or maybe while you’re trying to calculate how much you owe the IRS? You might be wondering the same thing we are: Where’s the guidebook for all of this grown-up stuff? Whether opening a bank account, refinancing student loans, or purchasing car insurance (...um, can we just roll the dice without it?), we’re just as confused as you are. Enter: “Grown-Up Stuff: How to Adult” a podcast dedicated ...
…
continue reading
Player FM - додаток Podcast
Переходьте в офлайн за допомогою програми Player FM !
Переходьте в офлайн за допомогою програми Player FM !
