Survey Metode Formal Dalam Verifikasi Dan Validasi

Paper ini ditujukan untuk mensurvey metode formal yang digunakan orang baik itu dalam USAha mengembangkan software & harware, atau dalam USAha melakukan verifikasi dan validasi. Beberapa metode formal yang hendak ditinjau adalah CPN, PFSA, Actor Model, Rebeca, LTL, ACTL, CTL, UML, Hybrid Automata dan ASM. Pada setiap tinjauan, dijelaskan motivasi dan gagasan dasar metode formal bersangkutan secara intuitif dan implementasi-implementasinya yang merujuk pada berbagai paper-paper penelitian yang telah dilakukan orang menyangkut metode formal bersangkutan

The Relationship between High Sensitive C-reaction Protein (hs-CRP) and Diastolic Heart Function in Diabetes Mellitus Type II

Among several inflammatory markers, high sensitive C-reaction protein (hs-CRP) is outstandingly observed in diabetic individuals. Serum hs-CRP is the main marker of inflammation whose levels independently predict the risk of cardiovascular events, and it has a prognostic value in heart patients. On the other hand, diabetes can lead to diastolic dysfunction of the heart. Diastolic dysfunction can cause symptoms of exertional dyspnea, which restricts the patient’s activity. It is likely to predict diastolic dysfunction by screening through hs-CRP. The present investigation was a case-control study that was carried out on 52 patient diagnosed with diabetes mellitus type II. After the demographic data were recorded, and following the collection of data on the patients’ history, physical examination, and para-clinical measures, individuals who had factors interfering with level of serum hs-CRP (kidney and liver diseases, inflammatory and infectious diseases, peripheral vascular disease, cerebrovascular disease, connective tissue disease, malignant tumor, trauma, consumptionof statins, aspirin, ACEI, and fibrates) and diastolic dysfunction (ischemic heart disease, cardiomyopathies, pericardial disease, arrhythmias and valvular disease) were crossed out of the study. Serum hs-CRP was measured by nephelometry method. According to the results of tissue Doppler echocardiography, these patients are divided into two groups: onewith diastolic dysfunction and the other without diastolic dysfunction. The serum hs-CRP levels of these patients were compared with each other. Among the participants, 30.8% were men and 69.2% were women, 36 individuals (69.2%) had diastolic dysfunction while 16 (30.8%) did not. There was a high level of correlation between the level of serumhs-CRP and diastolic dysfunction (p=0.02, t=2.36). The results of the present study indicated that there is a correlation between level of serum hs-CRP and diastolic dysfunction, such that the more the level of hs-CRP, the higher probability of diastolic dysfunction existence will be

Evaluation of Agricultural Land Resources for Irrigation in the Ramhormoz Plain by using GIS

The main objective of this research is to compare different irrigation methods based upon a parametric evaluation system in an area of 45,000 ha in the Ramhormoz plain located in the Khuzestan Province, in the southwest of Iran. The soil properties of the study area such as texture, depth, electrical conductivity, drainage, calcium carbonate content and slope were derived from a semi-detailed soil study carried out on the Ramhormoz plain on a scale of 1:20,000. Once the soil properties were analyzed and evaluated, suitability maps were generated for surface, sprinkler and drip irrigation methods using Remote Sensing (RS) Techniques and Geographic Information System (GIS). The results demonstrated that by applying sprinkler irrigation instead of surface and drip irrigation methods, the arability of 39,625 ha (87.98%) in the Ramhormoz Plain will improve. In addition by applying drip Irrigation instead of surface and sprinkler irrigation methods, the land suitability of 2925 ha (6.57%) of this Plain will improve. The comparison of the different types of irrigation techniques revealed that the sprinkler and drip irrigations methods were more effective and efficient than the surface irrigation methods for improving land productivity. However, the main limiting factor in using surface irrigation methods in this area were salinity, drainage and carbonate content and the main limiting factor in using sprinkler and drip irrigation methods in this area were salinity and carbonate content

Cross-Cultural Adaptation, Validation, and Reliability Testing of the Modified Oswestry Disability Questionnaire in Persian Population with Low Back Pain

Study Design Prospective study. Purpose We aimed to validate the Persian version of the modified Oswestry disability questionnaire (MODQ) in patients with low back pain. Overview of Literature Modified Oswestry low back pain disability questionnaire is a well-known condition-specific outcome measure that helps quantify disability in patients with lumbar syndromes. Methods: To test the validity in a pilot study, the Persian MODQ was administered to 25 individuals with low back pain. We then enrolled 200 consecutive patients with low back pain to fill the Persian MODQ as well as the short form 36 (SF-36) questionnaire. Convergent validity of the MODQ was tested using the Spearman's correlation coefficient between the MODQ and SF-36 subscales. Intraclass correlation coefficient (ICC) and Cronbach's α coefficient were measured to test the reliability between test and retest and internal consistency of all items, respectively. Results: ICC for individual items ranged from 0.43 to 0.80 showing good reliability and reproducibility of each individual item. Cronbach's α coefficient was 0.69 showing good internal consistency across all 10 items of the Persian MODQ. Total MODQ score showed moderate to strong correlation with the eight subscales and the two domains of the SF-36. The highest correlation was between the MODQ and the physical functioning subscale of the SF-36 (r=–0.54, p<0.001) and the physical component domain of the SF-36 (r=–0.55, p<0.001) showing that MODQ is measuring what it is supposed to measure in terms of disability and physical function. Conclusions: Persian version of the MODQ is a valid and reliable tool for the assessment of the disability following low back pain

Maximal wall thickness measurement in hypertrophic cardiomyopathy

Objectives The aim of this study was to define the variability of maximal wall thickness (MWT) measurements across modalities and predict its impact on care in patients with hypertrophic cardiomyopathy (HCM). Background Left ventricular MWT measured by echocardiography or cardiovascular magnetic resonance (CMR) contributes to the diagnosis of HCM, stratifies risk, and guides key decisions, including whether to place an implantable cardioverter-defibrillator (ICD). Methods A 20-center global network provided paired echocardiographic and CMR data sets from patients with HCM, from which 17 paired data sets of the highest quality were selected. These were presented as 7 randomly ordered pairs (at 6 cardiac conferences) to experienced readers who report HCM imaging in their daily practice, and their MWT caliper measurements were captured. The impact of measurement variability on ICD insertion decisions was estimated in 769 separately recruited multicenter patients with HCM using the European Society of Cardiology algorithm for 5-year risk for sudden cardiac death. Results MWT analysis was completed by 70 readers (from 6 continents; 91% with >5 years’ experience). Seventy-nine percent and 68% scored echocardiographic and CMR image quality as excellent. For both modalities (echocardiographic and then CMR results), intramodality inter-reader MWT percentage variability was large (range –59% to 117% [SD ±20%] and –61% to 52% [SD ±11%], respectively). Agreement between modalities was low (SE of measurement 4.8 mm; 95% CI 4.3 mm-5.2 mm; r = 0.56 [modest correlation]). In the multicenter HCM cohort, this estimated echocardiographic MWT percentage variability (±20%) applied to the European Society of Cardiology algorithm reclassified risk in 19.5% of patients, which would have led to inappropriate ICD decision making in 1 in 7 patients with HCM (8.7% would have had ICD placement recommended despite potential low risk, and 6.8% would not have had ICD placement recommended despite intermediate or high risk). Conclusions Using the best available images and experienced readers, MWT as a biomarker in HCM has a high degree of inter-reader variability and should be applied with caution as part of decision making for ICD insertion. Better standardization efforts in HCM recommendations by current governing societies are needed to improve clinical decision making in patients with HCM

A multi-country test of brief reappraisal interventions on emotions during the COVID-19 pandemic.

The COVID-19 pandemic has increased negative emotions and decreased positive emotions globally. Left unchecked, these emotional changes might have a wide array of adverse impacts. To reduce negative emotions and increase positive emotions, we tested the effectiveness of reappraisal, an emotion-regulation strategy that modifies how one thinks about a situation. Participants from 87 countries and regions (n = 21,644) were randomly assigned to one of two brief reappraisal interventions (reconstrual or repurposing) or one of two control conditions (active or passive). Results revealed that both reappraisal interventions (vesus both control conditions) consistently reduced negative emotions and increased positive emotions across different measures. Reconstrual and repurposing interventions had similar effects. Importantly, planned exploratory analyses indicated that reappraisal interventions did not reduce intentions to practice preventive health behaviours. The findings demonstrate the viability of creating scalable, low-cost interventions for use around the world

No god but God: the origins, evolution, and future of islam

Buku ini memuat mengenai perkembangan Islamxxvi+310 hlm