Safe Compositional Network Sketches: The Formal Framework

NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. As a modeling tool, it enables the abstraction of an existing system while retaining sufficient information about it to carry out future analysis of safety properties. As a design tool, NetSketch enables the exploration of alternative safe designs as well as the identification of minimal requirements for outsourced subsystems. NetSketch embodies a lightweight formal verification philosophy, whereby the power (but not the heavy machinery) of a rigorous formalism is made accessible to users via a friendly interface. NetSketch does so by exposing tradeoffs between exactness of analysis and scalability, and by combining traditional whole-system analysis with a more flexible compositional analysis. The compositional analysis is based on a strongly-typed Domain-Specific Language (DSL) for describing and reasoning about constrained-flow networks at various levels of sketchiness along with invariants that need to be enforced thereupon. In this paper, we define the formal system underlying the operation of NetSketch, in particular the DSL behind NetSketch's user-interface when used in "sketch mode", and prove its soundness relative to appropriately-defined notions of validity. In a companion paper [6], we overview NetSketch, highlight its salient features, and illustrate how it could be used in two applications: the management/shaping of traffic flows in a vehicular network (as a proxy for CPS applications) and in a streaming media network (as a proxy for Internet applications).

Multiple Response System: Evaluation of Policy Change in North Carolina's Child Welfare System.

Systemic challenges within child welfare have prompted many states to explore new strategies aimed at protecting children while meeting the needs of families, but doing so within the confines of shrinking budgets. Differential Response has emerged as a promising practice for low or moderate risk cases of child maltreatment. This mixed methods evaluation explored various aspects of North Carolina's differential response system, known as the Multiple Response System (MRS), including: child safety, timeliness of response and case decision, frontloading of services, case distribution, implementation of Child and Family Teams, collaboration with community-based service providers and Shared Parenting. Utilizing Child Protective Services (CPS) administrative data, researchers found that compared to matched control counties, MRS: had a positive impact on child safety evidenced by a decline in the rates of substantiations and re-assessments; temporarily disrupted timeliness of response in pilot counties but had no effect on time to case decision; and increased the number of upfront services provided to families during assessment. Qualitative data collected through focus groups with providers and phone interviews with families provided important information on key MRS strategies, highlighting aspects that families and social workers like as well as identifying areas for improvement. This information is useful for continuous quality improvement efforts, particularly related to the development of training and technical assistance programs at the state and local level.

Poverty and Place in the Context of the American South

In the United States, poverty has been historically higher and disproportionately concentrated in the American South. Despite this fact, much of the conventional poverty literature in the United States has focused on urban poverty in cities, particularly in the Northeast and Midwest. Relatively less American poverty research has focused on the enduring economic distress in the South, which Wimberley (2008:899) calls “a neglected regional crisis of historic and contemporary urgency.” Accordingly, this dissertation contributes to the inequality literature by focusing much needed attention on poverty in the South.

Each empirical chapter focuses on a different aspect of poverty in the South. Chapter 2 examines why poverty is higher in the South relative to the Non-South. Chapter 3 focuses on poverty predictors within the South and whether there are differences in the sub-regions of the Deep South and Peripheral South. These two chapters compare the roles of family demography, economic structure, racial/ethnic composition and heterogeneity, and power resources in shaping poverty. Chapter 4 examines whether poverty in the South has been shaped by historical racial regimes.

The Luxembourg Income Study (LIS) United States datasets (2000, 2004, 2007, 2010, and 2013) (derived from the U.S. Census Current Population Survey (CPS) Annual Social and Economic Supplement) provide all the individual-level data for this study. The LIS sample of 745,135 individuals is nested in rich economic, political, and racial state-level data compiled from multiple sources (e.g. U.S. Census Bureau, U.S. Department of Agriculture, University of Kentucky Center for Poverty Research, etc.). Analyses involve a combination of techniques including linear probability regression models to predict poverty and binary decomposition of poverty differences.

Chapter 2 results suggest that power resources, followed by economic structure, are most important in explaining the higher poverty in the South. This underscores the salience of political and economic contexts in shaping poverty across place. Chapter 3 results indicate that individual-level economic factors are the largest predictors of poverty within the South, and even more so in the Deep South. Moreover, divergent results between the South, Deep South, and Peripheral South illustrate how the impact of poverty predictors can vary in different contexts. Chapter 4 results show significant bivariate associations between historical race regimes and poverty among Southern states, although regression models fail to yield significant effects. Conversely, historical race regimes do have a small, but significant effect in explaining the Black-White poverty gap. Results also suggest that employment and education are key to understanding poverty among Blacks and the Black-White poverty gap. Collectively, these chapters underscore why place is so important for understanding poverty and inequality. They also illustrate the salience of micro and macro characteristics of place for helping create, maintain, and reproduce systems of inequality across place.

Reading of audiovisual productions of contemporary art in art education

This article focuses on the reading of audiovisual productions of contemporary art as a creative process, seeking to analyse which effects of meaning the articulations between the visual and sound systems produce, and the meaning that children give to then. It describes a video art, identifying the languages that compose it and the relationships that link them. Such reading exercise had as corpus of analysis the Chair video art, by Masaru Ozaki, and counted with the theoretical and methodological support of the discourse semiotics, especially with studies on assembly procedures that articulate visual and auditory languages. Also, it presents a focal study with the meanings that a group of children gave to the video art. The findings indicate the importance of including the reading of audiovisual productions of contemporary art at school through the problematization of effects of meaning produced by the interrelation between different languages. And they suggest some subsidies that allow teachers from different areas of knowledge to reflect about the visuality in their pedagogical practice; the choice of the audiovisual materials taken to the classroom and other ways of seeing these texts edited.

Paul Karl Feyerabend Las proyecciones de la proliferación teórica en la relación ciencia-metafísica

La doctrina de la Proliferación teórica de Paul Karl Feyerabend ha sido interpretada por sus especialistas como un intento de salvaguardar el ideal del progreso científico. Aunque tales estudios hacen justicia, en parte, a la intencionalidad de nuestro filósofo no explicitan la crítica fundamental que implica para Feyerabend el pluralismo teórico. La proliferación teórica constituye en sí misma una reductio ad absurdum de los distintos intentos del positivismo lógico y del racionalismo crítico por definir la ciencia a expensas de lo metafísico. Este artículo presenta la proliferación teórica como una reivindicación del papel positivo que ocupa la metafísica en el quehacer científico. Se consigna la defensa que hace Feyerabend de la metafísica en cuanto que ésta constituye la posibilidad de superar el conservadurismo conceptual, aumentar de contenido empírico de la ciencia y recuperar el valor descriptivo de las teorías científicas.

Cholinesterase Inhibitor and Memantine Use in Newly Admitted Nursing Home Residents with Dementia

OBJECTIVES: To quantify the use of cholinesterase inhibitors (ChEIs) and memantine in nursing home (NH) residents with dementia upon NH admission and 3 months later and to examine factors associated with reduction in therapy.

DESIGN: Retrospective cohort study.

SETTING: Nationwide sample of U.S. NHs.

PARTICIPANTS: Three thousand ?ve hundred six NH residents with dementia newly admitted in 2006.

MEASUREMENTS: Data from pharmacy dispensing records were used to determine ChEI and memantine medication use upon NH admission and at 3-month follow-up. The Minimum Data Set was used to determine resident- and facility-level characteristics. Severity of dementia was de?ned using the Cognitive Performance Scale (CPS).

RESULTS: Overall, 40.1% (n51,407) of newly admitted NH residents with dementia received ChEIs and memantine on NH admission. Use of ChEIs and memantine on admission was significantly greater in residents with mild to moderately severe dementia (41.2%) than in those with advanced dementia (33.3%, P5.001). After 3 months, ChEI and memantine use decreased by about half in both groups (48.6% with mild to moderately severe dementia vs 57.0% with advanced dementia, Po.05). NH residents with advanced dementia were significantly more likely reduce their use of ChEIs and memantine than those with mild to moderately severe dementia (odds ratio 51.44, 95% con?dence interval 51.03–2.01, P5.04).

CONCLUSION: Many NH residents with advanced dementia receive ChEIs and memantine upon NH admission, and approximately half of these decrease their medication use over the ensuing months. Further study is required to optimize use of ChEIs and memantine in NH populations and to determine the effects of withdrawing therapy on resident outcomes.

Klebsiella pneumoniae subverts the activation of inflammatory responses in a NOD1-dependent manner

Klebsiella pneumoniae is an important cause of community-acquired and nosocomial pneumonia. Subversion of inflammation is essential for pathogen survival during infection. Evidence indicates that K. pneumoniae infections are characterized by lacking an early inflammatory response although the molecular bases are currently unknown. Here we unveil a novel strategy employed by a pathogen to counteract the activation of inflammatory responses. K. pneumoniae attenuates pro-inflammatory mediators-induced IL-8 secretion. Klebsiella antagonizes the activation of NF-?B via the deubiquitinase CYLD and blocks the phosphorylation of mitogen-activated protein kinases (MAPKs) via the MAPK phosphatase MKP-1. Our studies demonstrate that K. pneumoniae has evolved the capacity to manipulate host systems dedicated to control the immune balance. To exert this anti-inflammatory effect, Klebsiella engages NOD1. In NOD1 knock-down cells, Klebsiella neither induces the expression of CYLD and MKP-1 nor blocks the activation of NF-?B and MAPKs. Klebsiella inhibits Rac1 activation; and inhibition of Rac1 activity triggers a NOD1-mediated CYLD and MKP-1 expression which in turn attenuates IL-1ß-induced IL-8 secretion. A capsule (CPS) mutant does not attenuate the inflammatory response. However, purified CPS neither reduces IL-1ß-induced IL-8 secretion nor induces the expression of CYLD and MKP-1 thereby indicating that CPS is necessary but not sufficient to attenuate inflammation.

Klebsiella pneumoniae outer membrane protein A is required to prevent the activation of airway epithelial cells

Outer membrane protein A (OmpA) is a class of proteins highly conserved among the Enterobacteriaceae family and throughout evolution. Klebsiella pneumoniae is a capsulated Gram-negative pathogen. It is an important cause of community-acquired and nosocomial pneumonia. Evidence indicates that K. pneumoniae infections are characterized by a lack of an early inflammatory response. Data from our laboratory indicate that K. pneumoniae CPS helps to suppress the host inflammatory response. However, it is unknown whether K. pneumoniae employs additional factors to modulate host inflammatory responses. Here, we report that K. pneumoniae OmpA is important for immune evasion in vitro and in vivo. Infection of A549 and normal human bronchial cells with 52OmpA2, an ompA mutant, increased the levels of IL-8. 52145-?wca ompA, which does not express CPS and ompA, induced the highest levels of IL-8. Both mutants could be complemented. In vivo, 52OmpA2 induced higher levels of tnfa, kc, and il6 than the wild type. ompA mutants activated NF-?B, and the phosphorylation of p38, p44/42, and JNK MAPKs and IL-8 induction was via NF-?B-dependent and p38- and p44/42-dependent pathways. 52OmpA2 engaged TLR2 and -4 to activate NF-?B, whereas 52145-?wca ompA activated not only TLR2 and TLR4 but also NOD1. Finally, we demonstrate that the ompA mutant is attenuated in the pneumonia mouse model. The results of this study indicate that K. pneumoniae OmpA contributes to attenuate airway cell responses. This may facilitate pathogen survival in the hostile environment of the lung. © 2011 by The American Society for Biochemistry and Molecular Biology, Inc.

Role of Bacterial Surface Structures on the Interaction of Klebsiella pneumoniae with Phagocytes

Phagocytosis is a key process of the immune system. The human pathogen Klebsiella pneumoniae is a well known example of a pathogen highly resistant to phagocytosis. A wealth of evidence demonstrates that the capsule polysaccharide (CPS) plays a crucial role in resistance to phagocytosis. The amoeba Dictyostelium discoideum shares with mammalian macrophages the ability to phagocytose and kill bacteria. The fact that K. pneumoniae is ubiquitous in nature and, therefore, should avoid predation by amoebae, poses the question whether K. pneumoniae employs similar means to counteract amoebae and mammalian phagocytes. Here we developed an assay to evaluate K. pneumoniae-D. discoideum interaction. The richness of the growth medium affected the threshold at which the cps mutant was permissive for Dictyostelium and only at lower nutrient concentrations the cps mutant was susceptible to predation by amoebae. Given the critical role of bacterial surface elements on host-pathogen interactions, we explored the possible contribution of the lipopolysaccharide (LPS) and outer membrane proteins (OMPs) to combat phagoyctosis by D. discoideum. We uncover that, in addition to the CPS, the LPS O-polysaccharide and the first core sugar participate in Klebsiella resistance to predation by D. discoideum. K. pneumoniae LPS lipid A decorations are also necessary to avoid predation by amoebae although PagP-dependent palmitoylation plays a more important role than the lipid A modification with aminoarabinose. Mutants lacking OMPs OmpA or OmpK36 were also permissive for D. discoideium growth. Except the LPS O-polysaccharide mutants, all mutants were more susceptible to phagocytosis by mouse alveolar macrophages. Finally, we found a correlation between virulence, using the pneumonia mouse model, and resistance to phagocytosis. Altogether, this work reveals novel K. pneumoniae determinants involved in resistance to phagocytosis and supports the notion that Dictyostelium amoebae might be useful as host model to measure K. pneumoniae virulence and not only phagocytosis. © 2013 March et al.

Klebsiella pneumoniae targets an EGF receptor-dependent pathway to subvert inflammation

The NF-kB transcriptional factor plays a key role governing the activation of immune responses. Klebsiella pneumoniae is an important cause of community-acquired and nosocomial pneumonia. Evidence indicates that K. pneumoniae infections are characterized by lacking an early in?ammatory response. Recently, we have demonstrated that Klebsiella antagonizes the activation of NF-kB via the deubiquitinase CYLD. In this work, by applying a high-throughput siRNA gain-of-function screen interrogating the human kinome, we identi?ed 17 kinases that when targeted by siRNA restored IL-1b-dependent NF-kB translocation in infected cells. Further characterization revealed that K. pneumoniae activates an EGF receptor (EGFR)- phosphatidylinositol 3-OH kinase (PI3K)–AKT–PAK4–ERK–GSK3b signalling pathway to attenuate the cytokine-dependent nuclear translocation of NF-kB. Our data also revealed that CYLD is a downstream effector of K. pneumoniae-induced EGFR–
PI3K–AKT–PAK4–ERK–GSK3b signalling pathway. Our efforts to identify the bacterial factor(s) responsible for EGFR activation demonstrate that a capsule (CPS) mutant did not activate EGFR hence
suggesting that CPS could mediate the activation of EGFR. Supporting this notion, puri?ed CPS did activate EGFR as well as the EGFR-dependent PI3K–AKT–PAK4–ERK–GSK3b signalling pathway. CPS-mediated EGFR activation was dependent on a TLR4–MyD88–c-SRC-dependent pathway. Several promising drugs have been developed to antagonize this cascade. We propose that agents targeting this signalling pathway might provide selective alternatives for the management of K. pneumoniae pneumonias.

Klebsiella pneumoniae increases the levels of Toll-like receptors 2 and 4 in human airway epithelial cells

Airway epithelial cells act as the first barrier against pathogens. These cells recognize conserved structural motifs expressed by microbial pathogens via Toll-like receptors (TLRs) expressed on the surface. In contrast to the level of expression in lymphoid cells, the level of expression of TLR2 and TLR4 in airway epithelial cells is low under physiological conditions. Here we explored whether Klebsiella pneumoniae upregulates the expression of TLRs in human airway epithelial cells. We found that the expression of TLR2 and TLR4 by A549 cells and human primary airway cells was upregulated upon infection with K. pneumoniae. The increased expression of TLRs resulted in enhancement of the cellular response upon stimulation with Pam3CSK4 and lipopolysaccharide, which are TLR2 and TLR4 agonists, respectively. Klebsiella-dependent upregulation of TLR expression occurred via a positive IkappaBalpha-dependent NF-kappaBeta pathway and via negative p38 and p44/42 mitogen-activated protein kinase-dependent pathways. We showed that Klebsiella-induced TLR2 and TLR4 upregulation was dependent on TLR activation. An isogenic capsule polysaccharide (CPS) mutant did not increase TLR2 and TLR4 expression. Purified CPS upregulated TLR2 and TLR4 expression, and polymyxin B did not abrogate CPS-induced TLR upregulation. Although no proteins were detected in the CPS preparation by sodium dodecyl sulfate-polyacrylamide gel electrophoresis and colloidal gold staining, we could not rule out the possibility that traces of protein in our CPS preparation could have been responsible, at least in part, for the TLR upregulation.

Capsule polysaccharide is a bacterial decoy for antimicrobial peptides

Antimicrobial peptides (APs) are important host weapons against infections. Nearly all APs are cationic and their microbicidal action is initiated through interactions with the anionic bacterial surface. It is known that pathogens have developed countermeasures to resist these agents by reducing the negative charge of membranes, by active efflux and by proteolytic degradation. Here we uncover a new strategy of resistance based on the neutralization of the bactericidal activity of APs by anionic bacterial capsule polysaccharide (CPS). Purified CPSs from Klebsiella pneumoniae K2, Streptococcus pneumoniae serotype 3 and Pseudomonas aeruginosa increased the resistance to polymyxin B of an unencapsulated K. pneumoniae mutant. Furthermore, these CPSs increased the MICs of polymyxin B and human neutrophil alpha-defensin 1 (HNP-1) for unencapsulated K. pneumoniae, Escherichia coli and P. aeruginosa PAO1. Polymyxin B or HNP-1 released CPS from capsulated K. pneumoniae, S. pneumoniae serotype 3 and P. aeruginosa overexpressing CPS. Moreover, this material also reduced the bactericidal activity of APs. We postulate that APs may trigger in vivo the release of CPS, which in turn will protect bacteria against APs. We found that anionic CPSs, but not cationic or uncharged ones, blocked the bactericidal activity of APs by binding them, thereby reducing the amount of peptides reaching the bacterial surface. Supporting this, polycations inhibited such interaction and the bactericidal activity was restored. We postulate that trapping of APs by anionic CPSs is an additional selective virulence trait of these molecules, which could be considered as bacterial decoys for APs.

The uptake of a Klebsiella pneumoniae capsule polysaccharide mutant triggers an inflammatory response by human airway epithelial cells

The means by which airway epithelial cells sense a bacterial infection and which intracellular signalling pathways are activated upon infection are poorly understood. A549 cells and human primary airway cells (NHBE) were used to investigate the response to infection with Klebsiella pneumoniae. Infection of A549 and NHBE with K. pneumoniae 52K10, a capsule polysaccharide (CPS) mutant, increased the surface levels of ICAM-1 and caused the release of IL-8. By contrast, the wild-type strain did not elicit these responses. Consistent with a functional role for these responses, there was a correlation between ICAM-1 levels and the number of adherent leukocytes on the epithelial cell surface. In addition, treatment of neutrophils with IL-8 enhanced their ability to kill K. pneumoniae. Strain 52K10 was internalized by A549 cells more efficiently than the wild-type, and when infections with 52K10 were performed in the presence of cytochalasin D the inflammatory response was abrogated. These findings suggest that cellular activation is mediated by bacterial internalization and that CPS prevents the activation through the blockage of bacterial adhesion and uptake. Collectively, the results indicate that bacterial internalization by airway epithelial cells could be the triggering signal for the activation of the innate immune system of the airway. Infection of A549 cells by 52K10 was shown to trigger the nuclear translocation of NF-kappaB. Evidence is presented showing that 52K10 activated IL-8 production through Toll-like receptor (TLR) 2 and TLR4 pathways and that A549 cells could use soluble CD14 as TLR co-receptor.

Capsule polysaccharide mediates bacterial resistance to antimicrobial peptides

The innate immune system plays a critical role in the defense of areas exposed to microorganisms. There is an increasing body of evidence indicating that antimicrobial peptides and proteins (APs) are one of the most important weapons of this system and that they make up the protective front for the respiratory tract. On the other hand, it is known that pathogenic organisms have developed countermeasures to resist these agents such as reducing the net negative charge of the bacterial membranes. Here we report the characterization of a novel mechanism of resistance to APs that is dependent on the bacterial capsule polysaccharide (CPS). Klebsiella pneumoniae CPS mutant was more sensitive than the wild type to human neutrophil defensin 1, beta-defensin 1, lactoferrin, protamine sulfate, and polymyxin B. K. pneumoniae lipopolysaccharide O antigen did not play an important role in AP resistance, and CPS was the only factor conferring protection against polymyxin B in strains lacking O antigen. In addition, we found a significant correlation between the amount of CPS expressed by a given strain and the resistance to polymyxin B. We also showed that K. pneumoniae CPS mutant bound more polymyxin B than the wild-type strain with a concomitant increased in the self-promoted pathway. Taken together, our results suggest that CPS protects bacteria by limiting the interaction of APs with the surface. Finally, we report that K. pneumoniae increased the amount of CPS and upregulated cps transcription when grown in the presence of polymyxin B and lactoferrin.

Factors affecting collaboration between general practitioners and community pharmacists:a qualitative study

Although general practitioners (GPs) and community pharmacists (CPs) are encouraged to collaborate, a true collaborative relationship does not exist between them. Our objective was to identify and analyze factors affecting GP-CP collaboration.