objective: although coronary artery disease (cad) is the leading cause of death in type 2 diabetic patients, it is frequently asymptomatic. myocardial perfusion imaging (mpi) is reported to show ischemia in a significant number of asymptomatic diabetic patients. we studied the prevalence and severity of myocardial perfusion defects in asymptomatic diabetic patients and its clinical impact. meth...

Introduction: We aimed to assess whether the vasodilator effect of oral dipyridamole on the left ventricular systolic function in patients with suspected CAD is different from that of intravenous (IV) dipyridamole using Tc-99m MIBI myocardial perfusion gated SPECT. Methods: Eighty-nine patients (17 M / 72 W; 61 ± 10 years) were enrolled in this study. The patients underwent a dipyridamole stre...

abstract is not available.

Probabilistic models of natural images are usually evaluated by measuring performance on rather indirect tasks, such as denoising and inpainting. A more direct way to evaluate a generative model is to draw samples from it and to check whether statistical properties of the samples match the statistics of natural images. This method is seldom used with high-resolution images, because current mode...

We consider models of polling systems where switching times between channels are composed of two parts: walking times required to move from one channel (station) to another, and switch-in times that are incurred only when the server enters a station to render service. We analyze three Gated-type systems: (i) Cyclic polling with Gated regime, (ii) Cyclic polling with Globally-Gated regime, and (...

Abstract:Gating of the clock signal in VLSI chips is nowadays a mainstream methodology for reducing switching power consumption.several techniques to reduce dynamic power of which clock gating is predominant.clock gating is employed at all levels:system architecture,block design,logic design and gates.three gating methods are known.the most popular is synthesis based on the logic of underlying ...

Modern high-performance cache implementations use subarrays to reduce the capacitive load on the bitlines and achieve faster access time [6]. To overlap bitline precharging time with address decoding and wordline assertion, caches typically precharge all subarrays simultaneously prior to a cache access. Though only a small number of subarrays are accessed on a cache access, precharging all suba...

Formal analysis is a very powerful verification technique, but it has usually been regarded as a method to be used only by expert verification engineers. Recently, standard assertion formats, improved technology, and pragmatic methodologies have all contributed to make formal analysis very useful for designers as well. At multiple teams within STMicroelectronics, formal analysis with Incisive F...