Unified continuum approach to crystal surface morphological relaxation

A continuum theory is used to predict scaling laws for the morphological relaxation of crystal surfaces in two independent space dimensions. The goal is to unify previously disconnected experimental observations of decaying surface profiles. The continuum description is derived from the motion of interacting atomic steps. For isotropic diffusion of adatoms across each terrace, induced adatom fluxes transverse and parallel to step edges obey different laws, yielding a tensor mobility for the continuum surface flux. The partial differential equation (PDE) for the height profile expresses an interplay of step energetics and kinetics, and aspect ratio of surface topography that plausibly unifies observations of decaying bidirectional surface corrugations. The PDE reduces to known evolution equations for axisymmetric mounds and one-dimensional periodic corrugations.Comment: 5 pages, 1 figur

Is scale-up worth it? Challenges in economic analysis of diagnostic tests for tuberculosis.

David Dowdy and colleagues discuss the complexities of costing new TB diagnostic tests, including GeneXpert, and argue that flexible analytic tools are needed for decision-makers to adapt large-sample cost-effectiveness data to local conditions

Evidence Arguments for Using Formal Methods in Software Certification

We describe a generic approach for automatically integrating the output generated from a formal method/tool into a software safety assurance case, as an evidence argument, by (a) encoding the underlying reasoning as a safety case pattern, and (b) instantiating it using the data produced from the method/tool. We believe this approach not only improves the trustworthiness of the evidence generated from a formal method/tool, by explicitly presenting the reasoning and mechanisms underlying its genesis, but also provides a way to gauge the suitability of the evidence in the context of the wider assurance case. We illustrate our work by application to a real example-an unmanned aircraft system- where we invoke a formal code analysis tool from its autopilot software safety case, automatically transform the verification output into an evidence argument, and then integrate it into the former

Adult children's education and trajectories of episodic memory among older parents in the United States of America

The purpose of this study is to assess the relationship between adult children's education and older parents’ cognitive health, and the extent to which this relationship is moderated by parents’ own socio-economic and marital statuses. Data using Waves 5 (2000) to 13 (2016) are drawn from the Health and Retirement Study (HRS), a nationally representative panel survey of individuals age 50 and above in the United States of America (USA). Older parents’ cognitive functioning is measured using episodic memory from Waves 5–13. Adult children's education is measured using years of schooling, on average, for all adult children of a respondent. Analyses based on multilevel linear growth curve modelling reveal that parents with well-educated adult children report higher memory score over time compared to their counterparts whose children are not as well-educated. We also find that the positive effect of children's education on parents’ cognitive health is moderated by parents’ own education, though not by their income, occupation or marital status. Our work contributes to the growing body of research on the ‘upward’ flow of resources model that assesses the ways in which personal and social assets of the younger generation shape the health and wellbeing of the older generation. Our findings are particularly relevant to the USA given the enduring linkage between socio-economic status and health, and the limited social and economic protection for those of lower social status

Unique gap structure and symmetry of the charge density wave in single-layer VSe2_2

Single layers of transition metal dichalcogenides (TMDCs) are excellent candidates for electronic applications beyond the graphene platform; many of them exhibit novel properties including charge density waves (CDWs) and magnetic ordering. CDWs in these single layers are generally a planar projection of the corresponding bulk CDWs because of the quasi-two-dimensional nature of TMDCs; a different CDW symmetry is unexpected. We report herein the successful creation of pristine single-layer VSe$_2$, which shows a ($\sqrt7 \times \sqrt3$) CDW in contrast to the (4 $\times$ 4) CDW for the layers in bulk VSe$_2$. Angle-resolved photoemission spectroscopy (ARPES) from the single layer shows a sizable ($\sqrt7 \times \sqrt3$) CDW gap of $\sim$100 meV at the zone boundary, a 220 K CDW transition temperature twice the bulk value, and no ferromagnetic exchange splitting as predicted by theory. This robust CDW with an exotic broken symmetry as the ground state is explained via a first-principles analysis. The results illustrate a unique CDW phenomenon in the two-dimensional limit

Safety Case Patterns: Theory and Applications

We develop the foundations for a theory of patterns of safety case argument structures, clarifying the concepts involved in pattern specification, including choices, labeling, and well-founded recursion. We specify six new patterns in addition to those existing in the literature. We give a generic way to specify the data required to instantiate patterns and a generic algorithm for their instantiation. This generalizes earlier work on generating argument fragments from requirements tables. We describe an implementation of these concepts in AdvoCATE, the Assurance Case Automation Toolset, showing how patterns are defined and can be instantiated. In particular, we describe how our extended notion of patterns can be specified, how they can be instantiated in an interactive manner, and, finally, how they can be automatically instantiated using our algorithm

Do depressive symptoms link chronic diseases to cognition among older adults? Evidence from the Health and Retirement Study in the United States

Background: Few studies have assessed psychological pathways that connect the association between non-psychotropic chronic disease and cognition. We assessed the extent to which the association between the two was mediated by depressive symptoms in older adults. / Methods: Data came from waves 10-13 (2010-2016) of the Health and Retirement Study in the United States (7,651 men and 10,248 women). Multilevel path analysis, allowing for random intercepts and slopes, was employed to estimate the extent to which depressive symptoms mediated the total effect of a chronic disease on cognition. / Results: We found that the presence of stroke, high blood pressure, diabetes, heart problems, and comorbidity, in both men and women, and lung disease in women, was associated with lower levels of cognition. The total effects of chronic diseases on cognition were partially mediated through depressive symptoms. Depressive symptoms mediated approximately 19%–39% and 23%–54% of the total effects of chronic diseases on cognition in men and women, respectively. This mediation effect of depressive symptoms was more consequential for older women than their male counterparts in all statistically significant associations between chronic diseases and cognition, except for diabetes. / Limitations: We relied on self-reported diagnoses of diseases and depressive symptoms. Our use of a multilevel path analysis with random slopes precluded the inclusion of binary/categorical dependent variables, and the estimation of standardized beta values. / Conclusions: To understand the cognitive challenges that chronically ill older adults face, practitioners and policymakers should consider not just the direct symptoms related to chronic diseases, but also the often overlooked psychological conditions faced by older adults