b-coloring is NP-hard on co-bipartite graphs and polytime solvable on tree-cographs

A b-coloring of a graph is a proper coloring such that every color class contains a vertex that is adjacent to all other color classes. The b-chromatic number of a graph G, denoted by \chi_b(G), is the maximum number t such that G admits a b-coloring with t colors. A graph G is called b-continuous if it admits a b-coloring with t colors, for every t = \chi(G),\ldots,\chi_b(G), and b-monotonic if \chi_b(H_1) \geq \chi_b(H_2) for every induced subgraph H_1 of G, and every induced subgraph H_2 of H_1. We investigate the b-chromatic number of graphs with stability number two. These are exactly the complements of triangle-free graphs, thus including all complements of bipartite graphs. The main results of this work are the following: - We characterize the b-colorings of a graph with stability number two in terms of matchings with no augmenting paths of length one or three. We derive that graphs with stability number two are b-continuous and b-monotonic. - We prove that it is NP-complete to decide whether the b-chromatic number of co-bipartite graph is at most a given threshold. - We describe a polynomial time dynamic programming algorithm to compute the b-chromatic number of co-trees. - Extending several previous results, we show that there is a polynomial time dynamic programming algorithm for computing the b-chromatic number of tree-cographs. Moreover, we show that tree-cographs are b-continuous and b-monotonic

Comparison of chloroquine, sulfadoxine/pyrimethamine, mefloquine and mefloquine-artesunate for the treatment of falciparum malaria in Kachin State, North Myanmar.

Multi-drug resistant falciparum malaria is widespread in Asia. In Thailand, Cambodia and Vietnam the national protocols have changed largely to artesunate combined treatment regimens but elsewhere in East and South Asia chloroquine (CQ) and sulfadoxine-pyrimethamine (SP) are still widely recommended by national malaria control programmes. In Kachin State, northern Myanmar, an area of low seasonal malaria transmission, the efficacy of CQ (25 mg base/kg) and SP (1.25/25 mg/kg), the nationally recommended treatments at the time, were compared with mefloquine alone (M; 15 mg base/kg) and mefloquine combined with artesunate (MA; 15:4 mg/kg). An open randomized controlled trial enrolled 316 patients with uncomplicated Plasmodium falciparum malaria, stratified prospectively into three age-groups. Early treatment failures (ETF) occurred in 41% (32/78) of CQ treated patients and in 24% of patients treated with SP (18/75). In young children the ETF rates were 87% after CQ and 35% after SP. Four children (two CQ, two SP) developed symptoms of cerebral malaria within 3 days after treatment. By day 42, failure rates (uncorrected for reinfections) had increased to 79% for CQ and 81% for SP. ETF rates were 2.5% after treatment with M and 3.9% after treatment with MA (P > 0.2). Overall uncorrected treatment failure rates at day 42 following M and MA were 23% and 21%, respectively. Chloroquine and SP are completely ineffective for the treatment of falciparum malaria in northern Myanmar. Mefloquine treatment is much more effective, but three day combination regimens with artesunate will be needed for optimum efficacy and protection against resistance

DAMA/LIBRA results and perspectives

The DAMA/LIBRA experiment, running at the Gran Sasso National Laboratory of the I.N.F.N. in Italy, has a sensitive mass of about 250 kg highly radiopure NaI(Tl). It is mainly devoted to the investigation of Dark Matter (DM) particles in the Galactic halo by exploiting the model independent DM annual modulation signature. The present DAMA/LIBRA experiment and the former DAMA/NaI one (the first generation experiment having an exposed mass of about 100 kg) have released so far results corresponding to a total exposure of 1.17 ton yr over 13 annual cycles. They provide a model independent evidence of the presence of DM particles in the galactic halo at 8.9 sigma C.L.. A short summary of the obtained results is presented and future perspectives of the experiment mentioned.Comment: 12 pages, Proceed. of the 15th Bled Workshop "What Comes Beyond Standard Models" (December 2012), Vol. 13, No.

Some Curvature Problems in Semi-Riemannian Geometry

In this survey article we review several results on the curvature of semi-Riemannian metrics which are motivated by the positive mass theorem. The main themes are estimates of the Riemann tensor of an asymptotically flat manifold and the construction of Lorentzian metrics which satisfy the dominant energy condition.Comment: 25 pages, LaTeX, 4 figure

Ground-Level Intelligence: Action-Oriented Representation and the Dynamics of the Background

First paragraph: Studies of embodied intelligence have often tended to focus on the essentially responsive aspects of bodily expertise (for example, catching a ball once it has been hit into the air). But skilled sportsmen and sportswomen, actors and actresses, dancers, orators, and other performers often execute ritual-like gestures or other fixed action routines as performance-optimizing elements in their pre-performance preparations, especially when daunting or unfamiliar conditions are anticipated. For example, a recent movie (The King's Speech) and a book of memories (Logue and Conradi, 2010) have revealed that, just before broadcasting his historic announcement that the United Kingdom was entering the Second World War, King George VI furiously repeated certain tongue twisters in a resolute effort to overcome his relentless stutter. Such ritualized actions don't merely change the causal relations between performers and their physical environments (although this may well be part of their function); they provide performers with the practical scaffolds that summon more favourable contexts for their accomplishments, by uncovering viable landscapes for effective action rather than unassailable barricades of frightening obstacles. In other words, while the kinds of embodied skills that have occupied many recent theorists serve to attune behaviour to an actual context of activity, whether that context is favourable or not, preparatory embodied routines actively refer to certain potential (and thus non-actual) contexts of a favourable nature that those routines themselves help to bring about, indicating the possibilities of actions disclosed by the desired context. As we shall see, this sort of transformative event, which is exemplified by, but not confined to, the ritualized gestures and routines of skilled performers, is a regular occurrence in everyday skilled activity, not the crowning achievement of a few talented individuals; so the capacity in question belongs centrally to our ordinary suite of bodily skills. The theoretical ramifications of that embodied capacity are the topic of this paper

Sharp Global Bounds for the Hessian on Pseudo-Hermitian Manifolds

We find sharp bounds for the norm inequality on a Pseudo-hermitian manifold, where the L^2 norm of all second derivatives of the function involving horizontal derivatives is controlled by the L^2 norm of the sub-Laplacian. Perturbation allows us to get a-priori bounds for solutions to sub-elliptic PDE in non-divergence form with bounded measurable coefficients. The method of proof is through a Bochner technique. The Heisenberg group is seen to be en extremal manifold for our inequality in the class of manifolds whose Ricci curvature is non-negative.Comment: 13 page

Influence of a knot on the strength of a polymer strand

Many experiments have been done to determine the relative strength of different knots, and these show that the break in a knotted rope almost invariably occurs at a point just outside the `entrance' to the knot. The influence of knots on the properties of polymers has become of great interest, in part because of their effect on mechanical properties. Knot theory applied to the topology of macromolecules indicates that the simple trefoil or `overhand' knot is likely to be present with high probability in any long polymer strand. Fragments of DNA have been observed to contain such knots in experiments and computer simulations. Here we use {\it ab initio} computational methods to investigate the effect of a trefoil knot on the breaking strength of a polymer strand. We find that the knot weakens the strand significantly, and that, like a knotted rope, it breaks under tension at the entrance to the knot.Comment: 3 pages, 4 figure

Compact Labelings For Efficient First-Order Model-Checking

We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the graphs of every class that is \emph{nicely locally cwd-decomposable}. This notion generalizes that of a \emph{nicely locally tree-decomposable} class. The graphs of such classes can be covered by graphs of bounded \emph{clique-width} with limited overlaps. We also consider such labelings for \emph{bounded} first-order formulas on graph classes of \emph{bounded expansion}. Some of these results are extended to counting queries

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study

Many automated system analysis techniques (e.g., model checking, model-based testing) rely on first obtaining a model of the system under analysis. System modeling is often done manually, which is often considered as a hindrance to adopt model-based system analysis and development techniques. To overcome this problem, researchers have proposed to automatically "learn" models based on sample system executions and shown that the learned models can be useful sometimes. There are however many questions to be answered. For instance, how much shall we generalize from the observed samples and how fast would learning converge? Or, would the analysis result based on the learned model be more accurate than the estimation we could have obtained by sampling many system executions within the same amount of time? In this work, we investigate existing algorithms for learning probabilistic models for model checking, propose an evolution-based approach for better controlling the degree of generalization and conduct an empirical study in order to answer the questions. One of our findings is that the effectiveness of learning may sometimes be limited.Comment: 15 pages, plus 2 reference pages, accepted by FASE 2017 in ETAP

MT1-MMP cleaves Dll1 to negatively regulate Notch signalling to maintain normal B-cell development

Notch signalling controls the differentiation of haematopoietic progenitor cells (HPCs). Here, we show that loss of membrane-type 1 matrix metalloproteinase (MT1-MMP, MMP14), a cell surface protease expressed in bone marrow stromal cells (BMSCs), increases Notch signalling in HPCs and specifically impairs B-lymphocyte development. When co-cultured with BMSCs in vitro, HPCs differentiation towards B lymphocytes is significantly compromised on MT1-MMP-deficient BMSCs and this defect could be completely rescued by DAPT, a specific Notch signalling inhibitor. The defective B-lymphocyte development could also be largely rescued by DAPT in vivo. MT1-MMP interacts with Notch ligand Delta-like 1 (Dll1) and promotes its cleavage on cell surface in BMSCs. Ectopic MT1-MMP cleaves Dll1 and results in diminished Notch signalling in co-cultured cells. In addition, recombinant MT1-MMP cleaves a synthetic Dll1 peptide at the same site where MT1-MMP cleaves Dll1 on the cell surface. Our data suggest that MT1-MMP directly cleaves Dll1 on BMSCs to negatively regulate Notch signalling to specifically maintain normal B-cell development in bone marrow. © 2011 European Molecular Biology Organization.postprin