This short paper proposes an extension of the Graphplan [1] planning system. The extension allows Graphplan to solve planning problems containing Domain Axioms (DAs) in the form p1 ∧ p2 ∧...∧ pn→ c. The problem of DAs arises when the domain representation language adopted is augmented with more expressive terms. For example, in the blocks-world domain, if the set of blocks present in the initia...

unification Let an operation amgu(x = t, ASub) of abstract unification for equation x = t, x ∈ V , t ∈ Term, and ASub an abstract substitution (the domain of which contains variables t̂ ∪ {x}). Abstract unification for equation t1 = t2, t1 ∈ Term, t2 ∈ Term, in the context of abstract substitution ASub (the domain of which contains variables t̂1 ∪ t̂2) is given by Amgu(solve(t1 = t2), ASub), where...

We introduce z-transportability, the problem of estimating the causal effect of a set of variables X on another set of variables Y in a target domain from experiments on any subset of controllable variables Z where Z is an arbitrary subset of observable variables V in a source domain. z-Transportability generalizes z-identifiability, the problem of estimating in a given domain the causal effect...

In this paper, we investigate the existence of positive solutions for the ellipticequation $Delta^{2},u+c(x)u = lambda f(u)$ on a bounded smooth domain $Omega$ of $R^{n}$, $ngeq2$, with Navier boundary conditions. We show that there exists an extremal parameter$lambda^{ast}>0$ such that for $lambda< lambda^{ast}$, the above problem has a regular solution butfor $lambda> lambda^{ast}$, the probl...

The study of stability problems of functional equations was motivated by a question of S.M. Ulam asked in 1940. The first result giving answer to this question is due to D.H. Hyers. Subsequently, his result was extended and generalized in several ways.We prove some hyperstability results for the equation g(ax+by)+g(cx+dy)=Ag(x)+Bg(y)on restricted domain. Namely, we show, under some weak natural...

Suppose that A is a C^*-algebra. We consider the class of A-linear mappins between two inner product A-modules such that for each two orthogonal vectors in the domain space their values are orthogonal in the target space. In this paper, we intend to determine A-linear mappings that preserve orthogonality. For this purpose, suppose that E and F are two inner product A-modules and A+ is the set o...

Let D be an integral domain and X an indeterminate over D. It is well known that (a) D is quasi-Prüfer (i.e, its integral closure is a Prüfer domain) if and only if each upper to zero Q in D[X] contains a polynomial g ∈ D[X] with content cD(g) = D; (b) an upper to zero Q in D[X] is a maximal t-ideal if and only if Q contains a nonzero polynomial g ∈ D[X] with cD(g) v = D. Using these facts, the...

Inputs: Source domain data: T so = {(X i , Y so i )} nso i=1, target domain data: T ta = {(X i , Y ta i )} nta i=1, transformation function: G, algorithm to train f : Aso and an algorithm to train wG: AwG . Outputs: Regression function for the target domain: f̂ . 1: Train the source domain regression function f̂ = Aso (T ). 2: Construct new data to train wG with f̂ and T : T wG = {(X i ,Wi)} nta i...

Integrin α(X)β(2) functions as complement receptor for iC3b and mediates recognition and phagocytosis of pathogens. We used negative-stain EM to examine the α(X)β(2) interaction with iC3b. EM class averages of α(X)β(2) in complex with iC3b define the binding sites on both the integrin and iC3b. iC3b contains C3c and thioester domain moieties linked by a long flexible linker. The binding site is...

valuations on a topological space X are functions that map open sets to 0, 1, or one value in between. We deene a space of abstract valuations which for a continuous dcpo X is homeomorphic to the Plotkin power domain of X, and for a Hausdorr space X yields the Vietoris hyperspace of X. Thus we obtain a novel concrete representation of the Plotkin power domain. This representation is more simila...