On the correctness and efficiency of independent and-parallelism in logic programs

This paper presents and proves some fundamental results for independent and-parallelism (IAP). First, the paper treats the issues of correctness and efficiency: after defining strict and non-strict goal independence, it is proved that if strictly independent goals are executed in parallel the solutions obtained are the same as those produced by standard sequential execution. It is also shown that, in the absence of failure, the parallel proof procedure doesn't genérate any additional work (with respect to standard SLDresolution) while the actual execution time is reduced. The same results hold even if non-strictly independent goals are executed in parallel, provided a trivial rewriting of such goals is performed. In addition, and most importantly, treats the issue of compile-time generation of IAP by proposing conditions, to be written at compile-time, to efficiently check strict and non-strict goal independence at run-time and proving the sufficiency of such conditions. It is also shown how simpler conditions can be constructed if some information regarding the binding context of the goals to be executed in parallel is available to the compiler trough either local or program-level analysis. These results therefore provide a formal basis for the automatic compile-time generation of IAP. As a corollary of such results, the paper also proves that negative goals are always non-strictly independent, and that goals which share a first occurrence of an existential variable are never independent.

On the effects of windbreaks on the aerodynamic loads over parabolic solar troughs

Parabolic reflectors, also known as parabolic troughs, are widely used in solar thermal power plants. This kind of power plants is usually located on desert climates, where the combined action of wind and dust can be of paramount importance. In some cases it becomes necessary to protect these devices from the joined wind and sand action, which is normally accomplished through solid windbreaks. In this paper the results of a wind tunnel test campaign, of a scale parabolic trough row having different windward windbreaks, are reported. The windbreaks herein considered consist of a solid wall with an upper porous fence. Different geometrical configurations, varying the solid wall height and the separation between the parabolic trough row and the windbreak have been considered. From the measured time series, both the mean and peak values of the aerodynamic loads were determined. As it would be expected, mean aerodynamic drag, as well as peak values, decrease as the distance between the windbreak and the parabolic increases, and after a threshold value, such drag loads increase with the distance.

Sea-surface temperature reconstruction in the Southwest Pacific

Uniquely in the Southern Hemisphere the New Zealand micro-continent spans the interface between a subtropical gyre and the Subantarctic Circumpolar Current. Its 20° latitudinal extent includes a complex of submerged plateaux, ridges, saddles and basins which, in the present interglacial, are partial barriers to circulation and steer the Subtropical (STF) and Subantarctic (SAF) fronts. This configuration offers a singular opportunity to assess the influence of bottom topography on oceanic circulation through Pleistocene glacial - interglacial (G/I) cycles, its effect on the location and strength of the fronts, and its ability to generate significant differences in mixed layer thermal history over short distances. For this study we use new planktic foraminiferal based sea-surface temperature (SST) estimates spanning the past 1 million years from a latitudinal transect of four deep ocean drilling sites. We conclude that: 1. the effect of the New Zealand landmass was to deflect the water masses south around the bathymetric impediments; 2. the effect of a shallow submerged ridge on the down-current side (Chatham Rise), was to dynamically trap the STF along its crest, in stark contrast to the usual glacial-interglacial (G-I) meridional migration that occurs in the open ocean; 3. the effect of more deeply submerged, downstream plateaux (Campbell, Bounty) was to dynamically trap the SAF along its steep southeastern margin; 4. the effects of saddles across the submarine plateaux was to facilitate the development of jets of subtropical and subantarctic surface water through the fronts, forming localized downstream gyres or eddies during different phases in the G-I climate cycles; 5. the deep Pukaki Saddle across the Campbell-Bounty Plateaux guided a branch of the SAF to flow northwards during each glacial, to form a strong gyre of circumpolar surface water in the Bounty Trough, especially during the mid-Pleistocene Climate Transition (MIS 22-16) when exceptionally high SST gradients existed across the STF; 6. the shallower Mernoo Saddle, at the western end of the Chatham Rise, provided a conduit for subtropical water to jet southwards across the STF in the warmest interglacial peaks (MIS 11, 5.5) and for subantarctic water to flow northwards during glacials; 7. although subtropical or subantarctic drivers can prevail at a particular phase of a G-I cycles, it appears that the Antarctic Circumpolar Current is the main influence on the regional hydrography. Thus complex submarine topography can affect distinct differences in the climate records over short distances with implications for using such records in interpreting global or regional trends. Conversely, the local topography can amplify the paleoclimate record in different ways in different places, thus enhancing its value for the study of more minor paleoceanographic influences that elsewhere are more difficult to detect. Such sites include DSDP 594, which like some other Southern Ocean sites, has the typical late Pleistocene asymmetrical saw-tooth G-I climate pattern transformed to a gap-tooth pattern of quasi-symmetrical interglacial spikes that interrupt extended periods of minimum glacial temperatures.

(Table 2) AMS radiocarbon dates from sediment cores obtained during James Clark Ross cruise JR142, Kvitøya Trough

High-resolution geophysical and sediment core data are used to investigate the pattern and dynamics of former ice flow in Kvitøya Trough, northwestern Barents Sea. A new swath-bathymetric dataset identifies three types of submarine landform in the study area (streamlined landforms, meltwater channels and cavities, iceberg scours). Subglacially produced streamlined landforms provide a record of ice flow through Kvitøya Trough during the last glaciation. Flow directions are inferred from the orientations of streamlined landforms (drumlins, crag-and-tail features). Ice flowed northward for at least 135 km from an ice divide at the southern end of Kvitøya Trough. A large channel-cavity system incised into bedrock in the southern trough indicates that subglacial meltwater was present at the former ice-sheet base. Modest landform elongation ratios and a lack of mega-scale glacial lineations suggest that, although ice in Kvitøya Trough was melting at the bed and flowed faster than the likely thin and cold-based ice on adjacent banks, a major ice stream probably did not occupy the trough. Retreat was relatively rapid after 14-13.5 14C kyr B.P. and probably progressed via ice sheet-bed decoupling in response to rising sea level. There is little evidence for still stands during ice retreat or of ice-proximal deglacial sediments. Relict iceberg scours in present-day water depths of more than 350 m in the northern trough indicate that calving was an important mass loss mechanism during retreat.

Clay mineralogy and shear strength of subglacial and glaciomarine sediments in the southern Bellingshausen Sea

The Belgica Trough and the adjacent Belgica Trough Mouth Fan in the southern Bellingshausen Sea (Pacific sector of the Southern Ocean) mark the location of a major outlet for the West Antarctic Ice Sheet during the Late Quaternary. The drainage basin of an ice stream that advanced through Belgica Trough across the shelf during the last glacial period comprised an area exceeding 200,000 km**2 in the West Antarctic hinterland. Previous studies, mainly based on marine-geophysical data from the continental shelf and slope, focused on the bathymetry and seafloor bedforms, and the reconstruction of associated depositional processes and ice- drainage patterns. In contrast, there was only sparse information from seabed sediments recovered by coring. In this paper, we present lithological and clay mineralogical data of 21 sediment cores collected from the shelf and slope of the southern Bellingshausen Sea. Most cores recovered three lithological units, which can be attributed to facies types deposited under glacial, transitional and seasonally open-marine conditions. The clay mineral assemblages document coinciding changes in provenance. The relationship between the clay mineral assemblages in the subglacial and proglacial sediments on the shelf and the glacial diamictons on the slope confirms that a grounded ice stream advanced through Belgica Trough to the shelf break during the past, thereby depositing detritus eroded in the West Antarctic hinterland as soft till on the shelf and as glaciogenic debris flows on the slope. The thinness of the transitional and seasonally open-marine sediments in the cores suggests that this ice advance occurred during the last glacial period. Clay mineralogical, acoustic sub-bottom and seismic data furthermore demonstrate that the palaeo-ice stream probably reworked old sedimentary strata, including older tills, on the shelf and incorporated this debris into its till bed. The geographical heterogeneity of the clay mineral assemblages in the sub- and proglacial diamictons and gravelly deposits indicates that they were eroded from underlying sedimentary strata of different ages. These strata may have been deposited during either different phases of the last glacial period or different glacial and interglacial periods. Additionally, the clay mineralogical heterogeneity of the soft tills recovered on the shelf suggests that the drainage area of the palaeo-ice stream flowing through Belgica Trough changed through time.

Helium isotope ratios and pore gases in deep-sea sediments of the Japan Sea

We have measured the 3He/4He and 4He/20Ne ratios and chemical compositions of gases exsolved from deep-sea sediments at two sites (798 and 799) in the Japan Sea. The 3He/4He and 4He/20Ne ratios vary from 0.642 Ratm (where Ratm is the atmospheric 3He/4He ratio of 1.393*10**-6) to 0.840 Ratm, and from 0.41 to 4.5, respectively. Helium in the samples can be explained by the mixing between atmospheric helium dissolved in bottom water of the Japan Sea and crustal helium in the sediment. The sedimentary helium is enriched in mantle-derived 3He compared with those from the Japan Trench and the Nankai Trough. This suggests that the basement of the Japan Sea has relatively large remnants of mantle-derived helium compared with that of the Pacific. Major chemical compositions of the samples are methane and nitrogen. There is a positive correlation between methane content and helium content corrected for air component. Based on the 3He/4He-Sum C/3He diagram, the major part of methane can be attributed to crustal and/or organic origin.

Description of manganese nodules and crust collected from the Hakurei Maru Cruise GH74-5, September-October, 1974, in the Eastern Central Pacific Basin

The cores and dredges described in this report were taken on the GH74-5 Expedition in September-October, 1974 by the Geological Survey of Japan from the R/V Hakurei Maru. A total of 36 cores, dredges and submarine camera sites have been visited. The survey conducted an investigation of the manganese deposits in the Eastern Pacific Basin and the East of the Okinawa islands

New strategy to overcome the intrinsic difficulty of phospholipids solubilisation and delivery to the eye

Purpose: Lipids play a vital role at interfaces such as the tear film in the protection of the anterior eye. Their role is to act as lubricants and reduce surface and interfacial tension. Although there is a lack of appropriate methods to solubilize and dilute phospholipids to the tear film. Here, we report that styrene-maleic acid copolymers (PSMA), can form polymer–lipid complexes in the form of monodisperse nanometric particles, which can easily solubilise these phospholipid molecules by avoiding for example, the use of any kind of surfactant. Method: The interactions of PSMA with phospholipids have been studied by its adsorption from aqueous solutions into monolayers of dimyristoyl-phosphorylcholine (DMPC). The Langmuir trough (LT) technique is used to study this pH-dependant complex formation. The formed nanoparticles have been also analysed by 31P NMR, particle size distribution by light scattering (DLS) and morphology by electron microscopy (SEM). Results: The LT has been found to be a useful technique for in vitro simulation of in vivo lipid layer behaviour: The limiting surface pressure of unstable tear films ranges between 20 and 30 mN/m. More stable tear films show an increase in surface pressure, within the range of 35–45 mN/m. The DMPC monolayers have a limiting surface pressure of 38 mN/m (water), and 45 mN/m (pH 4 buffer), and the PSMA-DMPC complexes formed at pH 4 have a value of 42 mN/m, which resembles that of the stable tear film. The average particle size distribution is 53 ± 10 nm with a low polydispersity index (PDI) of 0.24 ± 0.03. Conclusions: New biocompatible and cheap lipid solubilising agents such as PSMA can be used for the study of the tear film composition and properties. These polymer–lipid complexes in the form of nanoparticles can be used to solubilise and release in a controlled way other hydrophobic molecules such as some drugs or proteins.

Water temperature reconstructions based on paired Uk'37 and Tex86 records, and paired surface and subsurface Mg/Ca records

This dataset contains the collection of available published paired Uk'37 and Tex86 records spanning multi-millennial to multi-million year time scales, as well as a collection of Mg/Ca-derived temperatures measured in parallel on surface and subsurface dwelling foraminifera, both used in the analyses of Ho and Laepple, Nature Geoscience 2016. As the signal-to-noise ratios of proxy-derived Holocene temperatures are relatively low, we selected records that contain at least the last deglaciation (oldest sample >18kyr BP).

(Table 1) Age determination of sediment core MD01-2404

We analyzed the high-resolution foraminifer isotope records, total organic carbon (TOC), and opal content from an Okinawa Trough core MD012404 in order to estimate the monsoon hydrography and productivity changes in the East China Sea (ECS) of the tropical western Pacific over the past 100,000 years. The variability shown in the records on orbital time scales indicates that high TOC intervals coincide with the increases of boreal May-September insolation driven by precession cycles (~21 ka), implying a strong connection to the variations in monsoons. We also observed possibly nearly synchronous, millennial-scale changes of the ECS surface hydrography (mainly driven by salinity changes but also by temperature effects) and productivity coincident with monsoon events in the Hulu/Dongge stalagmite isotope records. We found that increased freshening and high productivity correlate with high monsoon intensity in interstadials. This study suggests that the millennial-scale changes in monsoon hydrography and productivity in the ECS are remarkable and persistent features over the past 100,000 years.

Pore-water concentration of chloride in sediment cores and equilibrium temperatures and gas bubble analysis at ROV stations from the Vodyanitskii mud volcano

Vodyanitskii mud volcano is located at a depth of about 2070 m in the Sorokin Trough, Black sea. It is a 500-m wide and 20-m high cone surrounded by a depression, which is typical of many mud volcanoes in the Black Sea. 75 kHz sidescan sonar show different generations of mud flows that include mud breccia, authigenic carbonates, and gas hydrates that were sampled by gravity coring. The fluids that flow through or erupt with the mud are enriched in chloride (up to 650 mmol L**-1 at 150-cm sediment depth) suggesting a deep source, which is similar to the fluids of the close-by Dvurechenskii mud volcano. Direct observation with the remotely operated vehicle Quest revealed gas bubbles emanating at two distinct sites at the crest of the mud volcano, which confirms earlier observations of bubble-induced hydroacoustic anomalies in echosounder records. The sediments at the main bubble emission site show a thermal anomaly with temperatures at 60 cm sediment depth that were 0.9 °C warmer than the bottom water. Chemical and isotopic analyses of the emanated gas revealed that it consisted primarily of methane (99.8%) and was of microbial origin (dD-CH4 = -170.8 per mil (SMOW), d13C-CH4 = -61.0 per mil (V-PDB), d13C-C2H6 = -44.0 per mil (V-PDB)). The gas flux was estimated using the video observations of the ROV. Assuming that the flux is constant with time, about 0.9 ± 0.5 x 10**6 mol of methane is released every year. This value is of the same order-of-magnitude as reported fluxes of dissolved methane released with pore water at other mud volcanoes. This suggests that bubble emanation is a significant pathway transporting methane from the sediments into the water column.

The geochemistry, mineralogy, and petrology of basalts at DSDP Leg 59 Holes

Legs 59 and 60 of the International Phase of Oceanic Drilling (IPOD) were designed to study the nature and history of volcanism of the active Mariana arc, its currently spreading inter-arc basin (the Mariana Trough), and the series of inactive basins and intervening ridges that lie to the west. The older basins and ridges were drilled during Leg 59 as the first part of a transect of single-bit holes drilled in each major basin and ridge. The eastern part of the transect - the technically active region - was drilled during Leg 60. The evolution of island-arc volcanos and magma genesis associated with lithospheric subduction remain some of the most complex petrologic problems confronting us. Many types of source material (mantle, oceanic crust, continental crust) and an unusually wide range of possible physical conditions at the time of magma genesis must be identified even before the roles of partial melting and subsequent magma fractionation, mixing, and contamination can be assessed.