Log Skeletons: A Classification Approach to Process Discovery

To test the effectiveness of process discovery algorithms, a Process Discovery Contest (PDC) has been set up. This PDC uses a classification approach to measure this effectiveness: The better the discovered model can classify whether or not a new trace conforms to the event log, the better the discovery algorithm is supposed to be. Unfortunately, even the state-of-the-art fully-automated discovery algorithms score poorly on this classification. Even the best of these algorithms, the Inductive Miner, scored only 147 correct classified traces out of 200 traces on the PDC of 2017. This paper introduces the rule-based log skeleton model, which is closely related to the Declare constraint model, together with a way to classify traces using this model. This classification using log skeletons is shown to score better on the PDC of 2017 than state-of-the-art discovery algorithms: 194 out of 200. As a result, one can argue that the fully-automated algorithm to construct (or: discover) a log skeleton from an event log outperforms existing state-of-the-art fully-automated discovery algorithms.Comment: 16 pages with 9 figures, followed by an appendix of 14 pages with 17 figure

Generalized Miura Transformations, Two-Boson KP Hierarchies and their Reduction to KDV Hierarchies

Bracket preserving gauge equivalence is established between several two-boson generated KP type of hierarchies. These KP hierarchies reduce under symplectic reduction (via Dirac constraints) to KdV, mKdV and Schwarzian KdV hierarchies. Under this reduction the gauge equivalence is taking form of the conventional Miura maps between the above KdV type of hierarchies.Comment: 12 pgs., LaTeX, IFT-P/011/93, UICHEP-TH/93-

Geometrical CP violation in multi-Higgs models

We introduce several methods to obtain calculable phases with geometrical values that are independent of arbitrary parameters in the scalar potential. These phases depend on the number of scalars and on the order of the discrete non-Abelian group considered. Using these methods we present new geometrical CP violation candidates with vacuum expectation values that must violate CP (the transformation that would make them CP conserving is not a symmetry of the potential). We also extend to non-renormalisable potentials the proof that more than two scalars are needed to obtain these geometrical CP violation candidates.Comment: 8 pages, 2 figures. v2: table added, accepted by JHE

On the link between rotation, chromospheric activity and Li abundance in subgiant stars

The connection rotation-CaII emission flux-lithium abundance is analyzed for a sample of bona fide subgiant stars, with evolutionary status determined from HIPPARCOS trigonometric parallax measurements and from the Toulouse-Geneva code.Comment: 9 pages, 8 figure

Wireless Medical Sensor Networks: Design Requirements and Enabling Technologies

This article analyzes wireless communication protocols that could be used in healthcare environments (e.g., hospitals and small clinics) to transfer real-time medical information obtained from noninvasive sensors. For this purpose the features of the three currently most widely used protocols—namely, Bluetooth® (IEEE 802.15.1), ZigBee (IEEE 802.15.4), and Wi-Fi (IEEE 802.11)—are evaluated and compared. The important features under consideration include data bandwidth, frequency band, maximum transmission distance, encryption and authentication methods, power consumption, and current applications. In addition, an overview of network requirements with respect to medical sensor features, patient safety and patient data privacy, quality of service, and interoperability between other sensors is briefly presented. Sensor power consumption is also discussed because it is considered one of the main obstacles for wider adoption of wireless networks in medical applications. The outcome of this assessment will be a useful tool in the hands of biomedical engineering researchers. It will provide parameters to select the most effective combination of protocols to implement a specific wireless network of noninvasive medical sensors to monitor patients remotely in the hospital or at home