Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

Neoliberalism as a Political Rationality: Australian Public Policy Since the 1980s

Since the 1980s, a remarkable transformation has occurred in the rationale that informs public policy in Australia. This transformation reflects a fundamental change in the way national economies and populations are conceived by policy makers and has led to the emergence of new strategies of governance as a consequence. We argue that this change of direction in Australian public policy may be best thought of as a specific neoliberal political rationality. The first section of the paper outlines changes to conceptions of the economy and subjectivity which are associated with neoliberalism as a political rationality. The second part of the paper examines the articulation and implementation of neoliberalism in Australia over the last couple of decades

A comparison of errorless and errorful therapies for dysgraphia after stroke.

Despite the increasing significance of written communication, there is limited research into spelling therapy for adults with acquired dysgraphia. Existing studies have typically measured spelling accuracy as an outcome, although speed may also be important for functional writing. As spelling is relatively slow, effortful and prone to errors in people with dysgraphia, minimising errors within therapy could be a factor in therapy success. This within-participant case-series study investigated whether errorless and errorful therapies would differ in their effects on spelling speed and accuracy for four participants with acquired dysgraphia. Matched sets of words were treated with errorless or errorful therapy or left untreated. Results were collated one week and five weeks after therapy. Both therapy approaches were successful in improving spelling accuracy. For three participants, equivalent gains were demonstrated following errorless and errorful therapy. One participant made significantly greater improvements in spelling accuracy following errorless therapy. The effects were maintained five weeks later. There was no significant difference in post-therapy spelling speed between the two therapy conditions. The results of this study suggest that both errorful and errorless therapies can be effective methods with which to treat spelling in adults with acquired dysgraphia

AChR deficiency due to ε-subunit mutations: two common mutations in the Netherlands

Congenital myasthenic syndromes are a clinically and genetically heterogeneous group of hereditary disorders affecting neuromuscular transmission. We have identified mutations within the acetylcholine receptor (AChR) ε-subunit gene underlying congenital myasthenic syndromes in nine patients (seven kinships) of Dutch origin. Previously reported mutations ε1369delG and εR311Q were found to be common; ε1369delG was present on at least one allele in seven of the nine patients, and εR311Q in six. Phenotypes ranged from relatively mild ptosis and external ophthalmoplegia to generalized myasthenia. The common occurrence of εR311Q and ε1369delG suggests a possible founder for each of these mutations originating in North Western Europe, possibly in Holland. Knowledge of the ethnic or geographic origin within Europe of AChR deficiency patients can help in targeting genetic screening and it may be possible to provide a rapid genetic diagnosis for patients of Dutch origin by screening first for εR311Q and ε1369delG

Antibodies to a Full-Length VAR2CSA Immunogen Are Broadly Strain-Transcendent but Do Not Cross-Inhibit Different Placental-Type Parasite Isolates

The high molecular weight, multidomain VAR2CSA protein mediating adhesion of Plasmodium falciparum-infected erythrocytes in the placenta is the leading candidate for a pregnancy malaria vaccine. However, it has been difficult so far to generate strong and consistent adhesion blocking antibody responses against most single-domain VAR2CSA immunogens. Recent advances in expression of the full-length recombinant protein showed it binds with much greater specificity and affinity to chondroitin sulphate A (CSA) than individual VAR2CSA domains. This raises the possibility that a specific CSA binding pocket(s) is formed in the full length antigen and could be an important target for vaccine development. In this study, we compared the immunogenicity of a full-length VAR2CSA recombinant protein containing all six Duffy binding-like (DBL) domains to that of a three-domain construct (DBL4-6) in mice and rabbits. Animals immunized with either immunogen acquired antibodies reacting with several VAR2CSA individual domains by ELISA, but antibody responses against the highly conserved DBL4 domain were weaker in animals immunized with full-length DBL1-6 recombinant protein compared to DBL4-6 recombinant protein. Both immunogens induced cross-reactive antibodies to several heterologous CSA-binding parasite lines expressing different VAR2CSA orthologues. However, antibodies that inhibited adhesion of parasites to CSA were only elicited in rabbits immunized with full-length immunogen and inhibition was restricted to the homologous CSA-binding parasite. These findings demonstrate that partial and full-length VAR2CSA immunogens induce cross-reactive antibodies, but inhibitory antibody responses to full-length immunogen were highly allele-specific and variable between animal species

Nanoliter Reactors Improve Multiple Displacement Amplification of Genomes from Single Cells

Since only a small fraction of environmental bacteria are amenable to laboratory culture, there is great interest in genomic sequencing directly from single cells. Sufficient DNA for sequencing can be obtained from one cell by the Multiple Displacement Amplification (MDA) method, thereby eliminating the need to develop culture methods. Here we used a microfluidic device to isolate individual Escherichia coli and amplify genomic DNA by MDA in 60-nl reactions. Our results confirm a report that reduced MDA reaction volume lowers nonspecific synthesis that can result from contaminant DNA templates and unfavourable interaction between primers. The quality of the genome amplification was assessed by qPCR and compared favourably to single-cell amplifications performed in standard 50-μl volumes. Amplification bias was greatly reduced in nanoliter volumes, thereby providing a more even representation of all sequences. Single-cell amplicons from both microliter and nanoliter volumes provided high-quality sequence data by high-throughput pyrosequencing, thereby demonstrating a straightforward route to sequencing genomes from single cells

Impact of Community-Based Larviciding on the Prevalence of Malaria Infection in Dar es Salaam, Tanzania.

The use of larval source management is not prioritized by contemporary malaria control programs in sub-Saharan Africa despite historical success. Larviciding, in particular, could be effective in urban areas where transmission is focal and accessibility to Anopheles breeding habitats is generally easier than in rural settings. The objective of this study is to assess the effectiveness of a community-based microbial larviciding intervention to reduce the prevalence of malaria infection in Dar es Salaam, United Republic of Tanzania. Larviciding was implemented in 3 out of 15 targeted wards of Dar es Salaam in 2006 after two years of baseline data collection. This intervention was subsequently scaled up to 9 wards a year later, and to all 15 targeted wards in 2008. Continuous randomized cluster sampling of malaria prevalence and socio-demographic characteristics was carried out during 6 survey rounds (2004-2008), which included both cross-sectional and longitudinal data (N = 64,537). Bayesian random effects logistic regression models were used to quantify the effect of the intervention on malaria prevalence at the individual level. Effect size estimates suggest a significant protective effect of the larviciding intervention. After adjustment for confounders, the odds of individuals living in areas treated with larviciding being infected with malaria were 21% lower (Odds Ratio = 0.79; 95% Credible Intervals: 0.66-0.93) than those who lived in areas not treated. The larviciding intervention was most effective during dry seasons and had synergistic effects with other protective measures such as use of insecticide-treated bed nets and house proofing (i.e., complete ceiling or window screens). A large-scale community-based larviciding intervention significantly reduced the prevalence of malaria infection in urban Dar es Salaam

Intermittent Preventive Treatment to Reduce the Burden of Malaria in Children: New Evidence on Integration and Delivery

James Beeson and colleagues discuss three new studies in PLoS Medicine that provide valuable evidence on how to delivery and integrate intermittent preventive reatment for malaria in children (IPTc)

Comparing uni-modal and multi-modal therapies for improving writing in acquired dysgraphia after stroke.

Writing therapy studies have been predominantly uni-modal in nature; i.e., their central therapy task has typically been either writing to dictation or copying and recalling words. There has not yet been a study that has compared the effects of a uni-modal to a multi-modal writing therapy in terms of improvements to spelling accuracy. A multiple-case study with eight participants aimed to compare the effects of a uni-modal and a multi-modal therapy on the spelling accuracy of treated and untreated target words at immediate and follow-up assessment points. A cross-over design was used and within each therapy a matched set of words was targeted. These words and a matched control set were assessed before as well as immediately after each therapy and six weeks following therapy. The two approaches did not differ in their effects on spelling accuracy of treated or untreated items or degree of maintenance. All participants made significant improvements on treated and control items; however, not all improvements were maintained at follow-up. The findings suggested that multi-modal therapy did not have an advantage over uni-modal therapy for the participants in this study. Performance differences were instead driven by participant variables