Distributed Hashtables (DHTs) provide a scalable method of associating file-hashes with a particular location in a distributed network environment. Modifying DHTs directly to support meta-data is difficult, and meta-data search systems such as flooding tend to scale poorly. However, a number of more scalable distributed meta-data search systems have recently been developed that could be deploye...

Logiweb is an open source, distributed system for publication of machine checked mathematics. It covers all aspects of electronic publishing: high typographical quality, archival, handling of references to previously published results, and publication of refereed volumes. The present paper is itself produced using Logiweb; and the paper is formally correct in the sense that it has been verified...

Perhaps Functional Grammar’s most distinctive feature is its extensive use of the so-called layered structure of the clause (LSC). The LSC is used as both a descriptive and explanatory construct, dividing the linguistic world into various hierarchically related layers, each with concomitant operators and satellites. Since Hengeveld’s original Layers and Operators article (1989), the principle o...

We consider the Euler system of compressible and entropic gaz dynamics in a bounded open domain of R with wall boundary condition. We prove the existence and the stability of families of solutions which correspond to a ground state plus a large entropy boundary layer. The ground state is a solution of the Euler system which satisfies some explicit additional conditions on the boundary. These co...

Properties of turbulence, such as the direction of the energy cascade depend on the flow dimensionality. Recent experimental results reveal new physics understanding of flows in thick layers. We show that the flow dimensionality can be characterized by the flow damping and that a comparison of the decay rate with that of a quasi-2D flow can be used as a measure of dimensionality of a turbulent ...

the water crisis is harmful effects on human life. also one of the most problems in the human society is water resources management. in this study, site selection of most suitable areas for artificial recharge using boolean model. criteria used to select the most suitable area for artificial recharge included: infiltration, slope, aquifer thickness, aquifer quality.  the layers were produced an...