Related papers: Extended Differential Aggregations in Process Alge…
In this note we analyse the propagation of a small density perturbation in a one-dimensional compressible fluid by means of fractional calculus modelling, replacing thus the ordinary time derivative with the Caputo fractional derivative in…
We introduce a definition of pressure for almost-additive sequences of continuous functions defined over (non-compact) countable Markov shifts. The variational principle is proved. Under certain assumptions we prove the existence of Gibbs…
A good representation of mesoscopic fluids is required to combine with molecular simulations at larger length and time scales (De Fabritiis {\it et. al}, Phys. Rev. Lett. 97, 134501 (2006)). However, accurate computational models of the…
A rescaled Markov chain converges uniformly in probability to the solution of an ordinary differential equation, under carefully specified assumptions. The presentation is much simpler than those in the outside literature. The result may be…
An approximation within Wertheim's second order perturbation theory is proposed which allows for the development of a general solution for pure component fluids with an arbitrary number and functionality of association sites. The solution…
This paper proves that labelled flows are expressive enough to contain all process algebras which are a standard model for concurrency. More precisely, we construct the space of execution paths and of higher dimensional homotopies between…
We consider uniform moment convergence of lag-window spectral density estimates for univariate and multivariate stationary processes. Optimal rates of convergence are obtained under mild and easily verifiable conditions. Our theory…
We discuss the deal of imperfectness of atomic actions in reality with the background of process algebras. And we show the applications of the imperfect actions in verification of computational systems.
For discretisations of hyperbolic conservation laws, mimicking properties of operators or solutions at the continuous (differential equation) level discretely has resulted in several successful methods. While well-posedness for nonlinear…
We consider an implicit finite difference scheme on uniform grids in time and space for the Cauchy problem for a second order parabolic stochastic partial differential equation where the parabolicity condition is allowed to degenerate. Such…
The article is devoted to the estimation of the rate of convergence of integral functionals of a Markov process. Under the assumption that the given Markov process admits a transition probability density which is differentiable in $t$ and…
Causal processes in biomedicine may contain cycles, evolve over time or differ between populations. However, many graphical models cannot accommodate these conditions. We propose to model causation using a mixture of directed cyclic graphs…
In this paper we intend to give a comprehensive approach of functional inequalities for diffusion processes under some "curvature" assumptions. Our notion of curvature coincides with the usual $\Gamma_2$ curvature of Bakry and Emery in the…
Smoluchowski's coagulation equations can be used as elementary mathematical models for the formation of polymers. We review here some recent contributions on a variation of this model in which the number of aggregations for each atom is a…
A general organizing principle is proposed that can be used to derive the equations of motion describing the near-equilibrium dynamics of causal and thermodynamically stable relativistic systems. The latter are found to display some new…
Local convergence analysis of the augmented Lagrangian method (ALM) is established for a large class of composite optimization problems with nonunique Lagrange multipliers under a second-order sufficient condition. We present a new…
Complex network approaches have been successfully applied for studying transport processes in complex systems ranging from road, railway or airline infrastructure over industrial manufacturing to fluid dynamics. Here, we utilize a generic…
Self-ensembling techniques with diverse reasoning paths such as Self-Consistency have demonstrated remarkable performance gains in text generation with Large Language Models (LLMs). However, such techniques depend on the availability of an…
Power system optimization models are large mathematical models used by researchers and policymakers that pose tractability issues when representing real-world systems. Several aggregation techniques have been proposed to address these…
In this paper we develop adaptive numerical schemes for certain nonlinear variational problems. The discretization of the variational problems is done by representing the solution as a suitable frame decomposition, i.e., a complete, stable,…