We consider the T–equivariant cohomology of Bott–Samelson desingularisations of Schubert varieties in the flag manifold of a connected semi–simple complex algebraic group of adjoint type with maximal torus T . We construct a combinatorially pure (in the sense of T. Braden and R. Macpherson) sheaf on the Bruhat graph of the associated Weyl group such that its global sections give the T–equivaria...

Let X be an algebraic variety, the set of points where X is not Cohen-Macaulay is the Non-CohenMacaulay locus, this set was study in [1]. Macaulayfication is an analogous operation to resolution of singularities and was considered in [7] where the main theorem of Macaulayfication is given. For any affine semigroup (without torsion) S ⊂ IN let G(S) be the subgroup of ZZ generated by S and S̄ be t...

1992 Abstract We present a new method of multi-resolution image analysis that gives us the most concise set of local orthogonally invariant features of 2-dimensional input images. Solving the equivalence problem corresponding to a local jet and the group of orthogonal transformations of the cartesian coordinate frame we nd a complete and irreducible set of local algebraic invariants that may de...

Data quality is crucial in all information systems. As a key step in obtaining clean data, record linkage or entity resolution (ER) groups database records by the underlying real world entities. In this paper we give practical motivating examples and review the available ER formal models. The formal model for matching and merging records determines not just the power and quality, but also the a...

The paper shows satissability in many propositional modal systems, including K, KD, KT and KB, their combinations as well as their multi-modal versions, can be decided by ordinary resolution procedures. This follows from a general result that resolution and condensing is a decision procedure for the satissability problem of formulae in so-called path logics. Path logics arise from propositional...

In a neutral particle gas detector, the parallax error resulting from the perpendicular projection on the detection plane or wire of the radial particle trajectories emanating from a point like source (such as a scattering sample) can significantly spoil the apparent angular resolution of the detector. However, as we will show, the information is not lost. We propose an off line data treatment ...

In a previous paper, we showed that the orientable cover of the moduli space of real genus zero algebraic curves with marked points is a compact aspherical manifold tiled by associahedra, which resolves the singularities of the space of phylogenetic trees. In this draft of a sequel, we construct a related (stacky) resolution of a space of real quadratic forms, and suggest, perhaps without much ...