Comparison of PBO solvers in a dependency solving domain

Linux package managers have to deal with dependencies and conflicts of packages required to be installed by the user. As an NP-complete problem, this is a hard task to solve. In this context, several approaches have been pursued. Apt-pbo is a package manager based on the apt project that encodes the dependency solving problem as a pseudo-Boolean optimization (PBO) problem. This paper compares different PBO solvers and their effectiveness on solving the dependency solving problem.Comment: In Proceedings LoCoCo 2010, arXiv:1007.083

Glucocorticoid-Treated Mice Are an Inappropriate Positive Control for Long-Term Preclinical Studies in the mdx Mouse

Dmd(mdx) (mdx) mice are used as a genetic and biochemical model of dystrophin deficiency. The long-term consequences of glucocorticoid (GC) treatment on dystrophin-deficient skeletal and heart muscle are not yet known. Here we used systematic phenotyping to assess the long-term consequences of GC treatment in mdx mice. Our investigation addressed not only the effects of GC on the disease phenotype but also the question of whether GCs can be used as a positive control for preclinical drug evaluations.We performed nine pre-clinical efficacy trials (treated N = 129, untreated N = 106) of different durations in 9-to-50-week-old dystrophic mdx mice over a 3-year time period using standardized methods. In all these trials, we used either 1 mg/kg body weight of prednisone or 5 mg/kg body weight of prednisolone as positive controls to compare the efficacy of various test drugs. Data from untreated controls and GC-treated mice in the various trials have been pooled and analyzed to assess the effects of GCs on dystrophin-deficient skeletal and cardiac muscles of mdx mice. Our results indicate that continuous GC treatment results in early (e.g., at 50 days) improvements in normalized parameters such as grip strength, motor coordination and maximal in vitro force contractions on isolated EDL muscle, but these initial benefits are followed by a progressive loss of muscle strength after 100 days. We also found a significant increase in heart fibrosis that is reflected in a significant deterioration in cardiac systolic function after 100 days of treatment.Continuous administration of prednisone to mdx mice initially improves skeletal muscle strength, but further therapy result in deterioration of muscle strength and cardiac function associated with enhanced cardiac fibrosis. These results suggest that GCs may not serve as an appropriate positive control for long-term mdx mouse preclinical trials

Search for pair-produced long-lived neutral particles decaying to jets in the ATLAS hadronic calorimeter in ppcollisions at √s=8TeV

The ATLAS detector at the Large Hadron Collider at CERN is used to search for the decay of a scalar boson to a pair of long-lived particles, neutral under the Standard Model gauge group, in 20.3fb−1of data collected in proton–proton collisions at √s=8TeV. This search is sensitive to long-lived particles that decay to Standard Model particles producing jets at the outer edge of the ATLAS electromagnetic calorimeter or inside the hadronic calorimeter. No significant excess of events is observed. Limits are reported on the product of the scalar boson production cross section times branching ratio into long-lived neutral particles as a function of the proper lifetime of the particles. Limits are reported for boson masses from 100 GeVto 900 GeV, and a long-lived neutral particle mass from 10 GeVto 150 GeV

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV

Galectin-3 Facilitates Cell Motility in Gastric Cancer by Up-Regulating Protease-Activated Receptor-1(PAR-1) and Matrix Metalloproteinase-1(MMP-1)

BACKGROUND: Galectin-3 is known to regulate cancer metastasis. However, the underlying mechanism has not been defined. Through the DNA microarray studies after galectin-3 silencing, we demonstrated here that galectin-3 plays a key role in up-regulating the expressions of protease-activated receptor-1 (PAR-1) and matrix metalloproteinase-1 (MMP-1) PAR-1 thereby promoting gastric cancer metastasis. METHODOLOGY/PRINCIPAL FINDINGS: We examined the expression levels of Galectin-3, PAR-1, and MMP-1 in gastric cancer patient tissues and also the effects of silencing these proteins with specific siRNAs and of over-expressing them using specific lenti-viral constructs. We also employed zebrafish embryo model for analysis of in vivo gastric cancer cell invasion. These studies demonstrated that: a) galectin-3 silencing decreases the expression of PAR-1. b) galectin-3 over-expression increases cell migration and invasion and this increase can be reversed by PAR-1 silencing, indicating that galectin-3 increases cell migration and invasion via PAR-1 up-regulation. c) galectin-3 directly interacts with AP-1 transcriptional factor, and this complex binds to PAR-1 promoter and drives PAR-1 transcription. d) galectin-3 also amplifies phospho-paxillin, a PAR-1 downstream target, by increasing MMP-1 expression. MMP-1 silencing blocks phospho-paxillin amplification and cell invasion caused by galectin-3 over-expression. e) Silencing of either galectin-3, PAR-1 or MMP-1 significantly reduced cell migration into the vessels in zebrafish embryo model. f) Galectin-3, PAR-1, and MMP-1 are highly expressed and co-localized in malignant tissues from gastric cancer patients. CONCLUSIONS/SIGNIFICANCE: Galectin-3 plays the key role of activating cell surface receptor through production of protease and boosts gastric cancer metastasis. Galectin-3 has the potential to serve as a useful pharmacological target for prevention of gastric cancer metastasis

Positive association of the hepatic lipase gene polymorphism c.514C > T with estrogen replacement therapy response

<p>Abstract</p> <p>Background</p> <p>Hepatic lipase (HL), an enzyme present in the hepatic sinusoids, is responsible for the lipolysis of lipoproteins. Human HL contains four polymorphic sites: G-250A, T-710C, A-763G, and C-514T single-nucleotide polymorphism (SNPs). The last polymorphism is the focus of the current study. The genotypes associated with the C-514T polymorphism are CC (normal homozygous - W), CT (heterozygous - H), and TT (minor-allele homozygous - M). HL activity is significantly impaired in individuals of the TT and CT genotypes. A total of 58 post-menopausal women were studied. The subjects were hysterectomized women receiving hormone replacement therapy consisting of 0.625 mg of conjugated equine estrogen once a day. The inclusion criteria were menopause of up to three years and normal blood tests, radiographs, cervical-vaginal cytology, and densitometry. DNA was extracted from the buccal and blood cells of all 58 patients using a commercially available kit (GFX^®- Amersham-Pharmacia, USA).</p> <p>Results</p> <p>Statistically significant reductions in triglycerides (t = 2.16; n = 58; p = 0.03) but not in total cholesterol (t = 0.14; n = 58; p = 0.89) were found after treatment. This group of good responders were carriers of the T allele; the CT and TT genotypes were present significantly more frequently than in the group of non-responders (p = 0.02 or p = 0.07, respectively). However, no significant difference in HDL-C (t = 0.94; n = 58; p = 0.35) or LDL-C (t = -0.83; n = 58; p = 0.41) was found in these patients.</p> <p>Conclusions</p> <p>The variation in lipid profile associated with the C-514T polymorphism is significant, and the T allele is associated with the best response to ERT.</p

Identification of Continuous Human B-Cell Epitopes in the Envelope Glycoprotein of Dengue Virus Type 3 (DENV-3)

BACKGROUND:Dengue virus infection is a growing global public health concern in tropical and subtropical regions of the world. Dengue vaccine development has been hampered by concerns that cross-reactive immunological memory elicited by a candidate vaccine could increase the risk of development of more severe clinical forms. One possible strategy to reduce risks associated with a dengue vaccine is the development of a vaccine composed of selected critical epitopes of each of the serotypes. METHODOLOGY/PRINCIPAL FINDINGS:Synthetic peptides were used to identify B-cell epitopes in the envelope (E) glycoprotein of dengue virus type 3 (DENV-3). Eleven linear, immunodominant epitopes distributed in five regions at amino acid (aa) positions: 51-65, 71-90, 131-170, 196-210 and 246-260 were identified by employing an enzyme- linked immunosorbent assay (ELISA), using a pool of human sera from dengue type 3 infected individuals. Peptides 11 (aa51-65), 27 and 28 (aa131-150) also reacted with dengue 1 (DENV-1) and dengue 2 (DENV-2) patient sera as analyzed through the ROC curves generated for each peptide by ELISA and might have serotype specific diagnostic potential. Mice immunized against each one of the five immunogenic regions showed epitopes 51-65, 131-170, 196-210 and 246-260 elicited the highest antibody response and epitopes131-170, 196-210 and 246-260, elicited IFN-gamma production and T CD4+ cell response, as evaluated by ELISA and ELISPOT assays respectively. CONCLUSIONS/SIGNIFICANCE:Our study identified several useful immunodominant IgG-specific epitopes on the envelope of DENV-3. They are important tools for understanding the mechanisms involved in antibody dependent enhancement and immunity. If proven protective and safe, in conjunction with others well-documented epitopes, they might be included into a candidate epitope-based vaccine

Respiratory Syncytial Virus Matrix Protein Induces Lung Epithelial Cell Cycle Arrest through a p53 Dependent Pathway

Respiratory syncytial virus (RSV) is the major cause of viral respiratory infections in children. Our previous study showed that the RSV infection induced lung epithelial cell cycle arrest, which enhanced virus replication. To address the mechanism of RSV-induced cell cycle arrest, we examined the contribution of RSV-matrix (RSV-M) protein. In this report, we show that in both the A549 cell line and primary human bronchial epithelial (PHBE) cells, transfection with RSV-M protein caused the cells to proliferate at a slower rate than in control cells. The cell cycle analysis showed that RSV-M protein induced G1 phase arrest in A549 cells, and G1 and G2/M phase arrest in PHBE cells. Interestingly, RSV-M expression induced p53 and p21 accumulation and decreased phosphorylation of retinoblastoma protein (Rb). Further, induction of cell cycle arrest by RSV-M was not observed in a p53-deficient epithelial cell line (H1299). However, cell cycle arrest was restored after transfection of p53 cDNA into H1299 cells. Taken together, these results indicate that RSV-M protein regulates lung epithelial cell cycle through a p53-dependent pathway, which enhances RSV replication

Beaked whales respond to simulated and actual navy sonar

This article is distributed under the terms of the Creative Commons Public Domain declaration. The definitive version was published in PLoS One 6 (2011): e17009, doi:10.1371/journal.pone.0017009.Beaked whales have mass stranded during some naval sonar exercises, but the cause is unknown. They are difficult to sight but can reliably be detected by listening for echolocation clicks produced during deep foraging dives. Listening for these clicks, we documented Blainville's beaked whales, Mesoplodon densirostris, in a naval underwater range where sonars are in regular use near Andros Island, Bahamas. An array of bottom-mounted hydrophones can detect beaked whales when they click anywhere within the range. We used two complementary methods to investigate behavioral responses of beaked whales to sonar: an opportunistic approach that monitored whale responses to multi-day naval exercises involving tactical mid-frequency sonars, and an experimental approach using playbacks of simulated sonar and control sounds to whales tagged with a device that records sound, movement, and orientation. Here we show that in both exposure conditions beaked whales stopped echolocating during deep foraging dives and moved away. During actual sonar exercises, beaked whales were primarily detected near the periphery of the range, on average 16 km away from the sonar transmissions. Once the exercise stopped, beaked whales gradually filled in the center of the range over 2–3 days. A satellite tagged whale moved outside the range during an exercise, returning over 2–3 days post-exercise. The experimental approach used tags to measure acoustic exposure and behavioral reactions of beaked whales to one controlled exposure each of simulated military sonar, killer whale calls, and band-limited noise. The beaked whales reacted to these three sound playbacks at sound pressure levels below 142 dB re 1 µPa by stopping echolocation followed by unusually long and slow ascents from their foraging dives. The combined results indicate similar disruption of foraging behavior and avoidance by beaked whales in the two different contexts, at exposures well below those used by regulators to define disturbance.The research reported here was financially supported by the United States (U.S.) Office of Naval Research (www.onr.navy.mil) Grants N00014-07-10988, N00014-07-11023, N00014-08-10990; the U.S. Strategic Environmental Research and Development Program (www.serdp.org) Grant SI-1539, the Environmental Readiness Division of the U.S. Navy (http://www.navy.mil/local/n45/), the U.S. Chief of Naval Operations Submarine Warfare Division (Undersea Surveillance), the U.S. National Oceanic and Atmospheric Administration (National Marine Fisheries Service, Office of Science and Technology) (http://www.st.nmfs.noaa.gov/), U.S. National Oceanic and Atmospheric Administration Ocean Acoustics Program (http://www.nmfs.noaa.gov/pr/acoustics/), and the Joint Industry Program on Sound and Marine Life of the International Association of Oil and Gas Producers (www.soundandmarinelife.org)