An abstract machine for restricted and-parallel execution of logic programs

Although the sequential execution speed of logic programs has been greatly improved by the concepts introduced in the Warren Abstract Machine (WAM), parallel execution represents the only way to increase this speed beyond the natural limits of sequential systems. However, most proposed parallel logic programming execution models lack the performance optimizations and storage efficiency of sequential systems. This paper presents a parallel abstract machine which is an extension of the WAM and is thus capable of supporting ANDParallelism without giving up the optimizations present in sequential implementations. A suitable instruction set, which can be used as a target by a variety of logic programming languages, is also included. Special instructions are provided to support a generalized version of "Restricted AND-Parallelism" (RAP), a technique which reduces the overhead traditionally associated with the run-time management of variable binding conflicts to a series of simple run-time checks, which select one out of a series of compiled execution graphs.

B-LOG: A branch and bound methodology for the parallel execution of logic programs

We propose a computational methodology -"B-LOG"-, which offers the potential for an effective implementation of Logic Programming in a parallel computer. We also propose a weighting scheme to guide the search process through the graph and we apply the concepts of parallel "branch and bound" algorithms in order to perform a "best-first" search using an information theoretic bound. The concept of "session" is used to speed up the search process in a succession of similar queries. Within a session, we strongly modify the bounds in a local database, while bounds kept in a global database are weakly modified to provide a better initial condition for other sessions. We also propose an implementation scheme based on a database machine using "semantic paging", and the "B-LOG processor" based on a scoreboard driven controller.

Implementation of an event driven scheme for visualizing parallel execution of logic programs

This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.

Implementation of an event driven scheme for visualizing parallel execution of logic programs.

This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.

A proposal for a flexible scheduling and memory management scheme for non-deterministic, andparallel execution of logic programs

In this paper, we examine the issue of memory management in the parallel execution of logic programs. We concentrate on non-deterministic and-parallel schemes which we believe present a relatively general set of problems to be solved, including most of those encountered in the memory management of or-parallel systems. We present a distributed stack memory management model which allows flexible scheduling of goals. Previously proposed models (based on the "Marker model") are lacking in that they impose restrictions on the selection of goals to be executed or they may require consume a large amount of virtual memory. This paper first presents results which imply that the above mentioned shortcomings can have significant performance impacts. An extension of the Marker Model is then proposed which allows flexible scheduling of goals while keeping (virtual) memory consumption down. Measurements are presented which show the advantage of this solution. Methods for handling forward and backward execution, cut and roll back are discussed in the context of the proposed scheme. In addition, the paper shows how the same mechanism for flexible scheduling can be applied to allow the efficient handling of the very general form of suspension that can occur in systems which combine several types of and-parallelism and more sophisticated methods of executing logic programs. We believe that the results are applicable to many and- and or-parallel systems.

Forced Response of Mistuned Bladed Disks: Quantitative Validation of the Asymptotic Description

The effect of small mistuning in the forced response of a bladed disk is analyzed using a recently introduced methodology: the asymptotic mistuning model. The asymptotic mistuning model is an extremely reduced, simplified model that is derived directly from the full formulation of the mistuned bladed disk using a consistent perturbative procedure based on the relative smallness of the mistuning distortion. A detailed description of the derivation of the asymptotic mistuning model for a realistic bladed disk configuration is presented. The asymptotic mistuning model results for several different mistuning patterns and forcing conditions are compared with those from a high-resolution finite element model. The asymptotic mistuning model produces quantitatively accurate results, and, probably more relevant, it gives precise information about the factors (tuned modes and components of the mistuning pattern) that actually play a role in the vibrational forced response of mistuned bladed disks.

The forced oscillations of submerged bodies

The increasing use of very light structures in aerospace applications are given rise to the need of taking into account the effects of the surrounding media in the motion of a structure (as for instance, in modal testing of solar panels or antennae) as it is usually performed in the motion of bodies submerged in water in marine applications. New methods are in development aiming at to determine rigid-body properties (the center of mass position and inertia properties) from the results of oscillations tests (at low frequencies during modal testing, by exciting the rigid-body modes only) by using the equations of the rigid-body dynamics. As it is shown in this paper, the effect of the surrounding media significantly modifies the oscillation dynamics in the case of light structures and therefore this effect should be taken into account in the development of the above-mentioned methods. The aim of the paper is to show that, if a central point exists for the aerodynamic forces acting on the body, the motion equations for the small amplitude rotational and translational oscillations can be expressed in a form which is a generalization of the motion equations for a body in vacuum, thus allowing to obtain a physical idea of the motion and aerodynamic effects and also significantly simplifying the calculation of the solutions and the interpretation of the results. In the formulation developed here the translational oscillations and the rotational motion around the center of mass are decoupled, as is the case for the rigid-body motion in vacuum, whereas in the classical added mass formulation the six motion equations are coupled. Also in this paper the nonsteady motion of small amplitude of a rigid body submerged in an ideal, incompressible fluid is considered in order to define the conditions for the existence of the central point in the case of a three-dimensional body. The results here presented are also of interest in marine applications.

Forced expression of the tumor suppressor adenomatosis polyposis coli protein induces disordered cell migration in the intestinal epithelium.

Mutations of the human adenomatosis polyposis coli (APC) gene are associated with the development of familial as well as sporadic intestinal neoplasia. To examine the in vivo function of APC, 129/Sv embryonic stem (ES) cells were transfected with DNA encoding the wild-type human protein under the control of a promoter that is active in all four of the small intestine's principal epithelial lineages during their migration-associated differentiation. ES-APC cells were then introduced into C57BL/6-ROSA26 blastocysts. Analyses of adult B6-ROSA26<-->129/Sv-APC chimeric mice revealed that forced expression of APC results in markedly disordered cell migration. When compared with the effects of forced expression of E-cadherin, the data suggest that APC-catenin and E-cadherin-catenin complexes have opposing effects on intestinal epithelial cell movement/adhesiveness; augmentation of E-cadherin-beta-catenin complexes produces a highly ordered, "adhesive" migration, whereas augmentation of APC-beta-catenin complexes produces a disordered, nonadhesive migratory phenotype. We propose that APC mutations may promote tumorigenesis by increasing the relative activity of cadherin-catenin complexes, resulting in enhanced adhesiveness and functional anchorage of initiated cells within the intestinal crypt. Our studies also indicate that chimeric mice generated from B6-ROSA26 blastocysts and genetically manipulated ES cells should be useful for auditing gene function in the gastrointestinal tract and in other tissues.

Forced expression of tropomyosin 2 or 3 in v-Ki-ras-transformed fibroblasts results in distinct phenotypic effects.

Transformation of cells in tissue culture results in a variety of cellular changes including alterations in cell growth, adhesiveness, motility, morphology, and organization of the cytoskeleton. Morphological and cytoskeletal changes are perhaps the most readily apparent features of transformed cells. Although a number of studies have documented a decrease in the expression of specific tropomyosin (TM) isoforms in transformed cells, it remains to be determined if the suppression of TM synthesis is essential in the establishment and maintenance of the transformed pheno-type. To address the roles of different TM isoforms in transformed cells we have examined the effects of expressing specific TM isoforms in transformed cells using a Kirsten virus-transformed cell line (ATCC NRK1569) as a model system. In contrast to normal fibroblasts, the NRK 1569 cells contain reduced levels of TM-1 and undetectable levels of TM-2 and TM-3. These cells have a rounded morphology and are devoid of stress fibers. Employing expression plasmids for TM-2 and TM-3, stable cell lines were established from the NRK 1569 cells that express these isoforms individually. We demonstrate that expression of TM-2 or TM-3 leads to increased cell spreading accompanied by the formation of identifiable microfilament bundles, as well as significant restoration of well-defined vinculin-containing focal adhesion plaques, although expression of each isoform exhibited distinct properties. In addition, cells expressing TM-2, but not TM-3, exhibited contact-inhibited cell growth and a requirement for serum.

Surface antigen cross-linking triggers forced exit of a protozoan parasite from its host.

We used the common fish pathogen Ichthyophthirius multifiliis as a model for studying interactions between parasitic ciliates and their vertebrate hosts. Although highly pathogenic, Ichthyophthirius can elicit a strong protective immune response in fish after exposure to controlled infections. To investigate the mechanisms underlying host resistance, a series of passive immunization experiments were carried out using mouse monoclonal antibodies against a class of surface membrane proteins, known as immobilization antigens (or i-antigens), thought to play a role in the protective response. Such antibodies bind to cilia and immobilize I. multifiliis in vitro. Surprisingly, we found that passive antibody transfer in vivo caused rapid exit of parasites from the host. The effect was highly specific for a given I. multifiliis serotype. F(ab)2 subfragments had the same effect as intact antibody, whereas monovalent Fab fragments failed to protect. The activity of Fab could, nevertheless, be restored after subsequent i.p. injection of bivalent goat anti-mouse IgG. Parasites that exit the host had detectable antibody on their surface and appeared viable in all respects. These findings represent a novel instance among protists in which protective immunity (and evasion of the host response) result from an effect of antibody on parasite behavior.

Forced evolution of glutathione S-transferase to create a more efficient drug detoxication enzyme.

Glutathione S-transferases (EC 2.5.1.18) in mammalian cells catalyze the conjugation, and thus, the detoxication of a structurally diverse group of electrophilic environmental carcinogens and alkylating drugs, including the antineoplastic nitrogen mustards. We proposed that structural alteration of the nonspecific electrophile-binding site would produce mutant enzymes with increased efficiency for detoxication of a single drug and that these mutants could serve as useful somatic transgenes to protect healthy human cells against single alkylating agents used in cancer chemotherapy protocols. Random mutagenesis of three regions (residues 9-14, 102-112, and 210-220), which together compose the glutathione S-transferase electrophile-binding site, followed by selection of Escherichia coli expressing the enzyme library with the nitrogen mustard mechlorethamine (20-500 microM), yielded mutant enzymes that showed significant improvement in catalytic efficiency for mechlorethamine conjugation (up to 15-fold increase in kcat and up to 6-fold increase in kcat/Km) and that confer up to 31-fold resistance, which is 9-fold greater drug resistance than that conferred by the wild-type enzyme. The results suggest a general strategy for modification of drug- and carcinogen-metabolizing enzymes to achieve desired resistance in both prokaryotic and eukaryotic plant and animal cells.

The execution of the mural arts of the West

"This thesis describes and explains the execution of the casein mural, 'Arts of the West'. The artist's project was to prepare a casein mural for the Pioneer Room of the New Student Union at the University of Denver."

Particulars of the trial and execution of George Partridge, aged 21: who was executed at Bury-St.-Edmund's, on Monday last, for the wilful murder of George Ansell, aged 9 years, within a few miles of Polstead, the late scene of Maria Martin's murder. Also, the prisoner's confession

Date of imprint from execution date, April 13, 1829 -- Capital Punishment UK site via WWW, viewed December 14, 2007.