Alignment-based conformance checking over probabilistic events

Conformance checking techniques allow us to evaluate how well some exhibited behaviour, represented by a trace of monitored events, conforms to a specified process model. Modern monitoring and activity recognition technologies, such as those relying on sensors, the IoT, statistics and AI, can produce a wealth of relevant event data. However, this data is typically characterised by noise and uncertainty, in contrast to the assumption of a deterministic event log required by conformance checking algorithms. In this paper, we extend alignment-based conformance checking to function under a probabilistic event log. We introduce a weighted trace model and weighted alignment cost function, and a custom threshold parameter that controls the level of confidence on the event data vs. the process model. The resulting algorithm considers activities of lower but sufficiently high probability that better align with the process model. We explain the algorithm and its motivation both from formal and intuitive perspectives, and demonstrate its functionality in comparison with deterministic alignment using real-life datasets

DNA structural deformations in the interaction of the controller protein C.AhdI with its operator sequence

Controller proteins such as C.AhdI regulate the expression of bacterial restriction–modification genes, and ensure that methylation of the host DNA precedes restriction by delaying transcription of the endonuclease. The operator DNA sequence to which C.AhdI binds consists of two adjacent binding sites, OL and OR. Binding of C.AhdI to OL and to OL + OR has been investigated by circular permutation DNA-bending assays and by circular dichroism (CD) spectroscopy. CD indicates considerable distortion to the DNA when bound by C.AhdI. Binding to one or two sites to form dimeric and tetrameric complexes increases the CD signal at 278 nm by 40 and 80% respectively, showing identical local distortion at both sites. In contrast, DNA-bending assays gave similar bend angles for both dimeric and tetrameric complexes (47 and 38°, respectively). The relative orientation of C.AhdI dimers in the tetrameric complex and the structural role of the conserved Py-A-T sequences found at the centre of C-protein-binding sites are discussed

A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows

We present a novel application of business process modelling and simulation of manufacturing workflows. Using formal methods, we produce correct-by-construction executable models that can be simulated in an interleaved way. The simulation draws advanced analytics from live IoT monitoring as well as an ERP system to provide predictive business intelligence. We describe our process and resource modelling efforts in the context of a collaborative project with two manufacturing partners. We evaluate our results based on the improvement of the scheduling accuracy for real production flows

DNA structural deformations in the interaction of the controller protein C.AhdI with its operator sequence

Controller proteins such as C.AhdI regulate the expression of bacterial restriction–modification genes, and ensure that methylation of the host DNA precedes restriction by delaying transcription of the endonuclease. The operator DNA sequence to which C.AhdI binds consists of two adjacent binding sites, OL and OR. Binding of C.AhdI to OL and to OL + OR has been investigated by circular permutation DNA-bending assays and by circular dichroism (CD) spectroscopy. CD indicates considerable distortion to the DNA when bound by C.AhdI. Binding to one or two sites to form dimeric and tetrameric complexes increases the CD signal at 278 nm by 40 and 80% respectively, showing identical local distortion at both sites. In contrast, DNA-bending assays gave similar bend angles for both dimeric and tetrameric complexes (47 and 38°, respectively). The relative orientation of C.AhdI dimers in the tetrameric complex and the structural role of the conserved Py-A-T sequences found at the centre of C-protein-binding sites are discussed

New records of aphid species (Hemiptera: Aphididae) in Greece

Τις τελευταίες δυο δεκαετίες έχουν δημοσιευθεί αρκετές εργασίες σχετικές με την αφιδοπανίδα της Ελλάδας. Ωστόσο, ο αριθμός των καταγεγραμμένων ειδών αφίδων είναι αρκετά μικρότερος από άλλες Ευρωπαϊκές χώρες, συμπεριλαμβανομένων αυτών στη λεκάνη της Μεσογείου. Στην παρούσα εργασία συλλέξαμε δείγματα αφίδων από διάφορους ξενιστές και περιοχές της νότιας, κεντρικής και βόρειας Ελλάδας. Συνολικά συλλέχθηκαν 128 είδη αφίδων, που ανήκουν σε 55 γένη και έξι υποοικογένειες, από 200 είδη φυτών-ξενιστών. Τα περισσότερα είδη αφίδων ανήκαν στην υποοικογένεια Aphidinae (ειδικά στις φυλές Macrosiphini και Aphidini). Δεκαοκτώ από τα συλλεχθέντα είδη είναι νέες αναφορές για την Ελλάδα. Τα αποτελέσματα της παρούσας εργασίας αυξάνουν τη γνώση μας σχετικά με την αφιδοπανίδα της Ελλάδας και δείχνουν ότι ο αριθμός των καταγεγραμμένων ειδών στην Ελλάδα μπορεί να αυξηθεί σημαντικά αν πραγματοποιηθούν επιπλέον σχετικές μελέτες. Several papers have been published on aphid fauna in Greece during the last two decades, but the number of recorded species is still low compared to other European countries, including some from the Mediterranean basin. In this context, we collected aphids from various host-plants and regions in southern, central and northern Greece characterized by diverse flora, climatic conditions and ecological habitats. In total, 128 aphid species belonging to 55 genera and six subfamilies were collected on 200 host-species. Most of the species dominated the subfamily Aphidinae (especially tribes Macrosiphini and Aphidini). Among the species collected, 18 were new records in Greece. The present work improves our knowledge regarding the aphid fauna of Greece and suggests that the number of recorded species could increase further if additional studies were undertaken

Application of the urban exposome framework using drinking water and quality of life indicators: a proof-of-concept study in Limassol, Cyprus

Background Cities face rapid changes leading to increasing inequalities and emerging public health issues that require cost-effective interventions. The urban exposome concept refers to the continuous monitoring of urban environmental and health indicators using the city and smaller intra-city areas as measurement units in an interdisciplinary approach that combines qualitative and quantitative methods from social sciences, to epidemiology and exposure assessment. Methods In this proof of concept study, drinking water and quality of life indicators were described as part of the development of the urban exposome of Limassol (Cyprus) and were combined with agnostic environment-wide association analysis. This study was conducted as a two-part project with a qualitative part assessing the perceptions of city stakeholders, and quantitative part using a cross-sectional study design (an urban population study). We mapped the water quality parameters and participants’ opinions on city life (i.e., neighborhood life, health care, and green space access) using quarters (small administrative areas) as the reference unit of the city. In an exploratory, agnostic, environment-wide association study analysis, we used all variables (questionnaire responses and water quality metrics) to describe correlations between them. Results Overall, urban drinking-water quality using conventional indicators of chemical (disinfection byproducts-trihalomethanes (THM)) and microbial (coliforms, E. coli, and Enterococci) quality did not raise particular concerns. The general health and chronic health status of the urban participants were significantly (false discovery rate corrected p-value < 0.1) associated with different health conditions such as hypertension and asthma, as well as having financial issues in access to dental care. Additionally, correlations between THM exposures and participant behavioral characteristics (e.g., household cleaning, drinking water habits) were documented. Conclusion This proof-of-concept study showed the potential of using integrative approaches to develop urban exposomic profiles and identifying within-city differences in environmental and health indicators. The characterization of the urban exposome of Limassol will be expanded via the inclusion of biomonitoring tools and untargeted metabolomics

A theorem proving framework for the formal verification of Web Services Composition

We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into pi-calculus processes. In this setting, composition is achieved by representing available web services as CLL sentences, proving the requested composite service as a conjecture, and then extracting the constructed pi-calculus term from the proof. Our framework, implemented in HOL Light, not only uses an expressive logic that allows us to incorporate multiple Web Services properties in the composition process, but also provides guarantees of soundness and correctness for the composition.Comment: In Proceedings WWV 2011, arXiv:1108.208

Platelet and Neutrophil Responses to Gram Positive Pathogens in Patients with Bacteremic Infection

BACKGROUND: Many Gram-positive pathogens aggregate and activate platelets in vitro and this has been proposed to contribute to virulence. Platelets can also form complexes with neutrophils but little is however known about platelet and platelet-neutrophil responses in bacterial infection. METHODOLOGY/PRINCIPAL FINDINGS: We added isolates of Gram-positive bacteria from 38 patients with a bacteremic infection to blood drawn from the same patient. Aggregometry and flow cytometry were used to assess platelet aggregation and to quantify activation of platelets, neutrophils, and platelet-neutrophils complexes (PNCs) induced by the bacteria. Fifteen healthy persons served as controls. Most isolates of Staphylococcus aureus, beta hemolytic streptococci, and Enterococcus faecalis induced aggregation of platelets from their respective hosts, whereas pneumococci failed to do so. S. aureus isolates induced platelet aggregation more rapidly in patients than in controls, whereas platelet activation by S. aureus was lower in patients than in controls. PNCs were more abundant in baseline samples from patients than in healthy controls and most bacterial isolates induced additional PNC formation and neutrophil activation. CONCLUSION/SIGNIFICANCE: We have demonstrated for the first time that bacteria isolated from patients with Gram-positive bacteremia can induce platelet activation and aggregation, PNC formation, and neutrophil activation in the same infected host. This underlines the significance of these interactions during infection, which could be a target for future therapies in sepsis