The development of an application based on a set of best software engineering practices involves first their selection. This process may become complex due to the variables involved. This paper presents an Operations Research approach for the selection of best software engineering practices for the development of applications or computational systems considering a series of alternatives and sel...

A bar-and-joint framework is a finite set of points together with specified distances between selected pairs. In rigidity theory we seek to understand when the remaining pairwise distances are also fixed. If there exists a pair of points which move relative to one another while maintaining the given distance constraints, the framework is flexible; otherwise, it is rigid. Counting conditions due...

0

We present the results of the fully automated CAFASP3 experiment, which was carried out in parallel with CASP5, using the same set of prediction targets. CAFASP participation is restricted to fully automatic structure prediction servers. The servers' performance is evaluated by using previously announced, objective, reproducible and fully automated evaluation methods. More than 60 servers parti...

The classification of loop symmetries in Kitaev's honeycomb lattice model provides a natural framework to study the Abelian topological degeneracy. We derive a perturbative low-energy effective Hamiltonian that is valid to all orders of the expansion and for all possible toroidal configurations. Using this form we demonstrate at what order the system's topological degeneracy is lifted by finite...

Given a family of Abelian varieties over a positive-dimensional base, we prove that for a sufficiently general curve in the base, every rational section of the family over the curve is contained in a unique rational section over the entire base. 1. Main results sec-intro The starting point for this article is the following theorem. Theorem 1.1. [GHMS05, Theorem 6.2] Let B be a smooth, quasi-pro...

Let X/K be an absolutely simple abelian variety over a number field; we study whether the reductions Xp tend to be simple, too. We show that if End(X) is a definite quaternion algebra, then the reduction Xp is geometrically isogenous to the self-product of an absolutely simple abelian variety for p in a set of positive density, while if X is of Mumford type, then Xp is simple for almost all p. ...

Focusing on two determinant aspects of retail competition, prices and catchment area, this paper aims to specifically investigate the importance of the relative price density function. We answer such questions as whether it pays for a store to offer more low-priced items in a given category than its close competitors and whether a retailer should have a consistent assortment in terms of price t...