In this paper we enhance the well-known fifth order WENO shock-capturing scheme by using deep learning techniques. This fine-tuning of an existing algorithm is implemented training a rather small neural network to modify smoothness indicators in improve numerical results especially at discontinuities. our approach no further post-processing needed ensure consistency method. Moreover, formal acc...

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

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