A structural description is given of the separable C algebras that are contractible in KK theory or E theory Subsequently it is shown that two separable C algebras A and B are KK equivalent if and only if there is a bundle of separable C algebras over which is piecewise trivial with no more than six points of non triviality such that the kernel of each ber map is KK contractible all ber maps ar...

We propose an approach to the attractors of skew products that tries to avoid unnecessary structures on the base space and rejects the assumption on the invariance of an attractor. When nonivertible maps in the base are allowed, one can encounter the mystery of the vanishing attractor. In the second part of the paper, we show that if the fiber maps are concave interval maps then contraction in ...

Let X be a smooth projective curve of genus g ≥ 2 over an algebraically closed field k of characteristic p > 0. Let MX be the moduli space of semistable rank-2 vector bundles over X with trivial determinant. The relative Frobenius map F : X → X1 induces by pull-back a rational map V : MX1 99K MX . In this paper we show the following results. (1) For any line bundle L over X , the rank-p vector ...

I show that a quasicompact morphism f : X → Y of schemes is an effective descent map for quasicoherent modules if and only if the map OY → f∗(OX) is injective, and remains injective after any base change. This generalizes Grothendieck’s result that faithfully flat quasicompact morphisms are effective descent maps.

This paper presents an approach to mobile robot path planning using case-based reasoning together with map-based path planning. The map-based path planner is used to seed the case-base with innovative solutions. The casebase stores the paths and the information about their traversability. While planning the route those paths are preferred that according to the former experience are least risky.

2. A base application. The example chosen was an information system for the University of Oregon campus. The base system, which could be given away free or at low cost, provided a map of campus and window panes for new components to work within. The expectation is that the base application would run on a user’s home computer. The user would ask (demand) new components on an as-needed basis, e.g...

In this paper we explore how a visual SLAM system and a robot knowledge base can mutually benefit from each other. The object recognition and mapping methods are used for grounding abstract knowledge and for creating a semantically annotated environment map that is available for reasoning. The knowledge base allows to reason about which object types are to be expected while exploring an environ...