Related papers: Effective inseparability and some applications in …
We investigate the connection between measure and capacity for the space of nonempty closed subsets of {0,1}*. For any computable measure, a computable capacity T may be defined by letting T(Q) be the measure of the family of closed sets…
The incomplete version of the Macdonald function has various appellations in literature and earns a well-deserved reputation of being a computational challenge. This paper ties together the previously disjoint literature and presents the…
We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…
Non equilibrium effective field theory is presented as an inhomogeneous field theory, using a formulation which is analogous to that of a gauge theory. This formulation underlines the importance of structural aspects of non-equilibrium,…
In Physics, we are generally interested in real solutions involving natural phenomena, where knowledge of real functions of real variables is sufficient to obtain physically relevant results. However, the complexity of phenomena associated…
The paper presents a survey over frame multipliers and related concepts. In particular, it includes a short motivation of why multipliers are of interest to consider, a review as well as extension of recent results, devoted to the…
We present study results from two experiments to empirically validate that separable bivariate pairs for univariate representations of large-magnitude-range vectors are more efficient than integral pairs. The first experiment with 20…
This paper gives the recursion formula for mixed multiplicities of maximal degrees with respect to joint reductions of ideals, which is one of important results in the mixed multiplicity theory. Using this result, we give consequences on…
Pattern matching is a powerful tool which is part of many functional programming languages as well as computer algebra systems such as Mathematica. Among the existing systems, Mathematica offers the most expressive pattern matching.…
Ultrafilters are very useful and versatile objects with applications throughout mathematics: in topology, analysis, combinarotics, model theory, and even theory of social choice. Proofs based on ultrafilters tend to be shorter and more…
We decompose the Hilbert space of wave functions into two subspaces, and assign to a given observable two effective representatives that act in the model space. The first serves to determine some of the eigenvalues of the full observable,…
The inconsistency of pairwise comparisons remains difficult to interpret in the absence of acceptability thresholds. The popular 10% cut-off rule proposed by Saaty has recently been applied to incomplete pairwise comparison matrices, which…
Reciprocal transformations mix the role of the dependent and independent variables of (nonlinear partial) differential equations to achieve simpler versions or even linearized versions of them. These transformations help in the…
For the same quantum field theory distinct effective actions can be obtained by coupling sources to different choices of field variables. This is the same as considering effective actions for theories related by a change of variables and…
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study…
This is part 1 of 3 from the master's thesis: Modeling Compact Objects with Effective Field Theory, supervised by Amanda Weltman. Using the Effective Field Theory framework for extended objects and the coset construction, we build the…
We initiate an investigation how the fundamental concept of independence can be represented effectively in the presence of incomplete information in relational databases. The concepts of possible and certain independence are proposed, and…
Tests of the standard model and its hypothetical extensions require precise theoretical predictions for processes involving massive, unstable particles. It is well-known that ordinary weak-coupling perturbation theory breaks down due to…
This paper is divided to two parts. In the first part, we provide elementary proofs for some important results in multi-objective optimization. The given proofs are so simple and short in compared to the existing ones. Also, a Pareto…
In this paper we apply computer-aided theorem discovery technique to discover theorems about strongly equivalent logic programs under the answer set semantics. Our discovered theorems capture new classes of strongly equivalent logic…