Verification of programs relies on reasoning about the computations they perform. In engineering programs, many of these computations are non-linear. Although predicate abstraction enables model checking of programs with large state spaces, the decision procedures that currently support predicate abstraction are not able to handle such nonlinear computations. In this paper, we propose an approa...

Background & Aims: Staphylococcus aureus is one of the most common pathogens in nosocomial infections. Vancomycin is the most important therapeutic drug of choice for treatment of infections caused by methicillin-resistant Staphylococcus aureus (MRSA) strains. Therefore, vancomycin-resistant Staphylococcus aureus (VRSA) or vancomycin-intermediate Staphylococcus aureus (VISA) strains are warning...

Infections with Staphylococcus aureus with reduced susceptibility to vancomycin continue to be reported, including 2 cases caused by S. aureus isolates with full resistance to vancomycin. This review first outlines the definitions of vancomycin-intermediate S. aureus (VISA) and vancomycin-resistant S. aureus (VRSA) and risk factors for infection. Next, we describe the mechanisms of resistance a...

BACKGROUND Lifestyle is intimately related to health. A questionnaire that specifically scores the healthiness of lifestyle of Catalan adolescents is needed. The objective of this study was to develop and validate a scoring questionnaire called VISA-TEEN to assess the healthy lifestyle of young Catalans that can be answered quickly and user-friendly. METHODS A lifestyle questionnaire was deve...

Staphylococcus aureus (S. aureus) has proven to be a major pathogen with the emergence of methicillin-resistant S. aureus (MRSA) infections and recently with heteroresistant vancomycin-intermediate S. aureus (hVISA) and vancomycin-intermediate S. aureus (VISA) infections. Although vancomycin is traditionally a first-line and relatively effective antibiotic, its continued use is under question b...

Some techniques of controlling remotely the digital storage oscilloscope were proposed including VISA, VXIplug&play drivers, TVC and IVI-COM drivers. By means of GPIB and VISA, several application development environments could be used to develop remote control techniques to the digital storage oscilloscope. The programming language of Visual C++ was used to develop software. With the help of V...

In June 2000, vancomycin-intermediate Staphylococcus aureus (VISA) was isolated from a 27-year-old home health-care patient following a complicated cholecystectomy. Two VISA strains were identified with identical MICs to all antimicrobials tested except oxacillin and with closely related pulsed-field gel electrophoresis types. The patient was treated successfully with antimicrobial therapy, bil...