Case-based design (CBD) overcomes certain dficulties associated with traditional knowledge-based design systems. When novel designs are created by adapting cases, design integrity can be maintained through careful formulation of adaptation procedures. We describe a prototype design system called case adaptation by dimensionality reasoning (CADRE). Geometrical information is treated through simu...

desertification in arid, semi-arid and dry sub-humid regions is a global environmental problem. considering theincreasing importance of desertification and its complexity, the necessity of giving attention to desertification criteria andindices is essential. models and methods such as medalus, unep-fao, and others have been proposed on local andnational scales. in this research, imdpa was selec...

‎we obtain the asymptotic expansion of the sequence with general term $frac{a_n}{g_n}$‎, ‎where $a_n$ and $g_n$ are the arithmetic and geometric means of the numbers $d(1),d(2),dots,d(n)$‎, ‎with $d(n)$ denoting the number of positive divisors of $n$‎. ‎also‎, ‎we obtain some explicit bounds concerning $g_n$ and $frac{a_n}{g_n}$.

The aim of this study was to produce mulch by combining natural mineral and organic substances in order to reach soil stabilization and improve soil physical and mechanical properties in Koopal area. The effects of organic mulch (at 3 levels of O1: combination of 1% sugarcane bagasse biochar+0.5% gum Arabic+0.5% gelatin; O2: combination of 3% sugarcane bagasse biochar+1% gum Arabic+1% gelatin; ...

Verifying that a concurrent program satisfies a given property, such as deadlock-freeness, is computationally difficult. Naive exploration techniques are facing the state space explosion problem: they consider an exponential number of interleavings of parallel threads (relative to the program size). Partial order reduction is a standard method to address this difficulty. It is based on the obse...