Vowels are traditionally described as static acoustic targets. This study evaluates the impact of spectral changes on the description of Quebec French tense/lax high vowels. Tense variants are expected in open syllables while lax variants are observed in syllables closed by a non-lengthening consonant. We argue that these contextual variants are more accurately described as trajectories through...

Abstract. In this paper we introduce a definition of the local conservation property for numerical methods solving time dependent conservation laws, which generalizes the classical local conservation definition. The motivation of our definition is the Lax-Wendroff theorem, and thus we prove it for locally conservative numerical schemes per our definition in one and two space dimensions. Several...

The Lax-Richtmyer theorem is extended to work in the framework of Stetter's theory of discretizations. The new result applies to both initial and boundary value problems discretized by finite elements, finite differences, etc. Several examples are given, together with a comparison with other available equivalence theorems. The proof relies on a generalized Banach-Steinhaus theorem.

We consider integrable boundary conditions for both discrete and continuum classical integrable models. Local integrals of motion generated by the corresponding “transfer” matrices give rise to time evolution equations for the initial Lax operator. We systematically identify the modified Lax pairs for both discrete and continuum boundary integrable models, depending on the classical r-matrix an...

Recently, more and more data are published and exchanged by XML on the Internet. However, different XML data sources might contain the same data but have different structures. Therefore, it requires an efficient method to integrate such XML data sources so that more complete and useful information can be conveniently accessed and acquired by users. The tree edit distance is regarded as an effec...

Abstract We discuss a high order accurate numerical boundary condition for solving hyperbolic conservation laws on fixed Cartesian grids, while the physical domain can be arbitrarily shaped and moving. Compared with body-fitted meshes, the biggest advantage of Cartesian grids is that the grid generation is trivial. The challenge is however that the physical boundary does not usually coincide wi...

In recent years the Federal Aviation Administration (FAA) has made reduction of runway incursions a priority for surface operations throughout the national airspace system. In a series of experiments conducted in April 2001, NASA studied alternatives designed to improve the efficient movement of surface traffic and reduce runway incursions at Los Angeles International Airport (LAX). The experim...

Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need not preserve exponential types. But, like logical relations, they are preserved by the meanings of all lambda-calculus terms. We show that lax logical relations coincide with the correspondences of Schoett, the algebraic relations of Mitchell and the pre-logical relations o...

We investigate a novel intuitionistic modal logic, called Propositional Lax Logic, with promising applications to the formal veri cation of computer hardware. The logic has emerged from an attempt to express correctness `up to' behavioural constraints | a central notion in hardware veri cation | as a logical modality. The resulting logic is unorthodox in several respects. As a modal logic it is...