Size-change termination analysis is a simple and powerful technique successfully applied for a variety of programming paradigms. A main advantage is that termination for size-change graphs is decidable and based on simple linear ranking functions. A main disadvantage is that the size-change termination problem is PSPACE-complete. Proving size change termination may have to consider exponentiall...

this study assumes areas between the central zagros region and central plateau of to play an important role in the shaping social and economic complexity and the formation of urban infrastructure during the late chalcolithic period of the region. regarding the issue an archaeological survey conducted in the area, 39 sites were identified and were archaeologically analyzed. for spatial data anal...

The ability of the site-frequency spectrum (SFS) to reflect the particularities of gene genealogies exhibiting multiple mergers of ancestral lines as opposed to those obtained in the presence of population growth is our focus. An excess of singletons is a well-known characteristic of both population growth and multiple mergers. Other aspects of the SFS, in particular, the weight of the right ta...

It is well known that the ordinary least squares (OLS) regression estimator is not robust. Many robust regression estimators have been proposed and inferential methods based on these estimators have been derived. However, for two independent groups, let θj (X) be some conditional measure of location for the jth group, given X, based on some robust regression estimator. An issue that has not bee...

Staircase codes play an important role as error-correcting codes in optical communications. In this paper, a low-complexity method for resolving stall patterns when decoding staircase codes is described. Stall patterns are the dominating contributor to the error floor in the original decoding method. Our improvement is based on locating stall patterns by intersecting non-zero syndromes and flip...

The objective of this study is to use a new style of waved flow channel instead of the plane surface channel in the proton exchange membrane fuel cell (PEMFC). The velocity, concentration, and electrical performance with the waved flow channel in PEMFC are investigated by numerical simulations. The results show that the waved channel arises when the transport benefits through the porous layer a...

This paper presents an algorithm to segment text and picture in an image using two features based on the statistical distribution of the wavelet coe cients in high frequency bands. The algorithm breaks the image into blocks and classi es every block as background, text or picture according to the two features. The block size is variable so that the segmentation can be accurate at the boundary o...

The influence of nanopore shapes on the electronic thermal conductivity (ETC) was studied in this paper. It turns out that with same porosity, the ETC will be quite different for different nanopore shapes, caused by the different channel width for different nanopore shapes. With same channel width, the influence of different nanopore shapes can be approximately omitted if the nanopore is small ...

The study was conducted to analyze productivity and resource use efficiency in sugarcane production by random selection of 120 out grower farmers. Data collected were analyzed using descriptive statistics and the production function analysis. Results of the analysis revealed that majority of the respondents (60%) were males and 40% were females engaged in sugarcane production, a mean age of 42 ...