Managing transactions is a key issue in Service Oriented Computing where particular relevance is given to the so called Long Running Transactions (LRT). Here, we show how to apply a formal approach to the specification and refactoring of LRT. Specifically, we consider a methodology arising on process calculi and show how it can be applied to a case study.

Anecdotal reports have assumed that women would be able to outrun men in long-distance running. The aim of this study was to test this assumption by investigating the changes in performance difference between sexes in the best ultramarathoners in 50-mile, 100-mile, 200-mile, 1,000-mile, and 3,100-mile events held worldwide between 1971 and 2012. The sex differences in running speed for the fast...

In the statistics literature, a number of procedures have been proposed for testing equality of several groups’ covariance matrices when data are complete, but this problem has not been considered for incomplete data in a general setting. This paper proposes statistical tests for equality of covariance matrices when data are missing. AWald test (denoted by T1), a likelihood ratio test (LRT) (de...

This paper presents a probabilistic method for correspondence matching with a framework of the random walk with restart (RWR). The matching cost is reformulated as a corresponding probability, which enables the RWR to be utilized for matching the correspondences. There are mainly two advantages in our method. First, the proposed method guarantees the non-trivial steady-state solution of a given...

In golden-mantled ground squirrels, phase angles of entrainment of circadian locomotor activity to a fixed light-dark cycle differ markedly between subjective summer and winter. A change in ambient temperature affects entrainment only during subjective winter when it also produces pronounced effects on body temperature (Tb). It was previously proposed that variations in Tb are causally related ...

Locomotor activity recordings of Syrian hamsters were systematically analyzed to estimate the precision of the overt circadian activity rhythm in constant darkness. Phase variation, i.e., the standard deviation of phase markers around the regression line, varied with the definition of phase. Smallest phase variation was found in the onset of wheel running activity defined by 1h running means of...

When a treadmill accelerates continuously, the walk-run transition has generally been assumed to occur at the instant when a flight phase is first observed, while the run-walk transition has been assumed to occur at the instant of the first double support period. There is no theoretical or empirical evidence to suggest that gait transitions occur at the instant of these events, nor even whether...

We studied house mice (Mus domesticus) that had been artificially selected for high activity to test the hypothesis that a high capacity for energy assimilation in cold-exposed endotherms could evolve as a correlated response to selection for increased locomotor activity. After 10 generations of selection for increased voluntary wheel-running, mice from four selected lines ran 75 % more wheel r...

BACKGROUND To date, little is known for pacing in ultra-endurance athletes competing in a non-stop event and in a multi-stage event, and especially, about pacing in a multi-stage event with different disciplines during the stages. Therefore, the aim of the present study was to examine the effect of age, sex and calendar year on triathlon performance and variation of performance by events (i.e.,...