The tense and lax vowels of German were compared, based on an analysis of the duration, amplitude and velocity characteristics of lip and tongue movement. This study examined firstly whether they show different patterns of compression over changes in speech rate, and secondly whether velocity profiles would reveal evidence of different underlying control mechanisms. CVC movements were segmented...

Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equivalence in typed lambda calculi, see e.g. Sumii and Pierce’s logical relation for a cryptographic lambda-calculus. We clarify Sumii and Pierce’s approach, showing that the right tool is prelogical relations, or lax logical relatio...

Creative insight and mystical union differ as to depth of withdrawal, which is a way of saying how closely they are bound to the phenomenal world. The difference between the creative and the mystical reflects disparities in the descent. The similarities reflect the common process through which descent is achieved. Neuropsychology is critical in revealing the imaginal undersurface of veridical o...

We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well as the 2-category of monoidal categories and opomonoidal functors, among many other examples.

Probabilistic bisimulation is a widely studied equivalence relation for stochastic systems. However, it requires the behavior of the states to match on actions with matching labels. This does not allow bisimulation to capture symmetries in the system. In this thesis we define lax probabilistic bisimulation, in which actions are only required to match within given action equivalence classes. We ...

In this paper, we study the possible second order Lax operators for all the possible (1+1)-dimensional models with Schwarz variants and some special types of high dimensional models. It is shown that for every (1+1)-dimensional model and some special types of high dimensional models which possess Schwarz variants may have a second order Lax pair. The explicit Lax pairs for (1+1)-dimensional Kor...