Building-in quality rather than assessing quality afterwards: a technological solution to ensuring computational accuracy in learning materials

[Abstract]: Quality encompasses a very broad range of ideas in learning materials, yet the accuracy of the content is often overlooked as a measure of quality. Various aspects of accuracy are briefly considered, and the issue of computational accuracy is then considered further. When learning materials are produced containing the results of mathematical computations, accuracy is essential: but how can the results of these computations be known to be correct? A solution is to embed the instructions for performing the calculations in the materials, and let the computer calculate the result and place it in the text. In this way, quality is built into the learning materials by design, not evaluated after the event. This is all accomplished using the ideas of literate programming, applied to the learning materials context. A small example demonstrates how remarkably easy the ideas are to apply in practice using the appropriate technology. Given that the technology is available and is easy to use, it would appear imperative that the approach discussed is adopted to improve quality in learning materials containing computational results

Views, Program Transformations, and the Evolutivity Problem in a Functional Language

We report on an experience to support multiple views of programs to solve the tyranny of the dominant decomposition in a functional setting. We consider two possible architectures in Haskell for the classical example of the expression problem. We show how the Haskell Refactorer can be used to transform one view into the other, and the other way back. That transformation is automated and we discuss how the Haskell Refactorer has been adapted to be able to support this automated transformation. Finally, we compare our implementation of views with some of the literature.Comment: 19 page

A Case Study in Refactoring Functional Programs

Refactoring is the process of redesigning existing code without changing its functionality. Refactoring has recently come to prominence in the OO community. In this paper we explore the prospects for refactoring functional programs. Our paper centres on the case study of refactoring a 400 line Haskell program written by one of our students. The case study illustrates the type and variety of program manipulations involved in refactoring. Similarly to other program transformations, refactorings are based on program equivalences, and thus ultimately on language semantics. In the context of functional languages, refactorings can be based on existing theory and program analyses. However, the use of program transformations for program restructuring emphasises a different kind of transformation from the more traditional derivation or optimisation: characteristically, they often require wholesale changes to a collection of modules, and although they are best controlled by programmers, their application may require nontrivial semantic analyses. The paper also explores the background to refactoring, provides a taxonomy for describing refactorings and draws some conclusions about refactoring for functional programs

From Little Words, Big Words Grow: Annotations on the Yo, Sí Puedo Experience in Brewarrina, Australia

This article is a reflection on the application of the Cuban literacy methodology Yo, Sí Puedo to the Australian setting. The Yo, Sí Puedo / Yes, I Can! model developed in Cuba by the Instituto Pedagógico Latinoamericano y Caribeño, IPLAC (Institute of Pedagogy for Latin America and the Caribbean) has been successfully implemented across the Global South as a strategy of adult literacy. It is a legacy of our Latin American revolutionary roots, with its origin in the Freirean pedagogy of the oppressed. Expanding across continents this model continues to teach reading and writing to disenfranchised adults in marginal and Indigenous communities, from the Argentinean Chaco to Brewarrina in northern NSW, Australia. Its aim is to contribute to the hope of improving the health and educational outcomes of the country’s First Peoples. This article is indebted to conversations with the Cuban advisor of Yes, I Can!, José Manuel Chala Leblanch. Observing him working in the classroom setting of Brewarrina touched me at different levels: personally because it reminded me of my own family experiences with the education system in my country, Argentina; and professionally as an educator negotiating different languages and cultures. It also reinforced my belief in the importance of incorporating Indigenous ways of learning and teaching to Western styles of teaching and learning. I built this reflection moving from personal and poetic—visual and textual—narratives and observations to academic interventions informed by researched literature on adult and Indigenous education

Effects of a Tailored Follow-Up Intervention on Health Behaviors, Beliefs, and Attitudes

Background: The high rates of relapse that tend to occur after short-term behavioral interventions indicate the need for maintenance programs that promote long-term adherence to new behavior patterns. Computer-tailored health messages that are mailed to participants or given in brief telephone calls offer an innovative and time-efficient alternative to ongoing face-to-face contact with healthcare providers. Methods: Following a 1-year behavior change program, 22 North Carolina health departments were randomly assigned to a follow-up intervention or control condition. Data were collected from 1999 to 2001 by telephone-administered surveys at preintervention and postintervention for 511 low-income, midlife adult women enrolled in the Well-Integrated Screening and Evaluation for Women Across the Nation (WISEWOMAN) program at local North Carolina health departments. During the year after the behavior change program, intervention participants were mailed six sets of computer-tailored health messages and received two computer-tailored telephone counseling sessions. Main outcomes of dietary and physical activity behaviors, beliefs, and attitudes were measured. Results: Intervention participants were more likely to move forward into more advanced stages of physical activity change (p = 0.02); control participants were more likely to increase their level of dietary social support at follow-up (p = 0.05). Both groups maintained low levels of reported saturated fat and cholesterol intake at follow-up. No changes were seen in physical activity in either group. Conclusions: Mailed computer-tailored health messages and telephone counseling calls favorably modified forward physical activity stage movement but did not appreciably affect any other psychosocial or behavioral outcomes

Language development for literacy ; the case of Shiyeyi in Botswana

Since independence, the government of Botswana has practiced an exclusive language policy in which only English has been used in government circles at the exclusion of all the 26 languages represented in the country, with a limited use of the national language, Setswana. However, in recent years more positive statements have been heard in Parliament, opening up to recognize the use of other languages in education and society. These statements have provided a conducive environment for Non-governmental organizations to develop other languages for use in education and out-of-school literacy. This paper focuses on the work of one such organization. It reports on a project this organization is undertaking to revive the language and culture of the Wayeyi people in North Western, and Central Botswana. It gives findings on attitudes towards Shiyeyi as a language of instruction for literacy and shows how the preference expressed for Shiyeyi has great potential for a literacy program

Refactoring Functional Programs

Refactoring is the process of redesigning existing code without changing its functionality. Refactoring has recently come to prominence in the OO community. In this paper we explore the prospects for refactoring functional programs. Our paper centres on the case study of refactoring a 400 line Haskell program written by one of our students. The case study illustrates the type and variety of program manipulations involved in refactoring. Similarly to other program transformations, refactorings are based on program equivalences, and thus ultimately on language semantics. In the context of functional languages, refactorings can be based on existing theory and program analyses. However, the use of program transformations for program restructuring emphasises a different kind of transformation from the more traditional derivation or optimisation: characteristically, they often require wholesale changes to a collection of modules, and although they are best controlled by programmers, their application may require nontrivial semantic analyses. The paper also explores the background to refactoring, provides a taxonomy for describing refactorings and draws some conclusions about refactoring for functional programs

Monitoring Success in Choice Neighborhoods: A Proposed Approach to Performance Measurement

Offers a framework and tools for performance management in the initiative to transform poor neighborhoods into revitalized, sustainable mixed-income communities. Proposes system components, logic model, management reports, and performance indicators

Writing and literacy in Indonesia

published or submitted for publicationis peer reviewe