This paper aims to provide support for the view that individual concepts are basic to natural language semantics. First, the use of constant individual concepts allows us to maintain Kripke’s view of proper names as nondescriptional rigid designators in the face of problems created by so-called “empty names.” And second, the distinction between constant and variable individual concepts can func...

We give a partial positive answer to a conjecture of Tyurin ([28]). Indeed we prove that on a general quintic hypersurface of P every arithmetically Cohen–Macaulay rank 2 vector bundle is infinitesimally rigid.

Registering accurately point clouds from a cheap low-resolution sensor is a challenging task. Existing rigid registration methods failed to use the physical 3D uncertainty distribution of each point from a real sensor in the dynamic alignment process mainly because the uncertainty model for a point is static and invariant and it is hard to describe the change of these physical uncertainty model...

We develop a Bayesian model for the alignment of two point configurations under the full similarity transformations of rotation, translation and scaling. Other work in this area has concentrated on rigid body transformations, where scale information is preserved, motivated by problems involving molecular data; this is known as form analysis. We concentrate on a Bayesian formulation for statisti...

Motivation: Cellular Electron CryoTomography (CECT) is an emerging 3D imaging technique that visualizes subcellular organization of single cells at sub-molecular resolution and in near-native state. CECT captures large numbers of macromolecular complexes of highly diverse structures and abundances. However, the structural complexity and imaging limits complicate the systematic de novo structura...

Small-animal positron-emission tomography/computed tomography (PET/CT) scanners provide anatomical and molecular imaging, which enables the joint visualization and analysis of both types of data. A proper alignment calibration procedure is essential for small-animal imaging since resolution is much higher than that in human devices. This work presents an alignment phantom and two different cali...

We compared structure alignments generated by several protein structure comparison programs to determine whether existing methods would satisfactorily align residues at a highly conserved position within an immunogenic loop in ribosome inactivating proteins (RIPs). Using default settings, structure alignments generated by several programs (CE, DaliLite, FATCAT, LGA, MAMMOTH, MATRAS, SHEBA, SSM)...

BACKGROUND New algorithms were evaluated for their efficacy in detecting and quantifying serial changes in myocardial perfusion from single photon emission computed tomography (SPECT). METHODS AND RESULTS We generated 72 simulations with various left ventricular positions, sizes, count rates, and perfusion defect severities using the nonuniform rational B-splines (NURBs)-based CArdiac Torso (...