In this paper we present a new system called CDB-PV that uses constraint databases (CDBs) for program verification (PV). The CDB-PV system was implemented in C++ and tested on several sample programs that are difficult to verify using other methods. The CDB-PV system also runs efficiently for the sample programs. The CDB-PV approach is similar to abstract interpretation but it allows non-convex...

The Rickettsia bacteria include the aetiological agents for the human spotted fever (SF) disease. In the present study, a SF group Rickettsia amblyommii related bacterium was detected in a field collected Amblyomma sculptum (Amblyomma cajennense species complex) tick from a Brazilian SF endemic site in southeastern Brazil, in the municipality of Juiz de Fora, state of Minas Gerais. Genetic anal...

Partially shaded photovoltaic (PV) modules typically exhibit additional difficulties in tracking the maximum power point since their power–voltage characteristics are complex and may have multiple local maxima. For this reason, conventional techniques fail to track the maximum power point effectively if the PV array is partially shaded or some of its cells are damaged. This paper presents a nov...

This paper presents the state of the PV market in Greece, the achievements so far, the current situation and proposals for next years. The PV market environment in terms of new PV development policies is presented, such as netmetering. The net-metering long awaited program framework is expected to regenerate the PV market in Greece, It was finally introduced at the end of 2014 and the program p...

High concentrations of DDT and metabolites (ΣDDT) have been detected in sediment and the demersal flatfish hornyhead turbot (Pleuronichtys verticalis) collected from Palos Verdes (PV), California, USA, a site contaminated with over 100 metric tons of DDT throughout 1960s-70s. This study was conducted to assess the transfer of ΣDDT from PV-sediment into polychaetes (Neanthes arenaceodentata) and...

Cortical interneurons are classified into several subtypes that contribute to cortical oscillatory activity. Parvalbumin (PV)-expressing cells, a type of inhibitory interneuron, are involved in the gamma oscillations of local field potentials (LFPs). Under ketamine-xylazine anesthesia or sleep, mammalian cortical circuits exhibit slow oscillations in which the active-up state and silent-down st...

Worldwide interest in the deployment of photovoltaic generation (PV) is rapidly increasing. Operating experience with large PV plants, however, demonstrates that large, rapid changes in the output of PV plants are possible. Early studies of PV grid impacts suggested that short-term variability could be a potential limiting factor in deploying PV. Many of these early studies, however, lacked hig...

The current research seeks to maintain high photovoltaic (PV) efficiency and increased operating PV life by maintaining them at a lower temperature. Solid-liquid phase change materials (PCM) are integrated into PV panels to absorb excess heat by latent heat absorption mechanism and regulate PV temperature. Electrical and thermal energy efficiency analysis of PV-PCM systems is conducted to evalu...

INTRODUCTION Venous-to-arterial carbon dioxide difference (Pv-aCO2) may reflect the adequacy of blood flow during shock states. We sought to test whether the development of Pv-aCO2 during the very early phases of resuscitation is related to multi-organ dysfunction and outcomes in a population of septic shock patients resuscitated targeting the usual oxygen-derived and hemodynamic parameters. ...

Light truck vehicles (LTV) are becoming more popular on US highways. This creates greater opportunity for collisions with passenger vehicles (PV). The mismatch in weight, stiffness, and height between LTV and PV has been surmised to result in increased fatalities among PV occupants when their vehicles collide with LTV. We reviewed cases of vehicle mismatch collisions in the Seattle Crash Injury...