A methicillin-resistant (MR) Staphylococcus epidermidis strain was isolated from a saddle horse affected by osteolysis. MR coagulase-negative staphylococci (MRCNS) were isolated from 11 of 14 (78.8%) horses housed in the same riding club. By typing of the SCCmec region, almost the strains displayed a non typeable (NT) pattern and possessed the ccr type 2. Altogether, the high prevalence of MRCN...

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank res...

Extending a result of the first author and Katsura, we prove that for every UHF algebra [Formula: see text] infinite type, in uncountable cardinality there are nonisomorphic approximately matricial C*-algebras with same group as text]. These algebras “twisted” by prescribed canonical commutation relations (CCR), they can also be considered nonseparable generalizations noncommutative tori.

BACKGROUND Methicillin-resistant coagulase-negative staphylococci (MR-CoNS) are opportunistic pathogens and serve as a large reservoir of staphylococcal cassette chromosome mec (SCCmec). Characterization of SCCmec in MR-CoNS can generate useful information on the mobilization and evolution of this element. METHODOLOGY/PRINCIPAL FINDINGS Non-repetitive MR-CoNS clinical isolates (n = 84; 39 S. ...