• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 9,775
Next 10 →

Hybrid Tableaux for the Difference Modality

by Mark Kaminski, Gert Smolka , 2008
"... 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 ..."
Abstract - Cited by 8 (5 self) - Add to MetaCart
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

Multi-Modal Volume Registration by Maximization of Mutual Information

by William M. Wells, III, Paul Viola, Ron Kikinis , 1996
"... 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 - Cited by 458 (23 self) - Add to MetaCart
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

TOPOLOGICAL MODAL LOGICS WITH DIFFERENCE MODALITY

by Kudinov Andrey
"... ar ..."
Abstract - Add to MetaCart
Abstract not found

Rhythm perception through different modalities

by Katr Kosonen, Roope Raisamo - In Proceedings of Eurohaptics , 2006
"... 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 ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
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

Terminating tableaux for hybrid logic with the difference modality and converse

by Mark Kaminski, Gert Smolka , 2008
"... 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 - Cited by 10 (3 self) - Add to MetaCart
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

SYNCHRONIZATION WITH BEATS IN DIFFERENT MODALITIES AND TEMPI

by unknown authors
"... 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 ..."
Abstract - Add to MetaCart
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

Hybrid Logic with the Difference Modality for Generalisations of Graphs

by Robert S. R, Myers Dirk Pattinson
"... 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 ..."
Abstract - Add to MetaCart
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

Comparison of Different Modalities for Reducing Childhood

by M. Alehossein, P. Babaheidarian, P. Salamati, Interventional Radiology, Interventional Radiology, Imam Khomeini Hospital, Payman Salamati , 2010
"... 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 ..."
Abstract - Add to MetaCart
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.

On the Plurality of Worlds

by David Lewis, Louis Derosset , 1986
"... 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 ..."
Abstract - Cited by 687 (2 self) - Add to MetaCart
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

Brain magnetic resonance imaging with contrast dependent on blood oxygenation.

by S Ogawa , T M Lee , A R Kay , D W Tank - Proc. Natl. Acad. Sci. USA , 1990
"... ABSTRACT Paramagnetic deoxyhemoglobin in venous blood is a naturally occurring contrast agent for magnetic resonance imaging (MRI). By accentuating the effects of this agent through the use of gradient-echo techniques in high fields, we demonstrate in vivo images of brain microvasculature with imag ..."
Abstract - Cited by 648 (1 self) - Add to MetaCart
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
Next 10 →
Results 1 - 10 of 9,775
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University