Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

In this paper, we present two alternative approaches to defining answer sets for logic programs with arbitrary types of abstract constraint atoms (c-atoms). These approaches generalize the fixpoint-based and the level mapping based answer set semantics of normal logic programs to the case of logic programs with arbitrary types of c-atoms. The results are four different answer set definitions which are equivalent when applied to normal logic programs. The standard fixpoint-based semantics of logic programs is generalized in two directions, called answer set by reduct and answer set by complement. These definitions, which differ from each other in the treatment of negation-as-failure (naf) atoms, make use of an immediate consequence operator to perform answer set checking, whose definition relies on the notion of conditional satisfaction of c-atoms w.r.t. a pair of interpretations. The other two definitions, called strongly and weakly well-supported models, are generalizations of the notion of well-supported models of normal logic programs to the case of programs with c-atoms. As for the case of fixpoint-based semantics, the difference between these two definitions is rooted in the treatment of naf atoms. We prove that answer sets by reduct (resp. by complement) are equivalent to weakly (resp. strongly) well-supported models of a program, thus generalizing the theorem on the correspondence between stable models and well-supported models of a normal logic program to the class of programs with c-atoms. We show that the newly defined semantics coincide with previously introduced semantics for logic programs with monotone c-atoms, and they extend the original answer set semantics of normal logic programs. We also study some properties of answer sets of programs with c-atoms, and relate our definitions to several semantics for logic programs with aggregates presented in the literature

Molecular Motor of Double-Walled Carbon Nanotube Driven by Temperature Variation

An elegant formula for coordinates of carbon atoms in a unit cell of a single-walled nanotube (SWNT) is presented and a new molecular motor of double-walled carbon nanotube whose inner tube is a long (8,4) SWNT and outer tube a short (14,8) SWNT is constructed. The interaction between inner an outer tubes is analytically derived by summing the Lennard-Jones potentials between atoms in inner and outer tubes. It is proved that the molecular motor in a thermal bath exhibits a directional motion with the temperature variation of the bath.Comment: 9 pages, 4 figures, revtex

Observation of an in-plane magnetic-field-driven phase transition in a quantum Hall system with SU(4) symmetry

In condensed matter physics, the study of electronic states with SU(N) symmetry has attracted considerable and growing attention in recent years, as systems with such a symmetry can often have a spontaneous symmetry-breaking effect giving rise to a novel ground state. For example, pseudospin quantum Hall ferromagnet of broken SU(2) symmetry has been realized by bringing two Landau levels close to degeneracy in a bilayer quantum Hall system. In the past several years, the exploration of collective states in other multi-component quantum Hall systems has emerged. Here we show the conventional pseudospin quantum Hall ferromagnetic states with broken SU(2) symmetry collapsed rapidly into an unexpected state with broken SU(4) symmetry, by in-plane magnetic field in a two-subband GaAs/AlGaAs two-dimensional electron system at filling factor around $\nu=4$. Within a narrow tilting range angle of 0.5 degrees, the activation energy increases as much as 12 K. While the origin of this puzzling observation remains to be exploited, we discuss the possibility of a long-sought pairing state of electrons with a four-fold degeneracy.Comment: 13 pages, 4 figure

2D and 3D cubic monocrystalline and polycrystalline materials: their stability and mechanical properties

We consider 2- and 3-dimensional cubic monocrystalline and polycrystalline materials. Expressions for Young's and shear moduli and Poisson's ratio are expressed in terms of eigenvalues of the stiffness tensor. Such a form is well suited for studying properties of these mechanical characteristics on sides of the stability triangles. For crystalline high-symmetry directions lines of vanishing Poisson's ratio are found. These lines demarcate regions of the stability triangle into areas of various auxeticity properties. The simplest model of polycrystalline 2D and 3D cubic materials is considered. In polycrystalline phases the region of complete auxetics is larger than for monocrystalline materials.Comment: 9 pages, 3 figures, in proceedings of the Tenth International School on Theoretical Physics, Symmetry and Structural Properties of Condensed Matter, Myczkowce 200

Comprehensive HIV care and Anti-Retroviral Therapy in a conflict setting-outcomes, experiences, and lessons learned from Bukavu, Democratic Republic of Congo

2006 AIDS Conference in Toront

Outcomes of a remote, decentralized health center-based HIV/AIDS antiretroviral program in Zambia, 2003 to 2007

A cross-sectional study of patients living with HIV/ AIDS treated during 2003 to 2007 in decentralized, rural health centers in Zambia was performed to measure virological outcomes after 12 months of antiretroviral therapy and identify factors associated with virological failure. Data from 228 patients who started antiretroviral therapy >12 months prior were analyzed. In all, 93% received stavudine + lamivudine + nevirapine regimens, and median antiretroviral therapy duration was 23.5 months (interquartile range 20-28). Of the 205 patients tested for viral load, 177 (86%) had viral load <1000 copies/mL. Probability of developing virological failure (viral load >1000 copies/mL) was 8.9% at 24 months and 19.6% at 32 months. Predictors for virological failure were <100% adherence, body mass index <18.5 kg/m(2), and women <40 years old. Of those with virological failure who underwent 3 to 6 months of intensive adherence counseling, 45% obtained virological success. In a remote, resource-limited setting in decentralized health centers, virological and immunological assessments of patients on antiretroviral therapy >12 months showed that positive health outcomes are achievable

Front Stability in Mean Field Models of Diffusion Limited Growth

We present calculations of the stability of planar fronts in two mean field models of diffusion limited growth. The steady state solution for the front can exist for a continuous family of velocities, we show that the selected velocity is given by marginal stability theory. We find that naive mean field theory has no instability to transverse perturbations, while a threshold mean field theory has such a Mullins-Sekerka instability. These results place on firm theoretical ground the observed lack of the dendritic morphology in naive mean field theory and its presence in threshold models. The existence of a Mullins-Sekerka instability is related to the behavior of the mean field theories in the zero-undercooling limit.Comment: 26 pp. revtex, 7 uuencoded ps figures. submitted to PR

Molecular Motor Constructed from a Double-Walled Carbon Nanotube Driven by Axially Varying Voltage

A new molecular motor is conceptually constructed from a double-walled carbon nanotube (DWNT) consisting of a long inner single-walled carbon nanotube (SWNT) and a short outer SWNT with different chirality. The interaction between inner and outer tubes is the sum of the Lennard-Jones potentials between carbon atoms in inner tube and those in outer one. Within the framework of Smoluchowski-Feynman ratchet, it is theoretically shown that this system in an isothermal bath will exhibit a unidirectional rotation in the presence of a varying axial electrical voltage.Comment: 11 pages + 3 figure