Mobile (smart)phones prevail in our daily life activities, and in our research we aim for it to provide pervasive services for wellness. Therefore, we assess the phone’s feasibility to unobtrusively, continuously and in real-time track its user’s physical activity and the resulting energy expenditure (EE). Activity Level Estimator (ALE) is an Android OS application developed for that purpose. W...

We identify a quiver variety of an affine type with a framed moduli space of torsion free sheaves on an ALE space, a fiber of a simultaneous resolution of the semi-universal deformation of C/Γ. This result is an analog of a similar identification for a framed moduli space of anti-self-dual connections on an ALE space, given by Kronheimer and the author. It simultaneously generalizes the descrip...

Intonational phrasing and pitch accent distribution (PAD) have been proposed to be interdependent (Portuguese) and independent properties of prosodic systems (Egyptian). This paper examines the relation between intonational phrasing and pitch accent distribution in two center-southern varieties of European Portuguese Alentejo (Ale) and Algarve (Alg). Sentences obtained in a reading task systema...

We conjecture that M-theory compactified on an ALE space (or K3) is described by 0-branes moving on the ALE space. We give evidence for this by showing that if we compactify another circle, we recover string theory on the ALE space. This guarantees that in the large N limit, the matrix model correctly describes the force law between gravitons moving in an ALE background. We also show the appear...

The amplitude of low-field nuclear magnetic resonance (NMR) is weak, and the echo is buried in the noise. The reduction of noise is critical to accurately extract echo amplitude. Phase correction-adaptive line enhancement (PC-ALE) is proposed to noise suppression based on the principle of ALE and NMR spin-echo characteristics. The echo amplitude is calculated after two-stage processes; phase sh...

This paper introduces a compact representation which helps to avoid the exponential blow-up of the Least Common Subsumer (lcs) of two ALE-concept descriptions. Based on the compact representation we define a space of specific graphs which represents all ALE-concept descriptions including the lcs. Next, we propose an algorithm exponential in time and polynomial in space for deciding subsumption ...