Refactoring smelly spreadsheet models

Identifying bad design patterns in software is a successful and inspiring research trend. While these patterns do not necessarily correspond to software errors, the fact is that they raise potential problematic issues, often referred to as code smells, and that can for example compromise maintainability or evolution. The identification of code smells in spreadsheets, which can be viewed as software development environments for non-professional programmers, has already been the subject of confluent researches by different groups. While these research groups have focused on detecting smells on concrete spreadsheets, or spreadsheet instances, in this paper we propose a comprehensive set of smells for abstract representations of spreadsheets, or spreadsheet models. We also propose a set of refactorings suggesting how spreadsheet models can become simpler to understand, manipulate and evolve. Finally we present the integration of both smells and refactorings under the MDSheet framework.Part funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia within projects FCOMP-01-0124-FEDER-022701 and Network Sensing for Critical Systems Monitoring (NORTE-01-0124-FEDER-000058), ref. BIM-2013 BestCase RL3.2 UMINHO

Type-safe evolution of spreadsheets

Lecture Notes in Computer Science Volume 6603, 2011Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of spreadsheets at a conceptual level have been proposed. Thus, spreadsheet evolution can be made safe within the confines of a model. As in any other model/instance setting, evolution may not only require changes at the instance level but also at the model level. When model changes are required, the safety of instance evolution can not be guarded by the model alone. We have designed an appropriate representation of spreadsheet models, including the fundamental notions of formulæand references. For these models and their instances, we have designed coupled transformation rules that cover specific spreadsheet evolution steps, such as the insertion of columns in all occurrences of a repeated block of cells. Each model-level transformation rule is coupled with instance level migration rules from the source to the target model and vice versa. These coupled rules can be composed to create compound transformations at the model level inducing compound transformations at the instance level. This approach guarantees safe evolution of spreadsheets even when models change.Supported by Fundac ao para a Ciencia e a Tecnologia, grant no. SFRH/BD/30231/2006. Supported by Fundac ao para a Ciencia e a Tecnologia, grant no. SFRH/BD/30215/2006. Work supported by the SSaaPP project, FCT contract no. PTDC/EIA-CCO/108613/200

Single Spin Asymmetry ANA_N in Polarized Proton-Proton Elastic Scattering at s=200\sqrt{s}=200 GeV

We report a high precision measurement of the transverse single spin asymmetry $A_N$ at the center of mass energy $\sqrt{s}=200$ GeV in elastic proton-proton scattering by the STAR experiment at RHIC. The $A_N$ was measured in the four-momentum transfer squared $t$ range $0.003 \leqslant |t| \leqslant 0.035$ \GeVcSq, the region of a significant interference between the electromagnetic and hadronic scattering amplitudes. The measured values of $A_N$ and its $t$-dependence are consistent with a vanishing hadronic spin-flip amplitude, thus providing strong constraints on the ratio of the single spin-flip to the non-flip amplitudes. Since the hadronic amplitude is dominated by the Pomeron amplitude at this $\sqrt{s}$, we conclude that this measurement addresses the question about the presence of a hadronic spin flip due to the Pomeron exchange in polarized proton-proton elastic scattering.Comment: 12 pages, 6 figure

High pTp_{T} non-photonic electron production in pp+pp collisions at s\sqrt{s} = 200 GeV

We present the measurement of non-photonic electron production at high transverse momentum ($p_T >$ 2.5 GeV/$c$) in $p$ + $p$ collisions at $\sqrt{s}$ = 200 GeV using data recorded during 2005 and 2008 by the STAR experiment at the Relativistic Heavy Ion Collider (RHIC). The measured cross-sections from the two runs are consistent with each other despite a large difference in photonic background levels due to different detector configurations. We compare the measured non-photonic electron cross-sections with previously published RHIC data and pQCD calculations. Using the relative contributions of B and D mesons to non-photonic electrons, we determine the integrated cross sections of electrons ($\frac{e^++e^-}{2}$) at 3 GeV/$c < p_T <~$10 GeV/$c$ from bottom and charm meson decays to be ${d\sigma_{(B\to e)+(B\to D \to e)} \over dy_e}|_{y_e=0}$ = 4.0$\pm0.5$({\rm stat.})$\pm1.1$({\rm syst.}) nb and ${d\sigma_{D\to e} \over dy_e}|_{y_e=0}$ = 6.2$\pm0.7$({\rm stat.})$\pm1.5$({\rm syst.}) nb, respectively.Comment: 17 pages, 17 figure

Evolution of the differential transverse momentum correlation function with centrality in Au+Au collisions at sNN=200\sqrt{s_{NN}} = 200 GeV

We present first measurements of the evolution of the differential transverse momentum correlation function, {\it C}, with collision centrality in Au+Au interactions at $\sqrt{s_{NN}} = 200$ GeV. {\it C} exhibits a strong dependence on collision centrality that is qualitatively similar to that of number correlations previously reported. We use the observed longitudinal broadening of the near-side peak of {\it C} with increasing centrality to estimate the ratio of the shear viscosity to entropy density, $\eta/s$, of the matter formed in central Au+Au interactions. We obtain an upper limit estimate of $\eta/s$ that suggests that the produced medium has a small viscosity per unit entropy.Comment: 7 pages, 4 figures, STAR paper published in Phys. Lett.

Construction of radial basis function networks with diversified topologies

In this review we bring together some of our recent work from the angle of the diversified RBF topologies, including three different topologies; (i) the RBF network with tunable nodes; (ii) the Box-Cox output transformation based RBF network (Box-Cox RBF); and (iii) the RBF network with boundary value constraints (BVC-RBF). We show that the modified topologies have some advantages over the conventional RBF topology for specific problems. For each modified topology, the model construction algorithms have been developed. These proposed RBF topologies are respectively aimed at enhancing the modelling capabilities of; (i)flexible basis function shaping for improved model generalisation with the minimal model;(ii) effectively handling some dynamical processes in which the model residuals exhibit heteroscedasticity; and (iii) achieving automatic constraints satisfaction so as to incorporate deterministic prior knowledge with ease. It is shown that it is advantageous that the linear learning algorithms, e.g. the orthogonal forward selection (OFS) algorithm based leave-one-out (LOO) criteria, are still applicable as part of the proposed algorithms

A microscopic model for the structural transition and spin gap formation in alpha'-NaV2O5

We present a microscopic model for alpha'-NaV2O5. Using an extended Hubbard model for the vanadium layers we derive an effective low-energy model consisting of pseudospin Ising chains and Heisenberg chains coupled to each other. We find a ``spin-Peierls-Ising'' phase transition which causes charge ordering on every second ladder and superexchange alternation on the other ladders. This transition can be identified with the first transition of the two closeby transitions observed in experiment. Due to charge ordering the effective coupling between the lattice and the superexchange is enhanced. This is demonstrated within a Slater-Koster approximation. It leads to a second instability with superexchange alternation on the charge-ordered ladders due to an alternating shift of the O sites on the rungs of that ladder. We can explain within our model the observed spin gap, the anomalous BCS ratio, and the anomalous shift of the critical temperature of the first transition in a magnetic field. To test the calculated superstructure we determine the low-energy magnon dispersion and find agreement with experiment.Comment: 32 pages, 12 figures include