SUMMARY This paper describes Gödel, an interactive incremental logic programming environment. Gödel supports programming in "standard" Prolog. However, Gödel uses its environment to superimpose a module structure and an inheritance typing system which can be used to support modern software engineering strategies. In addition, Gödel presents the user with a uniform user interface for browsing, e...

Meta-data annotations and AOP are a powerful combination. Several aspect-oriented languages already support the use of annotations as a selection criterion in pointcut designators. Some languages also support the introduction of annotations using aspect-oriented techniques. This paper describes a combination of these techniques as they are implemented in Compose*, our aspect-oriented language. ...

Many datasets in the physical sciences, especially the results of simulations, are defined over a topological grid structure. Applications in these domains would benefit from a principled interface to gridded datasets via a specialized data model. Traditionally, benefits of a data model are realized only after data is ensconced within a managed database environment. However, massive bulk-loadin...

Inline digital holograms are classically reconstructed using linear operators to model diffraction. It has long been recognized that such reconstruction operators do not invert the hologram formation operator. Classical linear reconstructions yield images with artifacts such as distortions near the field-of-view boundaries or twin images. When objects located at different depths are reconstruct...

The well-known and invidious pathology caused by malaria parasites (Plasmodium spp.) stems from the intraerythrocytic developmental cycle (IDC), which is the progressive invasion of erythrocytes by the merozoite form of the parasite followed by parasite growth, asexual replication, and lysis of the host cell liberating logarithmically greater numbers of infectious merozoites. Gene expression du...

The Minkowski space of special relativity can be understood as a flat 4-dimensional affine space enriched by a constant Minkowski metric. If we gauge the general affine group and ‘superimpose’ the metric, then we arrive at the metric-affine theory of gravity (MAG). The gravitational potentials are the spacetime coframe, the metric, and the linear connection. The material energy-momentum is coup...

Based on our previous mathematical model of the acute myeloblastic leukemic (AML) state in man, we superimpose a chemotherapeutic drug treatment regimen. Our calculations suggest that small changes in the protocol can have significant effects on the result of treatment. Thus, the optimal period between drug doses is the S-phase interval of the leukemic cells--about 20h--and the greater the numb...

We describe two new shape operators that superimpose wrinkles on top of a smooth NURBS surface. Previous research studying wrinkles focused mostly on cloth modeling or in animations, which are driven more by visual realism, but allow large elastic deformations. Our operators generate wrinkle-shaped deformations in a region of a smooth surface along a given boundary based on a few basic parametr...

The management of a patient with myotonic dystrophy undergoing Caesarean section for delivery of twins in breech position is reported. Anaesthetic management must reflect the multi-system nature of the disease in addition to the implications of pregnancy. Known triggers of myotonic crisis (succinylcholine, shivering) must be avoided. Attention to respiratory reserve is necessary in view of the ...

The conventional object-oriented paradigm provides part-of, inheritance and delegation relations as means for composition of objects. Although inheritance and delegation represent a considerable improvement over the module-based third generation languages, we have experienced that certain types of composability cannot be expressed using the aforementioned techniques. In some cases, the software...