Automated Parallelization of Discrete State-Space Generation

We consider the problem of generating a large state-space in a distributed fashion. Unlike previously proposed solutions that partition the set of reachable states according to a hashing function provided by the user, we explore heuristic methods that completely automate the process. The first step is an initial random walk through the state space to initialize a search tree, duplicated in each processor. Then, the reachability graph is built in a distributed way, using the search tree to assign each newly found state to classes assigned to the available processors. Furthermore, we explore two remapping criteria that attempt to balance memory usage or future workload, respectively. We show how the cost of computing the global snapshot required for remapping will scale up for system sizes in the foreseeable future. An extensive set of results is presented to support our conclusions that remapping is extremely beneficial.     

Cathodic processes in the leaching and electrochemistry of covellite in mixed sulfate–chloride media

The cathodic processes that occur on a covellite (CuS) surface in mixed sulfate–chloride solutions in the absence and presence of copper(II) ions have been studied using potentiostatic transients and cyclic voltammetry at rotating disk electrodes in the potential range 0.3–0.7 V (versus SHE). This range is relevant to the oxidative leaching of this copper mineral in sulfate and chloride lixiviants. Variations in the concentrations of sulfate and chloride ions had a small effect on the cathodic reduction of covellite in the potential range of 0.5–0.3 V, although the presence of chloride ion resulted in a significant increase in the anodic current on the reverse sweep. On the other hand, addition of copper(II) ions resulted in enhanced cathodic currents and subsequent anodic currents in both sulfate and chloride solutions due to reduction of covellite to an undefined reduced copper sulfide species. Reduction of copper(II) to copper(I) ions becomes the preferred cathodic reaction as the concentration of chloride ions increases, becoming mass transport controlled at a rotating disc electrode at potentials below about 0.4 V. Potentiostatic measurements at potentials negative to the mixed potential in acidic chloride solutions have shown that reduction of copper(II) ions is reversible and have been used to estimate the rate of oxidative dissolution of the mineral which value agrees reasonably well with previously reported leaching rates under similar conditions. Reduction of dissolved oxygen has been found to be very much slower that that of copper(II) ions under ambient conditions.     

Thermophilic fungi: III. The lipids ofHumicola grisea var.thermoidea

The lipids of the thermophilic fungusHumicola grisea var.thermoidea were qualitatively and quantitatively determined. The polar lipids consisted of 38.4–42.3% of the total lipids. The relative per cent phospholipids based upon the total phospholipids were as follows: phosphatidyl choline, 32.3–33.7%; phosphatidic acid, 24.5–31.7%; phosphatidyl ethanolamine, 15.8–20.9%; phosphatidyl inositol, 12.5–13.0%; phosphatidyl serine, 2.3–5.4%; and diphosphatidyl glycerol, 3.9–4.0%. The relatively high concentration of phosphatidic acid may be characteristic of fungi grown at elevated temperatures. Several sterol glycosides (3.1–6.0%) were present in the polar lipids. The neutral lipids consist of triglycerides, 28.6–36.0%; free fatty acids, 5.3–13.5%; sterols, 11.4–13.9%; sterol esters, 1.8–3.0%; and diglycerides, 2.2–3.4%. The sterols and derivatives comprise an unusually large fraction of the total lipids (16.3–22.9%) suggesting a role in thermostability.     

80 million tiny images: a large data set for nonparametric object and scene recognition

With the advent of the Internet, billions of images are now freely available online and constitute a dense sampling of the visual world. Using a variety of non-parametric methods, we explore this world with the aid of a large dataset of 79,302,017 images collected from the Internet. Motivated by psychophysical results showing the remarkable tolerance of the human visual system to degradations in image resolution, the images in the dataset are stored as 32 x 32 color images. Each image is loosely labeled with one of the 75,062 non-abstract nouns in English, as listed in the Wordnet lexical database. Hence the image database gives a comprehensive coverage of all object categories and scenes. The semantic information from Wordnet can be used in conjunction with nearest-neighbor methods to perform object classification over a range of semantic levels minimizing the effects of labeling noise. For certain classes that are particularly prevalent in the dataset, such as people, we are able to demonstrate a recognition performance comparable to class-specific Viola-Jones style detectors.     

命名和征服(英文)

This paper introduces a technique that has been used successfully in University College Dublin,Ireland and Fudan University in Shanghai,China,to teach the formal aspects of computer programming to undergraduate students.The technique,name and conquer,relies on the use of modelling small mathematical domains and allowing the results of these models to form the basis for the programming task.     

UAVs Integration in the SWIM Based Architecture for ATM

The System Wide Information Management (SWIM) approach has been conceived to overcome the capacity and flexibility limitations of the current ATM systems. On the other hand the commercial applications of Unmanned Aerial Vehicles (UAVs) require the integration of these vehicles in the ATM. From this perspective, the unavoidable modernization of the ATM is seen as an opportunity to integrate the UAVs with the rest of the air traffic. This paper is devoted to study the feasibility and impact of the aggregation of UAVs on the future ATM supported by a SWIM inspired architecture. Departing from the existing technical documents that describe the fundamentals of SWIM we have explored the compatibility with a potential UAVs integration and also explored how the UAVs could help to improve the future ATM system. We will use the weather application as an example in both cases.     

Boosting k-nearest neighbor classifier by means of input space projection

The k-nearest neighbors classifier is one of the most widely used methods of classification due to several interesting features, such as good generalization and easy implementation. Although simple, it is usually able to match, and even beat, more sophisticated and complex methods. However, no successful method has been reported so far to apply boosting to k-NN. As boosting methods have proved very effective in improving the generalization capabilities of many classification algorithms, proposing an appropriate application of boosting to k-nearest neighbors is of great interest.Ensemble methods rely on the instability of the classifiers to improve their performance, as k-NN is fairly stable with respect to resampling, these methods fail in their attempt to improve the performance of k-NN classifier. On the other hand, k-NN is very sensitive to input selection. In this way, ensembles based on subspace methods are able to improve the performance of single k-NN classifiers. In this paper we make use of the sensitivity of k-NN to input space for developing two methods for boosting k-NN. The two approaches modify the view of the data that each classifier receives so that the accurate classification of difficult instances is favored.The two approaches are compared with the classifier alone and bagging and random subspace methods with a marked and significant improvement of the generalization error. The comparison is performed using a large test set of 45 problems from the UCI Machine Learning Repository. A further study on noise tolerance shows that the proposed methods are less affected by class label noise than the standard methods.     

Divided Attention in Younger and Older Adults: Effects of Strategy and Relatedness on Memory Performance and Secondary Task Costs.

Divided attention at encoding leads to a significant decline in memory performance, whereas divided attention during retrieval has relatively little effect; nevertheless, retrieval carries significant secondary task costs, especially for older adults. The authors further investigated the effects of divided attention in younger and older adults by using a cued-recall task and by measuring retrieval accuracy, retrieval latency, and the temporal distribution of attentional costs at encoding and retrieval. An age-related memory deficit was reduced by pair relatedness, whereas strategy instructions benefited both age groups equally. Attentional costs were greater for retrieval than for encoding, especially for older adults. These findings are interpreted in light of notions of an age-related associative deficit (M. Naveh-Benjamin, 2000) and age-related differences in the use of self-initiated activities and environmental support (F. I. M. Craik, 1983, 1986). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The effect of environmental conditions on nutritional quality of cherry tomato fruits: evaluation of two experimental Mediterranean greenhouses

BACKGROUND: The aim of this study was to examine how different environmental factors (temperature, solar radiation, and vapour‐pressure deficit [VPD]) influenced nutritional quality and flavour of cherry tomato fruits (Solanum lycopersicum L. cv. Naomi) grown in two types of experimental Mediterranean greenhouses: parral (low technology) and multispan (high technology). RESULTS: Fruits were sampled three times during 3 years (2004, 2005 and 2006): at the beginning, middle and end of the fruit production period. Values for temperature, solar radiation, and VPD peaked in the third sampling in both greenhouses; values were higher in the parral‐type greenhouse, triggering abiotic stress. This stress reduced the accumulation of lycopene and essential elements, augmenting the phytonutrient content and the antioxidant capacity of tomatoes. During the third sampling, sugars were increased while organic acid content diminished, producing tomatoes with a sweeter‐milder flavour. The parral greenhouse produced tomatoes with higher phenolic compounds and ascorbic acid contents, together with a greater antioxidant capacity, without showing differences in flavour parameters. CONCLUSION: The higher phytonutrients content and antioxidant activity during the environmental stress, more pronounced in parral than multispan greenhouse, together with the sweeter‐milder flavour, conferred a notable nutritional benefit, which considerably improved the nutritional and organoleptic quality of these tomatoes. Copyright © 2010 Society of Chemical Industry