English
Related papers

Related papers: Divergence-Preserving Branching Bisimilarity

200 papers

Learning word embeddings using distributional information is a task that has been studied by many researchers, and a lot of studies are reported in the literature. On the contrary, less studies were done for the case of multiple languages.…

Computation and Language · Computer Science 2020-04-15 Marco Berlot , Evan Kaplan

We show that a large class of 1D first-order conservation PDEs can be probabilistically represented using multi-type branching processes. The representation holds when the initial conditions are linear combinations of negative exponentials.…

Analysis of PDEs · Mathematics 2024-12-24 Jochem Hoogendijk , Ivan Kryven

These notes derive a number of technical results on nonlinear contraction theory, a comparatively recent tool for system stability analysis. In particular, they provide new results on the preservation of contraction through system…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Nicolas Tabareau , Jean-Jacques Slotine

An abstract theory of ultradifferentiable sheafs is developed. Moreover, various applications to the theory of linear partial differential equations, differential geometry and, in particular, CR geometry are discussed.

Analysis of PDEs · Mathematics 2026-03-13 Stefan Fürdös

In two recent articles we have examined a generalization of the binomial distribution associated with a sequence of positive numbers, involving asymmetric expressions of probabilities that break the symmetry {\it win-loss}. We present in…

Mathematical Physics · Physics 2015-06-17 H. Bergeron , E. M. F. Curado , J. P. Gazeau , Ligia M. C. S. Rodrigues

The aim of the paper is to introduce an alternative notion of two-scale convergence which gives a more natural modeling approach to the homogenization of partial differential equations with periodically oscillating coefficients: while…

Analysis of PDEs · Mathematics 2016-07-20 François Alouges , Giovanni Di Fratta

Products between phase-type distributed random variables and any independent, positive and continuous random variable are studied. Their asymptotic properties are established, and an expectation-maximization algorithm for their effective…

Probability · Mathematics 2021-11-25 Hansjoerg Albrecher , Martin Bladt , Mogens Bladt , Jorge Yslas

Power law distributions have been repeatedly observed in a wide variety of socioeconomic, biological and technological areas. In many of the observations, e.g., city populations and sizes of living organisms, the objects of interest evolve…

Probability · Mathematics 2009-09-29 Predrag R. Jelenkovic , Jian Tan

Probabilistic automata constitute a versatile and elegant model for concurrent probabilistic systems. They are equipped with a compositional theory supporting abstraction, enabled by weak probabilistic bisimulation serving as the reference…

Formal Languages and Automata Theory · Computer Science 2015-07-01 Andrea Turrini , Holger Hermanns

We present the bilinear forms of the (continuous) Painlev\'e equations obtained from the continuous limit of the analogous expresssions for the discrete ones. The advantage of this method is that it leads to very symmetrical results. A new…

solv-int · Physics 2009-10-30 Y. Ohta , A. Ramani , B. Grammaticos , K. M. Tamizhmani

It is be shown that the sequence of Bernstein polynomials for a function of several variables converges to this function uniformly along with every partial derivative of any order, provided that the latter derivative is well defined and…

Probability · Mathematics 2016-10-18 Alexander Veretennikov , Evguenia Veretennikova

This paper provides both an introduction to and a detailed overview of the principles and practice of classifier calibration. A well-calibrated classifier correctly quantifies the level of uncertainty or confidence associated with its…

Machine Learning · Computer Science 2023-06-16 Telmo Silva Filho , Hao Song , Miquel Perello-Nieto , Raul Santos-Rodriguez , Meelis Kull , Peter Flach

In computer algebra there are different ways of approaching the mathematical concept of functions, one of which is by defining them as solutions of differential equations. We compare different such approaches and discuss the occurring…

Symbolic Computation · Computer Science 2013-06-19 Frédéric Chyzak , James Davenport , Christoph Koutschan , Bruno Salvy

We prove that any derived equivalence between derived discrete algebras is standard, i.e.\ is isomorphic to the derived tensor product by a two-sided tilting complex.

Representation Theory · Mathematics 2026-02-17 Grzegorz Bobinski , Tomasz Ciborski

We consider a multinomial distribution, where the number of cells increases and the cell-probabilities decreases as the number of observations grows. The probabilities of large deviations of statistics, which has form of a sum of Borel…

Probability · Mathematics 2022-05-09 Sherzod M. Mirakhmedov

We study some classes of semi-linear differential equations including both well-posed and ill-posed cases that can generate cocycles (or cocycle correspondences with generating cocycles). Under exponential dichotomy condition with other…

Dynamical Systems · Mathematics 2019-03-20 DeLiang Chen

A variant of the divergence theory for vacuum-condensation developed in a previous communication is analyzed from the viewpoint of a 'time' asymmetric law in vacuum. This law is found to establish a substantial distinction between…

High Energy Physics - Theory · Physics 2009-10-31 H. Salehi , H. R. Sepangi

In this paper, we revisit the diffusive representations of fractional integrals established in \cite{diethelm2023diffusive} to explore novel variants of such representations which provide highly efficient numerical algorithms for the…

Numerical Analysis · Mathematics 2025-07-08 Renu Chaudhary , Kai Diethelm

An algorithm is presented that constructs an acyclic partial matching on the cells of a given simplicial complex from a vector-valued function defined on the vertices and extended to each simplex by taking the least common upper bound of…

Computational Geometry · Computer Science 2017-03-24 Madjid Allili , Tomasz Kaczynski , Claudia Landi , Filippo Masoni

In this paper the distribution of charged particles is constructed under the approximation of ambipolar diffusion. The results of mathematical modelling in two-dimensional case taking into account the velocities of the system are presented.

Computational Engineering, Finance, and Science · Computer Science 2007-05-23 P. Nefyodov , V. Reztsov , O. Riabinina
‹ Prev 1 8 9 10 Next ›