Recent advances in logic programming have been successfully used to build practical verification toolsets, as evidenced by the XMC system. Thus far, XMC has supported value-passing process languages, but has been limited to using the propositional fragment of modal mucalculus as the property specification logic. In this paper, we explore the use of data variables in the property logic. In parti...

The index of a metric plays significant roles in differential geometry as it generates variety of vector fields such as space-like, time-like, and light-like fileds. With the help of these vector fields, we establish interesting properties on ( )-Sasakian manifolds, which was introduced by Bejancu and Duggal [1] and further investigated by Xufeng and Xiaoli [2]. Since Sasakian manifolds with in...

This paper presents a type assignment system with recursive types for Featherweight Java, inspired by the work of Nakano. Nakano’s innovation consists in adding a modal type constructor which acts to control the folding of recursive types, resulting in a head-normalisation guarantee. We build on this approach by introducing a second modal type constructor which prevents the unfolding of types i...

The statistical significance of vibration-based damage identification parameters is studied via application to the data from the tests performed on the Interstate 40 highway bridge in Albuquerque, New Mexico. A test of statistical significance is applied to the mean and confidence interval estimates of the modal properties and the corresponding damage indicators. The damage indicator used in th...

Despite the notion that clefting is a cross-linguistic constituency test, Japanese allows some nonconstituent exceptions. There is, however, a certain restriction on the degree of flexibility; some constituents are more tightly connected (and thus less likely to be separated by clefting) than others. We refine Kubota and Smith’s (2006) CCG account in terms of Multi-Modal CCG (Baldridge, 2002): ...

ABSTRACT: The absence of explicit guidelines for the rehabilitation of existing pole structures was the motivation to investigate the effectiveness of steel jacketing for the retrofitting of self-supporting steel and reinforced concrete telecommunication poles. The present study describes a numerical simulation of preand post-retrofitted conditions of the pole structures subjected to seismic ha...

This paper describes the design and implementation of a multi-modal, multimedia capable sensor networking framework called SenseTK. SenseTK allows application writers to easily construct multi-modal, multimedia sensor networks that include both traditional scalar-based sensors as well as sensors capable of recording sound and video. The distinguishing features of such systems include the need t...

This paper describes the application of an artificial immune system to a scheduling application. A novel approach multi-modal immune algorithm is proposed for finding optimal solutions to job-shop scheduling problems emulating the features of a biological immune system. Inter-relationships within the proposed algorithm resemble antibody molecule structure, antibody–antigen relationships in term...

The use of flexible mode control implemented through the use of aerodynamic surfaces is examined for two case vehicles: a magnetically levitated vehicle and a towed aerodynamic vehicle. A summary of the aerodynamics of trapezdoial and annular wings is presented first, followed by an analysis of the modal characteristics of the test vehicles. LQR design methods using the flexible mode and its ra...