In two previous articles [Phys. Rev. D 71 (2005) 124307 (gr-qc/0503007) and Phys. Rev. D 76 (2006) 0440241 (gr-qc/0607001)] we have discussed several “algorithmic” techniques that permit one (in a purely mechanical way) to generate large classes of general-relativistic static perfect fluid spheres. Working in Schwarzschild curvature coordinates, we used these algorithmic ideas to prove several ...

We give a necessary and sufficient condition for when a set-theoretic function can be written using the recursion operator fold, and a dual condition for the recursion operator unfold. The conditions are simple, practically useful, and generic in the underlying datatype.

A relationship between dislocation internal friction, microplastic and macroplastic behaviour of crystals has been considered. Main attention has been paid to the shape of the dislocation hysteresis responsible for the amplitude-dependent internal fiction (ADIF) and to a comparison between the macroyield stress c, and microyield stress G, evaluated &om the ADIF. It is shown that the same functi...

The oscillation behavior of solutions for higher-order delay dynamic equations of neutral type is investigated by making use of comparison with second-order dynamic equations. The method can be utilized to study other types of higher-order equations on time scales as well.

College Education and Wages in the U.K.: Estimating Conditional Average Structural Functions in Nonadditive Models with Binary Endogenous Variables We propose and implement an estimator for identifiable features of correlated random coefficient models with binary endogenous variables and nonadditive errors in the outcome equation. It is suitable, e.g., for estimation of the average returns to c...

Under the assumption of normally distributed returns, we analyze whether the Cumulative Prospect Theory of Tversky and Kahneman (1992) is consistent with the Capital Asset Pricing Model. We find that in every financial market equilibrium the Security Market Line Theorem holds. However, under the functional form for the utility index suggested by Tversky and Kahneman (1992) financial market equi...

In the recent years, Higher-order Side Channel attacks have been widely investigated. In particular, 2nd-order DPA have been improved and successfully applied to break several masked implementations. In this context, the development of sound and practical countermeasures against attacks of arbitrary xed order d is of crucial interest. Surprisingly, while many studies have been dedicated to the ...

This paper presents convergence acceleration, a method for computing efficiently the limit of numerical sequences as a typical application of streams and higher-order functions.

This paper presents a new approach to optimizing functional programs based on combining partial evaluation and rewriting. Programs are composed of higher-order primitives. Partial evaluation is used to eliminate higher-order functions. First-order rewriting is used to process the transformation. Laws about the higher-order primitives that are relevant for the optimizations are automatically ext...

We present a new approach to the following meta-problem: given a quantitative property of trees, design a type system such that the desired property for the tree generated by an infinitary ground λ -term corresponds to some property of a derivation of a type for this λ -term, in this type system. Our approach is presented in the particular case of the language finiteness problem for nondetermin...