Computing stable models by program transformation

In analogy to the Davis--Putnam procedure we develop a new procedure for computing stable models of propositional normal disjunctive logic programs, using case analysis and simplification. Our procedure enumerates all stable mofels without repetition and without the need for a minimality check. Since it is not necessary to store the set of stable models explicitly, the procedure runs in polynomial space. We allow clauses with empty heads, in order to represent truth or falsity of a proposition as a one--literal clause. In particular, a clause of form $\sim A \rightarrow$ expresses that $A$ is contrained to be true, without providing a justification for $A$. Adding this clause to a program restricts its stable models to those containing A, without introducing new stable models. Together with $A \rightarrow$ this provides the basis for case analysis. We present our procedure as a set of rules which transform a program into a set of solved forms, which resembles the standard method for presenting unification algorithms. Rules are sound in the sense that they preserve the set of stable models. $A$ subset of the rules is shown to be complete in the sense that for each stable model a solved form can be obtained. The method allows for concise presentation, flexible choice of a control strategy and simple correctness proofs

The Lamperti transformation for self-similar processes

In this paper we establish the uniqueness of the Lamperti transformation leading from self-similar to stationary processes, and conversely. We discuss alpha-stable processes, which allow to understand better the difference between the Gaussian and non-Gaussian cases. As a by-product we get a natural construction of two distinct alpha-stable Ornstein–Uhlenbeck processes via the Lamperti transformation for 0Lamperti transformation; Self-similar process; Stationary process; Stable distribution;

Generalized Central Limit Theorem and Renormalization Group

We introduce a simple instance of the renormalization group transformation in the Banach space of probability densities. By changing the scaling of the renormalized variables we obtain, as fixed points of the transformation, the L\'evy strictly stable laws. We also investigate the behavior of the transformation around these fixed points and the domain of attraction for different values of the scaling parameter. The physical interest of a renormalization group approach to the generalized central limit theorem is discussed.Comment: 16 pages, to appear in J. Stat. Phy

Twisting adjoint module algebras

Transformation of operator algebras under Hopf algebra twist is studied. It is shown that that adjoint module algebras are stable under the twist. Applications to vector fields on non-commutative space-time are considered.Comment: 16 page

High-energy-density and superhard nitrogen-rich B-N compounds

The pressure-induced transformation of diatomic nitrogen into non-molecular polymeric phases may produce potentially useful high-energy-density materials. We combine first-principles calculations with structure searching to predict a new class of nitrogen-rich boron nitrides with a stoichiometry of B3N5 that are stable or metastable relative to solid N2 and h-BN at ambient pressure. The most stable phase at ambient pressure has a layered structure (h-B3N5) containing hexagonal B3N3 layers sandwiched with intercalated freely rotating N2 molecules. At 15 GPa, a three-dimensional C2221 structure with single N-N bonds becomes the most stable. This pressure is much lower than that required for triple-to-single bond transformation in pure solid nitrogen (110 GPa). More importantly, C2221-B3N5 is metastable, and can be recovered under ambient conditions. Its energy density of 3.44 kJ/g makes it a potential high-energy-density material. In addition, stress-strain calculations estimate a Vickers hardness of 44 GPa. Structure searching reveals a new clathrate sodalite-like BN structure that is metastable under ambient conditions.Comment: 16 pages, 5 figures, accepted by PR

The effect of helper virus on Abelson virus-induced transformation of lymphoid cells

Abelson murine leukemia virus (A-MuLV)-transformed fibroblast nonproducer cells were used to prepare A-MuLV stocks containing a number of different helper viruses. The oncogenicity of the A-MuLV stocks was tested by animal inoculation and their ability to transform normal mouse bone marrow cells was measured in vitro. All of the A-MuLV stocks transformed fibroblast cells efficiently. However, only A-MuLV stocks prepared with helper viruses that are highly oncogenic were efficient in vivo and in vitro in hematopoietic cell transformation. In addition, inefficient helpers did not establish a stable infection in lymphoid nonproducer cells. Thus, helper virus has a more central role in lymphoid cell transformation than in fibroblast cell transformation

Space shuttle GN and C equation document no. 20: Fine alignment gyro torquing angles

The procedure for aligning the inertial reference unit of the space shuttle by celestial references is discussed. The gyro torquing angles required to go from the present stable member to the desired stable member are determined. The inputs are the transformation matrix from the reference to the desired stable member coordinates and the unit vectors to the two target stars in both the reference and present stable member coordinates. The equations involved in establishing the reference are developed