Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach

Knowledge compilation is an approach to tackle the computational intractability of general reasoning problems. According to this approach, knowledge bases are converted off-line into a target compilation language which is tractable for on-line querying. Reduced ordered binary decision diagram (ROBDD) is one of the most influential target languages. We generalize ROBDD by associating some implied literals in each node and the new language is called reduced ordered binary decision diagram with implied literals (ROBDD-L). Then we discuss a kind of subsets of ROBDD-L called ROBDD-i with precisely i implied literals (0 \leq i \leq \infty). In particular, ROBDD-0 is isomorphic to ROBDD; ROBDD-\infty requires that each node should be associated by the implied literals as many as possible. We show that ROBDD-i has uniqueness over some specific variables order, and ROBDD-\infty is the most succinct subset in ROBDD-L and can meet most of the querying requirements involved in the knowledge compilation map. Finally, we propose an ROBDD-i compilation algorithm for any i and a ROBDD-\infty compilation algorithm. Based on them, we implement a ROBDD-L package called BDDjLu and then get some conclusions from preliminary experimental results: ROBDD-\infty is obviously smaller than ROBDD for all benchmarks; ROBDD-\infty is smaller than the d-DNNF the benchmarks whose compilation results are relatively small; it seems that it is better to transform ROBDDs-\infty into FBDDs and ROBDDs rather than straight compile the benchmarks.Comment: 18 pages, 13 figure

Symmetry and dimension of the magnon dispersion of inorganic spin-Peierls systems

The data on the dispersion of the magnetic excitations of CuGeO_3 in the spin-Peierls dimerized phase are analyzed. On the basis of the lattice structure it is shown that even along the chains the $d=2$ character cannot be neglected. The symmetry of the dispersion differs from the one assumed so far. The magnetic resonance data is reinterpreted. The possibility of interchain rather than intrachain frustration is discussed.Comment: 4 pages, Revtex, to appear in PR

Analysis of the CD1 Antigen Presenting System in Humanized SCID Mice

CD1 molecules are glycoproteins that present lipids and glycolipids for recognition by T cells. CD1-dependent immune activation has been implicated in a wide range of immune responses, however, our understanding of the role of this pathway in human disease remains limited because of species differences between humans and other mammals: whereas humans express five different CD1 gene products (CD1a, CD1b, CD1c, CD1d, and CD1e), muroid rodents express only one CD1 isoform (CD1d). Here we report that immune deficient mice engrafted with human fetal thymus, liver, and CD34+ hematopoietic stem cells develop a functional human CD1 compartment. CD1a, b, c, and d isoforms were highly expressed by human thymocytes, and CD1a+ cells with a dendritic morphology were present in the thymic medulla. CD1+ cells were also detected in spleen, liver, and lungs. APCs from spleen and liver were capable of presenting bacterial glycolipids to human CD1-restricted T cells. ELISpot analyses of splenocytes demonstrated the presence of CD1-reactive IFN-γ producing cells. CD1d tetramer staining directly identified human iNKT cells in spleen and liver samples from engrafted mice, and injection of the glycolipid antigen α-GalCer resulted in rapid elevation of human IFN-γ and IL-4 levels in the blood indicating that the human iNKT cells are biologically active in vivo. Together, these results demonstrate that the human CD1 system is present and functionally competent in this humanized mouse model. Thus, this system provides a new opportunity to study the role of CD1-related immune activation in infections to human-specific pathogens

SHARPIN Is Essential for Cytokine Production, NF-κB Signaling, and Induction of Th1 Differentiation by Dendritic Cells

Spontaneous mutations of the Sharpin (SHANK-associated RH domain-interacting protein, other aliases: Rbckl1, Sipl1) gene in mice result in systemic inflammation that is characterized by chronic proliferative dermatitis and dysregulated secretion of T helper1 (Th1) and Th2 cytokines. The cellular and molecular mechanisms underlying this inflammatory phenotype remain elusive. Dendritic cells may contribute to the initiation and progression of the phenotype of SHARPIN-deficient mice because of their pivotal role in innate and adaptive immunity. Here we show by flow cytometry that SHARPIN- deficiency did not alter the distribution of different DC subtypes in the spleen. In response to TOLL-like receptor (TLR) agonists LPS and poly I:C, cultured bone marrow-derived dendritic cells (BMDC) from WT and mutant mice exhibited similar increases in expression of co-stimulatory molecules CD40, CD80, and CD86. However, stimulated SHARPIN-deficient BMDC had reduced transcription and secretion of pro-inflammatory mediators IL6, IL12P70, GMCSF, and nitric oxide. Mutant BMDC had defective activation of NF-κB signaling, whereas the MAPK1/3 (ERK1/2) and MAPK11/12/13/14 (p38 MAP kinase isoforms) and TBK1 signaling pathways were intact. A mixed lymphocyte reaction showed that mutant BMDC only induced a weak Th1 immune response but stimulated increased Th2 cytokine production from allogeneic naïve CD4+ T cells. In conclusion, loss of Sharpin in mice significantly affects the immune function of DC and this may partially account for the systemic inflammation and Th2-biased immune response

Epstein-Barr-virus-positive large B-cell lymphoma associated with breast implants: an analysis of eight patients suggesting a possible pathogenetic relationship.

Breast implant anaplastic large cell lymphoma (ALCL) is a T-cell neoplasm arising around textured breast implants that was recognized recently as a distinct entity by the World Health Organization. Rarely, other types of lymphoma have been reported in patients with breast implants, raising the possibility of a pathogenetic relationship between breast implants and other types of lymphoma. We report eight cases of Epstein-Barr virus (EBV)-positive large B-cell lymphoma associated with breast implants. One of these cases was invasive, and the other seven neoplasms were noninvasive and showed morphologic overlap with breast implant ALCL. All eight cases expressed B-cell markers, had a non-germinal center B-cell immunophenotype, and were EBV+ with a latency type III pattern of infection. We compared the noninvasive EBV+ large B-cell lymphoma cases with a cohort of breast implant ALCL cases matched for clinical and pathologic stage. The EBV+ large B-cell lymphoma cases more frequently showed a thicker capsule, and more often were associated with calcification and prominent lymphoid aggregates outside of the capsule. The EBV+ B-cell lymphoma cells were more often arranged within necrotic fibrinoid material in a layered pattern. We believe that this case series highlights many morphologic similarities between EBV+ large B-cell lymphoma and breast implant ALCL. The data presented suggest a pathogenetic role for breast implants (as well as EBV) in the pathogenesis of EBV+ large B-cell lymphoma. We also provide some histologic findings useful for distinguishing EBV+ large B-cell lymphoma from breast implant ALCL in this clinical setting

Short Conduction Delays Cause Inhibition Rather than Excitation to Favor Synchrony in Hybrid Neuronal Networks of the Entorhinal Cortex

How stable synchrony in neuronal networks is sustained in the presence of conduction delays is an open question. The Dynamic Clamp was used to measure phase resetting curves (PRCs) for entorhinal cortical cells, and then to construct networks of two such neurons. PRCs were in general Type I (all advances or all delays) or weakly type II with a small region at early phases with the opposite type of resetting. We used previously developed theoretical methods based on PRCs under the assumption of pulsatile coupling to predict the delays that synchronize these hybrid circuits. For excitatory coupling, synchrony was predicted and observed only with no delay and for delays greater than half a network period that cause each neuron to receive an input late in its firing cycle and almost immediately fire an action potential. Synchronization for these long delays was surprisingly tight and robust to the noise and heterogeneity inherent in a biological system. In contrast to excitatory coupling, inhibitory coupling led to antiphase for no delay, very short delays and delays close to a network period, but to near-synchrony for a wide range of relatively short delays. PRC-based methods show that conduction delays can stabilize synchrony in several ways, including neutralizing a discontinuity introduced by strong inhibition, favoring synchrony in the case of noisy bistability, and avoiding an initial destabilizing region of a weakly type II PRC. PRCs can identify optimal conduction delays favoring synchronization at a given frequency, and also predict robustness to noise and heterogeneity

Differential Effect of TLR2 and TLR4 on the Immune Response after Immunization with a Vaccine against Neisseria meningitidis or Bordetella pertussis

Neisseria meningitidis and Bordetella pertussis are Gram-negative bacterial pathogens that can cause serious diseases in humans. N. meningitidis outer membrane vesicle (OMV) vaccines and whole cell pertussis vaccines have been successfully used in humans to control infections with these pathogens. The mechanisms behind their effectiveness are poorly defined. Here we investigated the role of Toll-like receptor (TLR) 2 and TLR4 in the induction of immune responses in mice after immunization with these vaccines. Innate and adaptive immune responses were compared between wild type mice and mice deficient in TLR2, TLR4, or TRIF. TRIF-deficient and TLR4-deficient mice showed impaired immunity after immunization. In contrast, immune responses were not lower in TLR2−/− mice but tended even to be higher after immunization. Together our data demonstrate that TLR4 activation contributes to the immunogenicity of the N. meningitidis OMV vaccine and the whole cell pertussis vaccine, but that TLR2 activation is not required

LILRA2 Selectively Modulates LPS-Mediated Cytokine Production and Inhibits Phagocytosis by Monocytes

The activating immunoglobulin-like receptor, subfamily A, member 2 (LILRA2) is primarily expressed on the surface of cells of the innate immunity including monocytes, macrophages, neutrophils, basophils and eosinophils but not on lymphocytes and NK cells. LILRA2 cross-linking on monocytes induces pro-inflammatory cytokines while inhibiting dendritic cell differentiation and antigen presentation. A similar activating receptor, LILRA4, has been shown to modulate functions of TLR7/9 in dendritic cells. These suggest a selective immune regulatory role for LILRAs during innate immune responses. However, whether LILRA2 has functions distinct from other receptors of the innate immunity including Toll-like receptor (TLR) 4 and FcγRI remains unknown. Moreover, the effects of LILRA2 on TLR4 and FcγRI-mediated monocyte functions are not elucidated. Here, we show activation of monocytes via LILRA2 cross-linking selectively increased GM-CSF production but failed to induce IL-12 and MCP-1 production that were strongly up-regulated by LPS, suggesting functions distinct from TLR4. Interestingly, LILRA2 cross-linking on monocytes induced similar amounts of IL-6, IL-8, G-CSF and MIP-1α but lower levels of TNFα, IL-1β, IL-10 and IFNγ compared to those stimulated with LPS. Furthermore, cross-linking of LILRA2 on monocytes significantly decreased phagocytosis of IgG-coated micro-beads and serum opsonized Escherichia coli but had limited effect on phagocytosis of non-opsonized bacteria. Simultaneous co-stimulation of monocytes through LILRA2 and LPS or sequential activation of monocytes through LILRA2 followed by LPS led lower levels of TNFα, IL-1β and IL-12 production compared to LPS alone, but had additive effect on levels of IL-10 and IFNγ but not on IL-6. Interestingly, LILRA2 cross-linking on monocytes caused significant inhibition of TLR4 mRNA and protein, suggesting LILRA2-mediated suppression of LPS responses might be partly via regulation of this receptor. Taken together, we provide evidence that LILRA2-mediated activation of monocytes is significantly different to LPS and that LILRA2 selectively modulates LPS-mediated monocyte activation and FcγRI-dependent phagocytosis