Related papers: Divergence-Preserving Branching Bisimilarity
We study the nature of applicative bisimilarity in $\lambda$-calculi endowed with operators for sampling from continuous distributions. On the one hand, we show that bisimilarity, logical equivalence, and testing equivalence all coincide…
The aim of this paper is twofold. First, we establish the representation formula and the uniqueness of the solutions to a class of inhomogeneous biharmonic Dirichlet problems, and then prove the bi-Lipschitz continuity of the solutions.
The goal of this note is to define biparametric persistence diagrams for smooth generic mappings $h=(f,g):M\to V\cong \mathbb{R}^2$ for smooth compact manifold $M$. Existing approaches to multivariate persistence are mostly centered on the…
We study the continuity/discontinuity of the effective boundary condition for periodic homogenization of oscillating Dirichlet data for nonlinear divergence form equations and linear systems. For linear systems we show continuity, for…
We study the stability of disjointness preservers on Banach lattices. In many cases, we prove that an "almost disjointness preserving" operator is well approximable by a disjointess preserving one. However, this approximation is not always…
We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity (generalizing the earlier proposed property of…
These lecture notes highlight the mathematical and computational structure relating to the formulation of, and development of algorithms for, the Bayesian approach to inverse problems in differential equations. This approach is fundamental…
We study the degree distribution of a randomly chosen vertex in a duplication--divergence graph, under a variety of different generalizations of the basic model of Bhan, Galas and Dewey (2002) and V\'azquez, Flammini, Maritan and Vespignani…
Conservative inference is a major concern in simulation-based inference. It has been shown that commonly used algorithms can produce overconfident posterior approximations. Balancing has empirically proven to be an effective way to mitigate…
In this paper we give a description of separating or disjointness preserving linear bijections on spaces of vector-valued absolutely continuous functions defined on compact subsets of the real line. We obtain that they are continuous and…
Bayesian probabilistic numerical methods are a set of tools providing posterior distributions on the output of numerical methods. The use of these methods is usually motivated by the fact that they can represent our uncertainty due to…
This work is devoted to dissipative extension theory for dissipative linear relations. We give a self-consistent theory of extensions by generalizing the theory on symmetric extensions of symmetric operators. Several results on the…
We extend Cuntz-Quillen's excision theorem for algebras and pro-algebras in arbitrary Q-linear categories with tensor product.The excision theorems for the bivariant periodic cyclic cohomology of discrete,topological and bornological…
A review is given of the relation between pairing, quasi-spin algebras and seniority. The former two concepts are closely connected, the relation being that the quasi-spin formalism allows an efficient solution of the pairing problem.…
In this paper, we provide an explicit probability distribution for classification purposes. It is derived from the Bayesian nonparametric mixture of Dirichlet process model, but with suitable modifications which remove unsuitable aspects of…
We give an account of matter and (basically) a solution of a new class of problems synthesizing percolation theory and branching diffusion processes. They led us to realizing a novel type of stochastic processes, namely branching processes…
Continued fractions have a long history in number theory, especially in the area of Diophantine approximation. The aim of this expository paper is to survey the main results on the theory of $p$--adic continued fractions, i.e. continued…
Motivated by the problem of constructing bijective maps with low differential uniformity, we introduce the notion of permutation resemblance of a function, which looks to measure the distance a given map is from being a permutation. We…
We state some elementary problems concerning the relation between difference calculus and differential calculus, and we try to convince the reader that, in spite of the simplicity of the statements, a solution of these problems would be a…
The purpose of this study is to investigate two related spatial branching models with the unbounded branching intensity. The objective is to describe the asymptotic behaviour of the extremal particle.