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

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 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

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

Elevated hypertension risk for African-origin populations in biracial societies : Modeling the Epidemiologic Transition Study.

OBJECTIVES: Blood pressures in persons of African descent exceed those of other racial/ethnic groups in the United States. Whether this trait is attributable to the genetic factors in African-origin populations, or a result of inadequately measured environmental exposures, such as racial discrimination, is not known. To study this question, we conducted a multisite comparative study of communities in the African diaspora, drawn from metropolitan Chicago, Kingston, Jamaica, rural Ghana, Cape Town, South Africa, and the Seychelles. METHODS: At each site, 500 participants between the age of 25 and 49 years, with approximately equal sex balance, were enrolled for a longitudinal study of energy expenditure and weight gain. In this study, we describe the patterns of blood pressure and hypertension observed at baseline among the sites. RESULTS: Mean SBP and DBP were very similar in the United States and South Africa in both men and women, although among women, the prevalence of hypertension was higher in the United States (24 vs. 17%, respectively). After adjustment for multiple covariates, relative to participants in the United States, SBP was significantly higher among the South Africans by 9.7 mmHg (P < 0.05) and significantly lower for each of the other sites: for example, Jamaica: -7.9 mmHg (P = 0.06), Ghana: -12.8 mmHg (P < 0.01) and Seychelles: -11.1 mmHg (P = 0.01). CONCLUSION: These data are consistent with prior findings of a blood pressure gradient in societies of the African diaspora and confirm that African-origin populations with lower social status in multiracial societies, such as the United States and South Africa, experience more hypertension than anticipated based on anthropometric and measurable socioeconomic risk factors

Thinking about growth : a cognitive mapping approach to understanding small business development

School of Managemen

The Gluon Impact Factors

We calculate in the next-to-leading approximation the non-forward gluon impact factors for arbitrary color state in the $t$-channel. In the case of the octet state we check the so-called "second bootstrap condition" for the gluon Reggeization in QCD, using the integral representation for the impact factors. The condition is fulfilled in the general case of an arbitrary space-time dimension and massive quark flavors for both helicity conserving and non-conserving parts.Comment: 32 pages, LaTeX, 1 EPS figure, uses epsf.sty and axodraw.st