We study the relative expressive power of Fusion and pi-calculus. Fusion is commonly regarded as a generalisation of pi-calculus. Actually, we prove that there is no uniform fully abstract embedding of pi-calculus into Fusion. This fact motivates the introduction of a new calculus, D-Fusion, with two binders, λ and ν. We show that DFusion is strictly more expressive than both pi-calculus and Fu...

We formalize a cumulative interest compliant conservation requirement for pure financial products proposed by Wesseling and van den Bergh to make financial issues relating to these products amenable to mathematical analysis. The formalization is given in a timed extension of tuplix calculus and abstracts from the idiosyncrasies of time measurement. We also use the timed tuplix calculus to show ...

In this paper, we establish the existence results for second order singular Dirichlet problems via variational methods. Some recent results are extended and improved. Examples are also given to illustrate the new results.

In the present paper the definition of invexity for continuous functions is extended to invexity of order m which is further generalized to ρ-pseudoinvexity type I of order m, ρ-pseudoinvexity type II of order m, as well as ρ-quasi invexity type I of order m and ρ-quasiinvexity type II of order m. The central objective of the paper is to study variational problem where the functionals involved ...

In this paper, we use Laguerre calculus to find the Lp spectrum (λ, μ) of the pair (L, iT). Here L = −12 ∑n j=1(ZjZj+ZjZj) andT = ∂ ∂t with {Z1, . . . ,Zn,Z1, , . . . ,Zn,T} a basis for the left-invariant vector fields on the Heisenberg group. We find kernels for the spectral projection operators on the ray λ > 0 in the Heisenberg brush and show that they are Calderón-Zygmund-Mikhlin operators....