Service robot technology is progressing at a fast pace. Accurate robot-friendly indoor localization and harmonization of built environ-ment in alignment with digital, physical, social environment becomes emphasized. This paper proposes the novel approach Robot Compatible Environment (RCE) within architectural space. Evolution service robotics connection civil engineering architecture discussed,...

Reduction orderings that are compatible with an equational theory E and total on (the E-equivalence classes of) ground terms play an important r^ ole in automated deduction. We present a general approach for combining such orderings. To be more precise, we show how E 1-compatible reduction orderings total on 1-ground terms and E 2-compatible reduction orderings total on 2-ground terms can be us...

We solve the problem of description of nonsingular pairs of compatible flat metrics for the general N-component case. The integrable nonlinear partial differential equations describing all nonsingular pairs of compatible flat metrics (or, in other words, nonsingular flat pencils of metrics) are found and integrated. The integrating of these equations is based on reducing to a special nonlinear ...