We introduce the concepts of second-order radial composed tangent derivative, second-order radial tangent derivative, second-order lower radial composed tangent derivative, and second-order lower radial tangent derivative for set-valued maps by means of a radial tangent cone, second-order radial tangent set, lower radial tangent cone, and second-order lower radial tangent set, respectively. Som...

Objectives: Determining the necessity of cesarean section (C/S) due to failure of induction of labor (IOL) is essential to avoid fetus distress. In this study, the performance of the Bishop score and trans-vaginal ultrasound measurements were compared to predict successful IOL, and the most useful cut-off points were estimated. Methods: Nulliparous women with gestation age of > 37 weeks with a ...

The pose detection of three-dimensional (3-D) objects from two-dimensional (2-D) images is an important issue in computer vision and robotics applications. Specific examples include automated assembly, automated part inspection, robotic welding, and human robot interaction, as well as a host of others. Eigendecomposition is a common technique for dealing with this issue and has been applied to ...

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected. Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set...

Velocity map imaging (VMI) is used in mass spectrometry and in angle resolved photo-electron spectroscopy to determine the lateral momentum distributions of charged particles accelerated towards a detector. VM-images are composed of projected Newton spheres with a common centre. The 2D images are usually evaluated by a decomposition into base vectors each representing the 2D projection of a set...

Blind separation of signals through the info-max algorithm may be viewed as maximum likelihood learning in a latent variable model. In this paper we present an alternative approach to maximum likelihood learning in these models, namely Bayesian inference. It has already been shown how Bayesian inference can be applied to determine latent dimensionality in principal component analysis models (Bi...

We propose a block-based scene reconstruction method using multiple stereo pairs of spherical images. We assume that the urban scene consists of axis-aligned planar structures (Manhattan world). Captured spherical stereo images are converted into six central-point perspective images by cubic projection and façade alignment. Depth information is recovered by stereo matching between images. Seman...