The aim of this paper is the study of a covering of a max-mingeneral fuzzy automaton by another, admissible relations, admissiblepartitions of a max-min general fuzzy automaton,$tilde{delta}$-orthogonality of admissible partitions, irreduciblemax-min general fuzzy automata. Then we obtain the relationshipsbetween them.  

One of the most important prediction problems in finite population is the prediction of a linear function of characteristic values of a finite population. In this paper the admissibility of linear predictors of an arbitrary linear function of characteristic values in a finite population under reflected normal loss function is considered. Under the super-population model, we obtain the condition...

In this paper, at first, we introduce $alpha_{mu}$-admissible, $Z_mu$-contraction and  $N_{mu}$-contraction via simulation functions. We prove some new fixed point theorems for defined class of contractions   via $alpha$-admissible simulation mappings, as well. Our results  can be viewed as extension of the corresponding results in this area.  Moreover, some examples and an application to funct...

Craters appears on the lunar's surface in high density and the most interesting landform features of any planetary surface. Craters are important landform features on the lunar surface. Hence, detection and analyzing quantitative information (Morphometric) are key role of present day research. Morphometric measuring are useful for understating formation and evolution of surface features. It is ...

Although the orbit is a small anatomical space, the wide range of structures present within it are often the site of origin of various tumours and tumour-like conditions, both in adults and children. Cross-sectional imaging is mandatory for the detection, characterization, and mapping of these lesions. This review focuses on multiparametric imaging of orbital tumours. Each tumour is reviewed in...

The Brazilian Amazon has a deficit of 35% of coverage regarding topographic mapping at semi-detailed (1:100,000) scale. This paper presents an alternative to overcome this scenario using a combination of planialtimetric information from two orbital SAR (Synthetic Aperture Radar) missions. The altimetry was acquired from Shuttle Radar Topography Mission (SRTM), while the planimetry was provided ...

Emission-line Doppler tomography is a powerful tool that resolves the accretion flow in binaries on micro-arcsecond scales using time-resolved spectroscopy. I present an extension to Doppler tomography that relaxes one of its fundamental axioms and permits the mapping of time-dependent emission sources. Significant variability on the orbital period is a common characteristic of the emission sou...

If Visser’s rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate logics for which not all of Visser’s rules are admissible is not known. Here we study the situation for specific intermediate logics. We provide natural examples of logics for which Visser’s rule are derivable, admissible b...

Using a new domain-theoretic characterisation we show that Berry’s constructive semantics is a conservative approximation of the recently proposed sequentially constructive (SC) model of computation. We prove that every Berry-constructive program is deterministic and deadlock-free under sequentially admissible scheduling. This gives, for the first time, a natural interpretation of Berry-constru...