Anti-alignments in conformance checking: the dark side of process models

Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space explosion problem, hence handling process models exhibiting large or even infinite state spaces remains a challenge. One important metric in conformance checking is to asses the precision of the model with respect to the observed executions, i.e., characterize the ability of the model to produce behavior unrelated to the one observed. By avoiding the computation of the full state space of a model, current techniques only provide estimations of the precision metric, which in some situations tend to be very optimistic, thus hiding real problems a process model may have. In this paper we present the notion of antialignment as a concept to help unveiling traces in the model that may deviate significantly from the observed behavior. Using anti-alignments, current estimations can be improved, e.g., in precision checking. We show how to express the problem of finding anti-alignments as the satisfiability of a Boolean formula, and provide a tool which can deal with large models efficiently.Peer ReviewedPostprint (author's final draft

Progressive damage in stitched composites: Static tensile tests and tension-tension fatigue

The paper describes progressive damage in static tensile tests and tension-tension fatigue in structurally stitched carbon/epoxy NCF composites, in comparison with their non-stitched counterparts. Analogies between damage development in quasi-static tension and tension-tension fatigue are analyzed and links between the damage initiation thresholds in quasi-static tests and fatigue life are established

Unfolding-Based Process Discovery

This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs: an independence relation on the set of logged activities, and a collection of negative traces. After deriving an intermediate net unfolding from them, we perform a controlled folding giving rise to a Petri net which contains both the input log and all independence-equivalent traces arising from it. Remarkably, the derived Petri net cannot execute any trace from the negative collection. The entire chain of transformations is fully automated. A tool has been developed and experimental results are provided that witness the significance of the contribution of this paper.Comment: This is the unabridged version of a paper with the same title appearead at the proceedings of ATVA 201

Incidence of human granulocytic anaplasmosis in returning travellers with fever.

Although tick-borne pathogens have been reported as an important cause of imported fever, the incidence of Anaplasma phagocytophilum, the causative agent of human granulocytic anaplasmosis (HGA), in travellers is unknown. We conducted a prospective cohort study to investigate the aetiologies of fever in returning travellers (November 2017-July 2019). Polymerase chain reaction for msp2 gene amplification and indirect immunofluorescence assay for A. phagocitophilum were performed in all returning travellers with undifferentiated non-malarial fever. Among 141 travellers included, 8 patients were diagnosed with probable or confirmed HGA. The overall incidence rate of HGA was 19.9 cases/1000 person-week of travel. The main destination of travel was Asia, accounting for 62.5% patients with HGA. Co-infections were found in 37.5% of patients with HGA. Diagnosis of HGA and empirical treatment with doxycycline should be considered in travellers with fever

Development, psychometric validation, and cross-cultural comparison of the “Instagram Motives Questionnaire” (IMQ) and the “Instagram Uses and Patterns Questionnaire” (IUPQ)

Background and aims Social network use is widespread, and the study of Instagram seems to have captured more attention in recent years. However, scale development and validation in the field has fallen short of providing sound scales of Instagram motives and usage patterns that consider the uniqueness of Instagram-related behavior. This paper describes the development, psychometric and cross-cultural validation of two new measurement instruments: the “Instagram Motives Questionnaire” (IMQ) and the “Instagram Uses and Patterns Questionnaire” (IUPQ). Methods and results A preliminary set of items was developed for each questionnaire based on a previous qualitative interview study on Instagram motives, uses, and consequences. In the first study, the questionnaires were distributed to a sample of 312 participants aged 18–35 years (M = 23.81; SD = 4.49), and an exploratory factor analysis was performed. A parsimonious and interpretable 6-factor solution that displayed adequate factor loadings and adequate Omega coefficients for both instruments were found. In a second study, the two instruments and other measures of known social network usage correlates and mental health consequences were administered online to 1,418 English-speaking participants aged 18–34 years (M = 21.35; SD = 3.89). Both scales showed good psychometric properties and the factor structure identified in study 1 was reproduced through confirmatory factor analysis. Omega reliability coefficients were adequate. Finally, when performing multi-group CFA along with a French (n = 1,826) and a Spanish (n = 3,040) sample, language and gender invariance were supported. Correlations with other relevant measures indicate good convergent validity of both scales. Conclusions The present research provides psychometrically sound instruments for further investigations on Instagram use behaviors

IUHPE Position statement on health literacy: a practical vision for a health literate world

Since the 1990s, there has been a steep and steady rise in studies published, and national and international policies adopted, on health literacy. This surge in interest has focused on the definition of health literacy and its various measures, the relationship between health literacy, health promotion and a wide range of health and social outcomes, and increasingly, investment in policy and programs to improve health literacy in populations. The Position Statement is a mechanism by which we describe what we believe to be the current state of the art and how it can be promoted through adoption by key stakeholders

Health literacy and public health: A systematic review and integration of definitions and models

<p>Abstract</p> <p>Background</p> <p>Health literacy concerns the knowledge and competences of persons to meet the complex demands of health in modern society. Although its importance is increasingly recognised, there is no consensus about the definition of health literacy or about its conceptual dimensions, which limits the possibilities for measurement and comparison. The aim of the study is to review definitions and models on health literacy to develop an integrated definition and conceptual model capturing the most comprehensive evidence-based dimensions of health literacy.</p> <p>Methods</p> <p>A systematic literature review was performed to identify definitions and conceptual frameworks of health literacy. A content analysis of the definitions and conceptual frameworks was carried out to identify the central dimensions of health literacy and develop an integrated model.</p> <p>Results</p> <p>The review resulted in 17 definitions of health literacy and 12 conceptual models. Based on the content analysis, an integrative conceptual model was developed containing 12 dimensions referring to the knowledge, motivation and competencies of accessing, understanding, appraising and applying health-related information within the healthcare, disease prevention and health promotion setting, respectively.</p> <p>Conclusions</p> <p>Based upon this review, a model is proposed integrating medical and public health views of health literacy. The model can serve as a basis for developing health literacy enhancing interventions and provide a conceptual basis for the development and validation of measurement tools, capturing the different dimensions of health literacy within the healthcare, disease prevention and health promotion settings.</p