Email alerting service here corner of the article or click article-sign up in the box at the top right-hand Receive free email alerts when new articles cite this

from [TW96]) We reveal an intimate connection between semidirect products of nite semigroups and substitution of formulas in linear temporal logic. We use this connection to obtain an algebraic characterization of the `until' hierarchy of linear temporal logic; the k-th level of that hierarchy is comprised of all temporal properties that are expressible by a formula of nesting depth k in the `u...

The influence of different environmental factors on methane oxidation and degradation of hydrochlorofluorocarbons (HCFCs) was investigated in microcosms containing soil sampled at Skellingsted Landfill, Denmark. The soil showed a high capacity for methane oxidation resulting in a maximum oxidation rate of 104 microg CH4 g(-1) h(-1) and a low affinity of methane with a half-saturation constant o...

All linguistic and psycholinguistic theories aim to provide psychologically valid analyses of particular grammatical patterns and the relationships that hold among them. Until recently, no tools were available to distinguish neural correlates of particular grammatical constructions that shared the same content words, propositional meaning, and degree of surface complexity, such as the dative (e...

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...