Let G be a connected, simple algebraic group over an algebraically closed field. There is a partition of the wonderful compactification Ḡ of G into finite many G-stable pieces, which was introduced by Lusztig. In this paper, we will investigate the closure of any G-stable piece in Ḡ. We will show that the closure is a disjoint union of some G-stable pieces, which was first conjectured by Luszti...

In this paper, we present a novel algorithm for computing three-finger force-closure grasps of two-dimensional (2-D) and three-dimensional (3-D) objects. In the case of a robot hand with three hard fingers and point contact with friction, new necessary and sufficient conditions for 2-D and 3-D equilibrium and force-closure grasps have been deduced, and a corresponding algorithm for computing fo...

We study a relationship between logic and computation via concurrent constraint programming. In previous papers it has been shown how a simple language for specifying asynchronous concurrent processes can be interpreted in terms of constraints. In the present paper we show that the programming interpretation via closure operators is intimately related to the logic of the constraints. More preci...

During the division of animal cells, an actomyosin ring is formed in the cell cortex. The contraction of this ring induces shape changes of the cell and the formation of a cytokinesis furrow. In many cases, a cell-cell interface forms that separates the two new cells. Here we present a simple physical description of the cell shape changes and the dynamics of the interface closure, based on forc...

We formulate an infinitary proof system for transitive closure logic, which is the logic obtained by augmenting first-order logics with a transitive closure operator. Our system is an infinite descent-style counterpart to the existing (explicit induction) proof system for the logic. We show that, as for similar systems for first order logic with inductive definitions, our infinitary system is c...

This paper presents fast and simple algorithms for directly constructing force-closure grasps based on the shape of the grasped object. The synthesis of force-closure grasps finds independent regions of contact for the fingertips, such that the motion of the grasped object is totally constrained. A forceclosure grasp implies equilibrium grasps exist. In the reverse direction, we show that most ...

purpose: to evaluate all cases of drug induced angle closure glaucoma cases who presented to feiz hospital, isfahan during 2008-2010. case report: in this retrospective case series, we present 7 cases of drug induced angle closure glaucoma after administration of topiramate. all patients were female. the average age of patients was 33.28 years old (ranging from 19 to 44). with sufficient cornea...

the article “oral manifestation in transplant patients” was read with enthusiasm.[1] however, the following points may be noted worthy. fissured tongue, atrophy of tongue papillae, and angular cheilitis can be observed in liver transplant patients and these may be due to concurrent hyposalivation, due to intake of diuretic drugs such as thiazides and loop diuretics.[2,3] excessive bleeding with...

The objective of this study is to determine the age of individuals based on the ectocranial closure of the lambdoidal, coronal, and sagittal crests. Data was collected from 14 different skulls all between the ages of 25-50 years old, the sutures observed were the midlambdoid, lambda, obelion, anterior sagittal, and bregma. Firstly, a simple identification of the skulls sex was made using distin...

background the vacuum assisted closure (vac) therapy has revolutionized the modern wound care. we developed a new concept of ‘vac at home’ in order to decrease the hospital cost. methods the study was conducted in a private hospital from january 2009 to december 2010. only those patients were included among whom the wounds were not complicated by concomitant injury and the patients were otherwi...