The Lambek calculus L provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be dis-continuous. In this paper we introduce the displacement calculus D, a generalization of Lambek calculus, which preserves the good proof-theoretic properties of the latter while embracing dis-continuiity and subsum...

In this study, stress and displacement functions of the three-dimensional theory of elasticity for homogeneous isotropic bodies are derived from first principles from the differential equations of equilibrium, the generalized stress – strain laws and the geometric relations of strain and displacement. It is found that the stress and displacement functions must be biharmonic functions. The deriv...

In this paper, the closed form analytical expressions for the displacement field due to a cylindrical inclusion in a thermoelastic half-space are obtained. These expressions are derived in the context of steady-state uncoupled thermoelasticity using thermoelastic displacement potential functions. The thermal displacement field is generated due to differences in the coefficients of linear therma...

what counts as global health? there has been limited discourse to date on the ways in which country-level contexts may shape positioning in global health agendas. by reviewing japan’s response to the refugee crisis, we demonstrate a clash between rhetoric and action on global responsibility, and suggest that cultural and historical factors may be related to the ways of perceiving and acting upo...

Displacement-based methods are recognized as appropriate approaches to reach the goals of performance-based seismic design method. In the direct displacement-based seismic design method, the seismic yield displacement is applied as one of the important design parameters. In this paper, a new relation is suggested to determine the lateral displacement pattern at first yielding of eccentrically b...

Displacement mapping is a powerful technique for adding detail to three dimensional objects and scenes. While bump mapping gives the appearance of increased surface complexity, displacement mapping actually adds surface complexity resulting in correct silhouettes and no parallax errors. This paper presents the background to displacement mapping, current hardware implementations and how to use t...

introduction: this study carried out to investigate the causes and motivations of older people residing in nursing home. methods: a qualitative description study was designed by choosing a sample of the elderly residing in a nursing home in tabriz, iran. based on purposive sampling, fifteen residents in the age range of 65-85 participated in the study. data was collected through unstructured in...

in this paper, the interface crack of two non-homogenous functionally graded materials is studied. subsequently, with employing the displacement method for fracture of mixed-mode stress intensity factors, the continuous variation of material properties are calculated. in this investigation, the displacements are derived with employing of the functional graded material programming and analysis o...