Recent years have seen a proliferation of mobile devices connected to the internet, including connected cars. These systems send a stream of position annotated messages when requesting location based services. The position information in turn can be used to improve those services. Here, we focus on online map matching of the most recent position of a connected vehicle on a road map. This inform...

Ideas from the theory of topological stability of smooth maps are trans ported into the controlled topological category For example the controlled topologi cal equivalence of maps is discussed These notions are related to the classi cation of manifold approximate brations and manifold strati ed approximate brations In turn these maps form a bundle theory which can be used to describe neighborho...

Probability maps are used to define areas with high and low certainty of exceeding a threshold value. The most popular methods for creating these maps are variants of indicator kriging. However, such methods are questionable when the data exhibit a trend or contain measurement errors, the latter of which is common in most data sets. This paper presents an alternative approach that maps the risk...

Land cover type is a crucial parameter that is required for various land surface models that simulate water and carbon cycles, ecosystem dynamics, and climate change. Many land use/land cover maps used in recent years have been derived from field investigations and remote-sensing observations. However, no land cover map that is derived from a single source (such as satellite observation) proper...

Remotely sensed imagery is an attractive source of information for mapping and monitoring land cover. Fine spatial resolution imagery is typically acquired infrequently, but fine temporal resolution systems commonly provide coarse spatial resolution imagery. Sub-pixel land cover change mapping is a method that aims to use the advantages of these multiple spatial and temporal resolution sensing ...

The existence of a corank one map of negative codimension puts strong restrictions on the topology of the source manifold. It implies many vanishing theorems on characteristic classes and often even vanishing of the cobordism class of the source manifold. Most of our results lie deeper than just vanishing of Thom polynomials of the higher singularities. We blow up the singular map along the sin...

The process of mapping a source code entity onto an architectural module is to large degree manual task. Automating this could increase the use static architecture conformance checking methods, such as reflexion modeling, in industry. Current techniques rely on user parameterization and highly cohesive design. A machine learning approach would potentially require less parameters better availabl...

This paper presents the Digital Atlas of Portuguese America (Atlas Digital da América Portuguesa), a project that produces an interactive map of South America claimed by the Portuguese between 1500 and 1808, giving a detailed account on the development and structure of this digital cartographic platform. The paper narrates the stages that the project went through and details the structure of in...