QUASAT: An orbiting very long baseline interferometer program using large space antenna systems

QUASAT, which stands for QUASAR SATELLITE, is the name given to a new mission being studied by NASA. The QUASAT mission concept involves a free flying Earth orbiting large radio telescope, which will observe astronomical radio sources simultaneously with ground radio telescopes. The primary goal of QUASAT is to provide a system capable of collecting radio frequency data which will lead to a better understanding of extremely high energy events taking place in a variety of celestial objects including quasars, galactic nuclei, interstellar masers, radio stars and pulsars. QUASAT's unique scientific contribution will be the increased resolution in the emission brightness profile maps of the celestial objects

Delivery of crop pollination services is an insufficient argument for wild pollinator conservation

There is compelling evidence that more diverse ecosystems deliver greater benefits to people, and these ecosystem services have become a key argument for biodiversity conservation. However, it is unclear how much biodiversity is needed to deliver ecosystem services in a cost- effective way. Here we show that, while the contribution of wild bees to crop production is significant, service delivery is restricted to a limited subset of all known bee species. Across crops, years and biogeographical regions, crop-visiting wild bee communities are dominated by a small number of common species, and threatened species are rarely observed on crops. Dominant crop pollinators persist under agricultural expansion and many are easily enhanced by simple conservation measures, suggesting that cost- effective management strategies to promote crop pollination should target a different set of species than management strategies to promote threatened bees. Conserving the biological diversity of bees therefore requires more than just ecosystem-service-based arguments

Introducing a Calculus of Effects and Handlers for Natural Language Semantics

In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the same pattern: they are instances of a monad. In this paper, we present an extension of the simply-typed lambda calculus that exploits this uniformity using the recently discovered technique of effect handlers. We prove that our calculus exhibits some of the key formal properties of the lambda calculus and we use it to construct a modular semantics for a small fragment that involves multiple distinct semantic phenomena

A sensitivity study on the mechanical properties of interface elements adopted in finite element analyses to simulate the interaction between soil and laterally loaded piles

An increasing number of offshore energy structures have been built recently on driven piles, ranging from jack- et piles with typical length-to-diameter (L/D) ratios of 10-40 to monopiles with far lower L/D ratios. The load-displacement behaviour of these foundations can be investigated by means of Finite Element (FE) analyses, for instance following the design methodology developed by the PISA Joint Industry Project (JIP). A challenging aspect of the modelling, for piles loaded either axially or laterally, is the simulation of the behaviour at the soil-pile interface with the adoption of suitable formulations for the interface elements and with representative mechanical properties. This paper presents a sensitivity study conducted on both the elastic and plastic properties of interface elements adopted in FE analyses of laterally loaded piles driven in chalk. The study benefited from the extensive field and laboratory test results collected during the ALPACA JIP and the corresponding pile tests. The aim of the paper is to provide guidance for numerical modelling on the selection of the most appropriate mechanical properties of interface elements to be used in the analyses of soil-pile interaction under lateral loading

Seeking Sustainability: COSA preliminary analysis of sustainability initiatives in the coffee sector

The growing economic value and consumer popularity of sustainability standards inevitably raise questions about the extent to which their structure and dynamics actually address many environmental, economic and public welfare issues. The Committee on Sustainable Assessment (COSA) was formed, in part, to develop a scientifically credible framework capable of assessing the impacts associated with the adoption of sustainability initiatives. This paper examines the pilot phase of vetting and testing the COSA method, an innovative management tool used to gather and analyze data using economic, environmental and social metrics.sustainability initiatives, standards, organic, fair trade, Rainforest, social, environmental, economic certification

Simulation of transient energy distributions in sub-ns streamer formation

Breakdown and streamer formation is simulated in atmospheric pressure nitrogen for a 2D planar electrode system. A PIC code with multigrid potential solver is used to simulate the evolution of the non-equilibrium ionization front on sub-nanosecond timescales. The ion and electron energy distributions are computed, accounting for the inclusion of inelastic scattering of electrons, and collisionally excited metastable production and ionization. Of particular interest is the increased production of metastable and low-energy ions and electrons when the applied field is reversed during the progress of the ionization front, giving insight into the improved species yields in nanosecond pulsed systems

An Evaluation Service for Digital Public Health Interventions: User-Centered Design Approach

BACKGROUND: Digital health interventions (DHIs) have the potential to improve public health by combining effective interventions and population reach. However, what biomedical researchers and digital developers consider an effective intervention differs, thereby creating an ongoing challenge to integrating their respective approaches when evaluating DHIs. OBJECTIVE: This study aims to report on the Public Health England (PHE) initiative set out to operationalize an evaluation framework that combines biomedical and digital approaches and demonstrates the impact, cost-effectiveness, and benefit of DHIs on public health. METHODS: We comprised a multidisciplinary project team including service designers, academics, and public health professionals and used user-centered design methods, such as qualitative research, engagement with end users and stakeholders, and iterative learning. The iterative approach enabled the team to sequentially define the problem, understand user needs, identify opportunity areas, develop concepts, test prototypes, and plan service implementation. Stakeholders, senior leaders from PHE, and a working group critiqued the outputs. RESULTS: We identified 26 themes and 82 user needs from semistructured interviews (N=15), expressed as 46 Jobs To Be Done, which were then validated across the journey of evaluation design for a DHI. We identified seven essential concepts for evaluating DHIs: evaluation thinking, evaluation canvas, contract assistant, testing toolkit, development history, data hub, and publish health outcomes. Of these, three concepts were prioritized for further testing and development, and subsequently refined into the proposed PHE Evaluation Service for public health DHIs. Testing with PHE’s Couch-to-5K app digital team confirmed the viability, desirability, and feasibility of both the evaluation approach and the Evaluation Service. CONCLUSIONS: An iterative, user-centered design approach enabled PHE to combine the strengths of academic and biomedical disciplines with the expertise of nonacademic and digital developers for evaluating DHIs. Design-led methodologies can add value to public health settings. The subsequent service, now known as Evaluating Digital Health Products, is currently in use by health bodies in the United Kingdom and is available to others for tackling the problem of evaluating DHIs pragmatically and responsively