background & aim: women experience various changes in their transition into motherhood and feel stressed while facing new challenges in this period. high levels of stress may prevent mothers from realizing their maternal role. in this study, we aimed to explore the effects of training on the stress of primiparous mothers. methods:in this quasi-experimental intervention, 100 pregnant women were ...

although the validity of content of program is mostly conducted with qualitative methods, this study used both qualitative and quantitative methods for the validation of content of post marriage training program provided for newly married couples. content validity is a preliminary step of obtaining authorization required to install the program in country's health care system.this mixed methodol...

introduction: after low back pain, the neck pain is the most prevalent pain among (especially elderly) peoples. the purpose of this study was to determine the effect of one period of exercise program on subjects neck rom and chronic neck pain. materials and methods:  for executing this study 60 elderly patient (24 males and 36 females) with mean age 56± 4.5 years old and 71± 4.4 kg with chronic...

a group of high school students attended 7 educational sessions for a preventive drug abuse program. the students were exposed to drug abusers and their families. drug abusers and their families informed the subjects about the consequences of addiction in their life: how they became addicted and how the addiction worsened their psychosocial life. moreover their families explained to students th...

We present a transformational approach to program verification and software model checking that uses three main ingredients: (i) Constraint Logic Programming (CLP), (ii) metaprogramming and program specialization, and (iii) proof by transformation. (i) Constraints are used for representing in a compact way (finite or infinite) sets of values or memory states, and logic is used for expressing pr...

This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is different from the specialization operations performed by algorithms for partial evaluation, supercompilation, bifurcation, and deforestation. To study the relationship between slicing and these operations in a simplifie...

production of electricity for promotion of people’s welfares is inevitable.there are about 54000 mw of various power plants in iran. the type of power plants includes gas, steam, combined, hydro and a very minute amount of wind mills. the per capita electricity production is about 2200 kwh. power plants can impose adverse environmental impacts during construction and utilization phases. envir...