Existence of a monetary steady state is established in a random matching model with divisible goods, divisible money, an arbitrary bound on individual money holdings, and take-it-or-leave-it offers by consumers. The monetary steady state shown to exist has nice properties: the value function, defined on money holdings, is strictly increasing and strictly concave, and the distribution over money...

An element d of a semigroup S is called divisible if it has roots of arbitrary order; that is, for every n ∈ N there is an element dn in S such that dn = d . If the elements dn can be taken in a prescribed subset D of S then d is said to be divisible in D . In the algebraic as well as in the topological theory of groups and semigroups divisibility is the major basic concept which allows the int...

In 1918 RamanujanJ made the following conjecture: If ç = 5, 7, or 11, and if 24^ — 1 is divisible by q, then the number p(n) of unrestricted partitions of n is divisible by q. Ramanujan himself proved this conjecture to be true in casej q = S, 7, 5, and 7, and also§ for q=ll and l l 2 . It has since been proved|| for q = 5. Some modification of the conjecture is necessary, however, since, as Ch...

The procurement decision problem of divisible goods is investigated, and an optimization decision method for procuring a kind of divisible goods (such as coal, oil, electricity, gas, etc.) is presented based on multi-attribute auction. Firstly, the procurement decision problem of divisible goods is converted into a multi-attribute auction of divisible goods. Correspondingly, several important a...

Standard e-business document types are usually too ambiguous due to an overwhelming choice of data elements. Business partners must agree on a shared subset and adapt their application interfaces accordingly. Small and medium enterprises (SMEs) cannot perform this task. UN/CEFACT’s Modeling Methodology (UMM) provides a methodology to define unambiguous business collaborations allowing software ...

RÉSUMÉ. La construction de logiciels à partir de plusieurs applications différentes et hétérogènes est de plus en plus fréquente. Cependant, il n’existe pas à présent une méthodologie de construction pour de tels logiciels. Dans cet article, nous proposons une architecture qui permet de créer des logiciels en faisant collaborer plusieurs services et applications différentes et hétérogènes, util...

We present a character-free proof of the divisible code bound and some applications.

Background and purpose: Although greenhouse gases related with the Land Use, Land Use Changes and the Forestry (LULUCF) represent approximately 15-20% of all greenhouse gases emissions to the atmosphere, afforestation/reforestation projects of Kyoto protocol related Clean Development Mechanism (CDM) represents only 0.75% of all CDM projects. All these facts prompted re-negotiation of climate ch...

Methylated and un-methylated control DNA is an important part of DNA methylation studies. Although human and mouse DNA methylation control sets are commercially available, in case of methylation studies on other species such as animals, plants, and bacteria, control sets need to be prepared. In this paper a simple method of generating methylated and un-methylated control DNA is described. Whole...

We propose a refinement of the Ray-Singer torsion, which can be viewed as an analytic counterpart of the refined combinatorial torsion introduced by Turaev. Given a closed, oriented manifold of odd dimension with fundamental group Γ, the refined torsion is a complex valued, holomorphic function defined for representations of Γ which are close to the space of unitary representations. When the re...