The Inequality-Growth Plateau We examine the (potentially nonlinear) relationship between inequality and growth using a method which does not require an a priori assumption on the underlying functional form. This approach reveals a plateau completely missed by commonly used (nonlinear) parametric approaches the economy first expands rapidly with a large decline in inequality, plateaus when ineq...

Some 10 years ago, Harper illustrated the powerful method of proof-directed debugging for developing programs with an article in this journal. Unfortunately, his example uses both higher-order functions and continuation-passing style, which is too difficult for students in an introductory programming course. In this pearl, we present a first-order version of Harper’s example and demonstrate tha...

The normalization constant of the lateral distribution function (LDF) of an extensive air shower is a monotonous (almost linear) increasing function of the energy of the primary. Therefore, the interpolated signal at some fixed distance from the core can be calibrated to estimate the energy of the shower. There is, somehow surprisingly, a reconstructed optimal distance, ropt, at which the effec...

A lot of techniques have been developed for the encoding of triangular meshes as this is a widely used representation for the description of surface models. Although methods for the encoding of the neighbor information, the connectivity, are near optimal, there is still room for better encodings of vertex locations, the geometry. Our geometry encoding strategy follows the predictive coding para...

MOTIVATION One of the primary aims of the structural genomics initiative is the determination of representative structures from each protein fold family. Given this objective, it is important to rapidly identify proteins that belong to a family that is already well populated (so they can be eliminated from further studies), or more importantly identify proteins that represent new families of fo...

Andrews’ spt-function can be written as the difference between the second symmetrized crank and rank moment functions. Using the machinery of Bailey pairs a combinatorial interpretation is given for the difference between higher order symmetrized crank and rank moment functions. This implies an inequality between crank and rank moments that was only known previously for sufficiently large n and...

Testing if a given graph G contains the k-vertex path Pk as a minor or as an induced minor is trivial for every fixed integer k ≥ 1. However, the situation changes for the problem of checking if a graph can be modified into Pk by using only edge contractions. In this case the problem is known to be NP-complete even if k = 4. This led to an intensive investigation for testing contractibility on ...

This paper describes an extension of head-needed rewriting on term rewriting systems to higher-order rewrite systems. The main di culty of this extension is caused by the -reductions induced from the higher-order reductions. In order to overcome this di culty, we de ne a new descendant of higher-order rewrite systems. This paper shows the new de nition of descendant, its properties and head nor...

SPECTRAL is an experiment in specification language design that tries to maintain compactness in spite of a number of orthogonal concepts. The design is based on Extended ML and PROSPECTRA, generalising and extending both approaches. Of particular concern are the means for structuring specifications and programs in-thelarge and in-the-small. The language includes constructs for defining general...

q,f Mich:t\'g,afi and thro,ugh ,funds granted to the Institute for Research on fFqverty,"'at· the-University of Wisconsin-Madison pursuant to the provisions " of the' Economic <ppportunity Act of 1964. The opinions expressed and any erro;rs' are the responsibility of the author. ' " This study is an investigation of the extended properties of income-leisure preference structures. The methodolog...