Higher-order Boussinesq-type equations for interfacial waves in a two-fluid system

Interfacial waves propagating along the interface between a three-dimensional two-fluid system with a rigid upper boundary and an uneven bottom are considered. There is a light fluid layer overlying a heavier one in the system, and a small density difference exists between the two layers. A set of higher-order Boussinesq-type equations in terms of the depth-averaged velocities accounting for stronger nonlinearity are derived. When the small parameter measuring frequency dispersion keeping up to lower-order and full nonlinearity are considered, the equations include the Choi and Camassa's results (1999). The enhanced equations in terms of the depth-averaged velocities are obtained by applying the enhancement technique introduced by Madsen et al. (1991) and Schaffer and Madsen (1995a). It is noted that the equations derived from the present study include, as special cases, those obtained by Madsen and Schaffer (1998). By comparison with the dispersion relation of the linear Stokes waves, we found that the dispersion relation is more improved than Choi and Camassa's (1999) results, and the applicable scope of water depth is deeper.

The Type VI secretion system of Burkholderia cenocepacia affects multiple Rho family GTPases disrupting the actin cytoskeleton and the assembly of NADPH oxidase complex in macrophages

Burkholderia cenocepacia is a Gram-negative opportunistic pathogen of patients with cystic fibrosis and chronic granulomatous disease. The bacterium survives intracellularly in macrophages within a membrane-bound vacuole (BcCV) that precludes the fusion with lysosomes. The underlying cellular mechanisms and bacterial molecules mediating these phenotypes are unknown. Here, we show that intracellular B. cenocepacia expressing a type VI secretion system (T6SS) affects the activation of the Rac1 and Cdc42 RhoGTPase by reducing the cellular pool of GTP-bound Rac1 and Cdc42. The T6SS also increases the cellular pool of GTP-bound RhoA and decreases cofilin activity. These effects lead to abnormal actin polymerization causing collapse of lamellipodia and failure to retract the uropod. The T6SS also prevents the recruitment of soluble subunits of the NADPH oxidase complex including Rac1 to the BcCV membrane, but is not involved in the BcCV maturation arrest. Therefore, T6SS-mediated deregulation of Rho family GTPases is a common mechanism linking disruption of the actin cytoskeleton and delayed NADPH oxidase activation in macrophages infected with B. cenocepacia.

BcsK(C) Is an Essential Protein for the Type VI Secretion System Activity in Burkholderia cenocepacia That Forms an Outer Membrane Complex with BcsL(B)

The type VI secretion system (T6SS) contributes to the virulence of Burkholderia cenocepacia, an opportunistic pathogen causing serious chronic infections in patients with cystic fibrosis. BcsK(C) is a highly conserved protein among the T6SSs in Gram-negative bacteria. Here, we show that BcsK(C) is required for Hcp secretion and cytoskeletal redistribution in macrophages upon bacterial infection. These two phenotypes are associated with a functional T6SS in B. cenocepacia. Experiments employing a bacterial two-hybrid system and pulldown assays demonstrated that BcsK(C) interacts with BcsL(B), another conserved T6SS component. Internal deletions within BcsK(C) revealed that its N-terminal domain is necessary and sufficient for interaction with BcsL(B). Fractionation experiments showed that BcsK(C) can be in the cytosol or tightly associated with the outer membrane and that BcsK(C) and BcsL(B) form a high molecular weight complex anchored to the outer membrane that requires BcsF(H) (a ClpV homolog) to be assembled. Together, our data show that BcsK(C)/BcsL(B) interaction is essential for the T6SS activity in B. cenocepacia.

Burkholderia cenocepacia Type VI Secretion System Mediates Escape of Type II Secreted Proteins into the Cytoplasm of Infected Macrophages

Burkholderia cenocepacia is an opportunistic pathogen that survives intracellularly in macrophages and causes serious respiratory infections in patients with cystic fibrosis. We have previously shown that bacterial survival occurs in bacteria-containing membrane vacuoles (BcCVs) resembling arrested autophagosomes. Intracellular bacteria stimulate IL-1ß secretion in a caspase-1-dependent manner and induce dramatic changes to the actin cytoskeleton and the assembly of the NADPH oxidase complex onto the BcCV membrane. A Type 6 secretion system (T6SS) is required for these phenotypes but surprisingly it is not required for the maturation arrest of the BcCV. Here, we show that macrophages infected with B. cenocepacia employ the NLRP3 inflammasome to induce IL-1ß secretion and pyroptosis. Moreover, IL-1ß secretion by B. cenocepacia-infected macrophages is suppressed in deletion mutants unable to produce functional Type VI, Type IV, and Type 2 secretion systems (SS). We provide evidence that the T6SS mediates the disruption of the BcCV membrane, which allows the escape of proteins secreted by the T2SS into the macrophage cytoplasm. This was demonstrated by the activity of fusion derivatives of the T2SS-secreted metalloproteases ZmpA and ZmpB with adenylcyclase. Supporting this notion, ZmpA and ZmpB are required for efficient IL-1ß secretion in a T6SS dependent manner. ZmpA and ZmpB are also required for the maturation arrest of the BcCVs and bacterial intra-macrophage survival in a T6SS-independent fashion. Our results uncover a novel mechanism for inflammasome activation that involves cooperation between two bacterial secretory pathways, and an unanticipated role for T2SS-secreted proteins in intracellular bacterial survival.

A novel sensor kinase-response regulator hybrid controls biofilm formation and type VI secretion system activity in Burkholderia cenocepacia

Burkholderia cenocepacia is an important opportunistic pathogen causing serious chronic infections in patients with cystic fibrosis (CF). Adaptation of B. cenocepacia to the CF airways may play an important role in the persistence of the infection. We have identified a sensor kinase-response regulator (BCAM0379) named AtsR in B. cenocepacia K56-2 that shares 19% amino acid identity with RetS from Pseudomonas aeruginosa. atsR inactivation led to increased biofilm production and a hyperadherent phenotype in both abiotic surfaces and lung epithelial cells. Also, the atsR mutant overexpressed and hypersecreted an Hcp-like protein known to be specifically secreted by the type VI secretion system (T6SS) in other gram-negative bacteria. Amoeba plaque assays demonstrated that the atsR mutant was more resistant to Dictyostelium predation than the wild-type strain and that this phenomenon was T6SS dependent. Macrophage infection assays also demonstrated that the atsR mutant induces the formation of actin-mediated protrusions from macrophages that require a functional Hcp-like protein, suggesting that the T6SS is involved in actin rearrangements. Three B. cenocepacia transposon mutants that were found in a previous study to be impaired for survival in chronic lung infection model were mapped to the T6SS gene cluster, indicating that the T6SS is required for infection in vivo. Together, our data show that AtsR is involved in the regulation of genes required for virulence in B. cenocepacia K56-2, including genes encoding a T6SS.

Expression of the Yersinia enterocolitica pYV-encoded type III secretion system is modulated by lipopolysaccharide O-antigen status

We show that the expression of a Yersinia enterocolitica O:8 pYV-encoded type III secretion system was altered in a rough mutant (YeO8-R) due to elevated levels of FlhDC. H-NS might underlie flhDC upregulation in YeO8-R, and the data suggest a relationship between the absence of O antigen and the expression of H-NS.

A predictive maintenance system for integral type faults based on support vector machines:An application to ion implantation

In semiconductor fabrication processes, effective management of maintenance operations is fundamental to decrease costs associated with failures and downtime. Predictive Maintenance (PdM) approaches, based on statistical methods and historical data, are becoming popular for their predictive capabilities and low (potentially zero) added costs. We present here a PdM module based on Support Vector Machines for prediction of integral type faults, that is, the kind of failures that happen due to machine usage and stress of equipment parts. The proposed module may also be employed as a health factor indicator. The module has been applied to a frequent maintenance problem in semiconductor manufacturing industry, namely the breaking of the filament in the ion-source of ion-implantation tools. The PdM has been tested on a real production dataset. © 2013 IEEE.

In vitro studies on the infection and replication of porcine circovirus type 2 in cells of the porcine immune system

Porcine circovirus type 2 (PCV2) nucleic acid and/or antigens are consistently observed in cells of monocytic morphology in lesions of pigs affected by post-weaning multisystemic wasting syndrome (PMWS). In this study, PCV2 antigen was detected in the cytoplasm of monocytes, pulmonary macrophages (PMs) and monocyte-derived macrophages exposed to the virus in vitro, by immunofluorescence analysis (IFA) and the phenotype of these cells confirmed by detection of monocytic cell surface markers using flow cytometry. Viral antigen was not observed in lymphocytic cells. Replication of the virus in PMs was investigated further by comparison to that observed in the continuous pig kidney cell line (PK15A) using quantitative virus titration, quantitative PCR and by the detection of double stranded DNA intermediates of viral replication by Southern blotting analyses. Although increases in viral DNA and levels of infectious virus progeny and the presence of replicative intermediates, indicative of viral replication, were observed in PK15A cells, no such changes were observed in PMs in spite of the fact that infectious virus, viral antigen and viral DNA persisted in the cells for at least the duration of the experiment. These results suggest that in vivo, monocytic cells may not represent the primary target for PCV2 replication. (C) 2003 Elsevier B.V. All rights reserved.

Quantification of Type VI secretion system activity in macrophages infected with Burkholderia cenocepacia

The Gram-negative bacterial type VI Secretion System (T6SS) delivers toxins to kill orinhibit the growth of susceptible bacteria, while others target eukaryotic cells. Deletionof atsR, a negative regulator of virulence factors in B. cenocepacia K56-2, increasesT6SS activity. Macrophages infected with a K56-2 ΔatsR mutant display dramaticalterations in their actin cytoskeleton architecture that rely on the T6SS, which isresponsible for the inactivation of multiple Rho-family GTPases by an unknownmechanism. We employed a strategy to standardize the bacterial infection ofmacrophages and densitometrically quantify the T6SS-associated cellular phenotype,which allowed us to characterize the phenotype of systematic deletions of each genewithin the T6SS cluster and ten vgrG encoding genes in K56-2 ΔatsR. None of thegenes from the T6SS core cluster and the individual vgrGs were directly responsiblefor the cytoskeletal changes in infected cells. However, a mutant strain with all vgrGgenes deleted was unable to cause macrophage alterations. Despite not being able toidentify a specific effector protein responsible for the cytoskeletal defects inmacrophages, our strategy resulted in the identification of the critical core componentsand accessory proteins of the T6SS assembly machinery and provides a screeningmethod to detect T6SS effectors targeting the actin cytoskeleton in macrophages byrandom mutagenesis.

A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

New insights into small molecules inhibitors and protein-protein interactions of VirB8 : a critical conserved component of the type IV secretion system.

Les systèmes bactériens de sécrétion de type IV (T4SS) sont constitués d’un ensemble de 8 à 12 protéines conservées. Ces dernières sont utilisées lors de la translocation de protéines, la translocation de complexes ADN-protéines mais aussi pour le transport de ces derniers au travers de la membrane cellulaire. Les T4SS, en tant que facteurs de virulence pour beaucoup de pathogènes comme Brucella suis, sont donc d’excellents modèles cibles pour le développement de médicaments d’antivirulence. Ces médicaments, en privant le pathogène de son facteur essentiel de virulence : le T4SS, constituent une alternative ou encore une amélioration des traitements antibiotiques utilisés actuellement. VirB8, un facteur d’assemblage conservé dans le T4SS, forme des dimères qui sont importants pour la fonction des T4SS dans ces pathogènes. De par ses interactions multiples, VirB8 est un excellent modèle pour l’analyse des facteurs d’assemblage mais aussi en tant que cible de médicaments qui empêcheraient son interaction avec d’autres protéines et qui, in fine, désarmeraient les bactéries en les privant de leur fonctions essentielles de virulence. À ce jour, nous savons qu’il existe un équilibre monomère-dimère et un processus d’homodimerization de VirB8 dont l’importance est vitale pour la fonctionnement biologique des T4SSs. En se basant sur des essais quantitatifs d’interaction, nous avons identifié (i) des sites potentiels d’interaction avec d’autres protéines VirB du T4SS mais aussi (ii) isolé des petites molécules inhibitrices afin de tester la fonction protéique de VirB8. Afin de déterminer les acides aminés importants pour l’hétérodimérization de VirB8 avec VirB10, nous avons effectué des expériences de mutagenèse aléatoire, de phage display et d’arrimage moléculaire in silico. Ces expériences ont démontré l’importance de trois acides aminés localisés sur le feuillet β : R160, S162, T164 et I165. Ces derniers seraient importants pour l’association de VirB8 avec VirB10 étant donné que leur mutagenèse entraine une diminution de la formation du complexe VirB8-VirB10. L’objectif actuel de notre projet de recherche est de pouvoir mieux comprendre mais aussi d’évaluer le rôle de VirB8 dans l’assemblage du T4SS. Grace à un méthode de criblage adaptée à partir de la structure de VirB8, nous avons pu identifié une petite molécule inhibitrice BAR-068, qui aurait un rôle prometteur dans l’inhibition du T4SS. Nous avons utilisé la spectroscopie par fluorescence, l’essai à deux hybrides, le cross-linking et la cristallographie afin de déterminer le mécanisme d'interaction existant entre VirB8 et BAR-068. Ces travaux pourraient permettre de nombreuses avancées, notamment en termes de compréhension des mécanismes d’inhibition du T4SS. Notre objectif ultime est de pouvoir caractériser la séquence d’évènements essentiels à l’assemblage et au fonctionnement du T4SS. De manière globale, notre projet de recherche permettrait de révéler les grands principes d’assemblage des protéines membranaires, les processus de sécrétion de protéines chez les bactéries mais aussi de proposer une nouvelle stratégie lors du développement de drogues antimicrobiennes.

A ‘Boscastle-type’ quasi-stationary convective system over the UK Southwest Peninsula

An investigation is presented of a quasi-stationary convective system (QSCS) which occurred over the UK Southwest Peninsula on 21 July 2010. This system was remarkably similar in its location and structure to one which caused devastating flash flooding in the coastal village of Boscastle, Cornwall on 16 August 2004. However, in the 2010 case rainfall accumulations were around four times smaller and no flooding was recorded. The more extreme nature of the Boscastle case is shown to be related to three factors: (1) higher rain rates, associated with a warmer and moister tropospheric column and deeper convective clouds; (2) a more stationary system, due to slower evolution of the large-scale flow; and (3) distribution of the heaviest precipitation over fewer river catchments. Overall, however, the synoptic setting of the two events was broadly similar, suggesting that such conditions favour the development of QSCSs over the Southwest Peninsula. A numerical simulation of the July 2010 event was performed using a 1.5-km grid length configuration of the Met Office Unified Model. This reveals that convection was repeatedly initiated through lifting of low-level air parcels along a quasi-stationary coastal convergence line. Sensitivity tests are used to show that this convergence line was a sea breeze front which temporarily stalled along the coastline due to the retarding influence of an offshore-directed background wind component. Several deficiencies are noted in the 1.5-km model’s representation of the storm system, including delayed convective initiation; however, significant improvements are observed when the grid length is reduced to 500 m. These result in part from an improved representation of the convergence line, which enhances the associated low-level ascent allowing air parcels to more readily reach their level of free convection. The implications of this finding for forecasting convective precipitation are discussed.

A thermoelastic system of memory type in noncylindrical domains

In this paper, we consider a hyperbolic thermoelastic system of memory type in domains with moving boundary. The problem models vibrations of an elastic bar under thermal effects according to the heat conduction law of Gurtin and Pipkin. Global existence is proved by using the penalty method of Lions. (c) 2007 Elsevier Inc. All rights reserved.

A new tick Kunitz type inhibitor, Amblyomin-X, induces tumor cell death by modulating genes related to the cell cycle and targeting the ubiquitin-proteasome system

The aim of this study was to evaluate the anti-tumor activity of Amblyomin-X, a serine protease Kunitz-type inhibitor. Amblyomin-X induced tumor mass regression and decreased number of metastatic events in a B16F10 murine melanoma model. Alterations on expression of several genes related to cell cycle were observed when two tumor cell lines were treated with Amblyomin-X. PSMB2, which encodes a proteasome subunit, was differentially expressed, in agreement to inhibition of proteasomal activity in both cell lines. In conclusion, our results indicate that Amblyomin-X selectively acts on tumor cells by inducing apoptotic cell death, possibly by targeting the ubiquitin-proteasome system. (C) 2010 Elsevier Ltd. All rights reserved.