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.

Distribution of indole-3-acetic acid in Petunia hybrida shoot tip cuttings and relationship between auxin transport, carbohydrate metabolism and adventitious root formation.

To determine the contribution of polar auxin transport (PAT) to auxin accumulation and to adventitious root (AR) formation in the stem base of Petunia hybrida shoot tip cuttings, the level of indole-3-acetic acid (IAA) was monitored in non-treated cuttings and cuttings treated with the auxin transport blocker naphthylphthalamic acid (NPA) and was complemented with precise anatomical studies. The temporal course of carbohydrates, amino acids and activities of controlling enzymes was also investigated. Analysis of initial spatial IAA distribution in the cuttings revealed that approximately 40 and 10% of the total IAA pool was present in the leaves and the stem base as rooting zone, respectively. A negative correlation existed between leaf size and IAA concentration. After excision of cuttings, IAA showed an early increase in the stem base with two peaks at 2 and 24h post excision and, thereafter, a decline to low levels. This was mirrored by the expression pattern of the auxin-responsive GH3 gene. NPA treatment completely suppressed the 24-h peak of IAA and severely inhibited root formation. It also reduced activities of cell wall and vacuolar invertases in the early phase of AR formation and inhibited the rise of activities of glucose-6-phosphate dehydrogenase and phosphofructokinase during later stages. We propose a model in which spontaneous AR formation in Petunia cuttings is dependent on PAT and on the resulting 24-h peak of IAA in the rooting zone, where it induces early cellular events and also stimulates sink establishment. Subsequent root development stimulates glycolysis and the pentosephosphate pathway

Comparing the effectiveness of equivalence partitioning, branch testing and code reading by stepwise abstraction applied by subjects

Some verification and validation techniques have been evaluated both theoretically and empirically. Most empirical studies have been conducted without subjects, passing over any effect testers have when they apply the techniques. We have run an experiment with students to evaluate the effectiveness of three verification and validation techniques (equivalence partitioning, branch testing and code reading by stepwise abstraction). We have studied how well able the techniques are to reveal defects in three programs. We have replicated the experiment eight times at different sites. Our results show that equivalence partitioning and branch testing are equally effective and better than code reading by stepwise abstraction. The effectiveness of code reading by stepwise abstraction varies significantly from program to program. Finally, we have identified project contextual variables that should be considered when applying any verification and validation technique or to choose one particular technique.