This paper presents a compaction method of functional programs (eg, ML programs) for super-scalars or VLIW architectures. It is a generalisation of the Percolation scheduling system 1] and Perfect Pipelining 2]. It is described by a set of program transformations respecting data-dependences. Instead of managing a control-ow based representation of programs, the compaction is directly applied to...

INTRODUCTION Isolated left ventricular non-compaction is a recently described form of cardiomyopathy that is associated with a significant risk of life-threatening arrhythmia and thromboembolic complications. CASE PRESENTATION We report the presentation, diagnosis and management of isolated left ventricular non-compaction in a 54-year-old Caucasian woman presenting with progressive symptoms o...

Metamorphic devolatilization generates fluid and grain-scale porosity. Evidence for high fluid pressure indicates the devolatilization occurs under poorly-drained conditions. Under such conditions fluid expulsion is limited by the capacity of the reacted rocks to resist compaction or the rate at which deformation modifies the permeability of the overlying rocks. In the former case the compactio...

Mathematical modelling of salt-water intrusion processes in three aquifers on the southern coast of Spain (Río Verde, Río Vélez and Castell de Ferro) reveals that, although all three systems are subject to the same climate and seasonal over-exploitation, geological and human factors have very different effects on the dynamics of contamination. In the Río Verde aquifer, the most important influe...

[1] Estimates of aquifer parameters, saturated hydraulic conductivity, and drainable porosity were obtained by an analytical solution of the two-dimensional Laplace equation with linearized boundary conditions and were compared to prescribed parameters in a finite element model that simulated drainage of a coupled system of unsaturated/saturated flow. Boundary conditions prerequisite for the an...

We determined that the spatial heterogeneity in aquifer properties governing the reactive transport of volatile organic contaminants is defined by the arrangement of lithofacies. We measured permeability (k) and perchloroethene sorption distribution coefficient (Kd) for lithofacies that we delineated for samples from the Canadian Forces Base Borden Aquifer. We compiled existing data and collect...

The objective of the Parafield Aquifer Storage Transfer and Recovery research project in South Australia is to determine whether stormwater from an urban catchment that is treated in a constructed wetland and stored in an initially brackish aquifer before recovery can meet potable water standards. The water produced by the stormwater harvesting system, which included a constructed wetland, was ...

The injection of liquid from a central well into a partially saturated aquifer of finite thickness is described using similarity solutions. The solutions illustrate that injection leads to a growing zone around the source in which the fluid fills the whole depth of the aquifer. Beyond this zone, the current adjusts to the depth in the far field as the fluid slumps under gravity. The radial exte...

This study examines the effect of pumping, hydrogeology, and pesticide characteristics on pesticide concentrations in production wells using a reactive transport model in two conceptual hydrogeologic systems; a layered aquifer with and without a stream present. The pumping rate can significantly affect the pesticide breakthrough time and maximum concentration at the well. The effect of the pump...

To describe flow or transport phenomena in porous media, relations between aquifer hydraulic conductivity and effective porosity can prove useful, avoiding the need to perform expensive and time consuming measurements. The practical applications generally require the determination of this parameter at field scale, while most of the empirical and semiempirical formulas, based on grain size analy...