Ethics and Morality of Robotics
Jul 18, 2018 - 53:21
Radio and PodcastLive Radio & PodcastsTechnology
Pseudo deterministic algorithms and proofs
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 co...
About This Episode
Pseudo deterministic algorithms and proofs is an episode from Federated Logic Conference (FLoC) 2018 by Oxford University. In this talk I will describe what is known about pseudo-deterministic algorithms in the sequential, sub-linear and pa...
Podcast
This episode belongs to Federated Logic Conference (FLoC) 2018.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Jul 13, 2018, 66:47 long, audio available.
Related Episodes
Continue listening to more episodes from Federated Logic Conference (FLoC) 2018.
Formal Reasoning about the Security of Amazon Web Services
Jul 18, 2018 - 51:29
The Logic of Real Proofs
Jul 16, 2018 - 66:11
Looking Backward; Looking Forward
Jul 13, 2018 - 62:37
Continuous Reasoning: Scaling the impact of formal methods
Jul 10, 2018 - 53:19