Parallel PV is based on the sequential PV model-checker. Sequential PV is an depth-first LTL-X model-checker for an enhanced subset of the Promela language. Parallel PV is a breadth-first safety-only model-checker. It capitalizes on PV’s two-phase partial-order reduction algorithm by carrying out partial order reduction steps with no communication, and performs state space distribution at globa...

To clarify the determinants of pulmonary valve (PV) motion in pulmonary hypertension, we examined the correlations among PV echo patterns, the pulmonary artery (PA) flow curve just above the PA orifice and the pulmonary artery-right ventricle (PA-RV) pressure gradient. By constricting the PA, we could produce a variety of PV echo patterns, including midsystolic semiclosure in open-chest dogs. T...

After setting PhotoVoltaic (PV) plant up, it needs to monitor its energy performance in order to verify the correct or incorrect operation. For this aim, PV plants can be equipped with simple dataloggers or SCADA systems. When several PV plants have to be monitored, a unique supervision centre is implemented, even if each PV plant is independent from the others. From the point of view of storin...

The optimal hybridization of photovoltaic (PV) and thermoelectric (TE) devices has long been considered ideal for the efficient harnessing solar energy. Our hybrid approach uses full spectrum solar energy via lossless coupling between PV and TE devices while collecting waste energy from thermalization and transmission losses from PV devices. Achieving lossless coupling makes the power output fr...

Background: Benign prostatic hyperplasia (BPH), a non-malignant enlargement of the prostate gland, is the most common benign tumour found in men. BPH is responsible for the development of lower urinary tract symptoms (LUTS). However, there have been contradictory reports about the correlation between the prostate volume (PV) and development of BPH symptoms. The aim of this study was to find if ...

In rat visual cortex, forward and feedback interareal pathways innervate both pyramidal and gamma-aminobutyric acid (GABA)ergic (Johnson and Burkhalter [1996] J. Comp. Neurol. 368:383-398). GABAergic neurons consist of different cell types of which the largest group expresses parvalbumin (PV; Gonchar and Burkhalter [1997] Cereb. Cortex 4:347-358). Here, we report that PV neurons in layers 2/3 a...

BACKGROUND Thyroid disorders may affect all of the organ systems of the body and they are also highly associated with a wide variety of skin disorders. The aim of this study was to investigate the prevalence of thyroid function abnormalities and thyroid autoimmunity in patients with pemphigus vulgaris (PV) and to determine the association between thyroid disorders and clinical involvement and s...

BACKGROUND AND PURPOSE Presence of bone marrow edema (BME) in osteoporotic vertebral compression fractures (VCF) detected by MR imaging as selection criterion for percutaneous vertebroplasty (PV) is speculative. To clarify significance of BME in VCF, we assessed pain response after PV in patients with VCF with full BME versus patients with VCF with absent BME. METHODS From a cohort of patient...

Esaki, Takanori, Hideyo Suzuki, Michelle Cook, Kazuaki Shimoji, Sheue-Yann Cheng, Louis Sokoloff, and Jacques Nunez. Cardiac glucose utilization in mice with mutated and -thyroid hormone receptors. Am J Physiol Endocrinol Metab 287: E1149–E1153, 2004. First published August 10, 2004; doi:10.1152/ajpendo.00078. 2004.—Abnormal thyroid function is usually associated with altered cardiac function. ...

Neocortical pyramidal cells (PYRs) receive synaptic inputs from many types of GABAergic interneurons. Connections between parvalbumin (PV)-positive, fast-spiking interneurons ("PV cells") and PYRs are characterized by perisomatic synapses and high-amplitude, short-latency IPSCs. Here, we present novel methods to study the functional influence of PV cells on layer 5 PYRs using optogenetics combi...