In their usual form, representation independence metatheorems provide an external guarantee that two implementations of abstract interface are interchangeable when they related by operation-preserving correspondence. If our programming language is dependently-typed, however, we would like to appeal such invariance results within the itself, in order obtain correctness theorems for complex trans...

The average level and cross-sectional variability of fund alphas are estimated from a large sample of mutual funds. This information is incorporated, along with the usual regression estimate of alpha, in a (roughly) precision-weighted average measure of individual fund performance. Substantial ‘‘learning across funds’’ is documented, with significant effects on investment decisions. In a Bayesi...

We explore the relationship between Kekulé structures and maximum face independence sets in fullerenes: plane trivalent graphs with pentagonal and hexagonal faces. For the class of leap-frog fullerenes, we show that a maximum face independence set corresponds to a Kekulé structure with a maximum number of benzene rings and may be constructed by partitioning the pentagonal faces into pairs and 3...

Resident fruit microflora has been the source of biocontrol agents for the control of postharvest decay of fruits and the active ingredient in commercialized biocontrol products. With the exception of grapes and apples, information on the resident microflora of other fruits is only fragmentary, but greater knowledge in this area can be very helpful in developing biocontrol strategies. We charac...

Epidemiological studies suggest that consumption of fruit rich in phenolic compounds is associated with health-protective effects due to their antioxidant properties. For these reasons quality evaluation has become an important issue in fruit industry and in breeding programs. Phytochemical traits such as total phenolics, flavonoids, anthocyanins, L-ascorbic acid, sugar content and relative ant...

It has often been recommended that the differing probability distributions of a group of experts should be reconciled in such a way as to preserve each instance of independence common to all of their distributions. When probability pooling is subject to a universal domain condition, along with state-wise aggregation, there are severe limitations on implementing this recommendation. In particula...

this study was a clinical trial performed using consecutive method of samplind for 3.5 years in the physiotherapy clinic of Rafsanjan university of medocal sciences.the purpose of this research was to evaluate the effect of the ultrasound along with muscle stretch with ultrasound and muscle stretch along in the treatment of the myofascial trigger points(MTPs).one haundred and twenty patients wh...