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

Synthetic studies with bacitracin A and preparation of analogues containing alternative zinc binding groups

Microbial Biotechnolog

Vijfentwintig jaar burgerbetrokkenheid in het natuurbeleid : Analyse van beleidsdiscoursen en publiek draagvlak

This report on public engagement with nature conservation between 1990 and 2017 focuses on public support for nature conservation and on policy discourses about public engagement. Based on a distinction between instrumental and idealistic motivations for engaging with the general public, three policy discourses on public engagement are described: Ecology First, Broadening and Embedding, and Co-creation and Economy. Although policy discourses and public opinion are influenced by a multitude of external factors, critical discourses on nature conservation policies seem to have contributed to a decrease in public support for nature conservation policies from 2006 onwards. The latest questionnaire results from 2017 suggest that public support for nature conservation policy is increasing. Meanwhile, most people do not consider nature conservation a priority for government policy

Circulating matrix metalloproteinases are associated with arterial stiffness in patients with type 1 diabetes: pooled analysis of three cohort studies

BACKGROUND: Altered regulation of extracellular matrix (ECM) composition by matrix metalloproteinases (MMPs) and tissue inhibitors of metalloproteinase (TIMPs) may contribute to arterial stiffening. We investigated associations between circulating MMP-1, -2, -3, -9, -10 and TIMP-1, and carotid-femoral pulse wave velocity (cfPWV) and pulse pressure (PP), as markers of arterial stiffness in type 1 diabetic patients. METHODS: Individuals with type 1 diabetes from three different cohorts were included in this study: EURODIAB Prospective Complications study (n = 509), LEACE (n = 370) and PROFIL (n = 638). Linear regression analyses were used to investigate cross-sectional associations between circulating levels of MMP-1, -2, -3, -9, -10, and TIMP-1 and cfPWV (n = 614) as well as office PP (n = 1517). Data on 24-h brachial and 24-h central PP were available in 638 individuals from PROFIL. Analyses were adjusted for age, sex, duration of diabetes, HbA1c, mean arterial pressure (MAP), and eGFR, and additionally for other cardiovascular risk factors and presence of vascular complications. RESULTS: After adjustment for potential confounders and presence of vascular complications, circulating MMP-3 was associated with cfPWV [β per 1 SD higher lnMMP3 0.29 m/s (0.02; 0.55)]. In addition, brachial and central 24-h PP measurements in PROFIL were significantly associated with MMP-2 [(1.40 (0.47:2.33) and 1.43 (0.63:2.23)]. Pooled data analysis showed significant associations of circulating levels of MMP-1 and MMP-2 with office PP [β per 1 SD higher lnMMP-1 and lnMMP-2 = − 0.83 mmHg (95% CI − 1.50; − 0.16) and = 1.33 mmHg (0.55; 2.10), respectively]. CONCLUSIONS: MMPs-1, -2, and -3 are independently associated with markers of arterial stiffening in patients with type 1 diabetes and may become therapeutic targets

Mechanistic insights into the C₅₅-P targeting lipopeptide antibiotics revealed by structure-activity studies and high-resolution crystal structures

AbstractThe continued rise of antibiotic resistance is a global concern that threatens to undermine many aspects of modern medical practice. Key to addressing this threat is the discovery and development of new antibiotics that operate by unexploited modes of action. The so-called calcium-dependent lipopeptide antibiotics (CDAs) are an important emerging class of natural products that provides a source of new antibiotic agents rich in structural and mechanistic diversity. Notable in this regard is the subset of CDAs comprising the laspartomycins and amphomycins/friulimicins that specifically target the bacterial cell wall precursor undecaprenyl phosphate (C55-P). In this study we describe the design and synthesis of new C55-P-targeting CDAs with structural features drawn from both the laspartomycin and amphomycin/friulimicin classes. Assessment of these lipopeptides revealed previously unknown and surprisingly subtle structural features that are required for antibacterial activity. High-resolution crystal structures further indicate that the amphomycin/friulimicin-like lipopeptides adopt a unique crystal packing that governs their interaction with C55-P and provides an explanation for their antibacterial effect. In addition, live-cell microscopy studies provide further insights into the biological activity of the C55-P targeting CDAs highlighting their unique mechanism of action relative to the clinically used CDA daptomycin.Microbial Biotechnolog

Mouse models of cystic fibrosis: Phenotypic analysis and research applications

AbstractGenetically modified mice have been studied for more than fifteen years as models of cystic fibrosis (CF). The large amount of experimental data generated illuminates the complex multi-organ pathology of CF and raises new questions relevant to human disease. CF mice have also been used to test experimental therapies prior to clinical trials. This review recapitulates the major phenotypic traits of CF mice and highlights important new findings including aberrant alveolar macrophages, bone and cartilage abnormalities and abnormal bioactive lipid metabolism. Novel data are presented on the intestinal and nasal physiology of F508del-CFTR CF mice backcrossed onto different genetic backgrounds. Caveats, and sources of variability including age, gender and animal husbandry, are discussed. Interspecies differences limit comparison of lung pathology in CF mice to the human disease. The recent development of genetically modified pigs and ferrets heralds the application of more advanced animal models to CF research and drug development

Learning through social spaces: migrant women and lifelong learning in post-colonial London

This article shows how migrant women engage in learning through social spaces. It argues that such spaces are little recognised, and that there are multiple ways in which migrant women construct and negotiate their informal learning through socialising with other women in different informal modes. Additionally, the article shows how learning is shaped by the socio-political, geographical and multicultural context of living in London, outlining ways in which gendered and racialised identities shape, construct and constrain participation in lifelong learning. The article shows that one way in which migrant women resist (post)colonial constructions of difference is by engaging in informal and non-formal lifelong learning, arguing that the benefits are (at least) two-fold. The women develop skills (including language skills) but also use their informal learning to develop what is referred to in this article as 'relational capital'. The article concludes that informal lifelong learning developed through social spaces can enhance a sense of belonging for migrant women