Exploiting Term Hiding to Reduce Run-time Checking Overhead

One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the correctness of these operations. A solution is adding run-time checks to the program via assertions, but this can introduce overheads that are in many cases impractical. While static analysis can greatly reduce such overheads, the gains depend strongly on the quality of the information inferred. Reusable libraries, i.e., library modules that are pre-compiled independently of the client, pose special challenges in this context. We propose a technique which takes advantage of module systems which can hide a selected set of functor symbols to significantly enrich the shape information that can be inferred for reusable libraries, as well as an improved run-time checking approach that leverages the proposed mechanisms to achieve large reductions in overhead, closer to those of static languages, even in the reusable-library context. While the approach is general and system-independent, we present it for concreteness in the context of the Ciao assertion language and combined static/dynamic checking framework. Our method maintains the full expressiveness of the assertion language in this context. In contrast to other approaches it does not introduce the need to switch the language to a (static) type system, which is known to change the semantics in languages like Prolog. We also study the approach experimentally and evaluate the overhead reduction achieved in the run-time checks.Comment: 26 pages, 10 figures, 2 tables; an extension of the paper version accepted to PADL'18 (includes proofs, extra figures and examples omitted due to space reasons

Interventions for stroke rehabilitation: analysis of the research contained in the OTseeker evidence database

Purpose: To analyse the stroke content in OTseeker in terms of the quantity of the research evidence, the quality of the randomised controlled trials (RCTs), and the types of interventions and outcome measures used. Method: A survey of stroke-related content in the OTseeker database was conducted in 2007. The year of publication and intervention categories used in each stroke-related RCT and systematic review (SR) were recorded. The internal validity of RCTs using the PEDro scale (partitioned) and the outcome measures used were also recorded. Results: Of the 4,369 articles indexed on OTseeker, 452 (10.3%) related to stroke were conducted between 1979 and 2006. The five most frequently studied intervention categories were movement training (43.2%), models of service delivery (31.2%), physical modalities/orthotics/splinting (30.1%), exercise/stretching/strength training (19.5%), and skill acquisition/training (9.3%). Random allocation (96.1%) was the most frequently satisfied internal validity criterion and therapist blinding (3.1%) was least often satisfied. The five most frequently used outcome measurement categories were basic and extended activities of daily living (70.1%), hand and upper limb function (56.1%), walking/gait (44.1%), movement/motor function (32.7%), and quality of life/general overall health (27.9%). Conclusion: The stroke-related content on OTseeker is useful for allied health professionals. This study highlights a need for better definitions of interventions and consensus about the best outcome measures. Few interventions or outcome measures were participation focused

LHC Predictions from a Tevatron Anomaly in the Top Quark Forward-Backward Asymmetry

We examine the implications of the recent CDF measurement of the top-quark forward-backward asymmetry, focusing on a scenario with a new color octet vector boson at 1-3 TeV. We study several models, as well as a general effective field theory, and determine the parameter space which provides the best simultaneous fit to the CDF asymmetry, the Tevatron top pair production cross section, and the exclusion regions from LHC dijet resonance and contact interaction searches. Flavor constraints on these models are more subtle and less severe than the literature indicates. We find a large region of allowed parameter space at high axigluon mass and a smaller region at low mass; we match the latter to an SU(3)xSU(3)/SU(3) coset model with a heavy vector-like fermion. Our scenario produces discoverable effects at the LHC with only 1-2 inverse femtobarns of luminosity at 7-8 TeV. Lastly, we point out that a Tevatron measurement of the b-quark forward-backward asymmetry would be very helpful in characterizing the physics underlying the top-quark asymmetry.Comment: 35 pages, 10 figures, 4 table

An exploratory qualitative study of the prevention of road traffic collisions and neurotrauma in India: perspectives from key informants in an Indian industrial city (Visakhapatnam).

BACKGROUND: Despite current preventative strategies, road traffic collisions (RTCs) and resultant neurotrauma remain a major problem in India. This study seeks to explore local perspectives in the context within which RTCs take place and identify potential suggestions for improving the current status. METHODS: Ten semi-structured interviews were carried out with purposively selected key informants from the city of Visakhapatnam, Andhra Pradesh. Participants were from one of the following categories: commissioning stakeholders; service providers; community or local patient group/advocacy group representatives. Transcripts from these interviews were analysed qualitatively using the Framework Method. RESULTS: Participants felt RTCs are a serious problem in India and a leading cause of neurotrauma. Major risk factors identified related to user behaviour such as speeding and not using personal safety equipment, and the user state, namely drink driving and underage driving. Other reported risk factors included poor infrastructure, moving obstacles on the road such as other vehicles, pedestrians and animals, overloaded vehicles and substandard safety equipment. Participants discussed how RTCs affect not only the health of the casualty, but are also a burden to the healthcare system, families, and the national economy. Although there are ongoing preventative strategies being carried out by both the government and the community, challenges to successful prevention emerged from the interviews which included resource deficiencies, inconsistent implementation, lack of appropriate action, poor governance, lack of knowledge and the mindset of the community and entities involved in prevention. Recommendations were given on how prevention of RTCs and neurotrauma might be improved, addressing the areas of education and awareness, research, the pre-hospital and trauma systems, enforcement and legislation, and road engineering, in addition to building collaborations and changing mindsets. CONCLUSIONS: RTCs remain a major problem in India and a significant cause of neurotrauma. Addressing the identified gaps and shortfalls in current approaches and reinforcing collective responsibility towards road safety would be the way forward in improving prevention and reducing the burden

A global perspective on marine photosynthetic picoeukaryote community structure

A central goal in ecology is to understand the factors affecting the temporal dynamics and spatial distribution of microorganisms and the underlying processes causing differences in community structure and composition. However, little is known in this respect for photosynthetic picoeukaryotes (PPEs), algae that are now recognised as major players in marine CO2 fixation. Here, we analysed dot blot hybridisation and cloning–sequencing data, using the plastid-encoded 16S rRNA gene, from seven research cruises that encompassed all four ocean biomes. We provide insights into global abundance, α- and β-diversity distribution and the environmental factors shaping PPE community structure and composition. At the class level, the most commonly encountered PPEs were Prymnesiophyceae and Chrysophyceae. These taxa displayed complementary distribution patterns, with peak abundances of Prymnesiophyceae and Chrysophyceae in waters of high (25:1) or low (12:1) nitrogen:phosphorus (N:P) ratio, respectively. Significant differences in phylogenetic composition of PPEs were demonstrated for higher taxonomic levels between ocean basins, using Unifrac analyses of clone library sequence data. Differences in composition were generally greater between basins (interbasins) than within a basin (intrabasin). These differences were primarily linked to taxonomic variation in the composition of Prymnesiophyceae and Prasinophyceae whereas Chrysophyceae were phylogenetically similar in all libraries. These data provide better knowledge of PPE community structure across the world ocean and are crucial in assessing their evolution and contribution to CO2 fixation, especially in the context of global climate change

Prevalence of contraindications to mefloquine use among USA military personnel deployed to Afghanistan

<p>Abstract</p> <p>Background</p> <p>Mefloquine has historically been considered safe and well-tolerated for long-term malaria chemoprophylaxis, but its prescribing requires careful attention to rule out contraindications to its use, including a history of certain psychiatric and neurological disorders. The prevalence of these disorders has not been defined in cohorts of U.S. military personnel deployed to areas where long-term malaria chemoprophylaxis is indicated.</p> <p>Methods</p> <p>Military medical surveillance and pharmacosurveillance databases were utilized to identify contraindications to mefloquine use among a cohort of 11,725 active duty U.S. military personnel recently deployed to Afghanistan.</p> <p>Results</p> <p>A total of 9.6% of the cohort had evidence of a contraindication. Females were more than twice as likely as males to have a contraindication (OR = 2.48, P < 0.001).</p> <p>Conclusion</p> <p>These findings underscore the importance of proper systematic screening prior to prescribing and dispensing mefloquine, and the need to provide alternatives to mefloquine suitable for long-term administration among deployed U.S. military personnel.</p

Evolutionary History of Hunter-Gatherer Marriage Practices

Background: The universality of marriage in human societies around the world suggests a deep evolutionary history of institutionalized pair-bonding that stems back at least to early modern humans. However, marriage practices vary considerably from culture to culture, ranging from strict prescriptions and arranged marriages in some societies to mostly unregulated courtship in others, presence to absence of brideservice and brideprice, and polyandrous to polygynous unions. The ancestral state of early human marriage is not well known given the lack of conclusive archaeological evidence. Methodology: Comparative phylogenetic analyses using data from contemporary hunter-gatherers around the world may allow for the reconstruction of ancestral human cultural traits. We attempt to reconstruct ancestral marriage practices using hunter-gatherer phylogenies based on mitochondrial DNA sequences. Results: Arranged marriages are inferred to go back at least to first modern human migrations out of Africa. Reconstructions are equivocal on whether or not earlier human marriages were arranged because several African hunter-gatherers have courtship marriages. Phylogenetic reconstructions suggest that marriages in early ancestral human societies probably had low levels of polygyny (low reproductive skew) and reciprocal exchanges between the families of marital partners (i.e., brideservice or brideprice). Discussion: Phylogenetic results suggest a deep history of regulated exchange of mates and resources among lineages tha