Graph transformation systems are widely recognized as a powerful formalism for the specification of concurrent and distributed systems. Therefore, the need emerges naturally of developing formal concurrent semantics for graph transformation systems allowing for a suitable description and analysis of their computational properties. The aim of this chapter is to review and compare various concurr...

Mathematical text is too cumbersome to write because of the need to encode a tree structure in a left to right linear order. This paper defines two novel problems, namely structure prediction from unstructured representation and sequence prediction within a mathematical session, to help address mathematical text entry. The effectiveness of our approach relies on the fact that normal mathematica...

The article sequentially examines the content of terms: computerization education, informatization digitalization and digital transformation education. essence in feld mathematics education is concretized. It proposed to defne as overcoming new divide, carried out by eliminating inequality use technologies subjects educational process. Elimination such inequality, from our point view, possible ...

The range of acceptable positions about important political issues defines the political space of society. This paper presents a model of how political space is transformed over time based upon linear differential equations. Constructable transformations of political space are ones that can be modeled by such equations and thus can result from gradual evolutionary change. Non-constructable tran...

background: in kazakhstan, as in many other countries, a transformation of the traditional stereotypes of reproductive behavior, and change the types of family relationships is occurred. it is caused by social status changes, by the transformation of women's valuable orientations and social-role attitudes. the objective of this study was to identify the indicators of reproductive units and the ...

In this paper we consider a class of d-interval exchange transformations, which we call the symmetric class. For this class we define a new self-dual induction process in which the system is successively induced on a union of sub-intervals. This algorithm gives rise to an underlying graph structure which reflects the dynamical behavior of the system, through the Rokhlin towers of the induced ma...

Model transformation is at the heart of current model-driven engineering research. Today’s research in model transformation focuses on the scalability of the approaches to solve industrial problems. The current state-of-the-art in model transformation includes a plethora of techniques and tools. Nevertheless, industrial adoption of model transformation requires a diversity of model transformati...

In the class of Ornstein transformations the mixing property satisfies a 0-1 law. Here we consider Ornstein’s construction with bounded cutting parameter. In fact, these latter transformations are not mixing, however it is proved that the weak mixing property occurs with probability one. Our situation is similar to the case of interval exchange transformations whose link with the cutting and st...