Relating Weight Constraint and Aggregate Programs: Semantics and Representation

Weight constraint and aggregate programs are among the most widely used logic programs with constraints. In this paper, we relate the semantics of these two classes of programs, namely the stable model semantics for weight constraint programs and the answer set semantics based on conditional satisfaction for aggregate programs. Both classes of programs are instances of logic programs with constraints, and in particular, the answer set semantics for aggregate programs can be applied to weight constraint programs. We show that the two semantics are closely related. First, we show that for a broad class of weight constraint programs, called strongly satisfiable programs, the two semantics coincide. When they disagree, a stable model admitted by the stable model semantics may be circularly justified. We show that the gap between the two semantics can be closed by transforming a weight constraint program to a strongly satisfiable one, so that no circular models may be generated under the current implementation of the stable model semantics. We further demonstrate the close relationship between the two semantics by formulating a transformation from weight constraint programs to logic programs with nested expressions which preserves the answer set semantics. Our study on the semantics leads to an investigation of a methodological issue, namely the possibility of compact representation of aggregate programs by weight constraint programs. We show that almost all standard aggregates can be encoded by weight constraints compactly. This makes it possible to compute the answer sets of aggregate programs using the ASP solvers for weight constraint programs. This approach is compared experimentally with the ones where aggregates are handled more explicitly, which show that the weight constraint encoding of aggregates enables a competitive approach to answer set computation for aggregate programs.Comment: To appear in Theory and Practice of Logic Programming (TPLP), 2011. 30 page

Tubulointerstitial Macrophage Accumulation is Regulated by Sequentially Expressed Osteopontin and Macrophage Colony-Stimulating Factor: Implication for the Role of Atorvastatin

Infiltration and local proliferation are known factors that contribute to tubulointerstitial macrophage accumulation. This study explored the time course of these two contributors' roles as tubulointerstitial inflammation and fibrosis progressing, and evaluated the mechanisms of the protective effect of atorvastatin. Unilateral ureteral obstructive (UUO) rats were treated with atorvastatin (10 mg/Kg) or vehicle. Expression of osteopontin (OPN) and macrophage colony-stimulating factor (M-CSF) was evaluated by RT-PCR and immunohistochemistry. Immunohistochemistry staining of ED1 was used to assess macrophage accumulation in interstitium. Histological evaluation was performed to semiquantify tubulointerstitial fibrosis. The results showed that on day 3 after UUO operation, OPN expression significantly increased and positively correlated with the number of the interstitial ED1(+) cells, while on day 10, M-CSF expression upregulated and correlated with interstitial ED1(+) cells. In atorvastatin treatment group, the increments of these two factors were attenuated significantly at the two time points, respectively. ED1(+) cell accumulation and fibrosis also ameliorated in the treatment group. For all the samples of UUO and treatment group on day 10, ED1(+) cells also correlated with interstitial fibrosis scores. The results suggest that OPN may induce the early macrophage/monocyte infiltration and M-CSF may play an important role in regulating macrophage accumulation in later stage of UUO nephropathy. Statin treatment decreases interstitial inflammation and fibrosis, and this renoprotective effect may be mediated by downregulating the expression of OPN and M-CSF

Two NHX-type transporters from Helianthus tuberosus improve the tolerance of rice to salinity and nutrient deficiency stress.

The NHX-type cation/H+ transporters in plants have been shown to mediate Na+ (K+ )/H+ exchange for salinity tolerance and K+ homoeostasis. In this study, we identified and characterized two NHX homologues, HtNHX1 and HtNHX2 from an infertile and salinity tolerant species Helianthus tuberosus (cv. Nanyu No. 1). HtNHX1 and HtNHX2 share identical 5'- and 3'-UTR and coding regions, except for a 342-bp segment encoding 114 amino acids (L272 to Q385 ) which is absent in HtNHX2. Both hydroponics and soil culture experiments showed that the expression of HtNHX1 or HtNHX2 improved the rice tolerance to salinity. Expression of HtNHX2, but not HtNHX1, increased rice grain yield, harvest index, total nutrient uptake under K+ -limited salt-stress or general nutrient deficiency conditions. The results provide a novel insight into NHX function in plant mineral nutrition

Physiologic Electrical Fields Direct Retinal Ganglion Cell Axon Growth In Vitro.

PurposeThe purpose of this study was to characterize the ability of applied electrical fields (EFs) to direct retinal ganglion cell (RGC) axon growth as well as to assess whether Rho GTPases play a role in translating electrical cues to directional cues.MethodsFull-thickness, early postnatal mouse retina was cultured in electrotaxis chambers and exposed to EFs of varying strengths (50-200 mV/mm). The direction of RGC axon growth was quantified from time-lapsed videos. The rate of axon growth and responsiveness to changes in EF polarity were also assessed. The effect of toxin B, a broad-spectrum inhibitor of Rho GTPase signaling, and Z62954982, a selective inhibitor of Rac1, on EF-directed growth was determined.ResultsIn the absence of an EF, RGC axons demonstrated indiscriminate directional growth from the explant edge. Retinal cultures exposed to an EF of 100 and 200 mV/mm showed markedly asymmetric growth, with 74.2% and 81.2% of axons oriented toward the cathode, respectively (P < 0.001). RGC axons responded to acute changes in EF polarity by redirecting their growth toward the "new" cathode. This galvanotropic effect was partially neutralized by toxin B and Rac1 inhibitor Z62954982.ConclusionsRGC axons exhibit cathode-directed growth in the presence of an EF. This effect is mediated in part by the Rho GTPase signaling cascade

Simvastatin reduces atherogenesis and promotes the expression of hepatic genes associated with reverse cholesterol transport in apoE-knockout mice fed high-fat diet

<p>Abstract</p> <p>Background</p> <p>Statins are first-line pharmacotherapeutic agents for hypercholesterolemia treatment in humans. However the effects of statins on atherosclerosis in mouse models are very paradoxical. In this work, we wanted to evaluate the effects of simvastatin on serum cholesterol, atherogenesis, and the expression of several factors playing important roles in reverse cholesterol transport (RCT) in apoE-/- mice fed a high-fat diet.</p> <p>Results</p> <p>The atherosclerotic lesion formation displayed by oil red O staining positive area was reduced significantly by 35% or 47% in either aortic root section or aortic arch en face in simvastatin administrated apoE-/- mice compared to the control. Plasma analysis by enzymatic method or ELISA showed that high-density lipoprotein-cholesterol (HDL-C) and apolipoprotein A-I (apoA-I) contents were remarkably increased by treatment with simvastatin. And plasma lecithin-cholesterol acyltransferase (LCAT) activity was markedly increased by simvastatin treatment. Real-time PCR detection disclosed that the expression of several transporters involved in reverse cholesterol transport, including macrophage scavenger receptor class B type I, hepatic ATP-binding cassette (ABC) transporters ABCG5, and ABCB4 were induced by simvastatin treatment, the expression of hepatic ABCA1 and apoA-I, which play roles in the maturation of HDL-C, were also elevated in simvastatin treated groups.</p> <p>Conclusions</p> <p>We demonstrated the anti-atherogenesis effects of simvastatin in apoE-/- mice fed a high-fat diet. We confirmed here for the first time simvastatin increased the expression of hepatic ABCB4 and ABCG5, which involved in secretion of cholesterol and bile acids into the bile, besides upregulated ABCA1 and apoA-I. The elevated HDL-C level, increased LCAT activity and the stimulation of several transporters involved in RCT may all contribute to the anti-atherosclerotic effect of simvastatin.</p

Engineering Colloidal Metal-Semiconductor Nanorods Hybrid Nanostructures for Photocatalysis

Comprehensive Summary Emerging engineering strategies of colloidal metal-semiconductor nanorod hybrid nanostructures spanning from type, size, dimension, and location of both metal nanoparticles and semiconductors, co-catalyst, band gap structure, surface ligand to hole scavenger are elaborated symmetrically to rationalize the design of this type of intriguing materials for efficient photocatalytic applications. This article is protected by copyright. All rights reserved

Luminescence detection of latent fingermarks on non-porous surfaces with heavy-metal-free quantum dots

Current and proposed nanoparticle-based techniques for development of latent fingermarks suffer a number of drawbacks such as complicated, multi-step and time-consuming procedures, batch-to-batch variability, expensive reagents, large background noise and toxicity. Here, we introduce a promising green development technique based on heavy-metal-free quantum dots for the detection of latent fingermarks on non-porous surfaces. Red-near infrared luminescent CuInS2/ZnS core/shell quantum dots in aqueous solution were produced in large scales using a simple, fast, water-based method with N-acetylcysteine as a biocompatible surfactant to coat the particles. The coated quantum dots were applied to the successful development of latent fingermarks deposited on a variety of surfaces, including highly patterned polymer banknotes and the sticky side of adhesive tape

Strong Equivalence of Logic Programs with Abstract Constraint Atoms

Abstract. Logic programs with abstract constraint atoms provide a unifying framework for studying logic programs with various kinds of constraints. Establishing strong equivalence between logic programs is a key property for program maintenance and optimization, and for guaranteeing the same behavior for a revised original program in any context. In this paper, we study strong equivalence of logic programs with abstract constraint atoms. We first give a general characterization of strong equivalence based on a new definition of program reduct for logic programs with abstract constraints. Then we consider a particular kind of program revision-constraint replacements addressing the question: under what conditions can a constraint in a program be replaced by other constraints, so that the resulting program is strongly equivalent to the original one

Unravelling the Interfacial Dynamics of Bandgap Funneling in Bismuth-Based Halide Perovskites

An environmentally friendly mixed-halide perovskite MA3Bi2Cl9−xIx with a bandgap funnel structure has been developed. However, the dynamic interfacial interactions of bandgap funneling in MA3Bi2Cl9−xIx perovskites in the photoelectrochemical (PEC) system remain ambiguous. In light of this, single- and mixed-halide lead-free bismuth-based hybrid perovskites—MA3Bi2Cl9−yIy and MA3Bi2I9 (named MBCl-I and MBI)—in the presence and absence of the bandgap funnel structure, respectively, are prepared. Using temperature-dependent transient photoluminescence and electrochemical voltammetric techniques, the photophysical and (photo)electrochemical phenomena of solid–solid and solid–liquid interfaces for MBCl-I and MBI halide perovskites are therefore confirmed. Concerning the mixed-halide hybrid perovskites MBCl-I with a bandgap funnel structure, stronger electronic coupling arising from an enhanced overlap of electronic wavefunctions results in more efficient exciton transport. Besides, MBCl-I's effective diffusion coefficient and electron-transfer rate demonstrate efficient heterogeneous charge transfer at the solid–liquid interface, generating improved photoelectrochemical hydrogen production. Consequently, this combination of photophysical and electrochemical techniques opens up an avenue to explore the intrinsic and interfacial properties of semiconductor materials for elucidating the correlation between material characterization and device performance