Multi-modal virtual environments succeed better, than single-channel technologies, in creating the 'sense of presence'. We hypothesize that the underlying cognitive mechanism is related to a faster mental processing of multimodal events. Comparing reaction time in uni-modal, bimodal and tri-modal events, we show that the processing speed is: uni-modal > bi-modal > tri-modal. Given this advantag...

We introduce distributive unimodal logic as a modal logic of binary relations over posets which naturally generalizes the classical modal logic of binary relations over sets. The relational semantics of this logic is similar to the relational semantics of intuitionistic modal logic and positive modal logic, but it generalizes both of these by placing no restrictions on the accessibility relatio...

Modal transition systems provide a behavioral and compositional specification formalism for reactive systems. We survey two extensions of modal transition systems: parametric modal transition systems for specifications with parameters, and weighted modal transition systems for quantitative specifications.

In the present research, free vibration and modal stress analyses of thin circular plates with arbitrary edge conditions, resting on two-parameter elastic foundations are investigated.  Both Pasternak and Winkler parameters are adopted to model the elastic foundation. The differential transform method (DTM) is used to solve the eigenvalue equation yielding the natural frequencies and mode shape...

this paper uses a psopc model based non-destructive damage identification procedure using frequency and modal data. the objective function formulation for the minimization problem is based on the frequency changes. the method is demonstrated by using a cantilever beam, four-bay plane truss and two-bay two-story plane frame with different scenarios. in this study, the modal data are provided nume...

Propositional modal provability logics like and have arithmetical interpretations where can be read as ‘formula is provable in Peano Arithmetic’. These logics are decidable but are characterized by classes of Kripke frames which are not first-order definable. By abstracting the aspects common to their characteristic axioms we define the notion of a formula generation map in one propositional va...

A hybrid modal expansion that combines the free field Green's function and a modal expansion will be presented in this paper based on a review and an extension of the existing modal analysis theories for the sound field in enclosures. The enclosed sound field will be separated into the direct field and reverberant field, which have been treated together in the traditional modal analysis. Studie...

We present a proposal on how to develop nonmonotonic reasoning based on the modal logic S4. As a consequence of our results we show how to present the well known semantics of answer sets, under a restricted fragment of modal formulas, using this approach. Moreover, by considering the full set of modal formulas we obtain an interesting generalization of answer sets with modal connectives. We sho...

Reduced-order mass weighted proper orthogonal decomposition (RMPOD), smooth orthogonal decomposition (SOD), and state variable modal decomposition (SVMD) are used to extract modal parameters from a nonuniform experimental beam. The beam was sensed by accelerometers. Accelerometer signals were integrated and passed through a high-pass filter to obtain velocities and displacements, all of which w...

1 Characteristic 0 We start with a basic question: given a polynomial f ∈ C[z1, · · · , zn] with a singularity at 0, how can we measure the “singularness” of this polynomial in a precise way? In other words: we can look at various singularities and see intuitively that some singularities are worse than others. For instance, it feels like a transverse self-intersection is probably not as bad as ...