Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Enhancing the phonological processing skills of children with specific reading disability

The present study evaluated the benefits of phonological processing skills training for children with persistent reading difficulties. Children aged between 9-14 years, identified as having a specific reading disability, participated in the study. In a series of three experiments, pedagogical issues related to length of training time, model of intervention and severity of readers' phonological processing skills deficit prior to intervention, were explored. The results indicated that improvement in poor readers' phonological processing skills led to a dramatic improvement in their reading accuracy and reading comprehension performance. Increasing the length of training time significantly improved transfer effects to the reading process. Children with particularly severe phonological processing skill deficits benefited from art extended training period, and both individual and group intervention models for phonological processing training proved successful. Implications for speech and language therapists are discussed.

Social adaptation of children with mild intellectual disability: Effects of partial integration within primary school classes

is study examined the social adaptation of children with mild intellectual disability who were either (a) partially integrated into regular primary school classes, or (b) full-time in separate classes, All of the children were integrated in sport and play activities with the whole school. Consistent with previous research, children with intellectual disability were less socially accepted than were a matched group of control children. Children in partially integrated classes received more play nominations than those in separate classes, brit there was no greater acceptance as a best friend. On teachers' reports, disabled children had higher levels of inappropriate social behaviours, but there was no significant difference in appropriate behaviours. Self-assessments by integrated children were more negative than those by children in separate classes, and their peer-relationship satisfaction was lower. Ratings by disabled children of their satisfaction with peer relationships were associated with ratings of appropriate social skills by themselves and their teachers, and with self-ratings of negative behaviour. The study confirmed that partial integration can have negative consequences for children with an intellectual disability.

Impact of Nervous System Hyperalgesia on Pain, Disability, and Quality of Life in Patients With Knee Osteoarthritis: A Controlled Analysis

Objective. Refractory, disabling pain associated with knee osteoarthritis (OA) is usually treated with total knee replacement. However, pain in these patients might be associated with central nervous sensitization rather than peripheral inflammation and injury. We evaluated the presence of hyperalgesia in patients scheduled for a total knee replacement due to knee osteoarthritis with refractory pain, and we assessed the impact of pressure pain threshold measurements (PPT) on pain, disability, and quality of life of these patients. Methods. Sixty-two female patients were compared with 22 age-matched healthy controls without reported pain for the last year. PPT was measured at the lower extremities subcutaneous dermatomes, over the vastus medialis, adductor longus, rectus femoris, vastus lateralis, tibialis anterior, peroneus longus, iliacus, quadratus lumborum and popliteus muscles and at the supraspinous ligaments from L1-L5, over the L5-S1 and S1-S2 sacral areas and at the pes anserinus bursae and patellar tendon. Results. Patients with knee OA had significantly lower PPT over all evaluated structures versus healthy control subjects (P < 0.001). Lower PPT values were correlated with higher pain intensity, higher disability scores, and with poorer quality of life, except for the role-emotional and general health status. Combined PPT values over the patellar tendon, at the S2 subcutaneous dermatome and at the adductor longus muscle were the best predictors for visual analog scale and Western Ontario and McMaster Universities Osteoarthritis Index pain scores. Conclusion. Patients with pain due to osteoarthritis who were scheduled for total knee replacement showed hyperalgesia of nervous system origin that negatively impacted pain, knee functional capacity, and most aspects of quality of life.

Functional Disability in Alzheimer Disease A Validation Study of the Brazilian Version of the Disability Assessment for Dementia (DAD-Br)

Background: The assessment of activities of daily living (ADL) is important both for the diagnosis and staging of dementia. The objective of this study was to verify the applicability and validity of the Brazilian version of the Disability Assessment for Dementia (DAD-Br). Methods: The DAD was applied to caregivers of 89 patients with probable Alzheimer disease (AD) and to 40 elderly individuals without cognitive impairment (controls). We assessed the construct validity of the scale and its diagnostic accuracy (sensitivity, specificity, and predictive value). In addition, intergroup and intragroup analyses were conducted to characterize patient performance on basic and instrumental ADL and to determine underlying deficits (initiation, planning, or effective execution). Results: AD patients and controls had mean ages of 76.4 +/- 6.9 years and 74.5 +/- 7.3 years (P = 0.08), respectively. Mean Mini-Mental State Examination scores were 17.4 +/- 5.0 and 26.1 +/- 5.1 (P < 0.001) and scores on the DAD were 68.4 +/- 19.0 and 99.8 +/- 0.9 (P < 0.001), for patients and controls, respectively. The DAD scale showed good internal consistency (Cronbach alpha = 0.77) and correlation with the Mini-Mental State Examination (r = 0.44; P < 0.001). The AD group did better on basic ADL than on instrumental ADL (P < 0.001). As expected, controls did not exhibit significant deficits on the items evaluated. Conclusion: The Brazilian version of the DAD is an adequate and reliable tool for assessing functional ability in AD patients.