Related papers: A Relative Dependency Pair Framework
We generalize the concept of disjunction.
We analyse various structural and order-theoretical aspects of abstract separation systems and partial lattices, as well as the relationship between the different submodularity conditions one can impose on them.
A method for constructing optical potentials with an arbitrary distribution of gain and loss and completely real spectrum is presented. For each arbitrary distribution of gain and loss, several classes of refractive-index profiles with…
In this paper, we review several results from singularly perturbed differential equations with multiple small parameters. In addition, we develop a general conceptual framework to compare and contrast the different results by proposing a…
This article is concerned with automated complexity analysis of term rewrite systems. Since these systems underlie much of declarative programming, time complexity of functions defined by rewrite systems is of particular interest. Among…
In this paper, we introduce a novel generalization of the classical property of algebras known as "being alternative," which we term "partially alternative." This new concept broadens the scope of alternative algebras, offering a fresh…
We find that to the dynamics of a given dissipative system a $p=1$ differential form can be associated with a general decomposition into a potential term and a non-potential residual part. If the residual part is absent the form is closed…
We provide a general framework for analyzing degree correlations between nodes separated by more than one step (i.e., beyond nearest neighbors) in complex networks. One probability and four conditional probabilities are introduced to fully…
We study duality theorems for the relative logarithmic de Rham-Witt sheaves on semi-stable schemes $X$ over a local ring $\mathbb{F}_q[[t]]$, where $\mathbb{F}_q$ is a finite field. As an application, we obtain a new filtration on the…
We generalise the concept of duality to systems of ordinary difference equations (or maps). We propose a procedure to construct a chain of systems of equations which are dual, with respect to an integral $H$, to the given system, by…
Suppose we are given the conditional probability of one variable given some other variables.Normally the full joint distribution over the conditioning variablesis required to determine the probability of the conditioned variable.Under what…
For a system of partial differential equations (PDEs) $F = 0$ admitting a local (point, contact, or higher) symmetry $X$ with the characteristic $\varphi$, invariant solutions satisfy the reduced system $F = \varphi = 0$. We propose a…
We describe a graphical model for probabilistic relationships---an alternative to the Bayesian network---called a dependency network. The graph of a dependency network, unlike a Bayesian network, is potentially cyclic. The probability…
We claim that both multipartiteness and localization of subsystems of compound quantum systems are of an essentially relative nature crucially depending on the set of operationalistically available states. In a more general setting, to…
We consider general subordination and obtain the formula of the subordinated predictable compensator. An example of application is given.
In this paper, we introduce the notion of a ``pairwise independent correlation gap'' for set functions with random elements. The pairwise independent correlation gap is defined as the ratio of the maximum expected value of a set function…
We generalize the concept of divergence of finitely generated groups by introducing the upper and lower relative divergence of a finitely generated group with respect to a subgroup. Upper relative divergence generalizes Gersten's notion of…
The paper presents a new formula for the fractional integration, which generalizes the Riemann-Liouville and Hadamard fractional integrals into a single form, which when a parameter fixed at different values, produces the above integrals as…
This document specifies the Relational Schema Protocol (RSP). RSP enables loosely coupled applications to share and exchange relational data. It defines fixed message format for an arbitrary relational schema so that the changes in the data…
For an algebraic stack $\sX$ flat and of finite presentation over a scheme $S$, we introduce various notions of {\em relative connected components} and {\em relative irreducible components}. The main distinction between these notions is…