Tools

"... 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 to reflex ..."

We present the first tableau-based decision procedure for basic hybrid logic with the differencemodality. The decision procedure is gracefully degrading in that the less expressive constructs don’t pay for the computationally expensive differencemodality. 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, ..."

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

"... Rhythms are an everyday phenomenon. The most common source of rhythm is music. Rhythm perception studies in the past have mostly concentrated on the auditory and visual modalities. For example, loud music can also be felt as vibrations. Previous studies have showed that audio dominates rhythm percep ..."

perception. Our experiment was conducted to study rhythm perception through three differentmodalities. 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 of t ..."

Abstract. We present the first terminating tableau calculus for basic hybrid logic with the differencemodality and converse modalities. The language under consideration is basic multi-modal logic extended with nominals, the satisfaction operator, converse, global and differencemodalities. 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 co ..."

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 such as Marko ..."

We discuss recent work generalising the basic hybrid logic with the differencemodality 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 ex ..."

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.

"... David Lewis is one of the most influential philosophers of our age, and On the Plurality of Worlds is his magnum opus. OPW1 offers an extended development and defense of the hypothesis that there are many universes, things of the same kind as the universe in which we all live, move, and have our bei ..."

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

"... this paper, we argue that no such set of postulates will be adequate for every application. In particular, we make a fundamental distinction between two kinds of modifications to a knowledge base. The first one, update, consists of bringing the knowledge base up to date when the world described by i ..."

this paper, we argue that no such set of postulates will be adequate for every application. In particular, we make a fundamental distinction between two kinds of modifications to a knowledge base. The first one, update, consists of bringing the knowledge base up to date when the world described by it changes. For example, most database updates are of this variety, e.g. "increase Joe's salary by 5%". Another example is the incorporation into the knowledge base of changes caused in the world by the actions of a robot (Ginsberg and Smith 1987, Winslett 1988, Winslett 1990) . We show that the AGM postulates must be drastically modified to describe update. The second type of modification, revision, is used when we are obtaining new information about a static world. For example, we may be trying to diagnose a faulty circuit and want to incorporate into the knowledge base the results of successive tests, where newer results may contradict old ones. We claim the AGM postulates describe only revision.