Abstract. A remarkable result due to Kou, Liu & Luo states that the condition of continuity for a dcpo can be split into quasi-continuity and meet-continuity. Their argument contained a gap, however, which is probably why the authors of the monograph Continuous Lattices and Domains used a different (and fairly sophisticated) sequence of lemmas in order to establish the result. In this note we s...

PURPOSE Exposure to the microgravity environment of space increases the risk of kidney stone formation, particularly for calcium oxalate and uric acid stones. This study was performed to evaluate the efficacy of potassium alkali as potassium-magnesium citrate in reducing renal stone risk and bone turnover. MATERIALS AND METHODS This study was performed as a double-blind, placebo controlled tr...

Identifying and interpreting stone adze economies in Hawai'i offers valuable in... sights on the technological consequences of contact between non...Western so... cieties and Europeans. Western contact occurred relatively late in the Hawaiian archipelago (Figure 7.1) compared to much of the Old and New Worlds (e.g., Cobb and Ruggiero, chapter 2; Odell, chapter 3), and indigenous metal working d...

In this note we remark upon some relationships between the ideas of an approximation space and rough sets due to Pawlak ([9] and [10]) and algebras related to the study of algebraic logic — namely, cylindric algebras, relation algebras, and Stone algebras. The paper consists of three separate observations. The first deals with the family of approximation spaces induced by the indiscernability r...

In this paper, we explore general relationships among negations, convex Archimedean nilpotent t-norms, and automorphisms of the unit interval I. Each nilpotent t-norm has a (strong) negation naturally associated with it, namely, 4 (x) = W fy 2 [0; 1] : x4 y = 0g. The same negation is determined by the formula 4 (x) = f 1 (f (0) =f (x)) where f is a (multiplicative) generating function for the t...

background and aims. the imaging techniques commonly used for foreign body detection include plain radiography, xeroradiography, computed tomography (ct) scans, magnetic resonance imaging (mri) and ultrasonography. the aim of the present study was to compare cone-beam computed tomography (cbct) with conventional ct scan in determination of the exact location of a foreign body in the maxillofaci...

The GADGET acronym that stands for "Guarding Automobile Drivers through Guidance Education and Technology" is an European project about road safety. Its overall objective is to assess traffic safety measures on driver behavior. We use this method as a basis for a new modeling of the driving activity by enriching the GADGET's matrix and adding a meaningful representation of all the variables in ...

BACKGROUND Outcome of Extracorporeal Shockwave Lithotripsy (SWL) is determined by physical factors that affect stone fragmentation and clearance. PURPOSE To evaluate the predictive value of the Lithotripsy Table Height (LTH) in SWL outcome. Lithotripsy Table Height (LTH) is a variable that represents skin to therapy head distance, and it is proportional to the energy that reaches the stone. ...

We define the tensor product A ® S for arbitrary semilattices A and B. The construction is analogous to one used in ring theory (see 14], [7], [8]) and different from one studied by A. Waterman [12], D. Mowat [9], and Z. Shmuely [10]. We show that the semilattice A <3 B is a distributive lattice whenever A and B are distributive lattices, and we investigate the relationship between the Stone sp...