Pods are mechanical devices constituted of two rigid bodies, the base and the platform, connected by a number of other rigid bodies, called legs, that are anchored via spherical joints. It is possible to prove that the maximal number of legs of a mobile pod, when finite, is 20. In 1904, Borel designed a technique to construct examples of such 20-pods, but could not constrain the legs to have ba...

The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming. Then, we apply this formalization for establishing results of practical interest. First, we show that 'stratification can be motivated in a simple and intuitive...

Genotype-environment interaction was studied in seven genotypes of chickpea under four different cultural environments. Significant variation for genotype (G), environment (E) and G × E interactions were found for the characters days to maturity, plant height, pods/plant, seeds/plant, 100-seed weight and seed yield/plant. On the basis of stability parameters the genotypes Barichola-2, Barichola...

When/(z) is given by a known power series expansion, it is possible to construct the power series expansion for/(z; p) = e~p:f(z). We define popl to be the value of p for which the expansion for/(z; p) converges most rapidly. When/(z) is an entire function of order 1, we show that pofl is uniquely defined and may be characterized in terms of the set of singularities z, = I/o, of an associated f...

This is the Technical Report version of the 2013 POPL submission by the same title. It includes the POPL version verbatim, followed by an appendix containing omitted contents and proofs.

We offer a new metric for big data platforms, COST, or the Configuration that Outperforms a Single Thread. The COST of a given platform for a given problem is the hardware configuration required before the platform outperforms a competent single-threaded implementation. COST weighs a system’s scalability against the overheads introduced by the system, and indicates the actual performance gains ...

s This paper is based on the author’s talk at 1997 Taniguchi Symposium “Integrable Systems and Algebraic Geometry”. We consider an approach to the theory of Frobenius manifolds based on the geometry of flat pencils of contravariant metrics. It is shown that, under certain homogeneity assumptions, these two objects are identical. The flat pencils of contravariant metrics on a manifold M appear n...

This paper deals with the old and classical problem of determining necessary conditions for the overconstrained mobility of some mechanical device. Methods from algebraic geometry have already been used to investigate these mobility conditions, and we propose some tools specifically developed for the so–called n–pods. In particular, we focus on the conditions which are imposed on an n–pod by th...