The Verifying Compiler: A Grand Challenge for Computing Research

Abstract. This contribution proposes a set of criteria that distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the interest of scientists and engineers. As an example drawn from Computer Science, it revives an old challenge: the construction and application of a verifying compiler that guarantees correctness of a program before running it. Introduction. The primary purpose of the formulation and promulgation of a grand challenge is the advancement of science or engineering. A grand challenge represents a commitment by a significant section of the research community to work together towards a common goal, agreed to be valuable and achievable by a team effort within a predicted timescale. The challenge is formulated by th

Improved Measurement of the dˉ/uˉ\bar d / \bar u Asymmetry in the Nucleon Sea

Measurements of the ratio of Drell-Yan yields from an 800 \rm{GeV/c} proton beam incident on liquid hydrogen and deuterium targets are reported. Approximately 360,000 Drell-Yan muon pairs remained after all cuts on the data. From these data, the ratio of anti-down ($\bar{d}$) to anti-up ($\bar{u}$) quark distributions in the proton sea is determined over a wide range in Bjorken-$x$. These results confirm previous measurements by E866 and extend them to lower $x$. From these data, $(\bar{d}-\bar{u})$ and $\int(\bar{d}-\bar{u})dx$ are evaluated for $0.015<x<0.35$. These results are compared with parameterizations of various parton distribution functions, models and experimental results from NA51, NMC, and HERMES.Comment: 17 pages, 15 figure

Comprehensive analysis of epigenetic clocks reveals associations between disproportionate biological ageing and hippocampal volume

The concept of age acceleration, the difference between biological age and chronological age, is of growing interest, particularly with respect to age-related disorders, such as Alzheimer’s Disease (AD). Whilst studies have reported associations with AD risk and related phenotypes, there remains a lack of consensus on these associations. Here we aimed to comprehensively investigate the relationship between five recognised measures of age acceleration, based on DNA methylation patterns (DNAm age), and cross-sectional and longitudinal cognition and AD-related neuroimaging phenotypes (volumetric MRI and Amyloid-β PET) in the Australian Imaging, Biomarkers and Lifestyle (AIBL) and the Alzheimer’s Disease Neuroimaging Initiative (ADNI). Significant associations were observed between age acceleration using the Hannum epigenetic clock and cross-sectional hippocampal volume in AIBL and replicated in ADNI. In AIBL, several other findings were observed cross-sectionally, including a significant association between hippocampal volume and the Hannum and Phenoage epigenetic clocks. Further, significant associations were also observed between hippocampal volume and the Zhang and Phenoage epigenetic clocks within Amyloid-β positive individuals. However, these were not validated within the ADNI cohort. No associations between age acceleration and other Alzheimer’s disease-related phenotypes, including measures of cognition or brain Amyloid-β burden, were observed, and there was no association with longitudinal change in any phenotype. This study presents a link between age acceleration, as determined using DNA methylation, and hippocampal volume that was statistically significant across two highly characterised cohorts. The results presented in this study contribute to a growing literature that supports the role of epigenetic modifications in ageing and AD-related phenotypes

A theoretical investigation of thermal contact conductance

The flow of heat between two nominally flat rough surfaces is considered. The variation of thermal conductance with applied load is determined for elastic and plastic modes of surface deformation.

The flow of heat between bodies in gas-filled contact

A mixed boundary value problem arising in the flow of heat between bodies where the interstices contain conducting gas is reduced to an integral equation. The integral equation is solved numerically and an asymptotic limit is considered.

Non-isothermal, non Newtonian flow of polymers in complex geometries

Geen samenvatting