Sharif Digital Repository

In cloud computing, services play key roles. Services are well defined and autonomous components. Nowadays, the demand of using Fuzzy inference as a service is increasing in the domain of complex and critical systems. In such systems, along with the development of the software, the cost of detecting and fixing software defects increases. Therefore, using formal methods, which provide clear, concise, and mathematical interpretation of the system, is crucial for the design of these Fuzzy systems. To obtain this goal, we introduce the Fuzzy Inference Cloud Service (FICS) and propose a novel discipline for formal modeling of the FICS. The FICS provides the service of Fuzzy inference to the... 

Snakebite envenoming is an important cause of preventable death. The World Health Organization (WHO) set a goal to halve snakebite mortality by 2030. We used verbal autopsy and vital registration data to model the proportion of venomous animal deaths due to snakes by location, age, year, and sex, and applied these proportions to venomous animal contact mortality estimates from the Global Burden of Disease 2019 study. In 2019, 63,400 people (95% uncertainty interval 38,900–78,600) died globally from snakebites, which was equal to an age-standardized mortality rate (ASMR) of 0.8 deaths (0.5–1.0) per 100,000 and represents a 36% (2–49) decrease in ASMR since 1990. India had the greatest number... 

Objective: To translate the Foot and Ankle Ability Measure (FAAM) into Persian and to evaluate the psychometric properties of the Persian version of FAAM. Methods: 93 patients with a range of foot and ankle disorders, completed the Persian version of the FAAM and Short-Form 36 Health Survey (SF-36) in the test session. With an interval of 2-6 days, 60 patients filled out the FAAM in the retest session. The FAAM is composed of two subscales including activities of daily living (ADL) and SPORTS. Internal consistency was assessed using Cronbach's alpha, test-retest reliability using intraclass correlation coefficient (ICC) and standard error of measurement (s.e.m.), item internal consistency... 

STUDY DESIGN.: Cross-sectional validation study to investigate psychometric properties of adapted Persian version of the Scoliosis Research Society-22r (SRS-22r) questionnaire. OBJECTIVES.: To translate the SRS-22r into Persian and to evaluate the internal consistency, reliability, and validity of the Persian SRS-22r. SUMMARY OF BACKGROUND DATA.: The SRS-22r has not been translated and validated for Persian-speaking patients with idiopathic scoliosis. This was to provide a validated instrument to measure health-related quality of life in patients with idiopathic scoliosis in Iran. METHODS.: The translation and cultural adaptation of the original questionnaire were carried out in accordance... 

The aims of this study were to culturally adapt and validate the Persian version of Foot and Ankle Outcome Score (FAOS) and present data on its psychometric properties for patients with different foot and ankle problems. The Persian version of FAOS was developed after a standard forward-backward translation and cultural adaptation process. The sample included 93 patients with foot and ankle disorders who were asked to complete two questionnaires: FAOS and Short-Form 36 Health Survey (SF-36). To determine test-retest reliability, 60 randomly chosen patients completed the FAOS again 2 to 6 days after the first administration. Test-retest reliability and internal consistency were assessed using... 

Cultural adaptation and validation of the Persian version of the Arthritis Measurement Scales 2-Short Form (AIMS2-SF). The translation and cultural adaptation of the original questionnaire was carried out in accordance with published guidelines. Three hundred and fifty consecutive Persian-speaking patients with rheumatoid arthritis (RA) were asked to complete the AIMS2-SF, the Short Form Health Survey (SF-36), and four visual analog scales (VAS) for pain, joint stiffness, and patient's and physician's global assessment to test convergent validity. In addition, 90 randomly selected patients were asked to complete the questionnaire 48 h later for the second time. Moderate to high correlation... 

Background. The Arthritis Impact Measurement Scales 2 (AIMS2) has not been translated and validated for Persian-speaking patients with osteoarthritis of the knee. This was to provide a validated instrument to measure functional disability and health-related quality of life in patients with osteoarthritis of the knee in Iran. The aim of this study was to culturally adapt and validate the AIMS2 for Persian-speaking patients with osteoarthritis of the knee in Iran. Methods. A consecutive sample of patients with knee osteoarthritis were asked to complete the AIMS2, the Short Form Health Survey (SF-36) and four visual analog scales for pain, joint stiffness, patient's and physician's global... 

As concerning with water insecurity driven by water scarcity threatens the lives and livelihoods of humanity worldwide, urban water demand management is focused on promoting residential water conservation behaviors (WCBs) as a critical policy response to water scarcity. However, urban water conservation initiatives cannot be successful unless households involve in residential WCBs voluntarily by adopting water curtailment and/or water-efficiency actions. Thus, understanding motivations and mechanisms underlying accepting these two types of WCBs and interpreting their distinctions are primary policy considerations to make sustainable water consumption behaviors. Hence, the purpose of this...