Many studies have evaluated nitrate-N leaching from tile-drained agricultural soils, but little longterm research has been performed on well-drained soils commonly throughout the Midwest. Equilibrium tension lysimeters installed at a depth of 1.4 m were used to measure year-round (12 months) nitrate-N leaching below chisel-plow (CP) and no-tillage (NT) continuous corn (Zea mays L.) agroecosyste...

To take advantage of conservation tillage systems (including direct drilling and non-inversion) in central Iran, it is important to study the effects of different cultivation practices on soil structural stability as a physical indicator. A four-year study was conducted to investigate the effects of seven tillage systems on aggregate properties of a clay-loam soil (Calcic Cambisol) with continu...

since wheat-rice cropping system is down in about 50000 hectare of khoozestan province and also necessity of optimum land and water utilization, this study was condulted during one year (2008-2009) in shawoor agricultural research station to compare different conservation tillage system with traditional system for wheat cultivation in paddy residue. experiment conducted in randomized complete b...

We describe Chisel—a tool that synthesizes a program slicer directly from a given algebraic specification of a programming language operational semantics. This semantics is assumed to be a rewriting logic specification, given in Maude, while the program is a ground term of this specification. We present the tool on two types of language paradigms: high-level, imperative and low-level assembly l...

Due to lack of practical and scalable security verification tools and methodologies, very few of the existing hardware-software security architectures have been thoroughly checked at the design time. To address this issue, our project develops a security verification methodology that is applicable to different hardware-software security architectures during the design phase. The verification fr...

abstract conservation tillage practices integrated with appropriate residue management is an efficient approach in sustainable agriculture to prevent the removal or burning of crop residues. two years field experiments were conducted to evaluate the effect of wheat residue management on yield, yield component and morphophysiological characteristics of corn. experimental design was split plot us...