The major aim of processing satellite images is to prepare topical and effectivemaps. The selection of appropriate classification methods plays an important role. Amongvarious methods existing for image classification, artificial neural network method is ofhigh accuracy. In present study, TM images of 1987, and ETM+ images of 2000 and 2006were analyzed using artificial fuzzy ARTMAP neural netwo...

This article describes PaMiraXT, a powerful parallel SAT algorithm. PaMiraXT follows a master/client model based on message passing, making it suitable for any kind of workstation cluster. For the clients, MiraXT is used, which itself is thread-based parallel solver designed to take advantage of current and future shared memory multiprocessor systems. We highlight design and implementation deta...

Quantitative assessment of urbanization effect on surface air temperature (SAT) change provides crucial basis for formal detection and attribution analyses climate change. However, debates about urbanization-related warming bias in documented regional SAT trend still persist, mainly due to different determination rural stations. Here the over Beijing–Tianjin–Hebei region China during 1980–2019 ...

This paper demonstrates that P ≠ NP. The way was to generalize the traditional definitions of the classes P and NP, to construct an artificial problem (a generalization to SAT: The XG-SAT, much more difficult than the former) and then to demonstrate that it is in NP but not in P (where the classes P and NP are generalized and called too simply P and NP in this paper, and then it is explained wh...