A new technique is proposed for paratubal electromyography, using a surface, non-invasive, electrode applied transnasally under nasopharyngoscope guidance. This electrode records activity of the tensor veli palatini muscle during swallowing. This technique is of interest for two reasons: endoscopic guidance offers the possibility to check correct positioning of the electrode recording at tensor...

In this paper, two methods are described, by means of which it is possible to calculate the non rigid group of molecules consisting of a number of XH3 groups attached to a rigid framework. The first method is a combination of the wreath product formalism of Balasubramanian and modern computer algebra and the second method is a computational approach by using group theory package GAP. We apply t...

Understanding of articulated shape motion plays an important role in many applications in the mechanical engineering, movie industry, graphics, and vision communities. In this paper, we study motion-based segmentation of articulated 3D shapes into rigid parts. We pose the problem as finding a group-valued map between the shapes describing the motion, forcing it to favor piecewise rigid motions....

(Nov/03 draft, forthcoming in " Pacific Philosophical Quarterly " , comments to [email protected]) abstract In this paper I argue that questions about the semantics of rigid designation are commonly and illicitly run together with distinct issues, such as questions about the metaphysics of essence and questions about the theoretical legitimacy of the possible-worlds framework. I discuss in depth t...

It is often claimed that Kripke (1980) and Putnam (1975) established that many predicates, most importantly natural kind predicates, are like proper names in being rigid designators. This insight is generally regarded as having important consequences in the theory of necessary truths: the rigidity of terms such as 'Hesperus', 'Phosphorus', 'water' and 'H 2 O' is used in explaining why identity ...

This paper describes QLB, a quantified logic of belief that is a possible extension of the modal system KD45n to predicate level. The main features of QLB are that: (i) it is allowed to quantify over the agents of belief; (ii) the belief operator can be indexed by any term of the formal language; (iii) terms are not rigid designators, but are interpreted contextually; (iv) automatic theorem pro...