Write a Blog >>
Tue 21 Jan 2020 11:00 - 11:30 at St Claude - B

A point process on a set is a random bag of elements of that set. In this extended abstract we explore programming with point processes in a monadic style. To this end we identify point processes on a set X with probability measures of bags of elements in X. We describe this view of point processes using the composition of the Giry and bag monads in the category Meas of measurable spaces and functions. We prove that this composition also forms a monad using the distributive law for monads.

Tue 21 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

lafi-2020
10:30 - 12:30: LAFI (né PPS) - B at St Claude
lafi-202010:30 - 11:00
Talk
Carol MakUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
lafi-202011:00 - 11:30
Talk
Swaraj DashUniversity of Oxford, Sam StatonUniversity of Oxford
File Attached
lafi-202011:30 - 12:00
Talk
Jesse SigalUniversity of Edinburgh
lafi-202012:00 - 12:30
Talk
Aloïs BrunelDeepomatic, Damiano MazzaCNRS, Michele PaganiIRIF - Université de Paris