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

Subjective Postural Vertical and Adolescent Idiopathic Scoliosis (AIS)

ObjectiveThe origin of the AIS is unknown. Several studies in AIS have shown disturbances of orthostatic postural control and somatosensory modality. The orthostatic postural control is the ability to organize the upright position on the earth-vertical, by multisensory central integration, especially somatosensory information. Our hypothesis is that the somatosensory disturbances in the AIS involve change in the organization of orthostatic postural control, around an erroneous central representation of verticality. Our objective is to test, in the AIS, the existence of a disturbance of the somatosensory modality in orthostatic postural control by measuring the Subjective Postural Vertical (SPV).MethodsUncontrolled preliminary study on 8 adolescents with SIA (7 girls, 13.8±0.83 years, 38.8±10.4°angle). Test=SPV measurement, vision obscured, head-trunk-members strapped, sitting on a seat, fixed to a German vertical wheel athletic gymnastics (external diameter: 1.90 m), with electronic inclinometer that measures the rotational tilt of the seat, with reference to the gravitational vertical. From 45° inclination, the subject is tilted (1°/sec) and evaluates the alignment with the vertical gravitational.ResultsAIS SPV=7.48±4.86° with a tilt predominance to the right. It is impossible to realize statistical evaluation in this preliminary study. Our results are comparable with those reported in pusher patient.DiscussionThis preliminary study shows a disturbance in the assessment of SPV in the AIS. Disorders of the central integration of somatosensory modality could explain this result.The authors are grateful to the Harps Association's members, for their helpful comments

Observations sur des cas de myiase canine à <em>Cordylobia anthropophaga</em> Blanchard à Bobo-Dioulasso, République de Haute-Volta

Un cas de myiase à Cordylobia anthropophaga chez un chien adulte et trois cas chez des chiots sont décrits. Après avoir étudié la symptomatologie et indiqué la thérapeutique mise en oeuvre, les auteurs relatent le processus de contamination et son importance épidémiologique pour l'homme notamment. La durée du cycle larvaire dans les cas rapportés est d'environ un mois. Des essais d'élevage à partir de larves transplantées sur rats blancs et de larves extraites à leur maturité ont abouti à la constitution d'une colonie adulte qui n'a pu avoir de descendanc

Verification of Item Usage Rules in Product Configuration

In the development of complex products product configuration systems are often used to support the development process. Item Usage Rules (IURs) are conditions for including specific items in products bills of materials based on a high-level product description. Large number of items and significant complexity of IURs make it difficult to maintain and analyze IURs manually. In this paper we present an automated approach for verifying IURs, which guarantees the presence of exactly one item from a predefined set in each product, as well as that an IUR can be reformulated without changing the set of products for which the item was included

Du chaos deterministe au bruit dans des systèmes optiques avec retard

An optical device with a variational structure driven by a delayed feedback, F(x(t — d)) = sinAx(t — d) is shown to display high dimensional chaos with dimension increasing linearly with two parameters, the delay d and the feedback frequency A . For large delay d and large frequency A, the system is shown to display Gaussian-Markovian statistics like a system driven b y a white noise. Decreasing the frequency A leads to effects very similar to those of a colored noise, and decreasing the dela y leads to quite special phenomena like phase transitions, giving rise to new peaks in the probability distribution . An analytica l description using the tools of stochastic equations agrees with the numerical results .Un système optique possédant une structure variationnelle, et forcé par une rétro-injection retardée, F(x(t - d)) = sin Ax(t- d), émet un signal lumineux chaotique dont la dimension croit linéairement avec deux paramètres, le retard d et la fréquence A. Pour de grandes valeurs du retard et de la fréquence, le signal émis a une statistique Gaussienne et Markovienne, comme la solution d'une équation de Langevin forcée par un bruit blanc. Lorsqu'on diminue la valeur du paramètre A, la statistique est modifiée comme celle d'une équation de Langevin forcée par un bruit coloré. Lorsqu'on diminue le retard, de nouveaux pics apparaissent dans la distribution de probabilité, comme dans les transitions de phase induites par du bruit coloré. Une description analytique utilisant les méthodes des signaux aléatoires permet d'interpréter les résultats numériques

Invasive pulmonary aspergillosis in chronic obstructive pulmonary disease: an emerging fungal pathogen

ABSTRACTAcute invasive pulmonary aspergillosis occurs predominantly in immunocompromised hosts, with increasing numbers of cases of invasive aspergillosis among patients with chronic obstructive pulmonary disease (COPD) being reported. Among 13 cases of invasive aspergillosis diagnosed in COPD patients admitted to the intensive care unit with acute respiratory distress, the only risk factor for invasive fungal infection was corticosteroid treatment. Invasive aspergillosis should be suspected in COPD patients receiving steroid treatment who have extensive pulmonary infiltrates. Survival depends on rapid diagnosis and early appropriate treatment. A decrease or interruption of steroid treatment should be considered as part of the overall therapeutic strategy

Mitotic Rounding Alters Cell Geometry to Ensure Efficient Bipolar Spindle Formation

Accurate animal cell division requires precise coordination of changes in the structure of the microtubule-based spindle and the actin-based cell cortex. Here, we use a series of perturbation experiments to dissect the relative roles of actin, cortical mechanics, and cell shape in spindle formation. We find that, whereas the actin cortex is largely dispensable for rounding and timely mitotic progression in isolated cells, it is needed to drive rounding to enable unperturbed spindle morphogenesis under conditions of confinement. Using different methods to limit mitotic cell height, we show that a failure to round up causes defects in spindle assembly, pole splitting, and a delay in mitotic progression. These defects can be rescued by increasing microtubule lengths and therefore appear to be a direct consequence of the limited reach of mitotic centrosome-nucleated microtubules. These findings help to explain why most animal cells round up as they enter mitosis

Confinement and Low Adhesion Induce Fast Amoeboid Migration of Slow Mesenchymal Cells

The mesenchymal-amoeboid transition (MAT) was proposed as a mechanism for cancer cells to adapt their migration mode to their environment. While the molecular pathways involved in this transition are well documented, the role of the microenvironment in the MAT is still poorly understood. Here, we investigated how confinement and adhesion affect this transition. We report that, in the absence of focal adhesions and under conditions of confinement, mesenchymal cells can spontaneously switch to a fast amoeboid migration phenotype. We identified two main types of fast migration-one involving a local protrusion and a second involving a myosin-II-dependent mechanical instability of the cell cortex that leads to a global cortical flow. Interestingly, transformed cells are more prone to adopt this fast migration mode. Finally, we propose a generic model that explains migration transitions and predicts a phase diagram of migration phenotypes based on three main control parameters: confinement, adhesion, and contractility

Spatiotemporal communication with synchronized optical chaos

We propose a model system that allows communication of spatiotemporal information using an optical chaotic carrier waveform. The system is based on broad-area nonlinear optical ring cavities, which exhibit spatiotemporal chaos in a wide parameter range. Message recovery is possible through chaotic synchronization between transmitter and receiver. Numerical simulations demonstrate the feasibility of the proposed scheme, and the benefit of the parallelism of information transfer with optical wavefronts.Comment: 4 pages, 5 figure

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Pseudo-Boolean constraints, also known as 0-1 Integer Linear Constraints, are used to model many real-world problems. A common approach to solve these constraints is to encode them into a SAT formula. The runtime of the SAT solver on such formula is sensitive to the manner in which the given pseudo-Boolean constraints are encoded. In this paper, we propose generalized Totalizer encoding (GTE), which is an arc-consistency preserving extension of the Totalizer encoding to pseudo-Boolean constraints. Unlike some other encodings, the number of auxiliary variables required for GTE does not depend on the magnitudes of the coefficients. Instead, it depends on the number of distinct combinations of these coefficients. We show the superiority of GTE with respect to other encodings when large pseudo-Boolean constraints have low number of distinct coefficients. Our experimental results also show that GTE remains competitive even when the pseudo-Boolean constraints do not have this characteristic.Comment: 10 pages, 2 figures, 2 tables. To be published in 21st International Conference on Principles and Practice of Constraint Programming 201