IL-22 plays an important role in mucosal epithelial cell homeostasis. Using a dextran sodium sulfate-induced mouse model of acute colitis, we observed an IL-23-dependent up-regulation of IL-22 in the middle and distal colon at the onset of epithelial cell damage. This heightened IL-22 correlated with an influx of innate immune cells, suggesting an important role in colonic epithelial protection...

BACKGROUND Interleukin-22 (IL-22) is a member of the IL-10 family of anti-inflammatory cytokines that mediates epithelial immunity. IL-22 expression was found to be increased in patients with ulcerative colitis (UC). Whether genetic polymorphisms of IL-22 also influence UC risk is still unknown. The purpose of this study was to investigate the association between the IL-22 gene polymorphisms (-...

We study enumerative and homological properties of the Rees product of the cubical lattice with the chain. We give several explicit formulas for the Möbius function. The last formula is expressed in terms of the permanent of a matrix and is given by a bijective proof. Résumé. Nous étudions des propriétés énumératives et homologiques du produit de Rees du treillis cubique avec la chaı̂ne. Nous do...

We determined whether human NK cells could contribute to immune defenses against Mycobacterium tuberculosis through production of IL-22. CD3(-)CD56(+) NK cells produced IL-22 when exposed to autologous monocytes and gamma-irradiated M. tuberculosis, and this depended on the presence of IL-15 and IL-23, but not IL-12 or IL-18. IL-15-stimulated NK cells expressed 10.6 times more DAP10 mRNA compar...

1.1.8. In any vector space V , show that (a+ b)(x+y) = ax+ay+ bx+ by for any x, y ∈ V and any a, b ∈ F . Proof. Let x, y ∈ V and a, b ∈ F . Note that (a + b) ∈ F (it is a scalar). By (VS7 ), we have that (a + b)(x + y) = (a + b)x + (a + b)y. By (VS8 ), (a + b)x = ax + bx. Likewise, (a + b)y = ay + by. Thus, (a+ b)x+ (a+ b)y = ax+ bx+ ay + by. Finally, by (VS1 ), we have (a+ b)(x+ y) = ax+ ay + ...

The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The evaluation is in terms of the number of problems solved, the number of acceptable proofs and models produced, and the average runtime for problems solved, in the context of a bounded number of eligible problems chosen from the TPTP problem library, and a specified time limi...