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...

The coordinate system has been proposed as a fundamental and cross-culturally used spatial representation, through which people code location and direction information in the environment. Here we provided direct evidence demonstrating that daily experience with the cardinal coordinate system (i.e., east, west, north, and south) contributed to the representation of cognitive maps. Behaviorally, ...

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...