Contribution of TIR domain-containing adapter inducing IFN-beta-mediated IL-18 release to LPS-induced liver injury in mice.

BACKGROUND/AIMS: After treatment with heat-killed Propionibacterium acnes mice show dense hepatic granuloma formation. Such mice develop liver injury in an interleukin (IL)-18-dependent manner after challenge with a sublethal dose LPS. As previously shown, LPS-stimulated Kupffer cells secrete IL-18 depending on caspase-1 and Toll-like receptor (TLR)-4 but independently of its signal adaptor myeloid differentiation factor 88 (MyD88), suggesting importance of another signal adaptor TIR domain-containing adapter inducing IFN-beta (TRIF). Nalp3 inflammasome reportedly controls caspase-1 activation. Here we investigated the roles of MyD88 and TRIF in P. acnes-induced hepatic granuloma formation and LPS-induced caspase-1 activation for IL-18 release. METHODS: Mice were sequentially treated with P. acnes and LPS, and their serum IL-18 levels and liver injuries were determined by ELISA and ALT/AST measurement, respectively. Active caspase-1 in LPS-stimulated Kupffer cells was determined by Western blotting. RESULTS: Macrophage-ablated mice lacked P. acnes-induced hepatic granuloma formation and LPS-induced serum IL-18 elevation and liver injury. Myd88(-/-) Kupffer cells, but not Trif(-/-) cells, exhibited normal caspase-1 activation upon TLR4 engagement in vitro. Myd88(-/-) mice failed to develop hepatic granulomas after P. acnes treatment and liver injury induced by LPS challenge. In contrast, Trif(-/-) mice normally formed the hepatic granulomas, but could not release IL-18 or develop the liver injury. Nalp3(-/-) mice showed the same phenotypes of Trif(-/-) mice. CONCLUSIONS: Propionibacterium acnes treatment MyD88-dependently induced hepatic granuloma formation. Subsequent LPS TRIF-dependently activated caspase-1 via Nalp3 inflammasome and induced IL-18 release, eventually leading to the liver injury.

A study on the expressive power of some fragments of the modal µ-Calculus

Résumé Le μ-calcul est une extension de la logique modale par des opérateurs de point fixe. Dans ce travail nous étudions la complexité de certains fragments de cette logique selon deux points de vue, différents mais étroitement liés: l'un syntaxique (ou combinatoire) et l'autre topologique. Du point de vue syn¬taxique, les propriétés définissables dans ce formalisme sont classifiées selon la complexité combinatoire des formules de cette logique, c'est-à-dire selon le nombre d'alternances des opérateurs de point fixe. Comparer deux ensembles de modèles revient ainsi à comparer la complexité syntaxique des formules as¬sociées. Du point de vue topologique, les propriétés définissables dans cette logique sont comparées à l'aide de réductions continues ou selon leurs positions dans la hiérarchie de Borel ou dans celle projective. Dans la première partie de ce travail nous adoptons le point de vue syntax¬ique afin d'étudier le comportement du μ-calcul sur des classes restreintes de modèles. En particulier nous montrons que: (1) sur la classe des modèles symétriques et transitifs le μ-calcul est aussi expressif que la logique modale; (2) sur la classe des modèles transitifs, toute propriété définissable par une formule du μ-calcul est définissable par une formule sans alternance de points fixes, (3) sur la classe des modèles réflexifs, il y a pour tout η une propriété qui ne peut être définie que par une formule du μ-calcul ayant au moins η alternances de points fixes, (4) sur la classe des modèles bien fondés et transitifs le μ-calcul est aussi expressif que la logique modale. Le fait que le μ-calcul soit aussi expressif que la logique modale sur la classe des modèles bien fondés et transitifs est bien connu. Ce résultat est en ef¬fet la conséquence d'un théorème de point fixe prouvé indépendamment par De Jongh et Sambin au milieu des années 70. La preuve que nous donnons de l'effondrement de l'expressivité du μ-calcul sur cette classe de modèles est néanmoins indépendante de ce résultat. Par la suite, nous étendons le langage du μ-calcul en permettant aux opérateurs de point fixe de lier des occurrences négatives de variables libres. En montrant alors que ce formalisme est aussi ex¬pressif que le fragment modal, nous sommes en mesure de fournir une nouvelle preuve du théorème d'unicité des point fixes de Bernardi, De Jongh et Sambin et une preuve constructive du théorème d'existence de De Jongh et Sambin. RÉSUMÉ Pour ce qui concerne les modèles transitifs, du point de vue topologique cette fois, nous prouvons que la logique modale correspond au fragment borélien du μ-calcul sur cette classe des systèmes de transition. Autrement dit, nous vérifions que toute propriété définissable des modèles transitifs qui, du point de vue topologique, est une propriété borélienne, est nécessairement une propriété modale, et inversement. Cette caractérisation du fragment modal découle du fait que nous sommes en mesure de montrer que, modulo EF-bisimulation, un ensemble d'arbres est définissable dans la logique temporelle Ε F si et seulement il est borélien. Puisqu'il est possible de montrer que ces deux propriétés coïncident avec une caractérisation effective de la définissabilité dans la logique Ε F dans le cas des arbres à branchement fini donnée par Bojanczyk et Idziaszek [24], nous obtenons comme corollaire leur décidabilité. Dans une deuxième partie, nous étudions la complexité topologique d'un sous-fragment du fragment sans alternance de points fixes du μ-calcul. Nous montrons qu'un ensemble d'arbres est définissable par une formule de ce frag¬ment ayant au moins η alternances si et seulement si cette propriété se trouve au moins au n-ième niveau de la hiérarchie de Borel. Autrement dit, nous vérifions que pour ce fragment du μ-calcul, les points de vue topologique et combina- toire coïncident. De plus, nous décrivons une procédure effective capable de calculer pour toute propriété définissable dans ce langage sa position dans la hiérarchie de Borel, et donc le nombre d'alternances de points fixes nécessaires à la définir. Nous nous intéressons ensuite à la classification des ensembles d'arbres par réduction continue, et donnons une description effective de l'ordre de Wadge de la classe des ensembles d'arbres définissables dans le formalisme considéré. En particulier, la hiérarchie que nous obtenons a une hauteur (ωω)ω. Nous complétons ces résultats en décrivant un algorithme permettant de calculer la position dans cette hiérarchie de toute propriété définissable.

Predictors of HIV-protection behaviour in HIV-positive men who have sex with casual male partners: a test of the explanatory power of an extended Information-Motivation-Behavioural Skills model.

This prospective study applies an extended Information-Motivation-Behavioural Skills (IMB) model to establish predictors of HIV-protection behaviour among HIV-positive men who have sex with men (MSM) during sex with casual partners. Data have been collected from anonymous, self-administered questionnaires and analysed by using descriptive and backward elimination regression analyses. In a sample of 165 HIV-positive MSM, 82 participants between the ages of 23 and 78 (M=46.4, SD=9.0) had sex with casual partners during the three-month period under investigation. About 62% (n=51) have always used a condom when having sex with casual partners. From the original IMB model, only subjective norm predicted condom use. More important predictors that increased condom use were low consumption of psychotropics, high satisfaction with sexuality, numerous changes in sexual behaviour after diagnosis, low social support from friends, alcohol use before sex and habitualised condom use with casual partner(s). The explanatory power of the calculated regression model was 49% (p<0.001). The study reveals the importance of personal and social resources and of routines for condom use, and provides information for the research-based conceptualisation of prevention offers addressing especially people living with HIV ("positive prevention").

The discriminatory power of MALDI-TOF mass spectrometry to differentiate between isogenic teicoplanin-susceptible and teicoplanin-resistant strains of methicillin-resistant Staphylococcus aureus.

To explore the discriminatory power of matrix-assisted laser desorption ionization-time of flight mass spectrometry (MALDI-TOF MS) for detecting subtle differences in isogenic isolates, we tested isogenic strains of Staphylococcus aureus differing in their expression of resistance to methicillin or teicoplanin. More important changes in MALDI-TOF MS spectra were found with strains differing in methicillin than in teicoplanin resistance. In comparison, very minor or no changes were recorded in pulsed-field gel electrophoresis profiles or peptidoglycan muropeptide digest patterns of these strains, respectively. MALDI-TOF MS might be useful to detect subtle strain-specific differences in ionizable components released from bacterial surfaces and not from their peptidoglycan network.