A recursive paradigm for aligning observed behavior of large structured process models

The alignment of observed and modeled behavior is a crucial problem in process mining, since it opens the door for conformance checking and enhancement of process models. The state of the art techniques for the computation of alignments rely on a full exploration of the combination of the model state space and the observed behavior (an event log), which hampers their applicability for large instances. This paper presents a fresh view to the alignment problem: the computation of alignments is casted as the resolution of Integer Linear Programming models, where the user can decide the granularity of the alignment steps. Moreover, a novel recursive strategy is used to split the problem into small pieces, exponentially reducing the complexity of the ILP models to be solved. The contributions of this paper represent a promising alternative to fight the inherent complexity of computing alignments for large instances.Peer ReviewedPostprint (author's final draft

Reproducibility and speed of landmarking process in cephalometric analysis using two input devices: mouse-driven cursor versus pen

To define if the new portable appliances, like smartphone, iPad, small laptop and tablet can be used in cephalometric tracing without dropping out the validity of any measurement. METHODS:We investigated and compared the reproducibility and the speed of landmarks identification process on lateral X-rays in two input devices: a mouse-driven cursor and a pen used as input means in mobile devices. One expert located 22 landmarks on 15 lateral X-rays in a repeated measure design two times, at time T1 and T2, after at least one month. The Intraclass Correlation coefficient was used to evaluate the reproducibility for each landmark tracing and the agreement between the value derived from both input devices. Also, the mean errors in measurements, the standard deviation and the Friedman Test significans (P < 0.05) between both input were statistically evaluated. RESULTS:All landmarks had a high agreement and the Friedman Test indicated statistically significant differences (P<0.05) for the identification of Na, Po, Pt, PNS, Ba, Pg, Gn, UIE, UIA, APOcc and PPOcc landmarks. CONCLUSIONS:Even if the mouse input give higher agreement for landmark tracing the differences are really minimal and they can be ignored in private practice. We suggest the adequacy of pen input in clinical setting

Torsion Does Not Affect Early Vein Graft Patency in the Rat Femoral Artery Model

BACKGROUND: Torsion of vein grafts is a commonly cited reason for graft failure in clinical setting. Many microsurgery training courses have incorporated vein graft procedures in their curricula, and vein graft torsion is a common technical error made by the surgeons in these courses. To improve our understanding of the clinical reproducibility of practicing vein graft procedures in microsurgery training courses, this study aims to determine if torsion can lead to early vein graft failure in nonsurvival surgery rat models. METHODS: Sprague-Dawley rats were divided into five cohorts with five rats per cohort for a total of 25 rats. Cohorts were labeled based on degree of vein graft torsion (0, 45, 90, 135, and 180 degrees). Torsion was created in the vein grafts at the distal arterial end by mismatching sutures placed between the proximal end of the vein graft and the distal arterial end. Vein graft patency was then verified 2 and 24 hours postoperation. RESULTS: All vein grafts were patent 2 and 24 hours postoperation. At 2 hours, the average blood flow rate measurements for 0, 45, 90, 135, and 180 degrees of torsion were 0.37 ± 0.02, 0.38 ± 0.04, 0.34 ± 0.01, 0.33 ± 0.01, and 0.29 ± 0.02 mL/min, respectively. At 24 hours, they were 0.94 ± 0.07, 1.03 ± 0.15, 1.26 ± 0.22, 1.41 ± 0.11, and 0.89 ± 0.15 mL/min, respectively. CONCLUSION: Torsion of up to 180 degrees does not affect early vein graft patency in rat models. To improve the clinical reproducibility of practicing vein graft procedures in rat models, we suggest that microsurgery instructors assess vein graft torsion prior to clamp release, as vessel torsion does not seem to affect graft patency once the clamps are removed

On the heterogeneous character of water's amorphous polymorphism

In this letter we report {\it in situ} small--angle neutron scattering results on the high--density (HDA) and low-density amorphous (LDA) ice structures and on intermediate structures as found during the temperature induced transformation of HDA into LDA. We show that the small--angle signal is characterised by two $Q$ regimes featuring different properties ($Q$ is the modulus of the scattering vector defined as $Q = 4\pi\sin{(\Theta)}/\lambda_{\rm i}$ with $\Theta$ being half the scattering angle and $\lambda_{\rm i}$ the incident neutron wavelength). The very low--$Q$ regime ($< 5\times 10^{-2}$ \AA $^{-1}$) is dominated by a Porod--limit scattering. Its intensity reduces in the course of the HDA to LDA transformation following a kinetics reminiscent of that observed in wide--angle diffraction experiments. The small--angle neutron scattering formfactor in the intermediate regime of $5 \times 10^{-2} < Q < 0.5$ \AA$^{-1}$ HDA and LDA features a rather flat plateau. However, the HDA signal shows an ascending intensity towards smaller $Q$ marking this amorphous structure as heterogeneous. When following the HDA to LDA transition the formfactor shows a pronounced transient excess in intensity marking all intermediate structures as strongly heterogeneous on a length scale of some nano--meters

Small Animal Video Tracking for Activity and Path Analysis Using a Novel Open-Source Multi-Platform Application (AnimApp)

Experimental biological model system outcomes such as altered animal movement capability or behaviour are difficult to quantify manually. Existing automatic movement tracking devices can be expensive and imposing upon the typical environment of the animal model. We have developed a novel multiplatform, free-to-use open-source application based on OpenCV, called AnimApp. Our results show that AnimApp can reliably and reproducibly track movement of small animals such as rodents or insects, and quantify parameters of action including distance and speed in order to detect activity changes arising from handling, environment enrichment, or temperature alteration. This system offers an accurate and reproducible experimental approach with potential for simple, fast and flexible analysis of movement and behaviour in a wide range of model systems

Flow of low viscosity Boger fluids through a microfluidic hyperbolic contraction

In this work we focus on the development of low viscosity Boger fluids and assess their elasticity analyzing the flow through a microfluidic hyperbolic contraction. Rheological tests in shear and extensional flows were carried out in order to evaluate the effect of the addition of a salt (NaCl) to dilute aqueous solutions of polyacrylamide at 400, 250, 125 and 50 ppm (w/w). The rheological data showed that when 1% (w/w) of NaCl was added, a significant decrease of the shear viscosity curve was observed, and a nearly constant shear viscosity was found for a wide range of shear rates, indicating Boger fluid behavior. The relaxation times, measured using a capillary break-up extensional rheometer (CaBER), decreased for lower polymer concentrations, and with the addition of NaCl. Visualizations of these Boger fluids flowing through a planar microfluidic geometry containing a hyperbolic contraction, which promotes a nearly uniform extension rate at the centerline of the geometry, was important to corroborate their degree of elasticity. Additionally, the quantification of the vortex growth upstream of the hyperbolic contraction was used with good accuracy and reproducibility to assess the relaxation time for the less concentrated Boger fluids, for which CaBER measurements are difficult to perform