Iron toxicity is one of the constraints limiting rice production in Africa. This study used a randomized controlled trial to assess the impact of an iron toxicity-tolerant variety, named ARICA 6, on different outcomes and investment in modern inputs by smallholder farmers. Two rounds of data were collected from 520 rice-farming households in Guinea. Results showed that the use of ARICA 6 increased rice yield by 330 kg ha−1 and net income by US$ 120 ha−1. However, adoption of improved variety may not be enough to crowd in investment in modern inputs because farmers face other constraints.

This paper investigates the electromagnetic scattering characteristics in arid zone and proposes methods for monitoring and improving ecological agriculture, vegetation landscape and desertification in arid zone, based on the modified small slope approximation (SSA) electromagnetic scattering model. The dielectric properties of dryland soils are studied in the paper, and the variation curves of soil dielectric constant with humidity and electromagnetic frequency are plotted. In order to reproduce the geomorphological features of the dryland areas, a two-dimensional geometric model of the ground environment is established using Monte Carlo methods combined with Gaussian spectral functions. An algorithm model based on the modified SSA is developed, and the algorithm was validated and analyzed to verify its reliability. In the simulations, the southeastern region of Ejina Banner, Inner Mongolia was taken as a typical arid region, and the simulation parameters are obtained from the actual measurement data of the region. The study finds that the electromagnetic scattering characteristics of the arid zone are influenced by soil water content, ground roughness and incident wave electromagnetic frequency, and there is regularity. The results of this paper can be effectively combined with remote sensing technology to contribute to many researches on soil moisture inversion and ecological condition of vegetation, which are important in many aspects such as irrigation control, ecological research, vorticity covariance, and climatology of slope stability.

Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics. We propose using logic programs as an intermediate program representation throughout the compilation process. With restrictions ensuring determinism and single-modedness, a logic program can easily be transformed to machine language or other low-level language, while maintaining the simple semantics that makes it suitable as a language for program analysis and transformation. We present a simple LP language that enforces determinism and single-modedness, and show that it makes a convenient program representation for analysis and transformation.