The theory of algebraic graph transformation has proven to be a suitable underlying formal framework to reason about the behavior of model transformations. In order to model an arbitrary number of actions at different places in the same model, the concept of amalgamated graph transformation has been proposed. Rule applications of certain regularity are described by a rule scheme which contains ...

The development of the mercury (Hg) amalgamation process in the mid-sixteenth century triggered the onset of large-scale Hg mining in both the Old and New Worlds. However, ancient Hg emissions associated with amalgamation and earlier mining efforts remain poorly constrained. Using a geochemical time-series generated from lake sediments near Cerro Rico de Potosí, once the world's largest silver ...

We give an amalgamation construction of free multiple trees with a strongly transitive automorphism group. The construction shows that any partial codistance function on a tuple of finite trees can be extended to yield strongly transitive multiple trees.

In this paper we discuss the splitting or decomposing of finitely generated groups into free products, free products with amalgamation or HNN extensions and we discuss the JSJ decomposition of finitely presented groups.

Abstract One of the problems perceived to be at heart global financial crisis was an amalgamation various commercial and investment banking activities under one entity, as well interconnectedness entities with other institutions, funds, shadow system. This paper focuses on measures that aim structurally separate their core functions from riskier such (proprietary) trading or investments in alte...

Recall that a complete first-order theory with infinite models is strongly minimal if in any of its models, every parameter-definable subset of the model is finite or cofinite. Classical examples are theories of vector spaces and algebraically closed fields; also the degenerate example of the theory of infinite ‘pure’ sets where the only structure comes from equality. Algebraic closure in a str...

As in the cases of freeness and monotonic independence, the notion of conditional freeness is meaningful when complex-valued states are replaced by positive conditional expectations. In this framework, the paper presents several positivity results, a version of the central limit theorem and an analogue of the conditionally free R-transform constructed by means of multilinear function series.

In his book on stable groups [Poi87] Poizat writes (with respect to our 1987 understanding of ω-stable fields): ”Nous n’avons pas fait de progrès décisif depuis le temps oú nous chassions les aurochs avec une hache de pierre; nous avons seulment acquis une meilleure comprehension de l’enjeu du problem”. Sadly, there is no better way to describe the current situation with respect to the problem ...

This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying data is structured as a graph. The paper presents a new approach in that a distinction is made between generalizations that amalgamate data objects and those that select data objects. We show that these two types of ...

Let M1 and M2 be orientable irreducible 3–manifolds with connected boundary and suppose ∂M1 = ∂M2. Let M be a closed 3–manifold obtained by gluing M1 to M2 along the boundary. We show that if the gluing homeomorphism is sufficiently complicated, then M is not homeomorphic to S and all small-genus Heegaard splittings of M are standard in a certain sense. In particular, g(M) = g(M1) + g(M2) − g(∂...