Abstract Remediation of contaminated soil and sediment is important for improving the eco-environmental quality. Electro-kinetic remediation (EKR) an environmentally friendly technology to migrate remove pollutants from matrix. This paper analyses mechanism performance EKR heavy metals, organic pollutants, compound pollutants. Moreover, effect optimizing individual through pre-treatment (adding...

Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations. This concept is especially important for an adequate formalization of the operational semantics of statecharts and other visual modeling languages, where typed attributed graphs are used for multiple rules with general applica...

currently, the land amalgamation has important role in agricultural and under pressure irrigation development. agricultural land amalgamation programs were introduced to farmers of kabutarahangh county since 1990; however, the adoption process has not been successful. for instance, after a decade, only 30 percent of the irrigated lands has been adopted. accordingly, the aim of the study was to ...

We study amalgams and the strong, weak, and special amalgamation bases in the varieties of nilpotent groups of class two and exponent n, where n is odd. The main result is the characterization of the special amalgamation bases for these varieties. We also characterize the weak and strong bases. For special amalgamation bases we show that there are groups which are special bases in varieties of ...

In this paper we will give suitable notions of Amalgamation and Super-amalgamation properties for the class of quasi-modal algebras introduced by the author in his paper Quasi-Modal algebras.

We show that the class of Boolean contact algebras has the joint embedding property and the amalgamation property, and that the class of connected Boolean contact algebras has the joint embedding property but not the amalgamation property.

By in t roduc ing the concept of t he amalgamat ion of automata , we discuss their s t ruc tu re and classification in t e rms of characterist ic semigroups , w h e n the i npu t is a free semigroup generated by a set of i npu t symbols . W e demons t r a t e in this paper a direct p roduc t decomposabi l i ty of automata , and discuss the h ie rarchy of au tomata wh ich is character ized by th...

In this paper, we study amalgamations of cellular automata (CA), i.e. ways of combining two CA by disjoint union. We show that for several families of CA obtained by simple amalgamation operations (including the well-known families of majority and minority CA), the density of a large class of properties follows a zero-one law. Besides, we establish that intrinsic universality in those families ...

The questions this manuscript addresses arose in the course of an investigation of the imaginary sorts in ultraproducts of p-adic fields. These were shown to be understandable given the imaginary sorts of certain finite-dimensional vector spaces over the residue field. The residue field is pseudo-finite, and the imaginary elements there were previously studied, and shown in fact to be eliminabl...

We present a semantics for architectural specifications in Casl, including an extended static analysis compatible with model-theoretic requirements. The main obstacle here is the lack of amalgamation for Casl models. To circumvent this problem, we extend the Casl logic by introducing enriched signatures, where subsort embeddings form a category rather than just a preorder. The extended model fu...