Beyond Consistency and Substitutability

International audienceElimination of inconsistent values in instances of the constraint satisfaction problem (CSP) conserves all solutions. Elimination of substitutable values conserves at least one solution. We show that certain values which are neither inconsistent nor substitutable can also be deleted while conserving at least one solution. This allows us to state novel rules for the elimination of values in binary CSP. From a practical point of view, we show that one such rule can be applied in the same asymptotic time complexity as neighbourhood substitution but is strictly stronger. An alternative to the elimination of values from domains is the elimination of variables. We give novel satisfiability-preserving variable elimination operations. In each case we show that if the instance is satisfiable, then a solution to the original instance can always be recovered in low-order polynomial time from a solution to the reduced instance

On Broken Triangles (CP 2014)

International audienceA binary CSP instance satisfying the broken-triangle property (BTP) can be solved in polynomial time. Unfortunately, in practice, few instances satisfy the BTP. We show that a local version of the BTP allows the merging of domain values in binary CSPs, thus providing a novel polynomial-time reduction operation. Experimental trials on benchmark instances demonstrate a significant decrease in instance size for certain classes of problems. We show that BTP-merging can be generalised to instances with constraints of arbitrary arity. A directional version of the general-arity BTP then allows us to extend the BTP tractable class previously defined only for binary CSP

The diet of bushpigs in a sugarcane agro-ecosystem.

Bushpigs, Potamochoerus porcus, in a sugar-farming area of Natal, South Africa, were found to be omnivorous, but plant material dominated their diet year round. Sugar-cane stem was the main item identified in faeces collected on farmland during all seasons and in faeces from adjacent forest during winter and spring. Fruits were probably preferred to sugar cane by animals defecating in the forest during summer and autumn

The peritoneal tumour microenvironment of high-grade serous ovarian cancer

High-grade serous ovarian cancer (HGSC) disseminates early and extensively throughout the peritoneal space, causing multiple lesions that are a major clinical problem. The aim of this study was to investigate the cellular composition of peritoneal tumour deposits in patient biopsies and their evolution in mouse models using immunohistochemistry, intravital microscopy, confocal microscopy, and 3D modelling. Tumour deposits from the omentum of HGSC patients contained a prominent leukocyte infiltrate of CD3(+) T cells and CD68(+) macrophages, with occasional neutrophils. Alpha-smooth muscle actin(+) (α-SMA(+) ) pericytes and/or fibroblasts surrounded these well-vascularized tumour deposits. Using the murine bowel mesentery as an accessible mouse peritoneal tissue that could be easily imaged, and two different transplantable models, we found multiple microscopic tumour deposits after i.p. injection of malignant cells. Attachment to the peritoneal surface was rapid (6-48 h) with an extensive CD45(+) leukocyte infiltrate visible by 48 h. This infiltrate persisted until end point and in the syngeneic murine ID8 model, it primarily consisted of CD3(+) T lymphocytes and CD68(+) macrophages with α-SMA(+) cells also involved from the earliest stages. A majority of tumour deposits developed above existing mesenteric blood vessels, but in avascular spaces new blood vessels tracked towards the tumour deposits by 2-3 weeks in the IGROV-1 xenografts and 6 weeks in the ID8 syngeneic model; a vigorous convoluted blood supply was established by end point. Inhibition of tumour cell cytokine production by stable expression of shRNA to CXCR4 in IGROV-1 cells did not influence the attachment of cells to the mesentery but delayed neovascularization and reduced tumour deposit size. We conclude that the multiple peritoneal tumour deposits found in HGSC patients can be modelled in the mouse. The techniques described here may be useful for assessing treatments that target the disseminated stage of this disease

Free expansion of lowest Landau level states of trapped atoms: a wavefunction microscope

We show that for any lowest-Landau-level state of a trapped, rotating, interacting Bose gas, the particle distribution in coordinate space in a free expansion (time of flight) experiment is related to that in the trap at the time it is turned off by a simple rescaling and rotation. When the lowest-Landau-level approximation is valid, interactions can be neglected during the expansion, even when they play an essential role in the ground state when the trap is present. The correlations in the density in a single snapshot can be used to obtain information about the fluid, such as whether a transition to a quantum Hall state has occurred.Comment: 5 pages, no figures. v2: discussion of neglect of interactions during expansion improved, refs adde

The defect chemistry of UO2±x from atomistic simulations

Control of the defect chemistry in UO2±x is important for manipulating nuclear fuel properties and fuel performance. For example, the uranium vacancy concentration is critical for fission gas release and sintering, while all oxygen and uranium defects are known to strongly influence thermal conductivity. Here the point defect concentrations in thermal equilibrium are predicted using defect energies from density functional theory (DFT) and vibrational entropies calculated using empirical potentials. Electrons and holes have been treated in a similar fashion to other charged defects allowing for structural relaxation around the localized electronic defects. Predictions are made for the defect concentrations and non-stoichiometry of UO2±x as a function of oxygen partial pressure and temperature. If vibrational entropy is omitted, oxygen interstitials are predicted to be the dominant mechanism of excess oxygen accommodation over only a small temperature range (1265 K–1350 K), in contrast to experimental observation. Conversely, if vibrational entropy is included oxygen interstitials dominate from 1165 K to 1680 K (Busker potential) or from 1275 K to 1630 K (CRG potential). Below these temperature ranges excess oxygen is predicted to be accommodated by uranium vacancies, while above them the system is hypo-stoichiometric with oxygen deficiency accommodated by oxygen vacancies. Our results are discussed in the context of oxygen clustering, formation of U4O9, and issues for fuel behavior. In particular, the variation of the uranium vacancy concentrations as a function of temperature and oxygen partial pressure will underpin future studies into fission gas diffusivity and broaden the understanding of UO2±x sintering

Effect of the tangential NBI current drive on the stability of pressure and energetic particle driven MHD modes in LHD plasma

The aim of the present study is to analyze the stability of the pressure gradient driven modes (PM) and Alfvén eigenmodes (AE) in the large helical device (LHD) plasma if the rotational transform profile is modified by the current drive of the tangential neutral beam injectors (NBI). This study forms a basic search for optimized operation scenarios with reduced mode activity. The analysis is performed using the code FAR3d which solves the reduced MHD equations describing the linear evolution of the poloidal flux and the toroidal component of the vorticity in a full 3D system, coupled with equations for density and parallel velocity moments of the energetic particle (EP) species, including the effect of the acoustic modes. The Landau damping and resonant destabilization effects are added via the closure relation. On-axis and off-axis NBI current drive modifies the rotational transform which becomes strongly distorted as the intensity of the neutral beam current drive (NBCD) increases, leading to wider continuum gaps and modifying the magnetic shear. The simulations with on-axis NBI injection show that a counter (ctr-) NBCD in inward shifted and default configurations leads to a lower growth rate of the PM, although strong n  =  1 and 2 AEs can be destabilized. For the outward shifted configurations, a co-NBCD improves the AEs stability but the PM are further destabilized if the co-NBCD intensity is 30 kA T−1. If the NBI injection is off-axis, the plasma stability is not significantly improved due to the further destabilization of the AE and energetic particle modes (EPM) in the middle and outer plasma region.This work is supported in part by NIFS under contract NIFS07KLPH004

Two-sided combinatorial volume bounds for non-obtuse hyperbolic polyhedra

We give a method for computing upper and lower bounds for the volume of a non-obtuse hyperbolic polyhedron in terms of the combinatorics of the 1-skeleton. We introduce an algorithm that detects the geometric decomposition of good 3-orbifolds with planar singular locus and underlying manifold the 3-sphere. The volume bounds follow from techniques related to the proof of Thurston's Orbifold Theorem, Schl\"afli's formula, and previous results of the author giving volume bounds for right-angled hyperbolic polyhedra.Comment: 36 pages, 19 figure

Temporal trends of time to antiretroviral treatment initiation, interruption and modification: Examination of patients diagnosed with advanced HIV in Australia

INTRODUCTION: HIV prevention strategies are moving towards reducing plasma HIV RNA viral load in all HIV-positive persons, including those undiagnosed, treatment naïve, on or off antiretroviral therapy. A proxy population for those undiagnosed are patients that present late to care with advanced HIV. The objectives of this analysis are to examine factors associated with patients presenting with advanced HIV, and establish rates of treatment interruption and modification after initiating ART. METHODS: We deterministically linked records from the Australian HIV Observational Database to the Australian National HIV Registry to obtain information related to HIV diagnosis. Logistic regression was used to identify factors associated with advanced HIV diagnosis. We used survival methods to evaluate rates of ART initiation by diagnosis CD4 count strata and by calendar year of HIV diagnosis. Cox models were used to determine hazard of first ART treatment interruption (duration >30 days) and time to first major ART modification. RESULTS: Factors associated (p<0.05) with increased odds of advanced HIV diagnosis were sex, older age, heterosexual mode of HIV exposure, born overseas and rural-regional care setting. Earlier initiation of ART occurred at higher rates in later periods (2007-2012) in all diagnosis CD4 count groups. We found an 83% (69, 91%) reduction in the hazard of first treatment interruption comparing 2007-2012 versus 1996-2001 (p<0.001), and no difference in ART modification for patients diagnosed with advanced HIV. CONCLUSIONS: Recent HIV diagnoses are initiating therapy earlier in all diagnosis CD4 cell count groups, potentially lowering community viral load compared to earlier time periods. We found a marked reduction in the hazard of first treatment interruption, and found no difference in rates of major modification to ART by HIV presentation status in recent periods

Application of the DP4 Probability Method to Flexible Cyclic Peptides with Multiple Independent Stereocenters: The True Structure of Cyclocinamide A

A DP4 protocol has been successfully utilized to establish the true structure of the natural product cyclocinamide A, a flexible cyclic peptide with four isolated stereocenters. Benchmarking the necessary level of theory required to successfully predict the NMR spectra of three previously synthesized isomers of cyclocinamide A led to the prediction of the natural stereochemistry as 4S, 7R, 11R, 14S, which has been confirmed by total synthesis