On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry

We consider a common type of symmetry where we have a matrix of decision variables with interchangeable rows and columns. A simple and efficient method to deal with such row and column symmetry is to post symmetry breaking constraints like DOUBLELEX and SNAKELEX. We provide a number of positive and negative results on posting such symmetry breaking constraints. On the positive side, we prove that we can compute in polynomial time a unique representative of an equivalence class in a matrix model with row and column symmetry if the number of rows (or of columns) is bounded and in a number of other special cases. On the negative side, we show that whilst DOUBLELEX and SNAKELEX are often effective in practice, they can leave a large number of symmetric solutions in the worst case. In addition, we prove that propagating DOUBLELEX completely is NP-hard. Finally we consider how to break row, column and value symmetry, correcting a result in the literature about the safeness of combining different symmetry breaking constraints. We end with the first experimental study on how much symmetry is left by DOUBLELEX and SNAKELEX on some benchmark problems.Comment: To appear in the Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010

Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency

Abstract. In Constraint Programming (CP), Generalized Arc Consistency (GAC) is the central property used for making inferences when solving Constraint Satisfaction Problems (CSPs). Developing simple and practical filtering algorithms based on consistencies stronger than GAC is a challenge for the CP community. In this paper, we propose to combine k-Wise Consistency (kWC) with GAC, where kWC states that every tuple in a constraint can be extended to every set of k − 1 additional constraints. Our contribution is as follows. First, we derive a domain-filtering consistency, called Domain k-Wise Consistency (DkWC), from the combination of kWC and GAC. Roughly speaking, this property corresponds to the pruning of values of GAC, when enforced on a CSP previously made kWC. Second, we propose a procedure to enforce DkWC, relying on an encoding of kWC to generate a modified CSP called k-interleaved CSP. Formally, we prove that enforcing GAC on the k-interleaved CSP corresponds to enforcing DkWC on the initial CSP. Consequently, we show that the strong DkWC can be enforced very easily in constraint solvers since the k-interleaved CSP is rather immediate to generate and only existing GAC propagators are required: in a nutshell, DkWC is made as simple and practical as GAC. Our experimental results show the benefits of our approach on a variety of benchmarks.

A distributed optimization method for the geographically distributed data centres problem

The geographically distributed data centres problem (GDDC) is a naturally distributed resource allocation problem. The problem involves allocating a set of virtual machines (VM) amongst the data centres (DC) in each time period of an operating horizon. The goal is to optimize the allocation of workload across a set of DCs such that the energy cost is minimized, while respecting limitations on data centre capacities, migrations of VMs, etc. In this paper, we propose a distributed optimization method for GDDC using the distributed constraint optimization (DCOP) framework. First, we develop a new model of the GDDC as a DCOP where each DC operator is represented by an agent. Secondly, since traditional DCOP approaches are unsuited to these types of large-scale problem with multiple variables per agent and global constraints, we introduce a novel semi-asynchronous distributed algorithm for solving such DCOPs. Preliminary results illustrate the benefits of the new method

Jet-driven outflows of ionized gas in the nearby radio galaxy 3C 293

Fast outflows of gas, driven by the interaction between the radio jets and interstellar medium (ISM) of the host galaxy, are being observed in an increasing number of galaxies. One such example is the nearby radio galaxy 3C 293. In this paper we present integral field unit observations taken with OASIS on the William Herschel Telescope, enabling us to map the spatial extent of the ionized gas outflows across the central regions of the galaxy. The jet-driven outflow in 3C 293 is detected along the inner radio lobes with a mass outflow rate ranging from ∼0.05 to 0.17 M yr−1 (in ionized gas) and corresponding kinetic power of ∼0.5– 3.5 × 1040 erg s−1. Investigating the kinematics of the gas surrounding the radio jets (i.e. not directly associated with the outflow), we find linewidths broader than 300 km s−1 up to 5 kpc in the radial direction from the nucleus (corresponding to 3.5 kpc in the direction perpendicular to the radio axis at maximum extent). Along the axis of the radio jet linewidths >400 km s−1 are detected out to 7 kpc from the nucleus and linewidths of >500 km s−1 at a distance of 12 kpc from the nucleus, indicating that the disturbed kinematics clearly extend well beyond the high surface brightness radio structures of the jets. This is suggestive of the cocoon structure seen in simulations of jet–ISM interaction and implies that the radio jets are capable of disturbing the gas throughout the central regions of the host galaxy in all directions

Galaxy-wide radio-induced feedback in a radio-quiet quasar

We report the discovery of a radio-quiet type 2 quasar (SDSS J165315.06+234943.0 nicknamed the ‘Beetle’ at z = 0.103) with unambiguous evidence for active galactic nucleus (AGN) radio-induced feedback acting across a total extension of ∼46 kpc and up to ∼26 kpc from the AGN. To the best of our knowledge, this is the first radio-quiet system where radio-induced feedback has been securely identified at ≫several kpc from the AGN. The morphological, ionization and kinematic properties of the extended ionized gas are correlated with the radio structures. We find along the radio axis (a) enhancement of the optical line emission at the location of the radio hotspots (b) turbulent gas kinematics (FWHM ∼ 380–470 km s−1) across the entire spatial range circumscribed by them (c) ionization minima for the turbulent gas at the location of the hot spots, (d) high temperature Te ≳ 1.9 × 104 K at the NE hotspot. Turbulent gas is also found far from the radio axis, ∼25 kpc in the perpendicular direction. We propose a scenario in which the radio structures have perforated the interstellar medium of the galaxy and escaped into the circumgalactic medium. While advancing, they have interacted with in situ gas modifying its properties. Our results show that jets of modest power can be the dominant feedback mechanism acting across huge volumes in radio-quiet systems, including highly accreting luminous AGNs, where radiative mode feedback may be expected

Ionized outflows in luminous type 2 AGNs at z < 0.6: no evidence for significant impact on the host galaxies

We investigate the presence of extended ionized outflows in 18 luminous type 2 AGNs (11 quasars and 7 high-luminosity Seyfert 2s) at 0.3 <z< 0.6 based on VLT-FORS2 spectroscopy. We infer typical lower limits on the radial sizes of the outflows Ro several × 100 pc and upper limits Ro 1–2 kpc. Our results are inconsistent with related studies which suggest that large scale (Ro ∼ several-15 kpc) are ubiquitous in QSO2. We study the possible causes of discrepancy and propose that seeing smearing is the cause of the large inferred sizes. The implications in our understanding of the feedback phenomenon are important since the mass Mo (through the density), mass injection M˙ o and energy injection E˙ o rates of the outflows become highly uncertain. One conclusion seems unavoidable: Mo, M˙ o and E˙ o are modest or low compared with previous estimations. We obtain typically Mo (0.4–22) × 106 M (median 1.1 × 106 M) assuming n = 1000 cm−3. These are ∼102–104 times lower than values reported in the literature. Even under the most favourable assumptions, we obtain M˙ o 10 M yr−1 in general, 100–1000 times lower than claimed in related studies. Although the uncertainties are large, it is probable that these are lower than typical star-forming rates. In conclusion, no evidence is found supporting that typical outflows can affect the interstellar medium of the host galaxies across spatial scales 1–2 kpc

Constituents of Kawal, fermented Cassia obtusifolia leaves, a traditional food from Chad

Femented leaves of Cassia obtusifolia are used as a substitute of meat or an appetizing agent by people of eastern of Chad and south of Sudan. Chemical composition of the methylene chloride extract from the fermented leaves of this legume was analyzed for the first time by GC and GC/MC. Thirty threeconstituents were identified. The major components are found to be aliphatic acids and identified as hexanoic acid (27%), butyric acid (10.4%) and valeric acid (6.3%) with lesser amounts of p-ethylphenol (17.2%) and p-methylphenol (13%). Examination of the protein fraction from leaves indicated 20.2% inthe crude leaves and 12.9% in the fermented leaves. The participation of 10 g of fermented C. obtusifolia leaves to the daily requirements in essential amino acids of an adult is from 13 to 25% of needed amount. Moreover this traditional food had a high content of potassium and calcium

A preliminary investigation into the prevalence and prediction of problematic cell phone use

Abstract Background and aims Likening mobile phone use dependency to the classification of excessive behaviors may be necessarily equivalent in seriousness to previously established addictions such as problematic computing or excessive gambling. The aim of the study explores into the behavior of excessive use of mobile phones as a pathological behavior. Methods Two studies investigated criteria for problematic mobile phone usage by examining student (Study 1, N = 301) and nonstudent (Study 2, N = 362) responses to a set of adapted mobile phone addiction inventories. Study 1 investigated cell phone addiction inventories as constructs designed to measure problematic cell phone use. Additionally, Study 2 sought to predict age, depression, extraversion, emotional stability, impulse control, and self-esteem as independent variables that augment respondents' perceptions of problematic use. Results The results from Study 1 and Study 2 indicate that 10 to 25% of the participants tested exhibited problematic cell phone usage. Additionally, age, depression, extraversion, and low impulse control are the most suitable predictors for problematic use. Conclusions The results of the two studies indicate that problematic mobile phone use does occur and ought to be taken seriously by the psychological community. Presently, there is limited data providing conclusive evidence for a comprehensible categorization of cell phone addiction, as well as a unified explanatory model specific to problematic mobile phone use. Studies such as this one may contribute substantial findings, adding scientific significance, and offering a valuable submission for the ongoing progress of creating intervention frameworks relative to “virtual addictions”

Circulating Pneumolysin Is a Potent Inducer of Cardiac Injury during Pneumococcal Infection

Streptococcus pneumoniae accounts for more deaths worldwide than any other single pathogen through diverse disease manifestations including pneumonia, sepsis and meningitis. Life-threatening acute cardiac complications are more common in pneumococcal infection compared to other bacterial infections. Distinctively, these arise despite effective antibiotic therapy. Here, we describe a novel mechanism of myocardial injury, which is triggered and sustained by circulating pneumolysin (PLY). Using a mouse model of invasive pneumococcal disease (IPD), we demonstrate that wild type PLY-expressing pneumococci but not PLY-deficient mutants induced elevation of circulating cardiac troponins (cTns), well-recognized biomarkers of cardiac injury. Furthermore, elevated cTn levels linearly correlated with pneumococcal blood counts (r=0.688, p=0.001) and levels were significantly higher in non-surviving than in surviving mice. These cTn levels were significantly reduced by administration of PLY-sequestering liposomes. Intravenous injection of purified PLY, but not a non-pore forming mutant (PdB), induced substantial increase in cardiac troponins to suggest that the pore-forming activity of circulating PLY is essential for myocardial injury in vivo. Purified PLY and PLY-expressing pneumococci also caused myocardial inflammatory changes but apoptosis was not detected. Exposure of cultured cardiomyocytes to PLY-expressing pneumococci caused dose-dependent cardiomyocyte contractile dysfunction and death, which was exacerbated by further PLY release following antibiotic treatment. We found that high PLY doses induced extensive cardiomyocyte lysis, but more interestingly, sub-lytic PLY concentrations triggered profound calcium influx and overload with subsequent membrane depolarization and progressive reduction in intracellular calcium transient amplitude, a key determinant of contractile force. This was coupled to activation of signalling pathways commonly associated with cardiac dysfunction in clinical and experimental sepsis and ultimately resulted in depressed cardiomyocyte contractile performance along with rhythm disturbance. Our study proposes a detailed molecular mechanism of pneumococcal toxin-induced cardiac injury and highlights the major translational potential of targeting circulating PLY to protect against cardiac complications during pneumococcal infections

A General Approach for Predicting the Filtration of Soft and Permeable Colloids: The Milk Example

Membrane filtration operations (ultra-, microfiltration) are now extensively used for concentrating or separating an ever-growing variety of colloidal dispersions. However, the phenomena that determine the efficiency of these operations are not yet fully understood. This is especially the case when dealing with colloids that are soft, deformable, and permeable. In this paper, we propose a methodology for building a model that is able to predict the performance (flux, concentration profiles) of the filtration of such objects in relation with the operating conditions. This is done by focusing on the case of milk filtration, all experiments being performed with dispersions of milk casein micelles, which are sort of ″natural″ colloidal microgels. Using this example, we develop the general idea that a filtration model can always be built for a given colloidal dispersion as long as this dispersion has been characterized in terms of osmotic pressure Π and hydraulic permeability k. For soft and permeable colloids, the major issue is that the permeability k cannot be assessed in a trivial way like in the case for hard-sphere colloids. To get around this difficulty, we follow two distinct approaches to actually measure k: a direct approach, involving osmotic stress experiments, and a reverse-calculation approach, that consists of estimating k through well-controlled filtration experiments. The resulting filtration model is then validated against experimental measurements obtained from combined milk filtration/SAXS experiments. We also give precise examples of how the model can be used, as well as a brief discussion on the possible universality of the approach presented here