In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...

background: high intensity interval training (hiit) is a novel training method which has received most attention in recent years. the aim of this study was to examine the effect of 8 weeks of high intensity interval training (hiit) on plasma levels of adiponectin and leptin in overweight nurses. m aterials and methods: 27 nurses (mean age 25.81±60 years, height 158.01±67 cm and weight 69.41±25 ...

Locked tree linkages have been known to exist in the plane since 1998, but it is still open whether they have a polynomial-time characterization. This paper examines the properties needed for planar trees to lock, with a focus on finding the smallest locked trees according to different measures of complexity, and suggests some new avenues of research for the problem of algorithmic characterizat...

Multiple sequence alignment is a fundamental part in many bioinformatics applications such as phylogenetic analysis. Many alignment methods have been proposed. Each method gives a different result for the same data set, and consequently generates a different phylogenetic tree. Hence, the chosen alignment method affects the resulting tree. However in the literature, there is no evaluation of mul...

tive, ‘framework’ loci chosen on the previous single-tree map using a matrix correlation method) the sampling variability of the single-tree and population maps was estimated. As expected the population map was affected by a larger variability than the single-tree map. Heterogeneity in pairwise recombination fractions among groups of sibship revealed a (possible) alternative genomic arrangement...

Due to audiences’ diversity, local cultural spaces have the highest share in residents’ mass life. Therefore, these spaces are the necessary environment for social relations and face-to-face communication of residents of urban area. If these are well qualified, welfare would be promoted. This study aims at identifying and evaluating factor influencing quality of local cultural space...

Sequent calculus is widely used for formalizing proofs. However, due to the proliferation of data, understanding the proofs of even simple mathematical arguments soon becomes impossible. Graphical user interfaces help in this matter, but since they normally utilize Gentzen’s original notation, some of the problems persist. In this paper, we introduce a number of criteria for proof visualization...