The language LRTp is a non-deterministic language for exact real number computation. It has been shown that all computable first order relations in the sense of Brattka are definable in the language. If we restrict the language to single-valued total relations (e.g. functions), all polynomials are definable in the language. In this paper we show that the non-deterministic version of the limit o...

The division problem consists of allocating an amount of a perfectly divisible good among a group of n agents with single-peaked preferences. A rule maps preference profiles into n shares of the amount to be allocated. A rule is bribe-proof if no group of agents can compensate another agent to misrepresent his preference and, after an appropriate redistribution of their shares, each obtain a st...

We describe a framework for the design of directional derivative kernels for two-dimensional discrete signals in which we optimize a measure of rotation-equivariance in the Fourier domain. The formulation is applicable to rst-order and higher-order derivatives. We design a set of compact, separable, linear-phase derivative kernels of di erent orders and demonstrate their accuracy.

Consider a sequence X = (Xn : n ≥ 1) of iid random variables (r.v.’s) and a geometrically distributed r.v. M with parameter p and independent of X. The r.v. SM = X1 + ... + XM is called a geometric sum. In this paper, we obtain asymptotic expansions for the distribution of SM as p& 0. If EX > 0 the asymptotic expansion is developed in powers of p and it provides higher order correction terms to...

We consider the problem of estimating the values of a function over n nodes of a d-dimensional grid graph (having equal side lengths n) from noisy observations. The function is assumed to be smooth, but is allowed to exhibit different amounts of smoothness at different regions in the grid. Such heterogeneity eludes classical measures of smoothness from nonparametric statistics, such as Holder s...

In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronomy application, namely the simulation of food processing. Our contribution is many fold: first, the expressivity of this new language corresponds to our modeling purposes. Second, we provide an effective characterization of sound ...

We model agents who use self-deception to rationalize and justify actions that can eventually lead them into temptation. Formally, we extend Gul and Pesendorfer’s (2001) framework to three time periods and obtain a special functional form for the temptation utility at the interim stage. Our representation portrays an agent who is tempted (i) to relax her normative attitude towards future indulg...

This paper explores the issue of banking efficiency in Central Europe by applying the Fourier functional form and the stochastic cost frontier approach in calculating inefficiencies for a large sample of German, Austrian, Swiss and Luxembourg banks between 1997 and 2003. The findings suggest that the largest sized banks are generally the least efficient banks and the smallest sized banks are th...

This paper studies an alternative bias correction for the M-estimator, which is obtained by correcting the moment equations in the spirit of Firth (1993). In particular, this paper compares the stochastic expansions of the analytically-bias-corrected estimator and the alternative estimator and finds that the third-order stochastic expansions of these two estimators are identical. This implies t...

Abstract We calculate the (p,q) string spectrum in a warped deformed conifold using the dielectric brane method. The spectrum is shown to have the same functional form as in the dual picture of a wrapped D3-brane with electric and magnetic fluxes on its world volume. The agreement is exact in the limit where q is large. We also calculate the dielectric spectrum in the S-dual picture. The spectr...