Most animals use multiple sensory modalities to obtain information about objects in their environment. There is a clear adaptive advantage to being able to recognize objects cross-modally and spontaneously (without prior training with the sense being tested) as this increases the flexibility of a multisensory system, allowing an animal to perceive its world more accurately and react to environm...

BACKGROUND Various modalities of exercise have been demonstrated to improve physical function and quality of life in older adults. Current guidelines stress the importance of multi-modal exercise for this cohort, including strengthening exercises, cardiovascular, flexibility and balance training. There is a lack of evidence, however, that simultaneously prescribed doses and intensities of stren...

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal...

Whenever experimentally derived (Test) modal vectors are compared to the analytically obtained (Analysis) modal vectors, for purpose of model verification or model updating, a transformation matrix must be utilized to expand/reduce the degrees offreedom, DOF, so that the spatial dimension of the two sets of modal vectors is the same. The measured set of DOF seldom match the analytical set of DO...

Parikh’s game logic is a PDL-like fixpoint logic interpreted on monotone neighbourhood frames that represent the strategic power of players in determined two-player games. Game logic translates into a fragment of the monotone μ-calculus, which in turn is expressively equivalent to monotone modal automata. Parity games and automata are important tools for dealing with the combinatorial complexit...

This paper presents a modal, time-domain scheme for the nonlinear vibrations of perfect and imperfect plates. The scheme can take into account a large number of degrees-of-freedom and is energy-conserving. The targeted application is the sound synthesis of cymbals and gong-like musical instruments, which are known for displaying a strongly nonlinear vibrating behaviour. This behaviour is typica...

Parikh’s game logic is a PDL-like fixpoint logic interpreted on monotone neighbourhood frames that represent the strategic power of players in determined two-player games. Game logic translates into a fragment of the monotone μ-calculus, which in turn is expressively equivalent to monotone modal automata. Parity games and automata are important tools for dealing with the combinatorial complexit...

introduction: complete knowledge of root canal curvature is a critical factor in successful dental treatment .the aim of this study was to investigate the direction, radius and degree of curvature of maxillary anterior teeth and the relation between radius and degree of curvature in babol city. methods &materials;: this study was performed on 242 anterior teeth radiographs were taken by periapi...

We present a comparison of semantic and syntactic proof methods for reasoning about typed assembly languages in Coq. We make available our complete Coq developments for a simple and easily understood benchmark system presenting both styles of soundness proof to the same interface. The syntactic proof is standard subject reduction; the semantic proof uses Gödal Löb modal logic, shallowly embedde...

Previous studies have shown that processing information in one sensory modality can either be enhanced or attenuated by concurrent stimulation of another modality. Here, we reconcile these apparently contradictory results by showing that the sign of cross-modal interactions depends on whether the content of two modalities is associated or not. When concurrently presented auditory and visual sti...