The Dirichlet problem in convex bounded domains for operators with L8-coefficients

Wood, Ian; Hieber, M., (2007) 'The Dirichlet problem in convex bounded domains for operators with L8-coefficients', Differential and Integral Equations 20 pp.721-734 RAE2008

Generalized semi-geostrophic theory on a sphere

Douglas, Robert; Cullen, M.J.P.; Roulston, I.; Sewell, M.J., (2005) 'Generalized semi-geostrophic theory on a sphere', Journal of Fluid Mechanics 531 pp.123-157 RAE2008

Type Reconstruction in the Presence of Polymorphic Recursion and the Recursive Types

We establish the equivalence of type reconstruction with polymorphic recursion and recursive types is equivalent to regular semi-unification which proves the undecidability of the corresponding type reconstruction problem. We also establish the equivalence of type reconstruction with polymorphic recursion and positive recursive types to a special case of regular semi-unification which we call positive regular semi-unification. The decidability of positive regular semi-unification is an open problem.

Type Inference For Recursive Definitions

We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we present several examples showing how our systems can be used to type programs encountered in practice. We show that type inference in the rank-k system is decidable for k ≤ 2 and undecidable for k ≥ 3. (Similar results based on different techniques are known to hold for System F, without recursive types and object types.) Our undecidability result is obtained by a reduction from a particular adaptation (which we call "regular") of the semi-unification problem and whose undecidability is, interestingly, obtained by methods totally different from those used in the case of standard (or finite) semi-unification.

Soft sediment ecology of Lough Hyne Marine Reserve - spatial and temporal patterns

Distribution of soft sediment benthic fauna and the environmental factors affecting them were studied, to investigate changes across spatial and temporal scales. Investigations took place at Lough Hyne Marine Reserve using a range of methods. Data on the sedimentation rates of organic and inorganic matter were collected at monthly intervals for one year at a number of sites around the Lough, by use of vertical midwater-column sediment traps. Sedimentation of these two fractions were not coupled; inorganic matter sedimentation depended on hydrodynamic and weather factors, while the organic matter sedimentation was more complex, being dependent on biological and chemical processes in the water column. The effects of regular hypoxic episodes on benthic fauna due to a natural seasonal thermocline were studied in the deep Western Trough, using camera-equipped remotely-operated vehicle to follow transects, on a three-monthly basis over one year. In late summer, the area below the thermocline of the Western Trough was devoid of visible fauna. Decapod crustaceans were the first taxon to make use of ameliorating oxygen conditions in autumn, by darting below the thermocline depth, most likely to scavenge. This was indicated by tracks that they left on the surface of the Trough floor. Some species, most noticeably Fries’ goby Lesueurigobius friesii, migrated below the thermocline depth when conditions were normoxic and established semi-permanent burrows. Their population encompassed all size classes, indicating that this habitat was not limited to juveniles of this territorial species. Recolonisation by macrofauna and burrowing megafauna was studied during normoxic conditions, from November 2009 to May 2010. Macrofauna displayed a typical post-disturbance pattern of recolonisation with one species, the polychaete Scalibregma inflatum, occurring at high abundance levels in March 2010. In May, this population had become significantly reduced and a more diverse community was established. The abundance of burrowing infauna comprising decapods crabs and Fries’ gobies, was estimated by identifying and counting their distinctive burrow structures. While above the summer thermocline depth, burrow abundance increased in a linear fashion, below the thermocline depth a slight reduction of burrow abundance occurred in May, when oxygen conditions deteriorated again. The majority of the burrows occurring in May were made by Fries’ gobies, which are thought to encounter low oxygen concentrations in their burrows. Reduction in burrow abundance of burrowing shrimps Calocaris macandreae and Callianassa subterranea (based on descriptions of burrow structures from the literature), from March to May, might be related to their reduced activity in hypoxia, leading to loss of structural burrow maintenance. Spatial and temporal changes to macrofaunal assemblage structures were studied seasonally for one year across 5 sites in the Lough and subject to multivariate statistical analysis. Assemblage structures were significantly correlated with organic matter levels in the sediment, the amounts of organic matter settling out of the water column one month before macrofaunal sampling took place as well as current speed and temperature. This study was the first to investigate patterns and processes in the Lough soft sediment ecology across all 3 basins on a temporal and spatial scale. An investigation into the oceanographic aspects of the development, behaviour and break-down of the summer thermocline of Lough Hyne was performed in collaboration with researchers from other Irish institutions.

Application of semi-automated strain analysis techniques and anisotropy of magnetic susceptibility in fold and thrust belts

Quantitative analysis of penetrative deformation in sedimentary rocks of fold and thrust belts has largely been carried out using clast based strain analysis techniques. These methods analyse the geometric deviations from an original state that populations of clasts, or strain markers, have undergone. The characterisation of these geometric changes, or strain, in the early stages of rock deformation is not entirely straight forward. This is in part due to the paucity of information on the original state of the strain markers, but also the uncertainty of the relative rheological properties of the strain markers and their matrix during deformation, as well as the interaction of two competing fabrics, such as bedding and cleavage. Furthermore one of the single largest setbacks for accurate strain analysis has been associated with the methods themselves, they are traditionally time consuming, labour intensive and results can vary between users. A suite of semi-automated techniques have been tested and found to work very well, but in low strain environments the problems discussed above persist. Additionally these techniques have been compared to Anisotropy of Magnetic Susceptibility (AMS) analyses, which is a particularly sensitive tool for the characterisation of low strain in sedimentary lithologies.

Self-organized vegetation patterning as a fingerprint of climate and human impact on semi-arid ecosystems

Spatially periodic vegetation patterns are well known in arid and semi-arid regions around the world. Mathematical models have been developed that attribute this phenomenon to a symmetry-breaking instability. Such models are based on the interplay between competitive and facilitative influences that the vegetation exerts on its own dynamics when it is constrained by arid conditions, but evidence for these predictions is still lacking. Moreover, not all models can account for the development of regularly spaced spots of bare ground in the absence of a soil prepattern. We applied Fourier analysis to high-resolution, remotely sensed data taken at either end of a 40-year interval in southern Niger. Statistical comparisons based on this textural characterization gave us broad-scale evidence that the decrease in rainfall over recent decades in the sub-Saharan Sahel has been accompanied by a detectable shift from homogeneous vegetation cover to spotted patterns marked by a spatial frequency of about 20 cycles km-1. Wood cutting and grazing by domestic animals have led to a much more marked transition in unprotected areas than in a protected reserve. Field measurements demonstrated that the dominant spatial frequency was endogenous rather than reflecting the spatial variation of any pre-existing heterogeneity in soil properties. All these results support the use of models that can account for periodic vegetation patterns without invoking substrate heterogeneity or anisotropy, and provide new elements for further developments, refinements and tests. This study underlines the potential of studying vegetation pattern properties for monitoring climatic and human impacts on the extensive fragile areas bordering hot deserts. Explicit consideration of vegetation self-patterning may also improve our understanding of vegetation and climate interactions in arid areas. © 2006 The Authors.

In situ concentration of semi-volatile aerosol using water-condensation technology

The effect of concentrating semi-volatile aerosols using a water-condensation technology was investigated using the Versatile Aerosol Concentration Enrichment System (VACES) and the Aerodyne Aerosol Mass Spectrometer (AMS) during measurements of ambient aerosol in Pittsburgh, PA. It was found that the shape of the sulfate mass-weighed size distribution was approximately preserved during passage through the concentrator for all the experiments performed, with a mass enhancement factor of about 10-20 depending on the experiment. The size distributions of organics, ammonium and nitrate were preserved on a relatively clean day (sulfate concentration around 7μg/m3), while during more polluted conditions the concentration of these compounds, especially nitrate, was increased at small sizes after passage through the concentrator. The amount of the extra material, however, is rather small in these experiments: between 2.4% and 7.5% of the final concentrated PM mass is due to "artifact" condensation. An analysis of thermodynamic processes in the concentrator indicates that the extra particle material detected can be explained by redistribution of gas-phase material to the aerosol phase in the concentrator. The analysis shows that the condensation of extra material is expected to be larger for water-soluble semi-volatile material, such as nitrate, which agrees with the observations. The analysis also shows that artifact formation of nitrate will be more pronounced in ammonia-limited conditions and virtually undetectable in ammonia-rich conditions. © 2004 Elsevier Ltd. All rights reserved.

Comparison of the experimental, semi-experimental and ab initio equilibrium structures of acetylene: Influence of relativisitic effects and of the diagonal Born-Oppenheimer corrections

The equilibrium structure of acetylene (also named ethyne) has been reinvestigated to resolve the small discrepancies noted between different determinations. The size of the system as well as the large amount of available experimental data provides the quite unique opportunity to check the magnitude and relevance of various contributions to equilibrium structure as well as to verify the accuracy of experimental results. With respect to pure theoretical investigation, quantum-chemical calculations at the coupled-cluster level have been employed together with extrapolation to the basis set limit, consideration of higher excitations in the cluster operator, inclusion of core correlation effects as well as relativistic and diagonal Born-Oppenheimer corrections. In particular, it is found that the extrapolation to the complete basis set limit, the inclusion of higher excitations in the electronic-correlation treatment and the relativistic corrections are of the same order of magnitude. It also appears that a basis set as large as a core-valence quintuple-zeta set is required for accurately accounting for the inner-shell correlation contribution. From a pure experimental point of view, the equilibrium structure has been determined using very accurate rotational constants recently obtained by a global analysis (that is to say that all non-negligible interactions are explicitely included in the Hamiltonian matrix) of rovibrational spectra. Finally, a semi-experimental equilibrium structure (where the equilibrium rotational constants are obtained from the experimental ground state rotational constants and computed rovibrational corrections) has been obtained from the available experimental ground-state rotational constants for ten isotopic species corrected for computed vibrational corrections. Such a determination led to the revision of the ground-state rotational constants of two isotopologues, thus showing that structural determination is a good method to identify errors in experimental rotational constants. The three structures are found in a very good agreement, and our recommended values are rCC 120.2958(7) pm and rCH 106.164(1) pm. © 2011 American Institute of Physics.

Experimental investigation of thermal structures in regular three-dimensional falling films

Interfacial waves on the surface of a falling liquid film are known to modify heat and mass transfer. Under non-isothermal conditions, the wave topology is strongly influenced by the presence of thermocapillary (Marangoni) forces at the interface which leads to a destabilization of the film flow and potentially to critical film thinning. In this context, the present study investigates the evolution of the surface topology and the evolution of the surface temperature for the case of regularly excited solitary-type waves on a falling liquid film under the influence of a wall-side heat flux. Combining film thickness (chromatic confocal imaging) and surface temperature information (infrared thermography), interactions between hydrodynamics and thermocapillary forces are revealed. These include the formation of rivulets, film thinning and wave number doubling in spanwise direction. Distinct thermal structures on the films’ surface can be associated to characteristics of the surface topology.

Dinámica y consecuencias del cambio en la cobertura y el uso del suelo en el Chaco semi-árido

La deforestación en Sudamérica afecta principalmente a tres ecosistemas: El Cerrado en Brasil, la selva de Chiquitanos en Bolivia y el Gran Chaco en Bolivia, Paraguay y Argentina, siendo en estos dos últimos países en donde ocurren las mayores transformaciones del paisaje para la producción de commodities para exportación. En la presente tesis, para la porción Noroeste del Chaco Argentino, se analizó la dinámica de cambios de los últimos 30 años; se evaluó la ocurrencia del modelo cambio de uso del suelo denominado "Transición Forestal"; se estudió la influencia de factores locales que controlan la localización de desmontes; y se cuantificó el impacto de dicha transformación sobre el nivel de provisión de servicios ecosistémicos intermedios relativos a la dinámica del C. En el período 1977-2007 ocurrieron cambios que alcanzaron más del 26 por ciento del área de estudio. Los desmontes para actividad agropecuaria alcanzaron un total de 4,5 millones ha, de los cuales el 53 por ciento ocurrieron en el último período (1997-07), siendo los bosques secos y los pastizales las coberturas más afectadas. De continuar con esta tendencia, ocurrirá una inversión del paisaje en un periodo comprendido entre 40 y 100 años, en donde la actividad agropecuaria comenzaría a ser dominante en el paisaje chaqueño. No están ocurriendo ninguno de los modelos de cambios de uso del suelo de compatibilización de producción-conservación discutidos en esta tesis: (a) "Transición Forestal" (Forest Transition), (b) "separación-territorial" (land-sparing); o (c) "integración-territorial" (land-sharing). Se propone un nuevo modelo de cambio de uso de suelo que probablemente se verifica en otras regiones del Gran Chaco Americano, al que se denominó "modelo tipo Tsunami" por sus características de avance en forma de ola, que a su paso homogeniza el paisaje bajo el punto de vista estructural y funcional.

Host species of bees from the tribe Meliponini Nest in semi - arid Chaco forest near Las Lomitas, Formosa (Argentina)

p.85-91

Host species of bees from the tribe Meliponini Nest in semi - arid Chaco forest near Las Lomitas, Formosa (Argentina)

p.85-91

Dinámica y consecuencias del cambio en la cobertura y el uso del suelo en el Chaco semi-árido

La deforestación en Sudamérica afecta principalmente a tres ecosistemas: El Cerrado en Brasil, la selva de Chiquitanos en Bolivia y el Gran Chaco en Bolivia, Paraguay y Argentina, siendo en estos dos últimos países en donde ocurren las mayores transformaciones del paisaje para la producción de commodities para exportación. En la presente tesis, para la porción Noroeste del Chaco Argentino, se analizó la dinámica de cambios de los últimos 30 años; se evaluó la ocurrencia del modelo cambio de uso del suelo denominado "Transición Forestal"; se estudió la influencia de factores locales que controlan la localización de desmontes; y se cuantificó el impacto de dicha transformación sobre el nivel de provisión de servicios ecosistémicos intermedios relativos a la dinámica del C. En el período 1977-2007 ocurrieron cambios que alcanzaron más del 26 por ciento del área de estudio. Los desmontes para actividad agropecuaria alcanzaron un total de 4,5 millones ha, de los cuales el 53 por ciento ocurrieron en el último período (1997-07), siendo los bosques secos y los pastizales las coberturas más afectadas. De continuar con esta tendencia, ocurrirá una inversión del paisaje en un periodo comprendido entre 40 y 100 años, en donde la actividad agropecuaria comenzaría a ser dominante en el paisaje chaqueño. No están ocurriendo ninguno de los modelos de cambios de uso del suelo de compatibilización de producción-conservación discutidos en esta tesis: (a)"Transición Forestal" (Forest Transition), (b)"separación-territorial" (land-sparing); o (c)"integración-territorial" (land-sharing). Se propone un nuevo modelo de cambio de uso de suelo que probablemente se verifica en otras regiones del Gran Chaco Americano, al que se denominó "modelo tipo Tsunami" por sus características de avance en forma de ola, que a su paso homogeniza el paisaje bajo el punto de vista estructural y funcional.