A frame homomorphism h : A - B is skeletal if x = 1 in A implies that h(x) = 1 in B. It is shown that, in KRegS, the category of compact regular frames with skeletal maps, the subc...
Administration of certain drugs at a steady rate results in deterioration of drug effect, also known as drug tolerance. Periodic delivery is an attractive option for minimizing to...
Subbarao Varigonda, Tryphon T. Georgiou, Ronald A....
: This communication describes a representation of images as a set of edges characterized by their position and orientation. This representation allows the comparison of two images...
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
Architectural patterns are a fundamental aspect of the architecting process and subsequently the architectural documentation. Unfortunately, there is only poor support for modelin...