Mass spectral characterization of submicron biogenic organic particles in the Amazon Basin

Submicron atmospheric particles in the Amazon Basin were characterized by a high-resolution aerosol mass spectrometer during the wet season of 2008. Patterns in the mass spectra closely resembled those of secondary-organic-aerosol (SOA) particles formed in environmental chambers from biogenic precursor gases. In contrast, mass spectral indicators of primary biological aerosol particles (PBAPs) were insignificant, suggesting that PBAPs contributed negligibly to the submicron fraction of particles during the period of study. For 40% of the measurement periods, the mass spectra indicate that in-Basin biogenic SOA production was the dominant source of the submicron mass fraction, contrasted to other periods (30%) during which out-of-Basin organic-carbon sources were significant on top of the baseline in-Basin processes. The in-Basin periods had an average organic-particle loading of 0.6 mu g m(-3) and an average elemental oxygen-to-carbon (O:C) ratio of 0.42, compared to 0.9 mu g m(-3) and 0.49, respectively, during periods of out-of-Basin influence. On the basis of the data, we conclude that most of the organic material composing submicron particles over the Basin derived from biogenic SOA production, a finding that is consistent with microscopy observations made in a concurrent study. This source was augmented during some periods by aged organic material delivered by long-range transport. Citation: Chen, Q., et al. (2009), Mass spectral characterization of submicron biogenic organic particles in the Amazon Basin, Geophys. Res. Lett., 36, L20806, doi: 10.1029/2009GL039880.

Small-Scale Farmers Land Use and Socioeconomic Situation in the Mount Elgon District in Northwestern Kenya : A Minor Field Study - Combined Field Mapping and Interview

This Minor Field Study was carried out during November and December in 2011 in the Mount Elgon District in Western Kenya. The objective was to examine nine small-scale farming household´s land use and socioeconomic situation when they have joined a non-governmental organization (NGO) project, which specifically targets small-scale farming households to improve land use system and socioeconomic situation by the extension of soil and water conservation measures. The survey has worked along three integral examinations methods which are mapping and processing data using GIS, semi structured interviews and literature studies.   This study has adopted a theoretical approach referred to as political ecology, in which landesque capital is a central concept. The result shows that all farmers, except one, have issues with land degradation. However, the extent of the problem and also implemented sustainable soil and water conservation measures were diverse among the farmers. The main causes of this can both be linked to how the farmers themselves utilized their farmland and how impacts from the climate change have modified the terms of the farmers working conditions. These factors have consequently resulted in impacts on the informants’ socioeconomic conditions. Furthermore it was also registered that social and economic elements, in some cases, were the causes of how the farmers manage their farmland. The farmer who had no significant problem with soil erosion had invested in trees and opportunities to irrigate the farmland. In addition, it was also recorded that certain farmers had invested in particular soil and water conservation measures without any significant result. This was probably due to the time span these land measures cover before they start to generate revenue.  The outcome of this study has traced how global, national and local elements exist in a context when it comes to the conditions of the farmers´ land use and their socioeconomic situation. The farmers atMt.Elgon are thereby a component of a wider context when they are both contributory to their socioeconomic situation, mainly due to their land management, and also exposed to core-periphery relationships on which the farmers themselves have no influence.

Mechanising first-order temporal resolution

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. Although a complete and correct resolution-style calculus has already been suggested for this specific fragment, this calculus involves constructions too complex to be of practical value. In this paper, we develop a machine-oriented clausal resolution method which features radically simplified proof search. We first define a normal form for monodic formulae and then introduce a novel resolution calculus that can be applied to formulae in this normal form. By careful encoding, parts of the calculus can be implemented using classical first-order resolution and can, thus, be efficiently implemented. We prove correctness and completeness results for the calculus and illustrate it on a comprehensive example. An implementation of the method is briefly discussed.

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and then introduce novel resolution calculi that can be applied to formulae in this normal form. We state correctness and completeness results for the method. We illustrate the method on a comprehensive example. The method is based on classical first-order resolution and can, thus, be efficiently implemented.