Hierarchical graph transformation as defined in [1, 2] extends double-pushout graph transformation in the spirit of term rewriting: Graphs are provided with hierarchical structure, and transformation rules are equipped with graph variables. In this paper we analyze conditions under which diverging transformation steps H ⇐ G ⇒ H ′ can be joined by subsequent transformation sequences H ∗ ⇒ M ∗ ⇐ ...

We consider a multidimensional model for the combustion of compressible reacting fluids. The flow is governed by the Navier-Stokes in Eulerian coordinates and the chemical reaction is irreversible and is governed by the Arrhenius kinetics. The existence of globally defined weak solutions is established by using weak convergence methods, compactness and interpolation arguments in the spirit of F...

It has been argued that functional diversity might be a plausible means of claiming independence of failures between two versions of a system. We present a model of functional diversity, in the spirit of earlier models of diversity such as those of Eckhardt and Lee, and Hughes. In terms of the model, we show that claims for independence between functionally diverse systems seem rather unrealist...

Cirquent calculus is a new proof-theoretic and semantic approach introduced for the needs of computability logic by G.Japaridze, who also showed that, through cirquent calculus, one can capture, refine and generalize independence-friendly (IF) logic. Specifically, the approach allows us to account for independence from propositional connectives in the same spirit as the traditional IF logic acc...

Wedefine a logicD capable of expressing dependence of a variable on designated variables only. Thus D has similar goals to the Henkin quantifiers of [4] and the independence friendly logic of [6] that it much resembles. The logic D achieves these goals by realizing the desired dependence declarations of variables on the level of atomic formulas. By [3] and [17], ability to limit dependence rela...

It has been argued that functional diversity might be a plausible means of claiming independence of failures between two versions of a system. We present a model of functional diversity, in the spirit of earlier models of diversity such as those of Eckhardt and Lee, and Hughes. In terms of the model, we show that claims for independence between functionally diverse systems seem rather unrealist...

Object correlation and maneuver detection are persistent problems in space surveillance and space object catalog maintenance. This paper demonstrates the utility of using quadratic trajectory control cost, an analog to the trajectory L2-norm in control, as a distance metric with which to both correlate object tracks and detect maneuvers using Uncorrelated Tracks (UCTs), real-time sensor measure...

We introduce an additive partial correlation operator as an extension of partial correlation to the nonlinear setting, and use it to develop a new estimator for nonparametric graphical models. Our graphical models are based on additive conditional independence, a statistical relation that captures the spirit of conditional independence without having to resort to high-dimensional kernels for it...

It is well known that on arbitrary metric measure spaces, the notion of minimal p-weak upper gradient may depend p. In this paper we investigate how a first-order condition metric-measure structure, call Bounded Interpolation Property, guarantees in fact such dependence not present. We also show Property stable for pointed Gromov Hausdorff convergence and holds large class spaces satisfying cur...

The authors hypothesized that economically motivated voluntary settlement in the frontier fosters independent agency. While illuminating the historical origin of American individualism, this hypothesis can be most powerfully tested in a region that is embedded in a broader culture of interdependence and yet has undergone a recent history of such settlement. The authors therefore examined reside...