— In the usual framework of abstract types programming languages inciuding a définition mechanism for partial recursive functions cannot be specified sufficiently complete because of the termination problem. Therefore the algebraic concepts of abstract types are extended to partial algebras leading to "total" homomorphisms for partial algebras. In this framework an abstract type is given defini...

Mobile IPv6 allows a Mobile Node to remain reachable by a Correspondent Node while roaming from one network to another network. In Mobile IPv6, a Mobile Node directly updates its current location information to a Correspondent Node using a route optimization method. Route optimization helps to culminate the packet delay incurred due to suboptimal route traversed by the packets from a Correspond...

Study of which the social work survey forms a part is anticipated and in that we shall deal again with some of the points raised earlier and those raised by critics such as your correspondent. However, lest your readers should misapprehend our tentative arguments, may I outline them here? The context is one of shortage of professionally qualified mental health social workers, particularly in th...

Significant achievements have been attained in the field of dense stereo correspondence by local algorithms based on an adaptive support. Given the problem of matching two correspondent pixels within a local stereo process, the basic idea is to consider as support for each pixel only those points which lay on the same disparity plane, rather than those belonging to a fixed support. This paper p...

We consider stationary solutions of the Extended Fisher-Kolmogorov (EFK) equation , a fourth-order model equation for bi-stable systems. We show that as long as the stable equilibrium points are real saddles, the paths in the (u; u 0)-plane of two bounded solutions do not cross. As a consequence we derive that the bounded solutions of the EFK equation correspond exactly to those of the classica...

The goal of this paper is to propose an approach to the formulation of dynamics for causal sets and coupled matter fields. We start from the continuum version of the action for a Klein-Gordon field coupled to gravity, and rewrite it first using quantities that have a direct correspondent in the case of a causal set, namely volumes, causal relations, and timelike lengths, as variables to describ...