During the development of a new vehicle, the vehicle is usually tested to determine both its static torsional and bending stiffness, and its dynamic torsional and bending modes. This paper discusses a method for determining both static and dynamic properties from the modal analysis test. Such a connection between static stiffness and dynamic modes would be useful for three reasons: (1) the rela...

Both early and recent work on modal expressions has been focused on the way their root and non-root interpretations correlate with the properties of the predicates with which they combine (see eg Bertinetto, 1979; Condoravdi, 2001; Werner, 2006). Likewise, the temporal and the modal interpretations of the future have also been studied in correlation with the eventive versus stative distinction....

First-order modal logics have many applications, e.g., in planning, natural language processing, program verification, querying knowledge bases, and modeling communication. This paper gives an overview of several new implementations of theorem provers for first-order modal logics based on different proof calculi. Among these calculi are the standard sequent calculus, a prefixed tableau calculus...

Research Program. This paper describes the initial phase of a longterm project with national implications for the improvement of transportation and air quality. The overall objective of the research is to develop and verify a comprehensive modal emissions model that accurately reflects the impacts of a vehicle’s operating mode. The model is comprehensive in the sense that it will be able to pre...

The recent emergence of heavily-optimised modal decision procedures has lead to a number of generation methods for modal formulae. However, the generation methods developed so far are not satisfactory. To cope with this fact, we propose a much improved version of one of the best-known methods, the random CNF2m test. The new method drastically reduces the influence of a major flaw of the previou...

Principal Component Analysis allows a quantitative description of shape variability with a restricted number of parameters (or modes) which can be used to quantify the difference between two shapes through the computation of a modal distance. A statistical test can then be applied to this set of measurements in order to detect a statistically significant difference between two groups. We have a...

To design computing interfaces enabling users to best receive information, the effects of multimodal information presentation on user task performance and acceptance must first be ascertained. Based upon human attention models and prior research findings, this paper investigates dual-modal information presentation designed to test users’ ability to receive information via auditory channel in ad...