ecological destruction in human-dominated landscapes has significant impacts on environment sustainability internationally. landscape planning can play a role in mitigating the effects of human-related activities. one element of landscape planning involves the analysis of the biological, spatial and social arrangement of areas in an urban environment and identifying characteristics that are und...

The article discusses the competitiveness of alternative fuels and technologies in rapidly growing segment passenger vehicles aviation, which globally consumes more than 70% fuel spent on transportation about 45% total transport. emergence new personal (electric vehicles, hydrogen cars with cell, biofuels, natural gas, etc.) makes us look at prospects for development this a way. On basis approa...

Until now, the area of symbolic computation has mainly focused on the manipulation of algebraic expressions. It would be interesting to apply a similar spirit of “exact computations” to the field of mathematical analysis. One important step for such a project is the ability to compute with computable complex numbers and computable analytic functions. Such computations include effective analytic...

We study model theoretical stability for structures from functional analysis. We prove a functional-analytic version of the Finite Equivalence Relation Theorem. We also the Stability Spectrum Theorem for Banach space structures.

We evaluate binomial series with harmonic number coefficients, providing recursion relations, integral representations, and several examples. The results are of interest to analytic number theory, the analysis of algorithms, and calculations of theoretical physics, as well as other applications.

A tableau calculus for SHIQ has been known for some time, and forms the basis for several highly successful implementations [1, 8, 9]. Extending this calculus to SHOIQ, however, was notoriously difficult due to an interaction between nominals, inverse roles, and number restrictions which results in (partial) loss of the forest-model property for models of SHOIQ knowledge bases. In this paper, w...

Ji et al. have conjectured that using the matrix form (to represent a basic solution) instead of the Simplex tableau in the dual Simplex method will lead to an algorithm with the time complexity comparable to the Hungarian algorithm for solving the Assignment Problem. In this note we show that both the time complexity and the CPU times of the Ji et al. algorithm are far away from being competit...