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

Context-aware solutions for asthma condition management: a survey

The evolution of information technology has allowed the development of ubiquitous, user-centred, and context-aware solutions. This article considers existing context-aware systems supporting asthma management with the aim of describing their main benefits and opportunities for improvement. To achieve this, the main concepts related to asthma and context awareness are explained before describing and analysing the existing context-aware systems aiding asthma. The survey shows that the concept of personalisation is the key when developing context-aware solutions supporting asthma management because of the high level of heterogeneity of this condition. Hence, the benefits and challenges of context-aware systems supporting asthma management are strongly linked to contextual Just-In-Time information of internal and external factors related to a person and the heterogeneity it represents

Cooperative resonance linewidth narrowing in a planar metamaterial

We theoretically analyze the experimental observations of a spectral line collapse in a metamaterial array of asymmetric split ring resonators [Fedotov et al., Phys. Rev. Lett. 104, 223901 (2010)]. We show that the ensemble of closely-spaced resonators exhibits cooperative response, explaining the observed system-size dependent narrowing of the transmission resonance linewidth. We further show that this cooperative narrowing depends sensitively on the lattice spacing and that significantly stronger narrowing could be achieved in media with suppressed ohmic losses.Comment: 19 pages, 6 figures, to appear in New Journal of Physic

The Journal of Comorbidity affiliates with the Society for Academic Primary Care

No abstract available

Wildbook: Crowdsourcing, computer vision, and data science for conservation

Photographs, taken by field scientists, tourists, automated cameras, and incidental photographers, are the most abundant source of data on wildlife today. Wildbook is an autonomous computational system that starts from massive collections of images and, by detecting various species of animals and identifying individuals, combined with sophisticated data management, turns them into high resolution information database, enabling scientific inquiry, conservation, and citizen science. We have built Wildbooks for whales (flukebook.org), sharks (whaleshark.org), two species of zebras (Grevy's and plains), and several others. In January 2016, Wildbook enabled the first ever full species (the endangered Grevy's zebra) census using photographs taken by ordinary citizens in Kenya. The resulting numbers are now the official species census used by IUCN Red List: http://www.iucnredlist.org/details/7950/0. In 2016, Wildbook partnered up with WWF to build Wildbook for Sea Turtles, Internet of Turtles (IoT), as well as systems for seals and lynx. Most recently, we have demonstrated that we can now use publicly available social media images to count and track wild animals. In this paper we present and discuss both the impact and challenges that the use of crowdsourced images can have on wildlife conservation.Comment: Presented at the Data For Good Exchange 201

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models

This paper presents an on-the-fly uniformization technique for the analysis of time-inhomogeneous Markov population models. This technique is applicable to models with infinite state spaces and unbounded rates, which are, for instance, encountered in the realm of biochemical reaction networks. To deal with the infinite state space, we dynamically maintain a finite subset of the states where most of the probability mass is located. This approach yields an underapproximation of the original, infinite system. We present experimental results to show the applicability of our technique

Marginally trapped tubes and dynamical horizons

We investigate the generic behaviour of marginally trapped tubes (roughly time-evolved apparent horizons) using simple, spherically symmetric examples of dust and scalar field collapse/accretion onto pre-existing black holes. We find that given appropriate physical conditions the evolution of the marginally trapped tube may be either null, timelike, or spacelike and further that the marginally trapped two-sphere cross-sections may either expand or contract in area. Spacelike expansions occur when the matter falling into a black hole satisfies $\rho - P \leq 1/A$, where $A$ is the area of the horizon while $\rho$ and $P$ are respectively the density and pressure of the matter. Timelike evolutions occur when $(\rho - P)$ is greater than this cut-off and so would be expected to be more common for large black holes. Physically they correspond to horizon "jumps" as extreme conditions force the formation of new horizons outside of the old.Comment: 31 pages, many figures. Final Version to appear in CQG: improvements include more complete references, a discussion of those references, Penrose-Carter diagrams for several of the spacetimes, and improved numerics for the scalar field