Crustal structure and rift flank uplift of the Adare Trough, Antarctica

The Adare Trough, located 100 km northeast of Cape Adare, Antarctica, represents the extinct third arm of a Tertiary spreading ridge between East and West Antarctica. It is characterized by pronounced asymmetric rift flanks elevated up to over 2 km above the trough's basement, accompanied by a large positive mantle Bouguer anomaly. On the basis of recently acquired seismic reflection and ship gravity data, we invert mantle Bouguer anomalies from the Adare Trough and obtain an unexpectedly large oceanic crustal thickness maximum of 9–10.5 km underneath the extinct ridge. A regional positive residual basement depth anomaly between 1 and 2.5 km in amplitude characterizes ocean crust from offshore Victoria Land to the Balleny Islands and north of Iselin Bank. The observations and models indicate that the mid/late Tertiary episode of slow spreading between East and West Antarctica was associated with a mantle thermal anomaly. The increasing crustal thickness toward the extinct ridge indicates that this thermal mantle anomaly may have increased in amplitude through time during the Adare spreading episode. This scenario is supported by a mantle convection model, which indicates the formation and strengthening of a major regional negative upper mantle density anomaly in the southwest Pacific in the last 50 million years. The total amount of post-26 Ma extension associated with Adare Trough normal faulting was about 7.5 km, in anomalously thick oceanic crust with a lithospheric effective elastic thickness (EET) between 3.5 and 5 km. This corresponds to an age between 3 and 5 million years based on a thermal boundary layer model and supports a scenario in which the Adare Trough formed soon after spreading between East and West Antarctica ceased, confined to relatively weak lithosphere with anomalously thick oceanic crust. There is little evidence for major subsequent structural activity in the Adare trough area from the available seismic data, indicating that this part of the West Antarctic Rift system became largely inactive in the early Miocene, with the exception of minor structural reactivation which is visible in the seismic data as offsets up to end of the early Pliocene

Oceanographic drivers of deep-sea coral species distribution and community assembly on seamounts, islands, atolls, and reefs within the Phoenix Islands Protected Area

© The Author(s), 2020. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Auscavitch, S. R., Deere, M. C., Keller, A. G., Rotjan, R. D., Shank, T. M., & Cordes, E. E. Oceanographic drivers of deep-sea coral species distribution and community assembly on seamounts, islands, atolls, and reefs within the Phoenix Islands Protected Area. Frontiers in Marine Science, 7, (2020): 42, doi:10.3389/fmars.2020.00042.The Phoenix Islands Protected Area, in the central Pacific waters of the Republic of Kiribati, is a model for large marine protected area (MPA) development and maintenance, but baseline records of the protected biodiversity in its largest environment, the deep sea (>200 m), have not yet been determined. In general, the equatorial central Pacific lacks biogeographic perspective on deep-sea benthic communities compared to more well-studied regions of the North and South Pacific Ocean. In 2017, explorations by the NOAA ship Okeanos Explorer and R/V Falkor were among the first to document the diversity and distribution of deep-water benthic megafauna on numerous seamounts, islands, shallow coral reef banks, and atolls in the region. Here, we present baseline deep-sea coral species distribution and community assembly patterns within the Scleractinia, Octocorallia, Antipatharia, and Zoantharia with respect to different seafloor features and abiotic environmental variables across bathyal depths (200–2500 m). Remotely operated vehicle (ROV) transects were performed on 17 features throughout the Phoenix Islands and Tokelau Ridge Seamounts resulting in the observation of 12,828 deep-water corals and 167 identifiable morphospecies. Anthozoan assemblages were largely octocoral-dominated consisting of 78% of all observations with seamounts having a greater number of observed morphospecies compared to other feature types. Overlying water masses were observed to have significant effects on community assembly across bathyal depths. Revised species inventories further suggest that the protected area it is an area of biogeographic overlap for Pacific deep-water corals, containing species observed across bathyal provinces in the North Pacific, Southwest Pacific, and Western Pacific. These results underscore significant geographic and environmental complexity associated with deep-sea coral communities that remain in under-characterized in the equatorial central Pacific, but also highlight the additional efforts that need to be brought forth to effectively establish baseline ecological metrics in data deficient bathyal provinces.Funding for this work was provided by NOAA Office of Ocean Exploration and Research (Grant No. NA17OAR0110083) to RR, EC, TS, and David Gruber

CARBON BALANCE AND VEGETATION DYNAMICS IN AN OLD‐GROWTH AMAZONIAN FOREST

Amazon forests could be globally significant sinks or sources for atmospheric carbon dioxide, but carbon balance of these forests remains poorly quantified. We surveyed 19.75 ha along four 1‐km transects of well‐drained old‐growth upland forest in the Tapajós National Forest near Santarém, Pará, Brazil (2°51′ S, 54°58′ W) in order to assess carbon pool sizes, fluxes, and climatic controls on carbon balance. In 1999 there were, on average, 470 live trees per hectare with diameter at breast height (dbh) ≥10 cm. The mean (and 95% ci) aboveground live biomass was 143.7 ± 5.4 Mg C/ha, with an additional 48.0 ± 5.2 Mg C/ha of coarse woody debris (CWD). The increase of live wood biomass after two years was 1.40 ± 0.62 Mg C·ha−1·yr−1, the net result of growth (3.18 ± 0.20 Mg C·ha−1·yr−1 from mean bole increment of 0.36 cm/yr), recruitment of new trees (0.63 ± 0.09 Mg C·ha−1·yr−1, reflecting a notably high stem recruitment rate of 4.8 ± 0.9%), and mortality (−2.41 ± 0.53 Mg C·ha−1·yr−1 from stem death of 1.7% yr−1). The gain in live wood biomass was exceeded by respiration losses from CWD, resulting in an overall estimated net loss from total aboveground biomass of 1.9 ± 1.0 Mg C·ha−1·yr−1. The presence of large CWD pools, high recruitment rate, and net accumulation of small‐tree biomass, suggest that a period of high mortality preceded the initiation of this study, possibly triggered by the strong El Niño Southern Oscillation events of the 1990s. Transfer of carbon between live and dead biomass pools appears to have led to substantial increases in the pool of CWD, causing the observed net carbon release. The data show that biometric studies of tropical forests neglecting CWD are unlikely to accurately determine carbon balance. Furthermore, the hypothesized sequestration flux from CO2 fertilization (\u3c0.5 Mg C·ha−1·yr−1) would be comparatively small and masked for considerable periods by climate‐driven shifts in forest structure and associated carbon balance in tropical forests

Matching concepts across HOL libraries

Many proof assistant libraries contain formalizations of the same mathematical concepts. The concepts are often introduced (defined) in different ways, but the properties that they have, and are in turn formalized, are the same. For the basic concepts, like natural numbers, matching them between libraries is often straightforward, because of mathematical naming conventions. However, for more advanced concepts, finding similar formalizations in different libraries is a non-trivial task even for an expert. In this paper we investigate automatic discovery of similar concepts across libraries of proof assistants. We propose an approach for normalizing properties of concepts in formal libraries and a number of similarity measures. We evaluate the approach on HOL based proof assistants HOL4, HOL Light and Isabelle/HOL, discovering 398 pairs of isomorphic constants and types

Chemical compositions at Mars landing sites subject to Mars Odyssey Gamma Ray Spectrometer constraints

The Mars Odyssey Gamma Ray Spectrometer (GRS) is the first instrument suite to return elemental abundances throughout the midlatitudes of Mars. Concentrations of Cl, Fe, H, K, Si, and Th have been determined to tens of centimeter depths as mass fractions with reasonable confidence. Comparing such data with, or normalizing them to, in situ compositional data is difficult due to issues such as dramatic differences in spatial resolution; difficulties in convolving densities, abundances, and compositions of different regolith components; and a limited number of elements observed in common. We address these concerns in the context of the GRS, using Si at Pathfinder to normalize remote data. In addition, we determine representative in situ compositions for Spirit (both with and without Columbia Hills rocks), Opportunity, and Viking 1 landing sites using GRS-derived H content to hydrate the soil component. Our estimate of the Si mass fraction at Pathfinder, with 13% areal fraction of rocks, is 21%. The composition of major elements, such as Si and Fe, is similar across the four landing sites, while minor elements show significant variability. Areal dominance of soil at all four landing sites causes representative compositions to be driven by the soil component, while proportionally large uncertainties of bulk densities dominate the net uncertainties. GRS compositional determinations compare favorably with the in situ estimates for Cl and K, and for Si by virtue of the normalization. However, the GRS-determined Fe content at each landing site is consistently higher than the in situ value. Copyright 2007 by the American Geophysical Union

The future of human nature: a symposium on the promises and challenges of the revolutions in genomics and computer science, April 10, 11, and 12, 2003

This repository item contains a single issue of the Pardee Conference Series, a publication series that began publishing in 2006 by the Boston University Frederick S. Pardee Center for the Study of the Longer-Range Future. This was the Center's Symposium on the Promises and Challenges of the Revolutions in Genomics and Computer Science took place during April 10, 11, and 12, 2003. Co-organized by Charles DeLisi and Kenneth Lewes; sponsored by Boston University, the Frederick S. Pardee Center for the Study of the Longer-Range Future.This conference focused on scientific and technological advances in genetics, computer science, and their convergence during the next 35 to 250 years. In particular, it focused on directed evolution, the futures it allows, the shape of society in those futures, and the robustness of human nature against technological change at the level of individuals, groups, and societies. It is taken as a premise that biotechnology and computer science will mature and will reinforce one another. During the period of interest, human cloning, germ-line genetic engineering, and an array of reproductive technologies will become feasible and safe. Early in this period, we can reasonably expect the processing power of a laptop computer to exceed the collective processing power of every human brain on the planet; later in the period human/machine interfaces will begin to emerge. Whether such technologies will take hold is not known. But if they do, human evolution is likely to proceed at a greatly accelerated rate; human nature as we know it may change markedly, if it does not disappear altogether, and new intelligent species may well be created

Anatomical localization of progenitor cells in human breast tissue reveals enrichment of uncommitted cells within immature lobules

Introduction: Lineage tracing studies in mice have revealed the localization and existence of lineage-restricted mammary epithelial progenitor cells that functionally contribute to expansive growth during puberty and differentiation during pregnancy. However, extensive anatomical differences between mouse and human mammary tissues preclude the direct translation of rodent findings to the human breast. Therefore, here we characterize the mammary progenitor cell hierarchy and identify the anatomic location of progenitor cells within human breast tissues. Methods: Mammary epithelial cells (MECs) were isolated from disease-free reduction mammoplasty tissues and assayed for stem/progenitor activity in vitro and in vivo. MECs were sorted and evaluated for growth on collagen and expression of lineages markers. Breast lobules were microdissected and individually characterized based on lineage markers and steroid receptor expression to identify the anatomic location of progenitor cells. Spanning-tree progression analysis of density-normalized events (SPADE) was used to identify the cellular hierarchy of MECs within lobules from high-dimensional cytometry data. Results: Integrating multiple assays for progenitor activity, we identified the presence of luminal alveolar and basal ductal progenitors. Further, we show that Type I lobules of the human breast were the least mature, demonstrating an unrestricted pattern of expression of luminal and basal lineage markers. Consistent with this, SPADE analysis revealed that immature lobules were enriched for basal progenitor cells, while mature lobules consisted of increased hierarchal complexity of cells within the luminal lineages. Conclusions: These results reveal underlying differences in the human breast epithelial hierarchy and suggest that with increasing glandular maturity, the epithelial hierarchy also becomes more complex. Electronic supplementary material The online version of this article (doi:10.1186/s13058-014-0453-3) contains supplementary material, which is available to authorized users

Observation of an oxygen isotope effect in YBa\u3csub\u3e2\u3c/sub\u3eCu\u3csub\u3e3\u3c/sub\u3eO\u3csub\u3e7\u3c/sub\u3e

A small decrease in Tc of 0.3 K to 0.5 K is observed when as much as 90% of the 16O in YBa2Cu3O7 is substituted with18O. This result is consistent with our observation that there is an oxygen isotope effect in La1.85Sr0.15CuO4, but in contrast with previous reports that there is no isotope effect for YBa2Cu3O7. This new result suggests that phonons play an important role in the electron-pairing mechanism in YBa2Cu3O7