External uniqueness is a surprising new way to add unique references to an OOPL. The idea is that an externally unique reference is the only reference into an aggregate from outside the aggregate. Internal references which do not escape the boundary of the aggregate are innocuous and therefore permitted. Based on ownership types, our proposal not only overcomes an abstraction problem from which...

Doubly censoring scheme, which includes left as well as right censored observations, is frequently observed in practical studies. In this paper we introduce a new interval say tracking interval for comparing the two rival models when the data are doubly censored. We obtain the asymptotic properties of maximum likelihood estimator under doubly censored data and drive a statistic for testing the ...

introduction: the purpose of this in vitro study was to compare the accuracy of the new electronic apex locator raypex5 with radiography for working length determination of straight and curved root canals. materials and methods: twenty straight and single canals of maxillary central teeth and twenty curved mesiobuccal canals of mandibular molar teeth were used. access cavities were prepared and...

Stick models are widely used in studying the behaviour of straight as well as skew bridges and viaducts subjected to earthquakes while carrying out preliminary studies. The application of such models to highly curved bridges continues to pose challenging problems. A viaduct proposed in the foothills of the Himalayas in Northern India is chosen for the study. It is having 8 simply supported span...

We prove strong uniqueness for a parabolic SPDE involving both the solution v(t, x) and its derivative ∂xv(t, x). The familiar YamadaWatanabe method for proving strong uniqueness might encounter some difficulties here. In fact, the Yamada-Watanabe method is essentially one dimensional, and in our case there are two unknown functions, v and ∂xv. However, Pardoux and Peng’s method of backward dou...

In this study, the performance of triangular added damping and stiffness (TADAS) dampers combined with curved dampers (Curved-TADAS damper) is evaluated in moment resisting steel frame (MRSF). These dampers are passive and install in the beam-column connection region. Variable parameters of this study involve the width of curved damper (50, 75 and 100 mm), the thickness of TADAS damper (5 and 1...