Reachability-based acyclicity analysis by Abstract Interpretation

In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of termination and resource usage (e.g., execution time or memory consumption). For instance, this information guarantees that the depth of the data structure to which x points is greater than the depth of the data structure pointed to by x.f for any field f of x. This, in turn, allows bounding the number of iterations of a loop which traverses the structure by its depth, which is essential in order to prove the termination or infer the resource usage of the loop. The present paper provides an Abstract-Interpretation-based formalization of a static analysis for inferring acyclicity, which works on the reduced product of two abstract domains: reachability, which models the property that the location pointed to by a variable w can be reached by dereferencing another variable v (in this case, v is said to reach w); and cyclicity, modeling the property that v can point to a cyclic data structure. The analysis is proven to be sound and optimal with respect to the chosen abstraction.

The imprint of global climate cycles in the Fuentillejo maar-lake record during the last 50 ka cal BP (central Spain)

We have analysed the geochemical (element analysis), mineralogical and sedimentary facies to characterize the sedimentary record in Fuentillejo maar-lake in the central Spanish volcanic field of Campo de Calatrava and thus be able to reconstruct the cyclicity of the sedimentary and paleoclimatic processes involved. The upper 20 m of core FUENT-1 show variations in clastic input and water chemistry in the lake throughout the last 50 ka cal BP. Being a closed system, the water level in this maar-lake depends primarily on the balance between precipitation and evaporation

The type I BMP receptor BmprIB is essential for female reproductive function

Maintenance of female reproductive competence depends on the actions of several hormones and signaling factors. Recent reports suggest roles for bone morphogenetic proteins (BMPs) in early stages of folliculogenesis. A role for the type I BMP receptor BmprIB as a regulator of ovulation rates in sheep has been described recently, but little is known about the roles of BMP signaling pathways in other aspects of reproductive function. We report here that BMPRIB is essential for multiple aspects of female fertility. Mice deficient in BmprIB exhibit irregular estrous cycles and an impaired pseudopregnancy response. BmprIB mutants produce oocytes that can be fertilized in vitro, but defects in cumulus expansion prevent fertilization in vivo. This defect is associated with decreased levels of aromatase production in granulosa cells. Unexpectedly, levels of mRNA for cyclooxygenase 2, an enzyme required for cumulus expansion, are increased. BmprIB mutants also exhibit a failure in endometrial gland formation. The expression of BmprIB in uterine linings suggests that these defects are a direct consequence of loss of BMP signaling in this tissue. In summary, these studies demonstrate the importance of BMP signaling pathways for estrus cyclicity, estradiol biosynthesis, and cumulus cell expansion in vivo and reveal sites of action for BMP signaling pathways in reproductive tissues.

Registro de excentricidad de alta frecuencia en los sedimentos continentales de la Cuenca de Guadix (Cordillera Bética, España)

Los sedimentos continentales (Plioceno-Cuaternario) que afloran en el sector central de la Cuenca de Guadix (Sur de España) muestran una ciclicidad de 100 ka consistente en la alternancia de depósitos de abanicos aluviales y sedimentos fluvio-lacustres. Durante el Plioceno y el Pleistoceno la Cuenca de Guadix era endorreica, y se caracterizaba por la existencia de un sistema axial fluvial y una orla marginal de abanicos aluviales transversales. En la zona de estudio, estos sistemas estaban relacionados lateralmente, ocupando de forma alterna el valle axial en el sector central de la Cuenca de Guadix. La edad estimada para la alternancia, ca. 100 ka, cae en la banda de excentricidad de alta frecuencia de Milankovitch. Estas fases podrían interpretarse como el resultado de máximos de excentricidad (inviernos más largos y fríos, con mayor volumen de precipitaciones que favorecerían las progradaciones de los abanicos) o de excentricidad mínima (períodos más secos y fríos, con una cubierta vegetal más escasa en las áreas fuente y, por tanto, un mayor aporte de sedimento por precipitaciones muy concentradas en el tiempo al sistema aluvial). Se muestra cómo los datos paleomagnéticos no son lo suficientemente precisos para proporcionar una buena correlación de las fases de progradación con la curva de excentricidad de Laskar et al. (2004), por lo que se pone en duda su precisión a la hora de determinar el significado climático de la ciclicidad.

Cyclically-arranged, storm-controlled, prograding lithosomes in Messinian terrigenous shelves (Bajo Segura Basin, western Mediterranean)

This work focuses on a Messinian shallow-marine terrigenous unit, termed the La Virgen Formation, which forms part of the sedimentary infill of the Bajo Segura Basin (Betic margin of the western Mediterranean). This formation was deposited during a high sea level phase prior to the onset of the Messinian Salinity Crisis. Stratigraphically, it comprises a prograding stack of sandstone lithosomes alternating with marly intervals (1st-order cyclicity). These lithosomes are characterized by a homoclinal geometry that tapers distally, and interfinger with pelagic sediments rich in planktonic and benthic microfauna (Torremendo Formation). An analysis of sedimentary facies of each lithosome reveals a repetitive succession of sandy storm beds (tempestites), occasionally amalgamated, which are separated by thin marly layers (2nd-order cyclicity). Each storm bed contains internal erosional surfaces (3rd-order cyclicity) that delimit sets of laminae. Two categories of storm beds have been differentiated. The first one includes layers formed below storm wave base (SWB), characterized by traction structures associated to unidirectional flows (scoured base, planar lamination, and parting lineation). The second category consists of layers deposited above the SWB which display typical high regime oscillatory flow structures (swaley and hummocky cross lamination). In both cases, the ichnological record is characterized by an oligotypic association of Ophiomorpha nodosa, which can be interpreted as the result of allochthonous tracemakers (crustaceans) transported during storm events together with the sediment. The benthic microfauna in the marly intervals that separate the sandstone lithosomes (1st-order cyclicity) indicates that the storm ebb surges were deposited at depths ranging from those of inner shelf settings (with Elphidium spp. and Cibicides lobatulus) to those of outer shelf (with Valvulineria complanata and Uvigerina cylindrica). At the distal end of the sandstone lithosomes, the planktonic microfauna is characterized by a high content of taxa indicative of warm-oligotrophic waters (Globigerinoides obliquus and Globigerinoides bulloideus). In contrast, in the marly intervals, the microfauna is dominated by species typical of cold-eutrophic waters (Globigerina and Neogloboquadrina). This alternation of planktic foraminiferal assemblages is interpreted as being the expression of climatic cycles, in which every episode of progradation of tempestite-dominated lithosomes corresponds to maximum insolation and warm waters, whereas episodes of marly deposition correspond to minimal insolation and cold waters. The 1st-order cyclicity recorded in the La Virgen Formation, in a context of terrigenous storm-dominated shelf, corresponds to sapropel/homogeneous marl cycles formed in a pelagic basin (Torremendo Fm). These cycles in pelagic sediments are commonplace throughout the Mediterranean during the Messinian and reflect precession orbital changes: repeated periods of maximum insolation – minimum precession (sapropels) and minimal insolation – maximum precession (homogeneous marls). The fact that the example of terrigenous unit studied herein is coetaneous with the well-developed reef complexes in the Mediterranean basins points out the importance of sediment supply in the formation of large-scale sandy lithosomes. This is a crucial aspect to understanding reservoir genesis as well as lateral stratigraphic relationships with potential seal and/or source rocks.

Tropically-driven climate shifts in southwestern Europe during MIS 19, a low eccentricity interglacial

The relative roles of high- versus low-latitude forcing of millennial-scale climate variability are still not well understood. Here we present terrestrial–marine climate profiles from the southwestern Iberian margin, a region particularly affected by precession, that show millennial climate oscillations related to a nonlinear response to the Earth's precession cycle during Marine Isotope Stage (MIS) 19. MIS 19 has been considered the best analogue to our present interglacial from an astronomical point of view due to the reduced eccentricity centred at 785 ka. In our records, seven millennial-scale forest contractions punctuated MIS 19 superimposed to two orbitally-driven Mediterranean forest expansions. In contrast to our present interglacial, we evidence for the first time low latitude-driven 5000-yr cycles of drying and cooling in the western Mediterranean region, along with warmth in the subtropical gyre related to the fourth harmonic of precession. These cycles indicate repeated intensification of North Atlantic meridional moisture transport that along with decrease in boreal summer insolation triggered ice growth and may have contributed to the glacial inception, at ∼774 ka. The freshwater fluxes during MIS 19ab amplified the cooling events in the North Atlantic promoting further cooling and leading to MIS 18 glaciation. The discrepancy between the dominant cyclicity observed during MIS 1, 2500-yr, and that of MIS 19, 5000-yr, challenges the similar duration of the Holocene and MIS 19c interglacials under natural boundary conditions.

(Table 1) Chemical composition of ethmodiscus oozes from the Indian Ocean

This paper synthesizes all known finds of Ethmodiscus ooze in the Eastern Indian Ocean and indicates areas of its occurrence. Accumulation of Ethmodiscus ooze is controlled by water circulation and relief of the ocean floor. Bedding of Ethmodiscus ooze has gradational layering and cyclicity caused by multiple redeposition of diatom tests. The maximum occurrence of Ethmodiscus rex in sediments corresponds to Late Pleistocene.

Tropical Atlantic SST during the mid-Pleistocene transition (MPT) of ODP Hole 175-1077B

We compare a new mid-Pleistocene sea surface temperature (SST) record from the eastern tropical Atlantic to changes in continental ice volume, orbital insolation, Atlantic deepwater ventilation, and Southern Ocean front positions to resolve forcing mechanisms of tropical Atlantic SST during the mid-Pleistocene transition (MPT). At the onset of the MPT, a strong tropical cooling occurred. The change from a obliquity- to a eccentricity-dominated cyclicity in the tropical SST took place at about 650 kyr BP. In orbital cycles, tropical SST changes significantly preceded continental ice-volume changes but were in phase with movements of Southern Ocean fronts. After the onset of large-amplitude 100-kyr variations, additional late glacial warming in the eastern tropical Atlantic was caused by enhanced return flow of warm waters from the western Atlantic driven by strong trade winds. Pronounced 80-kyr variations in tropical SST occurred during the MPT, in phase with and likely directly forced by transitional continental ice-volume variations. During the MPT, a prominent anomalous long-term tropical warming occurred, likely generated by extremely northward displaced Southern Ocean fronts. While the overall pattern of global climate variability during the MPT was determined by changes in mean state and frequency of continental ice volume variations, tropical Atlantic SST variations were primarily driven by early changes in Subantarctic sea-ice extent and coupled Southern Ocean frontal positions.

(Table T1) Clay-mineral composition of ODP Site 184-1146 sediments

The preliminary results of a comprehensive study of clay minerals (<2 µm) are presented for the upper 2 m.y. of sediments from Ocean Drilling Program Leg 184 Site 1146 from the northern margin of the South China Sea, close to the Pearl River mouth. More than 500 samples were analyzed, and four main mineral species are present: smectite, illite, chlorite, and kaolinite. On a general basis, illite + chlorite and smectite display anti-correlated behavior in relation to changes in the proportion of primary to secondary minerals in the sediment. Low-frequency and high-frequency changes are observed in the smectite/(illite + chlorite) ratio.

Sedimentology of the Rio Grande Rise area

Surface sediment samples and three gravity cores from the eastern terrace of the Vema Channel, the western flank of the Rio Grande Rise, and the Brazilian continental slope were investigated for physical properties, grain size, and clay mineral composition. Discharge of the Rio Doce is responsible for kaolinite enrichments on the slope south of 20° and at intermediate depths of the Rio Grande Rise. The long-distance advection of kaolinite with North Atlantic Deep Water from lower latitudes is of minor importance as evidenced by low kaolinite/chlorite ratios on the Mid-Atlantic Ridge. Cyclic variations of kaolinite/chlorite ratios in all our cores, with maxima in interglacials, are attributed to low-and high-latitude forcing of paleoclimate on the Brazilian mainland and the related discharge of the Rio Doce. A long-term trend toward more arid and 'glacial' conditions from 1500 ka to present is superimposed on the glacial-interglacial cyclicity.

Age models and sedimentation rates of sites in the tropical Atlantic

Late Pleistocene signals of calcium carbonate, organic carbon, and opaline silica concentration and accumulation are documented in a series of cores from a zonal/meridional/depth transect in the equatorial Atlantic Ocean to reconstruct the regional sedimentary history. Spectral analysis reveals that maxima and minima in biogenous sedimentation occur with glacial-interglacial cyclicity as a function of both (1) primary production at the sea surface modulated by orbitally forced variation in trade wind zonality and (2) destruction at the seafloor by variation in the chemical character of advected intermediate and deep water from high latitudes modulated by high-latitude ice volume. From these results a pattern emerges in which the relative proportion of signal variance from the productivity signal centered on the precessional (23 kyr) band decreases while that of the destruction signal centered on the obliquity (41 kyr) and eccentricity (100 kyr) periods increases below ~3600-m ocean depth.