19th International Conference on Concurrency Theory

18th International Conference on Concurrency Theory

The process of inverting Markov kernels relates to the important subject of Bayesian modelling and learning. In fact, Bayesian update is exactly kernel inversion. In this paper, we investigate how and when Markov kernels (aka stochastic relations, or probabilistic mappings, or simply kernels) can be inverted. We address the question both directly on the category of measurable spaces, and indire...

19th International Conference on Types for Proofs and Programs

We introduce update monads as a generalization of state monads. Update monads are thecompatible compositions of reader and writer monads given by a set and a monoid. Distributivelaws between such monads are given by actions of the monoid on the set.We also discuss a dependently typed generalization of update monads. Unlike simple updatemonads, they cannot be factored into a ...

International Conference on Islamic Awakening

Recent developments in the middle-east have been differently explained by different figures and dignitaries from different countries of the world. Calling these developments as "Islamic awakening", "Human awakening", "Arab Spring" and "Purple Revolution" indicates there are different theories in this regard definitely leading to different measures in the political arena. Among supreme leader's ...

19th International Congress on Rural Health & 4th International Conference Ragusa SHWA 2015 Lodi, Italy

CONCUR ’ 95 , Int . Conference on Concurrency Theory , LNCS

We present a xpoint-analysis machine, for the eecient computation of homogeneous, hierarchical, and alternating xpoints over regular , context-free/push-down and macro models. Applications of such x-point computations include intra-and interprocedural data ow analysis , model checking for various temporal logics, and the veriication of behavioural relations between distributed systems. The xpoi...