Interval temporal logic model checking: The border between good and bad HS fragments

The model checking problem has thoroughly been explored in the context of standard point-based temporal logics, such as LTL, CTL, and CTL 17, whereas model checking for interval temporal logics has been brought to the attention only very recently. In this paper, we prove that the model checking problem for the logic of Allen\u2019s relations started-by and finished-by is highly intractable, as it can be proved to be EXPSPACE-hard. Such a lower bound immediately propagates to the full Halpern and Shoham\u2019s modal logic of time intervals (HS). In contrast, we show that other noteworthy HS fragments, namely, Propositional Neighbourhood Logic extended with modalities for the Allen relation starts (resp., finishes) and its inverse started-by (resp., finished-by), turn out to have\u2014maybe unexpectedly\u2014the same complexity as LTL (i.e., they are PSPACE-complete), thus joining the group of other already studied, well-behaved albeit less expressive, HS fragments

How Phytophthora cinnamomi became associated with the death of Eucalyptus marginata – the early investigations into jarrah dieback

The name jarrah dieback was used in the 1940s to describe a serious economic problem in the jarrah forest in the south west of Western Australia. This was the sudden death of groups of jarrah (Eucalyptus marginata) trees that occurred on previously logged sites that had a tendency to become waterlogged in winter. Although the cause was not determined at the time, from symptoms recorded in early investigations the most likely explanation is that the trees died as the result of waterlogging damage. In the 1960s it was shown that many of these sites were infested by the introduced oomycete Phytophthora cinnamomi and tree deaths, together with the deaths of many mid- and under-storey plants, were attributed to this pathogen. A chronology of the research, based on contemporary unpublished documents, shows that in 1968 the conclusion that P. cinnamomi caused jarrah deaths was not supported by the available evidence, because the work did not satisfy the first and fourth of Koch’s postulates. The evidence that P. cinnamomi killed many mid- and under-storey plants was much stronger. There are two problems that have been confused: the death of groups of jarrah trees (jarrah dieback) that is caused by waterlogging and the death of many mid- and under-storey plants (Phytophthora dieback) caused by P. cinnamomi infection

The formation of professional identity in medical students: considerations for educators

<b>Context</b> Medical education is about more than acquiring an appropriate level of knowledge and developing relevant skills. To practice medicine students need to develop a professional identity – ways of being and relating in professional contexts.<p></p> <b>Objectives</b> This article conceptualises the processes underlying the formation and maintenance of medical students’ professional identity drawing on concepts from social psychology.<p></p> <b>Implications</b> A multi-dimensional model of identity and identity formation, along with the concepts of identity capital and multiple identities, are presented. The implications for educators are discussed.<p></p> <b>Conclusions</b> Identity formation is mainly social and relational in nature. Educators, and the wider medical society, need to utilise and maximise the opportunities that exist in the various relational settings students experience. Education in its broadest sense is about the transformation of the self into new ways of thinking and relating. Helping students form, and successfully integrate their professional selves into their multiple identities, is a fundamental of medical education

Cystic fibrosis population carrier screening: 2004 revision of American College of Medical Genetics mutation panel

Group recommended a panel of mutations and variants that should be tested to determine carrier status within the CFTR gene as a part of population screening programs.1,2 This was initially done in response to the recommendations of an NIH CF Consensus Conference that CF carrier screening be consid-ered by all couples for use before conception or prenatally.3 At that time, the Working Group recognized limitations in our understanding of the population frequencies of several CF al-leles and proposed to review mutation distribution data after the first two years of the program. In 2002, as part of an ongo-ing effort to ensure that the cystic fibrosis carrier screening programs are current with respect to the scientific literature and other available data and practices, we initiated a second review of data on the distribution of mutations in different ethnic groups and we began to assess whether providers wer

Music-aided affective interaction between human and service robot

This study proposes a music-aided framework for affective interaction of service robots with humans. The framework consists of three systems, respectively, for perception, memory, and expression on the basis of the human brain mechanism. We propose a novel approach to identify human emotions in the perception system. The conventional approaches use speech and facial expressions as representative bimodal indicators for emotion recognition. But, our approach uses the mood of music as a supplementary indicator to more correctly determine emotions along with speech and facial expressions. For multimodal emotion recognition, we propose an effective decision criterion using records of bimodal recognition results relevant to the musical mood. The memory and expression systems also utilize musical data to provide natural and affective reactions to human emotions. For evaluation of our approach, we simulated the proposed human-robot interaction with a service robot, iRobiQ. Our perception system exhibited superior performance over the conventional approach, and most human participants noted favorable reactions toward the music-aided affective interaction.open0

A standardized framework for the validation and verification of clinical molecular genetic tests

The validation and verification of laboratory methods and procedures before their use in clinical testing is essential for providing a safe and useful service to clinicians and patients. This paper outlines the principles of validation and verification in the context of clinical human molecular genetic testing. We describe implementation processes, types of tests and their key validation components, and suggest some relevant statistical approaches that can be used by individual laboratories to ensure that tests are conducted to defined standards

Exposure of Phosphatidylserine on Leishmania amazonensis Isolates Is Associated with Diffuse Cutaneous Leishmaniasis and Parasite Infectivity

Diffuse cutaneous leishmaniasis (DCL) is a rare clinical manifestation of leishmaniasis, characterized by an inefficient parasite-specific cellular response and heavily parasitized macrophages. In Brazil, Leishmania (Leishmania) amazonensis is the main species involved in DCL cases. In the experimental model, recognition of phosphatidylserine (PS) molecules exposed on the surface of amastigotes forms of L. amazonensis inhibits the inflammatory response of infected macrophages as a strategy to evade the host immune surveillance. In this study, we examined whether PS exposure on L. amazonensis isolates from DCL patients operated as a parasite pathogenic factor and as a putative suppression mechanism of immune response during the infection. Peritoneal macrophages from F1 mice (BALB/c×C57BL/6) were infected with different L. amazonensis isolates from patients with localized cutaneous leishmaniasis (LCL) or DCL. DCL isolates showed higher PS exposure than their counterparts from LCL patients. In addition, PS exposure was positively correlated with clinical parameters of the human infection (number of lesions and time of disease) and with characteristics of the experimental infection (macrophage infection and anti-inflammatory cytokine induction). Furthermore, parasites isolated from DCL patients displayed an increased area in parasitophorous vacuoles (PV) when compared to those isolated from LCL patients. Thus, this study shows for the first time that a parasite factor (exposed PS) might be associated with parasite survival/persistence in macrophages and lesion exacerbation during the course of DCL, providing new insights regarding pathogenic mechanism in this rare chronic disease

Tau Interaction with Tubulin and Microtubules: From Purified Proteins to Cells

International audienceMicrotubules (MTs) play an important role in many cellular processes and are dynamic structures regulated by an important network of microtubules-associated proteins, MAPs, such as Tau. Tau has been discovered as an essential factor for MTs formation in vitro, and its region implicated in binding to MTs has been identified. By contrast, the affinity, the stoichiometry, and the topology of Tau-MTs interaction remain controversial. Indeed, depending on the experiment conditions a wide range of values have been obtained. In this chapter, we focus on three biophysical methods, turbidimetry, cosedimentation assay, and Förster Resonance Energy Transfer to study Tau-tubulin interaction both in vitro and in cell. We highlight precautions that must be taken in order to avoid pitfalls and we detail the nature of the conclusions that can be drawn from these methods about Tau-tubulin interaction

The Veterinary Identity: A Time and Context Model

The nature of professionalism teaching is a current issue in veterinary education, with an individual’s identity as a professional having implications for one’s values and behaviors, as well as for his or her career satisfaction and psychological well-being. An appropriately formed professional identity imparts competence in making complex decisions—those that involve multiple perspectives and are complicated by contextual challenges. It enables an individual to act in a way that aligns with his or her professional values and priorities, and imparts resilience to situations in which one’s actions are dissonant to these personal beliefs. There are challenges in professionalism teaching that relate to student engagement and faculty confidence in this area. However, these cannot be addressed without first defining the veterinary professional identity—in effect, the aim of professionalism teaching. In this article, existing identity models from the wider literature have been analyzed through a veterinary lens. This analysis was then used to construct a model of veterinary professional identity that incorporates the self (personal morals and values), social development (learning from the workplace environment), and professional behaviors. Individuals who form what we have termed self–environment–behavior connections are proposed to be able to use workplace learning opportunities to inform their identity development, such that environmental complexity does not obstruct the link between values and behaviors. Those who fail to connect with the environment in this way may perceive that environmental influences (e.g., the client, financial limitations) are obstructive to enacting their desired identity, and they may struggle with decision making in complex scenarios