Transition probabilities within a birth and death process are difficult to find analytically. As a consequence pure birth and pure death processes are considered in seperate systems and it is found that both systems can be fully specified from intensity specifications. In a linear continuous-time Markovian pure death process it is found that optional death times are independent. Faddy (1985) co...

conclusions the results showed that life skills training is an effective method in reducing symptoms of depression, anxiety, sleep and somatic disorders. also, it would be useful in reducing problems of social dysfunction. results in life skills training group, depressive and anxiety symptoms, somatization disorders, sleep disorders and disorders of social functioning were significantly decreas...

background: due to increasing life expectancy and declining fertility rates, the population over the age of 60 in developed and developing countries is increasing. this matter draws attention toward the improvement of the health of the elderly and consideration of the health and treatment needs of this important group of human society. the aim of this study was to determine the effects of integ...

purpose: to evaluate the health-related quality of life (hrqol) among strabismus patient. methods: one hundred and twenty-two strabismic patients ≥ 14 years who scheduled for surgery were selected non-randomly. the patients completed the adult strabismus 20 (as-20) and sf 36 questionnaires. measurements were performed preoperatively and 3 and 6 months postoperatively. changes in psychosocial an...

conclusions based on the results of the present study and other performed studies in this regard, menopause, aging, vasomotor symptoms, and education had significant association with the qol of postmenopausal women. the reduced qol in postmenopausal women could eventually lead to the reduced qol of their spouses. therefore, it is necessary to plan for the education of these women and their husb...

Performance and dependability requirements are key to the development of high assurance systems. Fault-based analysis has proven to be a useful tool for detecting and preventing requirement faults early in the software life cycle. By tailoring a generic fault taxonomy, one is able to better prevent past mistakes and develop requirements specifications with fewer overall faults. Fewer faults wit...

Geometrical specification is the bridge to link function, design, manufacture and verification together for a product. The next-generation GPS utilizes duality principle to combine specification and verification of a geometrical product tightly, and to ensure its desired intention (functional requirements). This makes the geometrical specification of a product complete and unambiguous, to reduc...