Background Several studies have shown the potential of semi-quantitative and fully-quantitative analysis of cardiovascular magnetic resonance (CMR) perfusion images in the diagnosis of coronary artery disease (CAD). However, estimates of myocardial blood flow (MBF) rely on accurate selection of important timing parameters. In this study, we evaluate how the identification of the timing of the S...

We show that, in a fairly general setting including higher-types, may, must and probabilistic testing are semidecidable. The case of must testing is perhaps surprising, as its mathematical definition involves universal quantification over the infinity of possible outcomes of a non-deterministic program. The other two involve existential quantification and integration. We also perform first step...

Abstract is NOT available.

Accurate quantification of parasite density in the human host is essential for understanding the biology and pathology of malaria. Semi-quantitative molecular methods are widely applied, but the need for an external standard curve makes it difficult to compare parasite density estimates across studies. Droplet digital PCR (ddPCR) allows direct quantification without the need for a standard curv...

We define a property called nondegeneracy for Bell inequalities, which describes the situation that in setting, if inequality and involved local measurements are fixed, any quantum state with given dimension its orthogonal cannot violate remarkably simultaneously. By choosing proper nondegenerate inequality, we prove an unknown bipartite of dimension, based on measurement statistics only, can p...

abstract is not available.

The aim of this study was to develop a semi automatic image processing algorithm (AIPA) based on the simultaneous information provided by X-ray and radioisotopic images to determine the biokinetic models of Tc-99m radiopharmaceuticals from quantification of image radiation activity in murine models. These radioisotopic images were obtained by a CCD (charge couple device) camera coupled to an ul...

AIM To examine effects of computed tomography (CT) image acquisition/reconstruction parameters on clot volume quantification in vitro for research method validation purposes. METHODS This study was performed in conformance with HIPAA and IRB Regulations (March 2015-November 2016). A ten blood clot phantom was designed and scanned on a dual-energy CT scanner (SOMATOM Force, Siemens Healthcare ...