RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by certain techniques or a combination of techniques is sometimes unclear. We introduce and apply a formal method of analyzing the design of data protection strategies. Specifically, we use model checking to evaluate whe...

objective: to determine the status of serum zinc in pregnant women in different gestational ages and correlation with socio-demographic and anthropometric factors in iranian women referring to prenatal care public health clinics . materials and methods: we analyzed the zinc concentrations in plasma samples obtained at different gestational ages from 961 women and recorded bmi at the first trime...

the aim of the present study was to estimate the genetic parameters and genetic trends of somatic cell score (scs) in the first 3 lactations of iranian holstein cows by random regression (rr) animal model by using restricted maximum likelihood (reml) method. the data set used in this analysis included observations of 340318 test-day records of 41526 cows in 288 herds; 89969 test-day of 11750 co...

we present an approach to design of fault tolerant computing systems. in this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. code combining techniques are very effective, which one of these codes are turbo codes. the algorithm-based fault tolerance techniques that to detect errors rely on the c...

We will now consider the problem of creating a set of bitstrings such that the bits are almost k-wise independent. Our method consists of two steps. In the first step we create a set of bitstrings such that parity on every fixed index set is almost even. In the second step we present a method to convert such a set into a set where the bits are almost k-wise independent. For presentational reaso...

We consider the parity transformation and the consequences of parity invariance on the n-point correlation function of the cosmic shear, or any other polar (or ‘spin-2’) field. The decomposition of the shear field into Eand B-modes then yields the result that any correlation function which contains an odd number of B-mode shear components vanishes for parity-invariant random shear fields. This ...

background : zoonotic cutaneous leishmaniasis (zcl) is a neglected tropical disease prevailed in many rural areas of 17 out of 31 provinces in iran. the main vector of the disease is phlebotomus papatasi and the causative agent is leishmania major in zcl foci of iran. in the current study we investigated the validity of accessory glands secre­tions as an indicator to recognize parous from nulli...