OBJECTIVE Postoperative vasoplegic syndrome (PVS) is a potentially lethal condition with increased mortality and other postoperative morbidities. Many previous studies have examined the outcomes associated with on-pump coronary artery bypass grafting (CABG) surgery, little is known about the incidence of PVS after off-pump CABG. METHODS From November 21, 2005 to June 9, 2006, 334 patients und...

INTRODUCTION Levosimendan is approved for left heart failure and is also used in right heart failure to reduce right ventricular afterload. Despite the fact that pulmonary arteries (PAs) and pulmonary veins (PVs) contribute to cardiac load, their responses to levosimendan are largely unknown. MATERIALS AND METHODS Levosimendan-induced vasorelaxation of PAs and PVs was studied in precision-cut...

The primo vascular system (PVS) floating in lymph fluid has mostly been observed in large caliber ducts around the caudal vena cava and the thoracic duct of rabbits, rats, and mice. But the PVS has not been traced up to the lymph nodes. It has not been established whether the PVS leaves the lymph vessel through the lymph vessel wall or it enters the lymph nodes. Therefore, observing the PVS ent...

This tutorial provides an overview of the PVS strategy language, and explains how to define new PVS strategies and load them into PVS, and how to create a strategy package. It then discusses several useful techniques that can be used in developing user strategies, and provides examples that illustrate many of these techniques.

BACKGROUND Phantom vibration syndrome (PVS) and phantom ringing syndrome (PRS) occur in many cell phone users. Previous studies have indicated an association between PVS/PRS and job stress. The aim of this study was to determine if PVS/PRS were also associated with occupational burnout. METHODS This was a cross-sectional study of 384 employees of a high-tech company in northern Taiwan. They a...

In this paper we present a new strategy for PVS that implements a square root and division elimination in order to use automatic arithmetic strategies that were not able to deal with these operations in a rst place. This strategy relies on a PVS formalization of the square root and division elimination and deep embedding of PVS expressions inside PVS. Therefore using computational re ection and...

We describe PVS's capabilities for representing tabular speci cations of the kind advocated by Parnas and others, and show how PVS's Type Correctness Conditions (TCCs) are used to ensure certain well-formedness properties. We then show how these and other capabilities of PVS can be used to represent the AND/OR tables of Leveson and the Decision Tables of Sherry, and we demonstrate how PVS's TCC...

PVSio is a conservative extension to the PVS prelude library that provides basic input/output capabilities to the PVS ground evaluator. It supports rapid prototyping in PVS by enhancing the specification language with built-in constructs for string manipulation, floating point arithmetic, and input/output operations.