Phosphocholine-Modified Lipooligosaccharides of Haemophilus influenzae Inhibit ATP-Induced IL-1beta Release by Pulmonary Epithelial Cells

Phosphocholine-modified bacterial cell wall components are virulence factors enabling immune evasion and permanent colonization of the mammalian host, by mechanisms that are poorly understood. Recently, we demonstrated that free phosphocholine (PC) and PC-modified lipooligosaccharides (PC-LOS) from Haemophilus influenzae, an opportunistic pathogen of the upper and lower airways, function as unconventional nicotinic agonists and efficiently inhibit the ATP-induced release of monocytic IL-1beta. We hypothesize that H. influenzae PC-LOS exert similar effects on pulmonary epithelial cells and on the complex lung tissue. The human lung carcinoma-derived epithelial cell lines A549 and Calu-3 were primed with lipopolysaccharide from Escherichia coli followed by stimulation with ATP in the presence or absence of PC or PC-LOS or LOS devoid of PC. The involvement of nicotinic acetylcholine receptors was tested using specific antagonists. We demonstrate that PC and PC-LOS efficiently inhibit ATP-mediated IL-1beta release by A549 and Calu-3 cells via nicotinic acetylcholine receptors containing subunits alpha7, alpha9, and/or alpha10. Primed precision-cut lung slices behaved similarly. We conclude that H. influenzae hijacked an endogenous anti-inflammatory cholinergic control mechanism of the lung to evade innate immune responses of the host. These findings may pave the way towards a host-centered antibiotic treatment of chronic airway infections with H. influenzae

Minimizing the stabbing number of matchings, trees, and triangulations

The (axis-parallel) stabbing number of a given set of line segments is the maximum number of segments that can be intersected by any one (axis-parallel) line. This paper deals with finding perfect matchings, spanning trees, or triangulations of minimum stabbing number for a given set of points. The complexity of these problems has been a long-standing open question; in fact, it is one of the original 30 outstanding open problems in computational geometry on the list by Demaine, Mitchell, and O'Rourke. The answer we provide is negative for a number of minimum stabbing problems by showing them NP-hard by means of a general proof technique. It implies non-trivial lower bounds on the approximability. On the positive side we propose a cut-based integer programming formulation for minimizing the stabbing number of matchings and spanning trees. We obtain lower bounds (in polynomial time) from the corresponding linear programming relaxations, and show that an optimal fractional solution always contains an edge of at least constant weight. This result constitutes a crucial step towards a constant-factor approximation via an iterated rounding scheme. In computational experiments we demonstrate that our approach allows for actually solving problems with up to several hundred points optimally or near-optimally.Comment: 25 pages, 12 figures, Latex. To appear in "Discrete and Computational Geometry". Previous version (extended abstract) appears in SODA 2004, pp. 430-43

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a major obstacle in applying them to safety-critical systems is the great difficulty in providing formal guarantees about their behavior. We present a novel, scalable, and efficient technique for verifying properties of deep neural networks (or providing counter-examples). The technique is based on the simplex method, extended to handle the non-convex Rectified Linear Unit (ReLU) activation function, which is a crucial ingredient in many modern neural networks. The verification procedure tackles neural networks as a whole, without making any simplifying assumptions. We evaluated our technique on a prototype deep neural network implementation of the next-generation airborne collision avoidance system for unmanned aircraft (ACAS Xu). Results show that our technique can successfully prove properties of networks that are an order of magnitude larger than the largest networks verified using existing methods.Comment: This is the extended version of a paper with the same title that appeared at CAV 201

Claw-free t-perfect graphs can be recognised in polynomial time

A graph is called t-perfect if its stable set polytope is defined by non-negativity, edge and odd-cycle inequalities. We show that it can be decided in polynomial time whether a given claw-free graph is t-perfect

Integrated Structure and Semantics for Reo Connectors and Petri Nets

In this paper, we present an integrated structural and behavioral model of Reo connectors and Petri nets, allowing a direct comparison of the two concurrency models. For this purpose, we introduce a notion of connectors which consist of a number of interconnected, user-defined primitives with fixed behavior. While the structure of connectors resembles hypergraphs, their semantics is given in terms of so-called port automata. We define both models in a categorical setting where composition operations can be elegantly defined and integrated. Specifically, we formalize structural gluings of connectors as pushouts, and joins of port automata as pullbacks. We then define a semantical functor from the connector to the port automata category which preserves this composition. We further show how to encode Reo connectors and Petri nets into this model and indicate applications to dynamic reconfigurations modeled using double pushout graph transformation

Indoleamine-2,3-dioxygenase activity in experimental human endotoxemia

Background: Excessive tryptophan metabolism to kynurenine by the rate-limiting enzyme endothelial indoleamine 2,3-dioxygenase 1 (IDO) controls arterial vessel relaxation and causes hypotension in murine endotoxemia. However, its relevance in human endotoxemia has not been investigated so far. We thus aimed to study changes in blood pressure in parallel with tryptophan and kynurenine levels during experimental endotoxemia in humans. Findings: Six healthy male volunteers were given E. coli lipopolysaccharide (LPS; 4 ng/kg) as a 1-min intravenous infusion. They had levels of soluble E-Selectin and soluble vascular cell adhesion molecule-1 as well as IDO activity assessed as the kynurenine-to-tryptophan plasma ratio by liquid chromatography-tandem mass spectrometry at various time points during a 24 h time course. During endotoxemia, IDO activity significantly increased, reaching peak levels at 8 h after LPS infusion (44.0 ± 15.2 vs. 29.4 ± 6.8 at baseline, P<0.0001). IDO activity correlated inversely with the development of hypotension as shown by random effects linear regression models. Finally, IDO activity exhibited a kinetic profile similar to that of soluble endothelial-specific adhesion molecules. Conclusions: LPS is a triggering factor for the induction of IDO in men. Our findings strongly support the concept that the induction of IDO in the vascular endothelium contributes to hypotension in human sepsis

The impact of early surgical intervention in free intestinal perforation: a time-to-intervention pilot study

PURPOSES: An abdominal inflammatory focus is the second most often source of sepsis with a high risk of death in surgical intensive care units. By establishing evidence-based bundled strategies the surviving sepsis campaign provided an optimized rapid and continuous treatment of these emergency patients. Hereby the hospital mortality decreased from 35 to 30%. Sepsis treatment is based on three major therapeutic elements: surgical treatment (source control), antiinfective treatment, and supportive care. The international guidelines of the surviving sepsis campaign were updated recently and recommend rapid diagnosis of the infection and source control within the first 12h after the diagnosis (grade 1c). Interestingly this recommendation is mainly based on studies on soft tissue infections. METHODS: In this retrospective analysis 76 septic patients with an intraabdominal inflammatory focus were included. All patients underwent surgery at different time-points after diagnosis. RESULTS: With 80% patients of the early intervention group had an improved overall survival (vs. 73% in the late intervention group). CONCLUSIONS: Literature on the time dependency of early source control is rare and in part contradicting. Results of this pilot study reveal that immediate surgical intervention might be of advantage for septic emergency patients. Further multi-center approaches will be necessary to evaluate, whether the TTI has any impact on the outcome of septic patients with intestinal perforation