This paper introduces the LOTOS specification of the OSI95 Enhanced Transport Service. It discusses the problems encountered during its writing, such as the ones caused by its validation, or by the lack of a 'Timed' LOTOS. But the interest is not only in the specification itself. It also lies in the way this specification was developed: not after, but in parallel with the design of the Service ...

In this paper, a Krein-Milman  type theorem in $T_0$ semitopological cone is proved,  in general. In fact, it is shown that in any locally convex $T_0$ semitopological cone, every convex compact saturated subset is the compact saturated convex hull of its extreme points, which improves the results of Larrecq.

With the advent and wide spread use of computers a number of algorithms have been developed to determine the optimum ultimate pit limits in open pit mining. The main objective of these algorithms is to find groups of blocks that should be removed to yield the maximum overall mining profit under specified economic conditions and technological constraints. The most common methods are: Lerchs and ...

recently, cho et al. [y. j. cho, r. saadati, s. h. wang, common xed point theorems on generalized distance in ordered cone metric spaces, comput. math. appl. 61 (2011) 1254-1260] dened the concept of the c-distance in a cone metric space and proved some xed point theorems on c-distance. in this paper, we prove some new xed point and common xed point theorems by using the distance in ordere...

The synthesis of nanocrystalline Fe3Al powder by mechanical alloying as well as the structural ordering of the synthesized Fe3Al particles during the subsequent thermal analysis were investigated. Mechanical alloying was performed up to 100 hours using a planetary ball mill apparatus with rotational speed of 300 rpm under argon atmosphere at ambient temperature. The synthesized powders were cha...

(a) (b) Figure 8: The nal set of directions from that covers G S in thick gray lines. Two views are provided with (a) presents the regular view of Figures 5 to 7 and (b) shows the entire Gauss map. See also Figure 1. (a) (b) Figure 6: The boundary and central silhouettes of G S in thick dark gray lines is projected onto the plane z = 1 in thick light gray lines, in (a). In (b), The convex hull ...

Resource constrained project scheduling problem (RCPSP) is mainly investigated with the objective of either minimizing project makespan or maximizing project net present value. However, when material planning plays a key role in a project, the existing models cannot help determining material ordering plans to minimize material costs. In this paper, the RCPSP incorporated with the material order...

central granular cell odontogenic tumor) cgcot) of the jaw is an exceedingly rare benign odontogenic neoplasm with 35 reported cases in the literature. among these, very few studies have focused on the cone-beam ct features of cgcot. here, we report a case of an asymptomatic cgcot in a 16-year-old girl and focus on the cone-beam ct features. only 36 cases of this lesion, including this one, hav...