Non-unimodular transversely homogeneous foliations

We give sufficient conditions for the tautness of a transversely homogenous foliation defined on a compact manifold, by computing its base-like cohomology. As an application, we prove that if the foliation is non-unimodular then either the ambient manifold, the closure of the leaves or the total space of an associated principal bundle fiber over $S^1$.Comment: 33 pages. This paper will appear in Annales de l'Institut Fourier, Grenobl

Planetary nebulae in the elliptical galaxy NGC 821: kinematics and distance determination

Using a slitless spectroscopy method with the 8.2 m Subaru telescope and its FOCAS Cassegrain spectrograph, we have increased the number of planetary nebula (PN) detections and PN velocity measurements in the flattened elliptical galaxy NGC 821. A comparison with the detections reported previously by the Planetary Nebula Spectrograph (PN.S) group indicates that we have confirmed most of their detections. The velocities measured by the two groups, using different telescopes, spectrographs and slitless techniques, are in good agreement. We have built a combined sample of 167 PNs and have confirmed the keplerian decline of the line-of-sight velocity dispersion reported previously. We also confirm misaligned rotation from the combined sample. A dark matter halo may exist around this galaxy, but it is not needed to keep the PN velocities below the local escape velocity as calculated from the visible mass. We have measured the m(5007) magnitudes of 145 PNs and produced a statistically complete sample of 40 PNs in NGC 821. The resulting PN luminosity function (PNLF) was used to estimate a distance modulus of 31.4 mag, equivalent to 19 Mpc. We also estimated the PN formation rate. NGC 821 becomes the most distant galaxy with a PNLF distance determination. The PNLF distance modulus is smaller than the surface brightness fluctuation (SBF) distance modulus by 0.4 mag. Our kinematic information permits to rule out the idea that a shorter PNLF distance could be produced by the contamination of the PNLF by background galaxies with emission lines redshifted into the on-band filter transmission curve.Comment: Accepted for publication in ApJ; 16 figure

A Case Study on Artefact-based RE Improvement in Practice

Most requirements engineering (RE) process improvement approaches are solution-driven and activity-based. They focus on the assessment of the RE of a company against an external norm of best practices. A consequence is that practitioners often have to rely on an improvement approach that skips a profound problem analysis and that results in an RE approach that might be alien to the organisational needs. In recent years, we have developed an RE improvement approach (called \emph{ArtREPI}) that guides a holistic RE improvement against individual goals of a company putting primary attention to the quality of the artefacts. In this paper, we aim at exploring ArtREPI's benefits and limitations. We contribute an industrial evaluation of ArtREPI by relying on a case study research. Our results suggest that ArtREPI is well-suited for the establishment of an RE that reflects a specific organisational culture but to some extent at the cost of efficiency resulting from intensive discussions on a terminology that suits all involved stakeholders. Our results reveal first benefits and limitations, but we can also conclude the need of longitudinal and independent investigations for which we herewith lay the foundation

First-passage times in multi-scale random walks: the impact of movement scales on search efficiency

An efficient searcher needs to balance properly the tradeoff between the exploration of new spatial areas and the exploitation of nearby resources, an idea which is at the core of scale-free L\'evy search strategies. Here we study multi-scale random walks as an approximation to the scale- free case and derive the exact expressions for their mean-first passage times in a one-dimensional finite domain. This allows us to provide a complete analytical description of the dynamics driving the asymmetric regime, in which both nearby and faraway targets are available to the searcher. For this regime, we prove that the combination of only two movement scales can be enough to outperform both balistic and L\'evy strategies. This two-scale strategy involves an optimal discrimination between the nearby and faraway targets, which is only possible by adjusting the range of values of the two movement scales to the typical distances between encounters. So, this optimization necessarily requires some prior information (albeit crude) about targets distances or distributions. Furthermore, we found that the incorporation of additional (three, four, ...) movement scales and its adjustment to target distances does not improve further the search efficiency. This allows us to claim that optimal random search strategies in the asymmetric regime actually arise through the informed combination of only two walk scales (related to the exploitative and the explorative scale, respectively), expanding on the well-known result that optimal strategies in strictly uninformed scenarios are achieved through L\'evy paths (or, equivalently, through a hierarchical combination of multiple scales)

Towards Guidelines for Preventing Critical Requirements Engineering Problems

Context] Problems in Requirements Engineering (RE) can lead to serious consequences during the software development lifecycle. [Goal] The goal of this paper is to propose empirically-based guidelines that can be used by different types of organisations according to their size (small, medium or large) and process model (agile or plan-driven) to help them in preventing such problems. [Method] We analysed data from a survey on RE problems answered by 228 organisations in 10 different countries. [Results] We identified the most critical RE problems, their causes and mitigation actions, organizing this information by clusters of size and process model. Finally, we analysed the causes and mitigation actions of the critical problems of each cluster to get further insights into how to prevent them. [Conclusions] Based on our results, we suggest preliminary guidelines for preventing critical RE problems in response to context characteristics of the companies.Comment: Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 201

Tailored gamification and serious game framework based on fuzzy logic for saving energy in connected thermostats

Connected thermostats (CTs) often save less energy than predicted because consumers may not know how to use them and may not be engaged in saving energy. Additionally, several models perform contrary to consumers’ expectations and are thus not used the way they are intended to. As a result, CTs save less energy and are underused in households. This paper reviews aspects of gamification and serious games focused on engaging consumers. A gamification and serious games framework is proposed for saving energy that is tailored by a fuzzy logic system to motivate connected thermostat consumers. This intelligent gamification framework can be used to customize the gamification and serious game strategy to each consumer so that fuzzy logic systems can be adapted according to the requirements of each consumer. The framework is designed to teach, engage, and motivate consumers while helping them save electrical energy when using their thermostats. It is described the proposed framework as well as a mockup that can be run on a cellphone. Although this framework is designed to be implemented in CTs, it can be translated to their energy devices in smart homes

Anderson Localization in Disordered Vibrating Rods

We study, both experimentally and numerically, the Anderson localization phenomenon in torsional waves of a disordered elastic rod, which consists of a cylinder with randomly spaced notches. We find that the normal-mode wave amplitudes are exponentially localized as occurs in disordered solids. The localization length is measured using these wave amplitudes and it is shown to decrease as a function of frequency. The normal-mode spectrum is also measured as well as computed, so its level statistics can be analyzed. Fitting the nearest-neighbor spacing distribution a level repulsion parameter is defined that also varies with frequency. The localization length can then be expressed as a function of the repulsion parameter. There exists a range in which the localization length is a linear function of the repulsion parameter, which is consistent with Random Matrix Theory. However, at low values of the repulsion parameter the linear dependence does not hold.Comment: 10 pages, 6 figure

On the algebraic structure of rotationally invariant two-dimensional Hamiltonians on the noncommutative phase space

We study two-dimensional Hamiltonians in phase space with noncommutativity both in coordinates and momenta. We consider the generator of rotations on the noncommutative plane and the Lie algebra generated by Hermitian rotationally invariant quadratic forms of noncommutative dynamical variables. We show that two quantum phases are possible, characterized by the Lie algebras $sl(2,\mathbb{R})$ or $su(2)$ according to the relation between the noncommutativity parameters, with the rotation generator related with the Casimir operator. From this algebraic perspective, we analyze the spectrum of some simple models with nonrelativistic rotationally invariant Hamiltonians in this noncommutative phase space, as the isotropic harmonic oscillator, the Landau problem and the cylindrical well potential. PACS: 03.65.-w; 03.65.Fd MSC: 81R05; 20C35; 22E70Comment: 49 pages. No figures. Version to appear in JP