Confluence Modulo Equivalence in Constraint Handling Rules

Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered confluent. Firstly, we introduce the relaxed notion of confluence modulo equivalence into the context of CHR: while confluence for a terminating program means that all alternative derivations for a query lead to the exact same final state, confluence modulo equivalence only requires the final states to be equivalent with respect to an equivalence relation tailored for the given program. Secondly, we allow non-logical built-in predicates such as var/1 and incomplete ones such as is/2, that are ignored in previous work on confluence. To this end, a new operational semantics for CHR is developed which includes such predicates. In addition, this semantics differs from earlier approaches by its simplicity without loss of generality, and it may also be recommended for future studies of CHR. For the purely logical subset of CHR, proofs can be expressed in first-order logic, that we show is not sufficient in the present case. We have introduced a formal meta-language that allows reasoning about abstract states and derivations with meta-level restrictions that reflect the non-logical and incomplete predicates. This language represents subproofs as diagrams, which facilitates a systematic enumeration of proof cases, pointing forward to a mechanical support for such proofs

Male reproductive health and environmental xenoestrogens

EHP is a publication of the U.S. government. Publication of EHP lies in the public domain and is therefore without copyright. Research articles from EHP may be used freely; however, articles from the News section of EHP may contain photographs or figures copyrighted by other commercial organizations and individuals that may not be used without obtaining prior approval from both the EHP editors and the holder of the copyright. Use of any materials published in EHP should be acknowledged (for example, "Reproduced with permission from Environmental Health Perspectives") and a reference provided for the article from which the material was reproduced.Male reproductive health has deteriorated in many countries during the last few decades. In the 1990s, declining semen quality has been reported from Belgium, Denmark, France, and Great Britain. The incidence of testicular cancer has increased during the same time incidences of hypospadias and cryptorchidism also appear to be increasing. Similar reproductive problems occur in many wildlife species. There are marked geographic differences in the prevalence of male reproductive disorders. While the reasons for these differences are currently unknown, both clinical and laboratory research suggest that the adverse changes may be inter-related and have a common origin in fetal life or childhood. Exposure of the male fetus to supranormal levels of estrogens, such as diethlylstilbestrol, can result in the above-mentioned reproductive defects. The growing number of reports demonstrating that common environmental contaminants and natural factors possess estrogenic activity presents the working hypothesis that the adverse trends in male reproductive health may be, at least in part, associated with exposure to estrogenic or other hormonally active (e.g., antiandrogenic) environmental chemicals during fetal and childhood development. An extensive research program is needed to understand the extent of the problem, its underlying etiology, and the development of a strategy for prevention and intervention.Supported by EU Contract BMH4-CT96-0314

Author Correction: Bayesian reassessment of the epigenetic architecture of complex traits

The original version of this Article contains an error in Fig. 3 in which panel B was inadvertently duplicated from panel A. This has been corrected in both the PDF and HTML versions of the Article

Pathways to permanence in England and Norway: A critical analysis of documents and data

The English language term ‘permanence’ is increasingly used in high income countries as a ‘short-hand’ translation for a complex set of aims around providing stability and family membership for children who need child welfare services and out-of-home care. From a scrutiny of legislative provisions, court judgments, government documents and a public opinion survey on child placement options, the paper draws out similarities and differences in understandings of the place of ‘permanence’ within the child welfare discourse in Norway and England. The main differences are that in England the components of permanence are explicitly set out in legislation, statutory guidance and advisory documents whilst in Norway the terms ‘stability’ and ‘continuity’ are used in a more limited number of policy documents in the context of a wide array of services available for children and families. The paper then draws on these sources, and on administrative data on children in care, to tease out possible explanations for the similarities and differences identified. We hypothesise that both long-standing policies and recent changes can be explained by differences in public and political understandings of child welfare and the balance between universal services and those targeted on parents and children identified as vulnerable and in need of specialist services

The Making of a Monster: Postnatal Ontogenetic Changes in Craniomandibular Shape in the Great Sabercat Smilodon

Derived sabercats had craniomandibular morphologies that in many respects were highly different from those of extant felids, and this has often been interpreted functionally as adaptations for predation at extreme gape angles with hypertrophied upper canines. It is unknown how much of this was a result of intraspecific postnatal ontogeny, since juveniles of sabercats are rare and no quantitative study has been made of craniomandibular ontogeny. Postnatal ontogenetic craniomandibular shape changes in two morphologically derived sabercats, Smilodon fatalis and S. populator, were analysed using geometric morphometrics and compared to three species of extant pantherines, the jaguar, tiger, and Sunda clouded leopard. Ontogenetic shape changes in Smilodon usually involved the same areas of the cranium and mandible as in extant pantherines, and large-scale modularization was similar, suggesting that such may have been the case for all felids, since it followed the same trends previously observed in other mammals. However, in other respects Smilodon differed from extant pantherines. Their crania underwent much greater and more localised ontogenetic shape changes than did the mandibles, whereas crania and mandibles of extant pantherines underwent smaller, fewer and less localised shape changes. Ontogenetic shape changes in the two species of Smilodon are largely similar, but differences are also present, notably those which may be tied to the presence of larger upper canines in S. populator. Several of the specialized cranial characters differentiating adult Smilodon from extant felids in a functional context, which are usually regarded as evolutionary adaptations for achieving high gape angles, are ontogenetic, and in several instances ontogeny appears to recapitulate phylogeny to some extent. No such ontogenetic evolutionary adaptive changes were found in the extant pantherines. Evolution in morphologically derived sabercats involved greater cranial ontogenetic changes than among extant felids, resulting in greatly modified adult craniomandibular morphologies

Five fathers' experience of an adult son sustaining a cervical spinal cord injury: an Interpretative Phenomenological Analysis

The paper presents an in-depth idiographic study exploring the experience of fathers who have an adult son with a cervical spinal cord injury (SCI). Five participants were recruited and individual semi-structured interviews were conducted. The interviews were transcribed verbatim and analysed using Interpretative Phenomenological Analysis (IPA). Two super-ordinate themes are presented highlighting. Firstly, the ongoing negative impact of their sons’ injury on the participants’ role as fathers’. This comprises the negative impact on emotions with guilt common for failing in their perceived role as a father. The dissonance experienced between wanting to help encourage their sons’ independence. Concern experienced due to their sons altered life trajectory and anxiety because they won’t be alive to protect their son in the future. Secondly, how participants cope and adjust to their son’s SCI are presented. Comprising of how positive thinking, such as focusing on their son surviving the trauma; and the influence of seeing their son cope well affects how participants cope. Also, reflecting on how the injury has changed their life helps participants, to an extent, make sense of the trauma. The results are discussed in relation to the relevant extant literature to give a unique perspective about how SCI impacts their perceived role as fathers and the struggle to cope and adjust to the trauma. Future research investigating the impact of SCI on the family is warranted to better understand the wider implications

Examining the Relationship Between Genetic Counselors’ Attitudes Toward Deaf People and the Genetic Counseling Session

Given the medical and cultural perspectives on deafness it is important to determine if genetic counselors’ attitudes toward deaf people can affect counseling sessions for deafness genes. One hundred fifty-eight genetic counselors recruited through the National Society of Genetic Counselors Listserv completed an online survey assessing attitudes toward deaf people and scenario-specific comfort levels discussing and offering genetic testing for deafness. Respondents with deaf/Deaf friends or who work in prenatal or pediatric settings had more positive attitudes toward deaf people than those without deaf/Deaf friends or those working in ‘other’ settings. More positive attitudes toward deaf people correlated with higher comfort level talking about genetic testing for the two scenarios involving culturally Deaf clients; and correlated with higher comfort level offering genetic testing to culturally Deaf clients wishing to have a deaf child. Attitudes and comfort level were not correlated in the scenarios involving hearing or non-culturally deaf clients. These results suggest that genetic counselors’ attitudes could affect information provision and the decision making process of culturally Deaf clients. Cultural sensitivity workshops in genetic counseling training programs that incorporate personal interactions with culturally Deaf individuals are recommended. Additional suggestions for fostering personal interactions are provided

Infrastructure for Detector Research and Development towards the International Linear Collider

The EUDET-project was launched to create an infrastructure for developing and testing new and advanced detector technologies to be used at a future linear collider. The aim was to make possible experimentation and analysis of data for institutes, which otherwise could not be realized due to lack of resources. The infrastructure comprised an analysis and software network, and instrumentation infrastructures for tracking detectors as well as for calorimetry.Comment: 54 pages, 48 picture

The frailty index outperforms DNA methylation age and its derivatives as an indicator of biological age

The measurement of biological age as opposed to chronological age is important to allow the study of factors that are responsible for the heterogeneity in the decline in health and function ability among individuals during aging. Various measures of biological aging have been proposed. Frailty indices based on health deficits in diverse body systems have been well studied, and we have documented the use of a frailty index (FI(34)) composed of 34 health items, for measuring biological age. A different approach is based on leukocyte DNA methylation. It has been termed DNA methylation age, and derivatives of this metric called age acceleration difference and age acceleration residual have also been employed. Any useful measure of biological age must predict survival better than chronological age does. Meta-analyses indicate that age acceleration difference and age acceleration residual are significant predictors of mortality, qualifying them as indicators of biological age. In this article, we compared the measures based on DNA methylation with FI(34). Using a well-studied cohort, we assessed the efficiency of these measures side by side in predicting mortality. In the presence of chronological age as a covariate, FI(34) was a significant predictor of mortality, whereas none of the DNA methylation age-based metrics were. The outperformance of FI(34) over DNA methylation age measures was apparent when FI(34) and each of the DNA methylation age measures were used together as explanatory variables, along with chronological age: FI(34) remained significant but the DNA methylation measures did not. These results indicate that FI(34) is a robust predictor of biological age, while these DNA methylation measures are largely a statistical reflection of the passage of chronological time