Meeting the demands of chronic illness and disease states is challenging, at best. Too often, the chronicity of the illness hastens death. The physical, psychological, and sociological changes that accompany the death of an individual require attention and forethought if the life transition is to be made with elegance and grace. This article addresses the caregiving demands for the professional...

We present a new representation that is guaranteed to encode any planar triangle graph of V vertices in less than 3.67V bits. Our code improves on all prior solutions to this well studied problem and lies within 13% of the theoretical lower limit of the worst case guaranteed bound. It is based on a new encoding of the CLERS string produced by RossignacÕs Edgebreaker compression [Rossignac99]. T...

Modelling of 3D objects is a venerable subdomain of the applied geometry, too often coded in a crude way, with elegance sacrificed for the sake of efficiency. We propose to exploit the modern lazy functional programming to generate 3D surfaces, insisting upon the genericity of the underlying mathematics. We show how to generate easily the generalized sweeps thanks to the algorithmic differentia...

A general and intuitively appealing framework is developed for the abstract interpretation of logic programs. An algorithm is given to build an abstract AND/OR tree. The algorithm uses a small set of primitive operations. Conditions for the primitive operations and the abstract domain guaranteeing termination of the algorithm and correctness of the abstract AND/OR tree are proved. The elegance ...

We describe the design and implementation of pD, a parallel variant of a small functional language that serves as a programming interface for the parallel computer algebra package PACLIB. pD provides several facilities to express parallel algorithms in a exible way on diierent levels of abstraction. The compiler translates a pD module into statically typed parallel C code with explicit task cre...

The AOP community has successfully promoted and illustrated the power and elegance of aspect-oriented programming. One of the main problems of Aspect-oriented programming is, however, the aspect interference problem. When multiple aspects are superimposed on the same join point, undesired or incorrect behavior may emerge due to the side effects of behavior of the aspects at the join point. In t...

Graph Data mining has ushered into new era with advanced data mining techniques. Mining Frequent Sub Graphs is the crucial area which appeals the ease of extracting the patterns in the graph. Typical graph data like Social Networks, Biological Networks (for metabolic pathways) and Computer Networks needs analysis of virtual networks of a category. Such graphs need be modeled as layered to disti...

Potential field methods are rapidly gaining popularity in obstacle avoidance applications for mobile robots and manipulators. While the potential field principle is particularly attractive because of its elegance and simplicity, substantial shortcomings have been identified as problems that are inherent to this principle. Based upon mathematical analysis, this paper presents a systematic critic...

In a series of contributions Olderog et al. have formulated and verified safety controllers for a number of lane-maneuvers on multilane roads. Their work is characterized by great clarity and elegance partly due to the introduction of a special-purpose Multi-Lane Spatial Logic. In this paper, we want to illustrate the potential of current modelchecking technology for automatic synthesis of opti...