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...

• J Penny, A. Eaton, P. Bishop and R. Bloomfield, “The Practicalities of Goal-Based Safety Regulation”, paper in Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK, 6-8 February 2001, Felix Redmill and Tom Anderson (eds.), Springer, 2001, ISBN: 1-85233-411-8, pages 35-48 • P.G. Bishop, R.E Bloomfield, P.D.F. Froome “Justifying the use of softwa...

The paper presents a theorem for representation a given cone as a Bishop–Phelps cone in normed spaces and studies interior and separation properties for Bishop–Phelps cones. The representation theorem is formulated in the form of a necessary and sufficient condition and provides relationship between the parameters determining the BishopPhelps cone. The necessity is given in reflexive Banach spa...

One of the most successful relationships for effective stresses on unsaturated soils was proposed by Bishop in the middle of the last century. However, only recently Bishop ́s effective stress equation has been implemented in various constitutive models for unsaturated soils. These models have the advantage of naturally include the coupling between the hydraulic and the mechanical behavior exper...

OBJECTIVE To evaluate the tolerability of cervical insulin-like growth factor binding protein 1 (IGFBP-1) and its value as a predictor of successful labour induction, compared with Bishop score and transvaginal ultrasound (TVUS) cervical length. DESIGN A prospective study. SETTING A tertiary hospital in Malaysia. POPULATION A cohort of 193 term nulliparous women with intact membranes. M...

OBJECTIVES To compare transvaginal sonography for cervical length measurement and digital examination for Bishop score assessment in women undergoing labor induction at term, to assess their tolerability (in terms of pain) and ability to predict need for Cesarean delivery. METHODS A prospective study was performed on 249 women admitted for labor induction. Cervical length was measured using t...

One of the most effective parameters in economics of open-pit mines is the pit slope angle, so that the slope angle more than the optimum value increases the probability of a large failure in the pit wall and the slope angle less than the optimum value leads to increasing stripping ratio and reducing net present value of mine. Therefore, in this paper, considering the limit equilibrium methods ...