The main result of the paper is a constructive proof of the following equivalence: two pure -terms are observationally equivalent in the lazy concurrent -calculus i they have the same L evy-Longo trees. An algorithmwhich allows to build a context discriminating any two pure -terms with di erent L evy-Longo trees is described. It follows that contextual equivalence coincides with behavioural equ...

Abstract : Let be a 2nd order ODE. By Cartan equivalence method, we will study the local equivalence problem under the transformations group of time-fixed coordinates. We are going to solve this problem by an applicable method which has been recognized by R. Gardner, and classify them.   

Hypothesis tests of equivalence are typically known for their application in bioequivalence studies and acceptance sampling. Their application to gene expression data, in particular high-dimensional gene expression data, has only recently been studied. In this paper, we examine how two multigroup equivalence tests, the F-test and the range test, perform when applied to microarray expression dat...

Currently, methods for evaluation of equivalence under a matched-pair design use either difference in proportions or relative risk as measures of risk association. However, these measures of association are only for cross-sectional studies or prospective investigations, such as clinical trials and they cannot be applied to retrospective research such as case-control studies. As a result, under ...

in welfare economic studies, because of the differences among households scale, we cannot consider household expenditures without attention to this factor. a simple method to consider household scale in welfare analysis is the usage of the per capita expenditure. but, the usage of per capita expenditure ignores economies of scale. in fact, per capita expenditure is a biased variable, and underv...

Some household expenditures, such as those for subsistence or basic needs, are fixed. Using the methodology of equivalence scales, we develop a model in which differences in fixed costs of characteristics across households can be identified from household behaviour. Equivalent expenditure for a household is the expenditure needed to bring a reference household, such as a single childless adult,...

in this paper we enumerate fuzzy subgroups, up to a natural equivalence, of some finite abelian p-groups of rank two where p is any prime number. after obtaining the number of maximal chains of subgroups, we count fuzzy subgroups using inductive arguments. the number of such fuzzy subgroups forms a polynomial in p with pleasing combinatorial coefficients. by exploiting the order, we label the s...

in this paper we classify fuzzy subgroups of a rank-3 abelian group $g = mathbb{z}_{p^n} + mathbb{z}_p + mathbb{z}_p$ for any fixed prime $p$ and any positive integer $n$, using a natural equivalence relation given in cite{mur:01}. we present and prove explicit polynomial formulae for the number of (i) subgroups, (ii) maximal chains of subgroups, (iii) distinct fuzzy subgroups, (iv) non-isomorp...