Coinductive soundness of corecursive type class resolution

This work has been supported by the EPSRC grant “Coalgebraic Logic Programming for Type Inference” EP/K031864/1-2, EU Horizon 2020 grant “RePhrase: Refactoring Parallel Heterogeneous Resource-Aware Applications - a Software Engineering Approach” (ICT-644235), and by COST Action IC1202 (TACLe), supported by COST (European Cooperation in Science and Technology)Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed, with the goal of allowing (co)recursive dictionary construction where resolution does not terminate. This paper shows, for the first time, that corecursive type class resolution and its extensions are coinductively sound with respect to the greatest Herbrand models of logic programs and that they are inductively unsound with respect to the least Herbrand models. We establish incompleteness results for various fragments of the proof system.Postprin

Registration Issues in the Fusion of Eddy Current and Ultrasound NDE Data Using Q-Transforms

Data fusion methods are finding increasing application in nondestructive evaluation (NDE) [2, 3, 4] for enhancing the reliability of inspection. These techniques typically combine information from two or more NDE modalities to improve the probability of detecting flaws and enhance specimen characterization results [1]. Eddy current methods rely on diffusion for propagating energy. Ultrasonic methods, in contrast, rely on wave propagation. Consequently, the two tests rely on different material/energy interaction processes and can potentially provide complementary perspectives of the flaw in a specimen. This paper proposes a novel phenomenological approach using Q-transforms for addressing the registration issue in the fusion of eddy current and ultrasonic data. Specifically, ultrasonic signals are Q-transformed to the diffusion domain. The transformation allows the superposition of the transformed field on the eddy current field as shown in Figure 1. It is anticipated that the resulting field will have a lower signal-to-noise ratio

Left gaze bias in humans, rhesus monkeys and domestic dogs

While viewing faces, human adults often demonstrate a natural gaze bias towards the left visual field, that is, the right side of the viewee’s face is often inspected first and for longer periods. Using a preferential looking paradigm, we demonstrate that this bias is neither uniquely human nor limited to primates, and provide evidence to help elucidate its biological function within a broader social cognitive framework. We observed that 6-month-old infants showed a wider tendency for left gaze preference towards objects and faces of different species and orientation, while in adults the bias appears only towards upright human faces. Rhesus monkeys showed a left gaze bias towards upright human and monkey faces, but not towards inverted faces. Domestic dogs, however, only demonstrated a left gaze bias towards human faces, but not towards monkey or dog faces, nor to inanimate object images. Our findings suggest that face- and species-sensitive gaze asymmetry is more widespread in the animal kingdom than previously recognised, is not constrained by attentional or scanning bias, and could be shaped by experience to develop adaptive behavioural significance

Individual Predisposition, Household Clustering and Risk Factors for Human Infection with Ascaris lumbricoides: New Epidemiological Insights

Numerous analyses have found that people infected with roundworm (Ascaris lumbricoides) are predisposed to harbor either many or few worms. Members of the same household also tend to harbor similar numbers of worms. These phenomena are called individual predisposition and household clustering respectively. In this article, we use Bayesian methods to fit a statistical model to worm count data collected from a cohort of participants at baseline and after two rounds of re-infection following curative treatment. We show that individual predisposition is extremely weak once the clustering effect of the household has been accounted for. This suggests that predisposition is of limited importance to the epidemiology of roundworm infection. Further, we show that over half of the variability in average worm counts among households is explained by household risk factors. This implies that exposures to infectious roundworm eggs shared by household members are important determinants of household clustering. We argue that these results support the hypothesis proposed in the literature that the household is a key focus of roundworm transmission

Systematic review of studies generating individual participant data on the efficacy of drugs for treating soil-transmitted helminthiases and the case for data-sharing

Preventive chemotherapy and transmission control (PCT) by mass drug administration is the cornerstone of the World Health Organization (WHO)’s policy to control soil-transmitted helminthiases (STHs) caused by Ascaris lumbricoides (roundworm), Trichuris trichiura (whipworm) and hookworm species (Necator americanus and Ancylostama duodenale) which affect over 1 billion people globally. Despite consensus that drug efficacies should be monitored for signs of decline that could jeopardise the effectiveness of PCT, systematic monitoring and evaluation is seldom implemented. Drug trials mostly report aggregate efficacies in groups of participants, but heterogeneities in design complicate classical meta-analyses of these data. Individual participant data (IPD) permit more detailed analysis of drug efficacies, offering increased sensitivity to identify atypical responses potentially caused by emerging drug resistance

Molecular and cellular mechanisms underlying the evolution of form and function in the amniote jaw.

The amniote jaw complex is a remarkable amalgamation of derivatives from distinct embryonic cell lineages. During development, the cells in these lineages experience concerted movements, migrations, and signaling interactions that take them from their initial origins to their final destinations and imbue their derivatives with aspects of form including their axial orientation, anatomical identity, size, and shape. Perturbations along the way can produce defects and disease, but also generate the variation necessary for jaw evolution and adaptation. We focus on molecular and cellular mechanisms that regulate form in the amniote jaw complex, and that enable structural and functional integration. Special emphasis is placed on the role of cranial neural crest mesenchyme (NCM) during the species-specific patterning of bone, cartilage, tendon, muscle, and other jaw tissues. We also address the effects of biomechanical forces during jaw development and discuss ways in which certain molecular and cellular responses add adaptive and evolutionary plasticity to jaw morphology. Overall, we highlight how variation in molecular and cellular programs can promote the phenomenal diversity and functional morphology achieved during amniote jaw evolution or lead to the range of jaw defects and disease that affect the human condition

The HLA class II allele DRB1*1501 is over-represented in patients with idiopathic pulmonary fibrosis

Background: Idiopathic pulmonary fibrosis (IPF) is a progressive and medically refractory lung disease with a grim prognosis. Although the etiology of IPF remains perplexing, abnormal adaptive immune responses are evident in many afflicted patients. We hypothesized that perturbations of human leukocyte antigen (HLA) allele frequencies, which are often seen among patients with immunologic diseases, may also be present in IPF patients. Methods/Principal Findings: HLA alleles were determined in subpopulations of IPF and normal subjects using molecular typing methods. HLA-DRB1*15 was over-represented in a discovery cohort of 79 Caucasian IPF subjects who had lung transplantations at the University of Pittsburgh (36.7%) compared to normal reference populations. These findings were prospectively replicated in a validation cohort of 196 additional IPF subjects from four other U.S. medical centers that included both ambulatory patients and lung transplantation recipients. High-resolution typing was used to further define specific HLA-DRB1*15 alleles. DRB1*1501 prevalence in IPF subjects was similar among the 143 ambulatory patients and 132 transplant recipients (31.5% and 34.8%, respectively, p = 0.55). The aggregate prevalence of DRB1*1501 in IPF patients was significantly greater than among 285 healthy controls (33.1% vs. 20.0%, respectively, OR 2.0; 95%CI 1.3-2.9, p = 0.0004). IPF patients with DRB1*1501 (n = 91) tended to have decreased diffusing capacities for carbon monoxide (DLCO) compared to the 184 disease subjects who lacked this allele (37.8±1.7% vs. 42.8±1.4%, p = 0.036). Conclusions/Significance: DRB1*1501 is more prevalent among IPF patients than normal subjects, and may be associated with greater impairment of gas exchange. These data are novel evidence that immunogenetic processes can play a role in the susceptibility to and/or manifestations of IPF. Findings here of a disease association at the HLA-DR locus have broad pathogenic implications, illustrate a specific chromosomal area for incremental, targeted genomic study, and may identify a distinct clinical phenotype among patients with this enigmatic, morbid lung disease

The association of health literacy with adherence in older 2 adults, and its role in interventions: a systematic meta-review

Background: Low health literacy is a common problem among older adults. It is often suggested to be associated with poor adherence. This suggested association implies a need for effective adherence interventions in low health literate people. However, previous reviews show mixed results on the association between low health literacy and poor adherence. A systematic meta-review of systematic reviews was conducted to study the association between health literacy and adherence in adults above the age of 50. Evidence for the effectiveness of adherence interventions among adults in this older age group with low health literacy was also explored. Methods: Eight electronic databases (MEDLINE, ERIC, EMBASE, PsycINFO, CINAHL, DARE, the Cochrane Library, and Web of Knowledge) were searched using a variety of keywords regarding health literacy and adherence. Additionally, references of identified articles were checked. Systematic reviews were included if they assessed the association between health literacy and adherence or evaluated the effectiveness of interventions to improve adherence in adults with low health literacy. The AMSTAR tool was used to assess the quality of the included reviews. The selection procedure, data-extraction, and quality assessment were performed by two independent reviewers. Seventeen reviews were selected for inclusion. Results: Reviews varied widely in quality. Both reviews of high and low quality found only weak or mixed associations between health literacy and adherence among older adults. Reviews report on seven studies that assess the effectiveness of adherence interventions among low health literate older adults. The results suggest that some adherence interventions are effective for this group. The interventions described in the reviews focused mainly on education and on lowering the health literacy demands of adherence instructions. No conclusions could be drawn about which type of intervention could be most beneficial for this population. Conclusions: Evidence on the association between health literacy and adherence in older adults is relatively weak. Adherence interventions are potentially effective for the vulnerable population of older adults with low levels of health literacy, but the evidence on this topic is limited. Further research is needed on the association between health literacy and general health behavior, and on the effectiveness of interventions

A new multicompartmental reaction-diffusion modeling method links transient membrane attachment of E. coli MinE to E-ring formation

Many important cellular processes are regulated by reaction-diffusion (RD) of molecules that takes place both in the cytoplasm and on the membrane. To model and analyze such multicompartmental processes, we developed a lattice-based Monte Carlo method, Spatiocyte that supports RD in volume and surface compartments at single molecule resolution. Stochasticity in RD and the excluded volume effect brought by intracellular molecular crowding, both of which can significantly affect RD and thus, cellular processes, are also supported. We verified the method by comparing simulation results of diffusion, irreversible and reversible reactions with the predicted analytical and best available numerical solutions. Moreover, to directly compare the localization patterns of molecules in fluorescence microscopy images with simulation, we devised a visualization method that mimics the microphotography process by showing the trajectory of simulated molecules averaged according to the camera exposure time. In the rod-shaped bacterium _Escherichia coli_, the division site is suppressed at the cell poles by periodic pole-to-pole oscillations of the Min proteins (MinC, MinD and MinE) arising from carefully orchestrated RD in both cytoplasm and membrane compartments. Using Spatiocyte we could model and reproduce the _in vivo_ MinDE localization dynamics by accounting for the established properties of MinE. Our results suggest that the MinE ring, which is essential in preventing polar septation, is largely composed of MinE that is transiently attached to the membrane independently after recruited by MinD. Overall, Spatiocyte allows simulation and visualization of complex spatial and reaction-diffusion mediated cellular processes in volumes and surfaces. As we showed, it can potentially provide mechanistic insights otherwise difficult to obtain experimentally