Relationship of Health-Related Quality of Life to Functional Fitness in Rural Cancer Survivors

Click the PDF icon to download the abstract

Trace Properties from Separation Logic Specifications

We propose a formal approach for relating abstract separation logic library specifications with the trace properties they enforce on interactions between a client and a library. Separation logic with abstract predicates enforces a resource discipline that constrains when and how calls may be made between a client and a library. Intuitively, this can enforce a protocol on the interaction trace. This intuition is broadly used in the separation logic community but has not previously been formalised. We provide just such a formalisation. Our approach is based on using wrappers which instrument library code to induce execution traces for the properties under examination. By considering a separation logic extended with trace resources, we prove that when a library satisfies its separation logic specification then its wrapped version satisfies the same specification and, moreover, maintains the trace properties as an invariant. Consequently, any client and library implementation that are correct with respect to the separation logic specification will satisfy the trace properties

Role of diffusive surface scattering in nonlocal plasmonics

The recent generalised nonlocal optical response (GNOR) theory for plasmonics is analysed, and its main input parameter, namely the complex hydrodynamic convection-diffusion constant, is quantified in terms of enhanced Landau damping due to diffusive surface scattering of electrons at the surface of the metal. GNOR has been successful in describing plasmon damping effects, in addition to the frequency shifts originating from induced-charge screening, through a phenomenological electron diffusion term implemented into the traditional hydrodynamic Drude model of nonlocal plasmonics. Nevertheless, its microscopic derivation and justification is still missing. Here we discuss how the inclusion of a diffusion-like term in standard hydrodynamics can serve as an efficient vehicle to describe Landau damping without resorting to computationally demanding quantum-mechanical calculations, and establish a direct link between this term and the Feibelman $d$ parameter for the centroid of charge. Our approach provides a recipe to connect the phenomenological fundamental GNOR parameter to a frequency-dependent microscopic surface-response function. We therefore tackle one of the principal limitations of the model, and further elucidate its range of validity and limitations, thus facilitating its proper application in the framework of nonclassical plasmonics

Isgur-Wise Functions from the Mit Bag Model

The Isgur-Wise functions for the ground state to ground state semileptonic decays involving $b \rightarrow c$ transitions are calculated from the (modified) MIT bag model. It is checked that the results for the decays $\overline{B} \rightarrow D l \overline\nu$ and $\overline{B} \rightarrow D^* l \overline\nu$ agree well with experiment. Predictions for the decays $\Lambda_b \rightarrow \Lambda_c l \overline\nu$, $\overline{B}_s \rightarrow D_s l \overline\nu$ and $\overline{B}_s \rightarrow D^*_s l \overline\nu$ are given and discussed.Comment: 12 pages (3 figures available upon request), LaTeX, TPJU - 9/9

Isgur - Wise Functions for Confined Light Quarks in a Colour Electric Potential

We explore the influence on the Isgur-Wise function of the colour electric potential between heavy and light quarks in mesons. It is shown that in bag models, its inclusion tends to restore light quark flavour symmetry relative to the MIT bag predictions, and that relative to this model it flattens the Isgur-Wise function. Results compare very well with observations.Comment: 9 pages, 1 figure (available upon request), Latex, TPJU - 4/9

Permafrost degradation risk zone assessment using simulation models

In this proof-of-concept study we focus on linking large scale climate and permafrost simulations to small scale engineering projects by bridging the gap between climate and permafrost sciences on the one hand and on the other technical recommendation for adaptation of planned infrastructures to climate change in a region generally underlain by permafrost. We present the current and future state of permafrost in Greenland as modelled numerically with the GIPL model driven by HIRHAM climate projections up to 2080. We develop a concept called Permafrost Thaw Potential (PTP), defined as the potential active layer increase due to climate warming and surface alterations. PTP is then used in a simple risk assessment procedure useful for engineering applications. The modelling shows that climate warming will result in continuing wide-spread permafrost warming and degradation in Greenland, in agreement with present observations. We provide examples of application of the risk zone assessment approach for the two towns of Sisimiut and Ilulissat, both classified with high PTP

A Higher-Order Logic for Concurrent Termination-Preserving Refinement

Compiler correctness proofs for higher-order concurrent languages are difficult: they involve establishing a termination-preserving refinement between a concurrent high-level source language and an implementation that uses low-level shared memory primitives. However, existing logics for proving concurrent refinement either neglect properties such as termination, or only handle first-order state. In this paper, we address these limitations by extending Iris, a recent higher-order concurrent separation logic, with support for reasoning about termination-preserving refinements. To demonstrate the power of these extensions, we prove the correctness of an efficient implementation of a higher-order, session-typed language. To our knowledge, this is the first program logic capable of giving a compiler correctness proof for such a language. The soundness of our extensions and our compiler correctness proof have been mechanized in Coq

Stakeholder Theory and Marketing: Moving from a Firm-Centric to a Societal Perspective

This essay is inspired by the ideas and research examined in the special section on “Stakeholder Marketing” of the Journal of Public Policy & Marketing in 2010. The authors argue that stakeholder marketing is slowly coalescing with the broader thinking that has occurred in the stakeholder management and ethics literature streams during the past quarter century. However, the predominant view of stakeholders that many marketers advocate is still primarily pragmatic and company centric. The position advanced herein is that stronger forms of stakeholder marketing that reflect more normative, macro/societal, and network-focused orientations are necessary. The authors briefly explain and justify these characteristics in the context of the growing “prosociety” and “proenvironment” perspectives—orientations that are also in keeping with the public policy focus of this journal. Under the “hard form” of stakeholder theory, which the authors endorse, marketing managers must realize that serving stakeholders sometimes requires sacrificing maximum profits to mitigate outcomes that would inflict major damage on other stakeholders, especially society

Formation of solid particles in synoptic-scale Arctic PSCs in early winter 2002/2003

International audiencePolar stratospheric clouds (PSC) have been observed in early winter (December 2002) during the SOLVE II/Vintersol campaign, both from balloons carrying comprehensive instrumentation for measurements of chemical composition, size distributions, and optical properties of the particles, as well as from individual backscatter soundings from Esrange and Sodankylä. The observations are unique in the sense that the PSC particles seem to have formed in the early winter under synoptic temperature conditions and not being influenced by mountain lee waves. A sequence of measurements during a 5-days period shows a gradual change between liquid and solid type PSCs with the development of a well-known sandwich structure. It appears that all PSC observations show the presence of a background population of solid particles, occasionally mixed in with more optically dominating liquid particles. The measurements have been compared with results from a detailed microphysical and optical simulation of the formation processes. Calculated extinctions are in good agreement with SAGE-III measurements from the same period. Apparently the solid particles are controlled by the synoptic temperature history while the presence of liquid particles is controlled by the local temperatures at the time of observation. The temperature histories indicate that the solid particles are nucleated above the ice frost point, and a surface freezing mechanism for this is included in the model. Reducing the calculated freezing rates by a factor 10-20, the model is able to simulate the observed particle size distributions and reproduce observed HNO3 gas phase concentrations