Related papers: Distributive Laws and Decidable Properties of SOS …
I show how transition systems can be applied to the naturally concurrent behaviour of excitable media. I consider structured excitable media, in which excitations are constrained to propagate only in defined narrow channels, and cannot…
Introducing certain singularities, we generalize the class of one-dimensional stochastic differential equations with so-called generalized drift. Equations with generalized drift, well-known in the literature, possess a drift that is…
Fully conditional specification (FCS) is a convenient and flexible multiple imputation approach. It specifies a sequence of simple regression models instead of a potential complex joint density for missing variables. However, FCS may not…
A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves…
The paper is a sketch of systematic presentation of distributional limit theorems and their refinements for compound sums. When analyzing, e.g., ergodic semi-Markov systems with discrete or continuous time, this allows us to separate those…
Data in many applications follows systems of Ordinary Differential Equations (ODEs). This paper presents a novel algorithmic and symbolic construction for covariance functions of Gaussian Processes (GPs) with realizations strictly following…
It came to the attention of myself and the coauthors of (S., Rozowski, Silva, Rot, 2022) that a number of process calculi can be obtained by algebraically presenting the branching structure of the transition systems they specify. Labelled…
A basic theory of cowreath or extended distributive laws in the bicategory of unital bimodules, is deciphered. Precisely, we give in terms of tensor product over a scalar base ring, a simplest and equivalent definition for cowreath over…
This paper presents a simple generalization of causal consistency suited to any object defined by a sequential specification. As causality is captured by a partial order on the set of operations issued by the processes on shared objects…
Resources and their use and consumption form a central part of our life. Many branches of science and engineering are concerned with the question of which given resource objects can be converted into which target resource objects. For…
This paper studies the relationships between three notions of behavioural preorder that have been proposed in the literature: refinement over modal transition systems, and the covariant-contravariant simulation and the partial bisimulation…
Generalized (non-Markovian) diffusion equations with different memory kernels and subordination schemes based on random time change in the Brownian diffusion process are popular mathematical tools for description of a variety of non-Fickian…
Deformation quantization produces families of mathematically equivalent quantization procedures from which one must select the physically meaningful ones. As a selection principle we propose that the procedure must allow enough `observable'…
We introduce the notion of a distributive law between a relative monad and a monad. We call this a relative distributive law and define it in any 2-category $\mathcal{K}$. In order to do that, we introduce the 2-category of relative monads…
Porous sediments in geological systems are exposed to stress by the above-laying mass and consequent compaction, which may be significantly nonuniform across the massif. We derive scaling laws for the compaction of sediments of similar…
A gaussian distribution of binding energies, but conditioned to exploit generally available information on packing in liquids, provides a statistical-thermodynamic theory of liquid water that is structurally non-committal, molecularly…
We consider conservative ergodic measure preserving transformations on infinite measure spaces and investigate the asymptotic behaviour of distorted return time processes with respect to sets satisfying a type of Darling-Kac condition. We…
A general formalism is developed for constructing modified Hamiltonian dynamical systems which preserve a canonical equilibrium distribution by adding a time evolution equation for a single additional thermostat variable. When such systems…
Many machine learning methods assume that the training and test data follow the same distribution. However, in the real world, this assumption is very often violated. In particular, the phenomenon that the marginal distribution of the data…
We study the problem of distributed control of large-scale robotic swarms which can be modeled as continuum densities evolving under the continuity equation. We propose a formalization of distributed controllers as (generally nonlinear)…