Выпусков: 18

My FLoC Experience Chris Patuzzo

- Технологии

My name is Chris, and this year I’m attending the Federated Logic Conference, located in Oxford. This is a mini podcast series about my experiences while I’m here.

- 30 ИЮН. 2018 Г.
#1: Introduction

#1: Introduction

First, let me tell you a bit about who I am and what this conference is.
- 5 мин.
- 2 ИЮЛ. 2018 Г.
#2: Measures of Expressiveness

#2: Measures of Expressiveness

Today was the first official day of the Logic and Learning summer school.
- 7 мин.
- 3 ИЮЛ. 2018 Г.
#3: Alternative Viewpoints

#3: Alternative Viewpoints

Bayesian networks and reinforcement learning were the topics for today.
- 8 мин.
- 4 ИЮЛ. 2018 Г.
#4: Automata Learning

#4: Automata Learning

Automata learning in the morning, followed by a tour of Oxford.
- 7 мин.
- 5 ИЮЛ. 2018 Г.
#5: Crossing the Streams

#5: Crossing the Streams

Combining Markov decision processes with software verification.
- 6 мин.
- 5 ИЮЛ. 2018 Г.
#6: Droning On

#6: Droning On

Verifying the behaviour of drones and a truly exquisite song.
- 6 мин.