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 ...

Most of the companies are not currently manufacturing the detergents alone; they are producing enzyme-based detergents. More than 50% of the detergents produced in the developed countries presently contain enzymes to improve the detergency by removing tough stains. The role of a detergent lipase is to digest the lipidic molecules from the soiled substrates. Most of the chemical detergent ingred...

We define Player-Compatible Equilibrium or “PCE,” which imposes cross-player restrictions on magnitudes of the players’ “trembles” onto different actions. These restrictions are inspired by the idea that trembles correspond to deliberate experiments by inexperienced agents who are unsure of the prevailing distribution of strategies in opponent populations. We show that PCE selects the “intuitiv...