Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often flatten out the behavior of a target system before verification. Inherent modularities, either explicit or implicit, functional or structural, are not exploited by these tools and algorithms. In this work, we show how as...

Inactivating mutations in the Staphylococcus aureus virulence regulator agr are associated with worse outcomes in bacteremic patients. However, whether agr dysfunction is primarily a cause or a consequence of early bacteremia is unknown. Analysis of 158 paired S. aureus clones from blood and nasal carriage sites in individual patients revealed that recovery of an agr-defective mutant from blood...

The effects of the accessory gene regulator (agr) and glucose on staphylococcal enterotoxin type C (SEC) gene (sec+) expression were examined. For the agr studies, a Tn551 insertionally inactivated agr was transferred into two different sec+ Staphylococcus aureus strains. Western blot (immunoblot) analysis showed that each of the sec+ Agr- derivatives produced less extracellular SEC than their ...

OBJECTIVE Characterization of Staphylococcus aureus clinical isolates derived from lower respiratory tract infections (LRTIs), and correlation between the functionality of the accessory gene regulator (Agr) and genotypic and phenotypic characteristics, clinical variables and clinical outcome. METHODS S aureus isolates derived from LRTIs and control groups (nasal carriage and bacteraemia) were...

Methicillin-resistant Staphylococcus aureus (MRSA) is one of the leading causes of nosocomial infections and a major public health concern worldwide. During the last decade, MRSA of CC398 have emerged as important colonizers of livestock. These strains also represent an increasing cause of human infections. A recent study reporting a new dominant spa type among MRSA from Finish fattening pigs (...

Foot ulceration is a major complication of diabetes. Several microorganisms can colonize these wounds, being Staphylococcus aureus frequently isolated. It produces numerous virulence factors controlled by Quorum-sensing system, encoded by agr (accessory gene regulator). Currently four distinct genetic agr groups have been established. Quorum-sensing system of a collection of 23 S. aureus DFU is...

This work quantifies the agricultural water footprint (WF) of production (WFprod, agr) and consumption (WFcons, agr) and the resulting net virtual water import (netVWi, agr) of 365 European river basins for a reference period (REF, 1996–2005) and two diet scenarios (a healthy diet based upon food-based dietary guidelines (HEALTHY) and a vegetarian (VEG) diet). In addition to total (tot) amounts...

BACKGROUND Pretreatment nutritional and immunological statuses play an indispensable role in predicting the outcome of patients with various types of malignancies. The purpose of this study is to evaluate the predictive value of albumin/globulin ratio (AGR) in overall survival (OS) and recurrence in patients with hepatocellular carcinoma (HCC) following radical hepatic carcinectomy. PATIENTS ...

The staphylococcal virulon is activated by the density-sensing agr system, which is autoinduced by a short peptide (autoinducing peptide [AIP]) processed from a propeptide encoded by agrD. A central segment of the agr locus, consisting of the C-terminal two-thirds of AgrB (the putative processing enzyme), AgrD, and the N-terminal half of AgrC (the receptor), shows striking interstrain variation...

The molecular characteristics of methicillin-resistant Staphylococcus aureus (MRSA) isolated from neonates in a neonatal intensive care unit (NICU) were investigated by multilocus sequence typing (MLST), staphylocoagulase (SC) genotyping, staphylococcal cassette chromosome mec (SCCmec) typing, accessory gene regulator (agr) typing, and the presence of Panton-Valentine leukocidin (PVL). Among th...