We present a dichotomy, in terms of growth at infinity, of analytic functions definable in the real exponential field which take integer values at natural number inputs. Using a result concerning the density of rational points on curves definable in this structure, we show that if a function f : [0,∞) → R is such that f(N) ⊆ Z, then either sup|x̄|≤r f(x̄) grows faster than exp(r), for some δ > 0,...

We introduce partial dcpo’s and show their some applications. A partial dcpo is a poset associated with a designated collection of directed subsets. We prove that (i) the dcpo-completion of every partial dcpo exists; (ii) for certain spaces X, the corresponding partial dcpo’s of continuous real valued functions on X are continuous partial dcpos; (iii) if a space X is Hausdorff compact, the latt...

Belief propagation methods are powerful tools for various problems in computer vision. While most methods assume a discrete set of labels for each node in the graphical model, there has recently been an increased interest in using real-valued labels and continuous probability density functions for such problems. We propose using channel representations (soft histograms) as a new way of moving f...

in this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. we study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. for strongly z-ideals, we analyze prime ideals using the concept of zero sets. moreover, it is proven that the intersection of all zero sets of a prime ideal of c(l),...

data envelopment analysis (dea) has been widely studied in the literature since its inception with charnes, cooper and rhodes work in 1978. the methodology behind the classical dea method is to determine how much improvements in the outputs (inputs) dimensions is necessary in order to render them efficient. one of the underlying assumptions of this methodology is that the units consume and prod...