Partially defined computer instructions and guards

AbstractWe here extend our earlier work on the theory of computer instructions to consider instructions which are only partially defined. For every such instruction, we assume that it is defined whenever a certain Boolean expression is true; we refer to such a Boolean expression as a guard, following Dijkstra. This is a special case of a more general function on the set of states of a computer, representing an expression in a programming language. Many constructs for instructions now generalize to partially defined instructions; in particular, we define the notion of conditional input and output regions, as well as the relevant region of a more general expression. Fundamental theorems about instructions generalize to theorems about guards and about partially defined instructions. We also define the parallel execution of such instructions, which is useful in validating a generalized instruction commutativity criterion

Effects of Storm Surges on the Beaufort Sea Coast, Northern Alaska

In 1970, a major storm surge caused by gale-force westerly winds inundated low-lying tundra plains and deltas as far as 5000 m inland and left a driftwood line as much as 3.4 m above normal sea level along the Beaufort Sea coast of Alaska. The height of the surge followed a predictable pattern and was highest along windward-facing shorelines. Coastal retreat and thermoerosion are greatly accelerated on such west-facing shores with eastward sediment transport opposite to normal littoral drift. Evidence suggests an approximate 100-year recurrence interval for similar surges, with potential for damaging the developing oil fields on the North Slope

Plasmonic enhancement of molecular hydrogen dissociation on metallic magnesium nanoclusters

Light-driven plasmonic enhancement of chemical reactions on metal catalysts is a promising strategy to achieve highly selective and efficient chemical transformations. The study of plasmonic catalyst materials has traditionally focused on late transition metals such as Au, Ag, and Cu. In recent years, there has been increasing interest in the plasmonic properties of a set of earth-abundant elements such as Mg, which exhibit interesting hydrogenation chemistry with potential applications in hydrogen storage. This work explores the optical, electronic, and catalytic properties of a set of metallic Mg nanoclusters with up to 2057 atoms using time-dependent density functional tight-binding and density functional theory calculations. Our results show that Mg nanoclusters are able to produce highly energetic hot electrons with energies of up to 4 eV. By electronic structure analysis, we find that these hot electrons energetically align with electronic states of physisorbed molecular hydrogen, occupation of which by hot electrons can promote the hydrogen dissociation reaction. We also find that the reverse reaction, hydrogen evolution on metallic Mg, can potentially be promoted by hot electrons, but following a different mechanism. Thus, from a theoretical perspective, Mg nanoclusters display very promising behaviour for their use in light promoted storage and release of hydrogen

Eggshell pigment composition covaries with phylogeny but not with life history or with nesting ecology traits of British passerines

No single hypothesis is likely to explain the diversity in eggshell coloration and patterning across birds, suggesting that eggshell appearance is most likely to have evolved to fulfill many nonexclusive functions. By controlling for nonindependent phylogenetic associations between related species, we describe this diversity using museum eggshells of 71 British breeding passerine species to examine how eggshell pigment composition and concentrations vary with phylogeny and with life-history and nesting ecology traits. Across species, concentrations of biliverdin and protoporphyrin, the two main pigments found in eggshells, were strongly and positively correlated, and both pigments strongly covaried with phylogenetic relatedness. Controlling for phylogeny, cavity-nesting species laid eggs with lower protoporphyrin concentrations in the shell, while higher biliverdin concentrations were associated with thicker eggshells for species of all nest types. Overall, these relationships between eggshell pigment concentrations and the biology of passerines are similar to those previously found in nonpasserine eggs, and imply that phylogenetic dependence must be considered across the class in further explanations of the functional significance of avian eggshell coloration

Importance of equivariant features in machine-learning interatomic potentials for reactive chemistry at metal surfaces

Reactive chemistry of molecular hydrogen at surfaces, notably dissociative sticking and hydrogen evolution, play a crucial role in energy storage, fuel cells, and chemical synthesis. Copper is a particularly interesting metal for studying these processes due to its widespread use as both a catalyst in industry and a model catalyst in fundamental research. Theoretical studies can help to decipher underlying mechanisms and reaction design, but studying these systems computationally is challenging due to the complex electronic structure of metal surfaces and the high sensitivity towards reaction barriers. In addition, ab initio molecular dynamics, based on density functional theory, is too computationally demanding to explicitly simulate reactive sticking or desorption probabilities. A promising solution to such problems can be provided through high-dimensional machine learning-based interatomic potentials (MLIPs). Despite the remarkable accuracy and fidelity of MLIPs, particularly in molecular and bulk inorganic materials simulations, their application to different facets of hybrid systems and the selection of appropriate representations remain largely unexplored. This paper addresses these issues and investigates how feature equivariance in MLIPs impacts adaptive sampling workflows and data efficiency. Specifically, we develop high-dimensional MLIPs to investigate reactive hydrogen scattering on copper surfaces and compare the performance of various MLIPs that use equivariant features for atomic representation (PaiNN) with those that use invariant representations (SchNet). Our findings demonstrate that using equivariant features can greatly enhance the accuracy and reliability of MLIPs for gas surface dynamics and that this approach should become the standard in this field

Eggshell pigment composition covaries with phylogeny

No single hypothesis is likely to explain the diversity in eggshell coloration and patterning across birds, suggesting that eggshell appearance is most likely to have evolved to fulfill many nonexclusive functions. By controlling for nonindependent phylogenetic associations between related species, we describe this diversity using museum eggshells of 71 British breeding passerine species to examine how eggshell pigment composition and concentrations vary with phylogeny and with life-history and nesting ecology traits. Across species, concentrations of biliverdin and protoporphyrin, the two main pigments found in eggshells, were strongly and positively correlated, and both pigments strongly covaried with phylogenetic relatedness. Controlling for phylogeny, cavity-nesting species laid eggs with lower protoporphyrin concentrations in the shell, while higher biliverdin concentrations were associated with thicker eggshells for species of all nest types. Overall, these relationships between eggshell pigment concentrations and the biology of passerines are similar to those previously found in nonpasserine eggs, and imply that phylogenetic dependence must be considered across the class in further explanations of the functional significance of avian eggshell coloration

Sex differences and survival in adults with bicuspid aortic valves : verification in 3 contemporary echocardiographic cohorts

Background-—Sex-related differences in morbidity and survival in bicuspid aortic valve (BAV) adults are fundamentally unknown. Contemporary studies portend excellent survival for BAV patients identified at early echocardiographic-clinical stages. Whether BAV adults incur a survival disadvantage throughout subsequent echocardiographic-clinical stages remains undetermined. Methods and Results-—Analysis was done of 3 different cohorts of consecutive patients with echocardiographic diagnosis of BAV identified retrospectively: (1) a community cohort of 416 patients with first BAV diagnosis (age 35 21 years, follow-up 16 7 years), (2) a tertiary clinical referral cohort of 2824 BAV adults (age 51 16 years, follow-up 9 6 years), and (3) a surgical referral cohort of 2242 BAV adults referred for aortic valve replacement (AVR) (age 62 14 years, follow-up 6 5 years). For the community cohort, 20-year risks of aortic regurgitation (AR), AVR, and infective endocarditis were higher in men (all P=0.04); for a total BAV-related morbidity risk of 52 4% vs 35 6% in women (P=0.01). The cohort’s 25-year survival was identical to that in the general population (P=0.98). AR independently predicted mortality in women (P=0.001). Baseline AR was more common in men (P=0.02) in the tertiary cohort, with 20-year survival lower than that in the general population (P<0.0001); age-adjusted relative death risk was 1.16 (95% confidence interval [CI] 1.05-1.29) for men versus 1.67 (95% CI 1.38-2.03) for women (P=0.001). AR independently predicted mortality in women (P=0.01). Baseline AR and infective endocarditis were higher in men (both =0.001) for the surgical referral cohort, with 15-year survival lower than that in the general population (P<0.0001); age-adjusted relative death risk was 1.34 (95% CI 1.22-1.47) for men versus 1.63 (95% CI 1.40-1.89) for women (P=0.026). AR and NYHA class independently predicted mortality in women (both P=0.04). Conclusions-—Within evolving echocardiographic-clinical stages, the long-term survival of adults with BAV is not benign, as both men and women incur excess mortality. Although BAV-related morbidity is higher in men in the community, and AR and infective endocarditis are more prevalent in men, women exhibit a significantly higher relative risk of death in tertiary and surgical referral cohorts, which is independently associated with A

IGD Motifs, Which Are Required for Migration Stimulatory Activity of Fibronectin Type I Modules, Do Not Mediate Binding in Matrix Assembly

Picomolar concentrations of proteins comprising only the N-terminal 70-kDa region (70K) of fibronectin (FN) stimulate cell migration into collagen gels. The Ile-Gly-Asp (IGD) motifs in four of the nine FN type 1 (FNI) modules in 70K are important for such migratory stimulating activity. The 70K region mediates binding of nanomolar concentrations of intact FN to cell-surface sites where FN is assembled. Using baculovirus, we expressed wildtype 70K and 70K with Ile-to-Ala mutations in 3FNI and 5FNI; 7FNI and 9FNI; or 3FNI, 5FNI, 7FNI, and 9FNI. Wildtype 70K and 70K with Ile-to-Ala mutations were equally active in binding to assembly sites of FN-null fibroblasts. This finding indicates that IGD motifs do not mediate the interaction between 70K and the cell-surface that is important for FN assembly. Further, FN fragment N-3FNIII, which does not stimulate migration, binds to assembly sites on FN-null fibroblast. The Ile-to-Ala mutations had effects on the structure of FNI modules as evidenced by decreases in abilities of 70K with Ile-to-Ala mutations to bind to monoclonal antibody 5C3, which recognizes an epitope in 9FNI, or to bind to FUD, a polypeptide based on the F1 adhesin of Streptococcus pyogenes that interacts with 70K by the β-zipper mechanism. These results suggest that the picomolar interactions of 70K with cells that stimulate cell migration require different conformations of FNI modules than the nanomolar interactions required for assembly

NQCDynamics.jl : a Julia package for nonadiabatic quantum classical molecular dynamics in the condensed phase

Accurate and efficient methods to simulate nonadiabatic and quantum nuclear effects in high-dimensional and dissipative systems are crucial for the prediction of chemical dynamics in condensed phase. To facilitate effective development, code sharing and uptake of newly developed dynamics methods, it is important that software implementations can be easily accessed and built upon.Using the Julia programming language, we have developed the \pkgname ~ package which provides a framework for established and emerging methods for performing semiclassical and mixed quantum-classical dynamics in condensed phase. The code provides several interfaces to existing atomistic simulation frameworks, electronic structure codes, and machine learning representations. In addition to the existing methods, the package provides infrastructure for developing and deploying new dynamics methods which we hope will benefit reproducibility and code sharing in the field of condensed phase quantum dynamics. Herein, we present our code design choices and the specific Julia programming features from which they benefit.We further demonstrate the capabilities of the package on two examples of chemical dynamics in condensed phase: the population dynamics of the spin-boson model as described by a wide variety of semi-classical and mixed quantum-classical nonadiabatic methods and the reactive scattering of H2 on Ag(111) using the Molecular Dynamics with Electronic Friction method. Together, they exemplify the broad scope of the package to study effective model Hamiltonians and realistic atomistic systems

Prefacing unexplored archives from Central Andean surface-to-bedrock ice cores through a multifaceted investigation of regional firn and ice core glaciochemistry.

Shallow firn cores, in addition to a near-basal ice core, were recovered in 2018 from the Quelccaya ice cap (5470 m a.s.l) in the Cordillera Vilcanota, Peru, and in 2017 from the Nevado Illimani glacier (6350 m a.s.l) in the Cordillera Real, Bolivia. The two sites are ~450 km apart. Despite meltwater percolation resulting from warming, particle-based trace element records (e.g. Fe, Mg, K) in the Quelccaya and Illimani shallow cores retain well-preserved signals. The firn core chronologies, established independently by annual layer counting, show a convincing overlap indicating the two records contain comparable signals and therefore capture similar regional scale climatology. Trace element records at a ~1?4 cm resolution provide past records of anthropogenic emissions, dust sources, volcanic emissions, evaporite salts and marine-sourced air masses. Using novel ultra-high-resolution (120 ?m) laser technology, we identify annual layer thicknesses ranging from 0.3 to 0.8 cm in a section of 2000-year-old radiocarbon-dated near-basal ice which compared to the previous annual layer estimates suggests that Quelccaya ice cores drilled to bedrock may be older than previously suggested by depth-age models. With the information collected from this study in combination with past studies, we emphasize the importance of collecting new surface-to-bedrock ice cores from at least the Quelccaya ice cap, in particular, due to its projected disappearance as soon as the 2050s