The management of the operations acting over distributed and virtual resources plays an important role for achieving the success of modern distributed applications. In this paper, we advocate a notion of resources as entities with their own local policies and containing their global interactive properties. We introduce a variant of π-calculus with primitives to declare, acquire and release reso...

Abstract In this paper, we tame the uncertainty about volatility in time-averaging principle for stochastic differential equations driven by G-Brownian motion (G-SDEs) based on Lyapunov condition. That means treat condition presence of a family probability measures, each corresponding to different scenario volatility. The main tool mathematical analysis is G-stochastic calculus, which introduce...

scattering of an incoming wave train by a discontinuity at the upper surface of the ocean over a uniform porous bottom of finite depth is considered here in the framework of linearized water wave theory. by employing residue calculus method, the reflection and transmission coefficient are obtained. these coefficients are computed numerically for different values of the porosity parameter g and ...

Extending the-calculus with either explicit substitution or generalised reduction has been the subject of extensive research recently and still has many open problems. This paper is the rst investigation into the properties of a calculus combining both generalised reduction and explicit substitutions. We present a calculus, gs, that combines a calculus of explicit substitution, s, and a calculu...

Fetuin-A is a potent inhibitor of calcium-phosphate precipitation and of the calcification process, therefore it can also be related with dental calculus. Thus, we aimed to investigate a possible relationship between fetuin-A gene polymorphism and the presence of dental calculus. A possible relationship between serum, saliva and gingival crevicular fluid (GCF) levels of fetuin-A was also invest...

It is well-known that one cannot inside the pure untyped lambda calculus determine equivalence. I.e., one cannot determine if two terms are beta-equivalent, even if they both have normal forms. This implies that it is impossible in the pure untyped lambda calculus to do Godelisation, i.e. to write a function that can convert a term to a representation of (the normal form of) that term, as equi...

The context is the general stochastic differential equation (SDE) model dN/dt=N(g(N)+sigmaepsilon(t)) for population growth in a randomly fluctuating environment. Here, N=N(t) is the population size at time t, g(N) is the 'average' per capita growth rate (we work with a general almost arbitrary function g), and sigmaepsilon(t) is the effect of environmental fluctuations (sigma>0, epsilon(t) sta...

This paper presents a novel approach to automatic classifying and identifying of tree leaves using image segmentation fusion. With the development of mobile devices and remote access, automatic plant identification in images taken in natural scenes has received much attention. Image segmentation plays a key role in most plant identification methods, especially in complex background images. Wher...