16,561 research outputs found
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 . 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
- …