Ergodicity Coefficients for Higher-Order Stochastic Processes

Higher Order Correlation coefficients

Higher-order Cn dispersion coefficients for hydrogen

The complete set of second-, third-, and fourth-order van der Waals coefficients Cn up to n=32 for the Hs1sd-Hs1sd dimer have been determined. They are computed by diagonalizing the nonrelativistic Hamiltonian for hydrogen to obtain a set of pseudostates that are used to evaluate the appropriate sum rules. A study of the convergence pattern for nø16 indicates that all the Cnø16 coefficients are...

SOS for Higher Order Processes

We lay the foundations for a Structural Operational Semantics (SOS) framework for higher order processes. Then, we propose a number of extensions to Bernstein’s promoted tyft/tyxt format which aims at proving congruence of strong bisimilarity for higher order processes. The extended format is called promoted PANTH. This format is easier to apply and strictly more expressive than the promoted ty...

Discrete Galerkin Method for Higher Even-Order Integro-Differential Equations with Variable Coefficients

This paper presents discrete Galerkin method for obtaining the numerical solution of higher even-order integro-differential equations with variable coefficients. We use the generalized Jacobi polynomials with indexes corresponding to the number of homogeneous initial conditions as natural basis functions for the approximate solution. Numerical results are presented to demonstrate the effectiven...

Classical Higher-Order Processes

Classical Processes (CP) is a calculus where the proof theory of classical linear logic types communicating processes with mobile channels, à la π -calculus. Its construction builds on a recent propositions as types correspondence between session types and propositions in linear logic. Desirable properties such as type preservation under reductions and progress come for free from the metatheory...