Exploitation of symbolic information in interprocedural dependence analysis

The requirement for a very accurate dependence analysis to underpin software tools to aid the generation of efficient parallel implementations of scalar code is argued. The current status of dependence analysis is shown to be inadequate for the generation of efficient parallel code, causing too many conservative assumptions to be made. This paper summarises the limitations of conventional dependence analysis techniques, and then describes a series of extensions which enable the production of a much more accurate dependence graph. The extensions include analysis of symbolic variables, the development of a symbolic inequality disproof algorithm and its exploitation in a symbolic Banerjee inequality test; the use of inference engine proofs; the exploitation of exact dependence and dependence pre-domination attributes; interprocedural array analysis; conditional variable definition tracing; integer array tracing and division calculations. Analysis case studies on typical numerical code is shown to reduce the total dependencies estimated from conventional analysis by up to 50%. The techniques described in this paper have been embedded within a suite of tools, CAPTools, which combines analysis with user knowledge to produce efficient parallel implementations of numerical mesh based codes.

An ontological characterization of time-series and state-sequences for data mining

Time-series and sequences are important patterns in data mining. Based on an ontology of time-elements, this paper presents a formal characterization of time-series and state-sequences, where a state denotes a collection of data whose validation is dependent on time. While a time-series is formalized as a vector of time-elements temporally ordered one after another, a state-sequence is denoted as a list of states correspondingly ordered by a time-series. In general, a time-series and a state-sequence can be incomplete in various ways. This leads to the distinction between complete and incomplete time-series, and between complete and incomplete state-sequences, which allows the expression of both absolute and relative temporal knowledge in data mining.

Heavy metals in the Fal estuary, Cornwall: A study of long term contamination by mining waste and its effects on estuarine organisms. Occasional Publication of the Marine Biological Association 2

The Fal Estuary System in West Cornwall has, over many centuries, received inputs of heavy metals from various mining activities. In this context its most important tributary is the Carnon River. Analyses of organisms from the Fal Estuary have shown that some species contain abnormally high concentrations of Cu, Zn and As, especially those living in Restronguet Creek.

Optimal foraging strategies: Lévy walks balance searching and patch exploitation under a very broad range of conditions

While evidence for optimal random search patterns, known as Lévy walks, in empirical movement data is mounting for a growing list of taxa spanning motile cells to humans, there is still much debate concerning the theoretical generality of Lévy walk optimisation. Here, using a new and robust simulation environment, we investigate in the most detailed study to date (24×10(6) simulations) the foraging and search efficiencies of 2-D Lévy walks with a range of exponents, target resource distributions and several competing models. We find strong and comprehensive support for the predictions of the Lévy flight foraging hypothesis and in particular for the optimality of inverse square distributions of move step-lengths across a much broader range of resource densities and distributions than previously realised. Further support for the evolutionary advantage of Lévy walk movement patterns is provided by an investigation into the 'feast and famine' effect, with Lévy foragers in heterogeneous environments experiencing fewer long 'famines' than other types of searchers. Therefore overall, optimal Lévy foraging results in more predictable resources in unpredictable environments.

Fishery Exploitation and Stock Assessment of the Endangered Nassau Grouper, Epinephelus Striatus (Actinopterygii: Perciformes: Serranidae), in the Turks and Caicos Islands

The Nassau grouper, Epinephelus striatus (Bloch, 1792), is an endangered species that has been historically overexploited in numerous fisheries throughout its range in the Caribbean and tropical West Atlantic. Data relating fishery exploitation levels to stock abundance of the species are deficient, and protective regulations for the Nassau grouper are yet to be implemented in the Turks and Caicos Islands (TCI). The goal of this study was to conduct a stock assessment and evaluate the exploitation status of the Nassau grouper in the TCI. Materials and methods. Calibrated length cohort analysis was applied to published fisheries data on Nassau grouper landings in the TCI. The total lengths of Nassau groupers among the catches of spearfishers, lobster trappers, and deep sea fishers on the island of South Caicos during 2006 and 2008 were used with estimates of growth, natural mortality, and total annual landings to derive exploitation benchmarks. Results. The TCI stock experienced low to moderate fishing mortality (0.28, 0.18) and exploitation rates (0.49, 0.38) during the period of the study (2006, 2008). However, 21.2%-64.4% of all landings were reproductively immature. Spearfishing appeared to contribute most to fishing mortality relative to the use of lobster traps or hydraulic reels along bank drop-offs. Conclusion. In comparison with available fisheries data for the wider Caribbean, the results reveal the TCI as one of the remaining sites, in addition to the Bahamas, with a substantial Nassau grouper stock. In light of increasing development and tourism in the TCI, continued monitoring is essential to maintain sustainable harvesting practices.