We present the first tableau-based decision procedure for basic hybrid logic with the difference modality. The decision procedure is gracefully degrading in that the less expressive constructs don’t pay for the computationally expensive difference modality. The procedure can be specialized

A new information-theoretic approach is presented for finding the registration of volumetric medical images of differing modalities. Registration is achieved by adjustment of the relative pose until the mutual information between images is maximized. In our derivation of the registration procedure

Abstract not found

perception. Our experiment was conducted to study rhythm perception through three different modalities. We had 12 subjects and 3 sessions with each. In each session there were rhythms through the auditory, tactile and visual modalities. Three different rhythm lengths were used: 4, 5 and 6 beats. In each

Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic multi-modal logic extended with nominals, the satisfaction operator, converse, global and difference modalities. All

The current study compares synchronization with beats presented in various sensory modalities and tempi. Although beat perception and synchronization (BPS) has been studied extensively in auditory and visual modalities, relatively few have looked into and compared that in the tactile modality. We

We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transitions such as monotone neighbourhood frames or selection function models as well as those with more structure

Background/Objective: Idiopathic intussusception is an important abdominal emergency in infancy and childhood. Non operative management for treatment is firstly considered due to less invasiveness, less complications and cost effectiveness compared to surgical treatment. This study summarizes our experience in the management of intussusception in children who were referred to a children hospital. Patients and Methods: A total of 102 children who were diagnosed as having intussusception were referred to one children hospital in Tehran during a period of 10 years, from 1997 to 2007. Reductions were performed upon 57 cases by a radiologist or radiology residents, if there was no medical contraindication. We used chi-square test for analysis. Results: The success rate of reduction was eight out of 13 (61.5%) with barium, nine out of 17 (53.5%) with air and 22 out of 27 (81.5%) with saline (p value=0.116). One patient had recurrence with air reduction. Another case was complicated by peritonitis using barium enema. Conclusion: There was no significant relationship between the success rate of reduction and the type of reduction.

being. Lewis calls these universes ―worlds‖, deliberately recalling the notion of a ―possible world ‖ familiar from modal logic and the metaphysics of modality. The title invokes the thesis of the book: there are pluralities of worlds, things of the same kind as the world we inhabit, differing only

to regional neural activity. Magnetic resonance imaging (MRI) is a widely accepted modality for providing anatomical information. Current research (1) involves extending MRI methods to provide information about biological function, in addition to the concomitant anatomical information. In addition