We introduce rewriting with two sets of rules, the rst interpreted equa-tionally and the second not. A semantic view considers equational rules as deening an equational theory and reduction rules as deening a rewrite relation modulo this theory. An operational view considers both sets of rules as similar. We introduce suucient properties for these two views to be equivalent (up to diierent noti...

We des ribe eÆ ient onstru tions for various ryptographi primitives in private-key as well as publi -key ryptography. Our major results are two new onstru tions of pseudorandom fun tions. We prove the pseudo-randomness of one onstru tion under the assumption that fa toring (Blum integers) is hard while the other onstru tion is pseudo-random if the de isional version of the DiÆe-Hellman assumpti...

factor analysis is one of the most advanced multivariate statistical techniques applying to attain a variety of scientific and research goals such as model-building, hypothesis-building lest validation, identifying subtests and development conditions in order to perform the other advanced methods as multiple regression and structural equation models. while there are difficulties and complexitie...

A general goodness-of-fit test for scale-parameter families of distribu­ tions is introduced, which is based on quotients of expected sample minima. The test is independent of the mean of the distribution, and, in applications to testing for expQnentiality of data, compares favorably to other goodness-of-fit tests for expo­ nentialitybased on the empirical distribution function, regression meth...