Specialising finite domain programs with polyhedra

A procedure is described for tightening domain constraints of finite domain logic programs by applying a static analysis based on convex polyhedra. Individual finite domain constraints are over-approximated by polyhedra to describe the solution space over ninteger variables as an n dimensional polyhedron. This polyhedron is then approximated, using projection, as an n dimensional bounding box that can be used to specialise and improve the domain constraints. The analysis can be implemented straightforwardly and an empirical evaluation of the specialisation technique is given

Codimension zero superembeddings

Superembeddings which have bosonic codimension zero are studied in 3,4 and 6 dimensions. The worldvolume multiplets of these branes are off-shell vector multiplets in these dimensions, and their self-interactions include a Born-Infeld term. It is shown how they can be written in terms of standard vector multiplets in flat superspace by working in the static gauge. The action formula is used to determine both Green-Schwarz type actions and superfield actions.Comment: Improved spelling, one reference adde

Plant diversity to support humans in a CELSS ground based demonstrator

A controlled ecological life support system (CELSS) for human habitation in preparation for future long duration space flights is considered. The success of such a system depends upon the feasibility of revitalization of food resources and the human nutritional needs which are to be met by these food resources. Edible higher plants are prime candidates for the photoautotrophic components of this system if nutritionally adequate diets can be derived from these plant sources to support humans. Human nutritional requirements information based on current knowledge are developed for inhabitants envisioned in the CELSS ground based demonstrator. Groups of plant products that can provide the nutrients are identified

Incremental closure for systems of two variables per inequality

Subclasses of linear inequalities where each inequality has at most two vari- ables are popular in abstract interpretation and model checking, because they strike a balance between what can be described and what can be efficiently computed. This paper focuses on the TVPI class of inequalities, for which each coefficient of each two variable inequality is unrestricted. An implied TVPI in- equality can be generated from a pair of TVPI inequalities by eliminating a given common variable (echoing resolution on clauses). This operation, called result , can be applied to derive TVPI inequalities which are entailed (implied) by a given TVPI system. The key operation on TVPI is calculating closure: satisfiability can be observed from a closed system and a closed system also simplifies the calculation of other operations. A closed system can be derived by repeatedly applying the result operator. The process of adding a single TVPI inequality to an already closed input TVPI system and then finding the closure of this augmented system is called incremental closure. This too can be calcu- lated by the repeated application of the result operator. This paper studies the calculus defined by result , the structure of result derivations, and how deriva- tions can be combined and controlled. A series of lemmata on derivations are presented that, collectively, provide a pathway for synthesising an algorithm for incremental closure. The complexity of the incremental closure algorithm is analysed and found to be O (( n 2 + m 2 )lg( m )), where n is the number of variables and m the number of inequalities of the input TVPI system

The supermembrane revisited

The M2-brane is studied from the perspective of superembeddings. We review the derivation of the M2-brane dynamics and the supergravity constraints from the standard superembedding constraint and we discuss explicitly the induced d=3, N=8 superconformal geometry on the worldvolume. We show that the gauged supermembrane, for a target space with a U(1) isometry, is the standard D2-brane in a type IIA supergravity background. In particular, the D2-brane action, complete with the Dirac-Born-Infeld term, arises from the gauged Wess-Zumino worldvolume 4-form via the brane action principle. The discussion is extended to the massive D2-brane considered as a gauged supermembrane in a massive D=11 superspace background. Type IIA supergeometry is derived using Kaluza-Klein techniques in superspace.Comment: Latex, 46 pages, clarifying remarks and references adde

L-branes

The superembedding approach to $p$-branes is used to study a class of $p$-branes which have linear multiplets on the worldvolume. We refer to these branes as L-branes. Although linear multiplets are related to scalar multiplets (with 4 or 8 supersymmetries) by dualising one of the scalars of the latter to a $p$-form field strength, in many geometrical situations it is the linear multiplet version which arises naturally. Furthermore, in the case of 8 supersymmetries, the linear multiplet is off-shell in contrast to the scalar multiplet. The dynamics of the L-branes are obtained by using a systematic procedure for constructing the Green-Schwarz action from the superembedding formalism. This action has a Dirac-Born-Infeld type structure for the $p$-form. In addition, a set of equations of motion is postulated directly in superspace, and is shown to agree with the Green-Schwarz equations of motion.Comment: revised version, minor changes, references added, 22 pages, no figures, LaTe

Quadtrees as an Abstract Domain

Quadtrees have proved popular in computer graphics and spatial databases as a way of representing regions in two dimensional space. This hierarchical data-structure is flexible enough to support non-convex and even disconnected regions, therefore it is natural to ask whether this datastructure can form the basis of an abstract domain. This paper explores this question and suggests that quadtrees offer a new approach to weakly relational domains whilst their hierarchical structure naturally lends itself to representation with boolean functions

Believing Does Not Equal Remembering: The Effects of Social Feedback and Objective False Evidence on Belief in Occurrence, Belief in Accuracy, and Recollection

We examined the impact of social feedback and objective false evidence on belief in occurrence, belief in accuracy, and recollection of an autobiographical experience. Participants viewed six virtual scenes (e.g., park) and were tested on their belief/recollection. After 1-week, participants were randomly assigned to four groups. One group received social feedback that one scene was not experienced. A second group received objective false evidence that one of the scenes was not shown. A third group received both social feedback and objective false evidence and the control group did not receive any manipulation. Belief in occurrence dropped considerably in the social feedback group and in the combined group. Also, nonbelieved memories were most likely to occur in participants receiving both social feedback and objective false evidence. We show that social feedback and objective false evidence undermine belief in occurrence, but that they leave belief in accuracy and recollection unaffected

Deeply penetrating banded zonal flows in the solar convection zone

Helioseismic observations have detected small temporal variations of the rotation rate below the solar surface corresponding to the so-called `torsional oscillations' known from Doppler measurements of the surface. These appear as bands of slower and faster than average rotation moving equatorward. Here we establish, using complementary helioseismic observations over four years from the GONG network and from the MDI instrument on board SOHO, that the banded flows are not merely a near-surface phenomenon: rather they extend downward at least 60 Mm (some 8% of the total solar radius) and thus are evident over a significant fraction of the nearly 200 Mm depth of the solar convection zone.Comment: 4 pages, 4 figures To be published in ApJ Letters (accepted 3/3/2000