In this paper, by considering the notion of extended BCK-module, we define the concepts of free extended BCK-module, free object in category of extended BCK-modules and we state and prove some related results. Specially, we define the notion of idempotent extended BCK-module and we get some important results in free extended BCK-modules. In particular, in category of idempotent extended BCK-mod...

This paper proves several generic variants of context lemmas and thus contributes to improving the tools for observational semantics of deterministic and non-deterministic higher-order calculi that use a small-step reduction semantics. The generic (sharing) context lemmas are provided for mayas well as two variants of must-convergence, which hold in a broad class of extended processand extended...

Formal grammars equipped with operators for specifying the form of the context of a substring were recently studied by Barash and Okhotin (“An extension of context-free grammars with one-sided context specifications”, Inform. Comput., 2014), further extending the author’s earlier work on propositional connectives in grammars (A. Okhotin, “Conjunctive grammars”, J. Autom. Lang. Comb., 2001). The...

In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of context, in the development of context aware applications, only a few types of context have been used. In this work, we aim to build a context classification model based on Activity Theory that provides a basis both ...

We present the extended Kuranishi space for Kodaira surface as a nontrivial example to Kontsevich and Barannikov’s extended deformation theory. We provide a non-trivial example of Hertling-Manin’s weak Frobenius manifold. In addition, we find that Kodaira surface is its own mirror image. Our computation is done in the context of compact nilmanifolds. The calculation of extended deformation and ...

This paper presents a motion attention model that aims at analyzing gesture saliency using context-related information at three different levels. At the first level, motion features are compared in the spatial context of the current video frame; at the intermediate level, salient behavior is analyzed on a short temporal context; at the third level, computation of saliency is extended to longer ...

We show how the context state of XPath, accessed through the position() and last() pseudo-functions, can be eliminated in most cases by translating references to the context state with an equivalent contextfree expression, and how this enables the use of context state in combination with a subsequent “forward-only” transformation, allowing for execution of (almost) full XPath on any of the emer...