Deductive synthesis of recursive plans in linear logic

Linear logic has previously been shown to be suitable for describing and deductively solving planning problems involving conjunction and disjunction. We introduce a recursively defined datatype and a corresponding induction rule, thereby allowing recursive plans to be synthesised. In order to make explicit the relationship between proofs and plans, we enhance the linear logic deduction rules to handle plans as a form of proof term

Moderating influences on the firm's strategic orientation-performance relationship

This paper is focused on the factors that moderate the relationship between firm's strategic orientation and performance in small and medium-sized firms. Much prior research has focused simply on identifying environmental conditions conducive to the effectiveness of the strategic orientation approach. However, recent research has called for studies focused on investigating internal moderators of the strategic orientation-performance relationship. As a result, we propose a contingency framework, considering how corporate and competitive strategies, top management characteristics, and environmental conditions may moderate this relationship. Based on a survey of 295 small and medium sized enterprises pertaining to seven manufacturing sectors, our study shows that the positive influence of firm's strategic orientation may be moderated by the environment conditions, the previous experience of top management team, and the corporate and competitive strategies developed by the firm

An integrated mid-range theory of postpartum family development: a guide for research and practice.

AIM: This paper is a report of a study to identify parents' perceptions of postpartum family experiences. BACKGROUND: There is a growing worldwide emphasis on family support. Government policy in the United Kingdom advocates a family-centred approach in which a core universal postbirth service is offered to all families with additional support for parents of children with complex needs. Health visitors provide family postpartum care without an agreed theory directing or standardizing practice. There is a need to identify parental experiences to define family-centred care. METHOD: A qualitative, exploratory approach was undertaken using a purposive sample of 17 postpartum families. Data were collected in one region of Northern Ireland in 2001-2002. Participants' experiences and views were accessed during two focus groups with a total of seven participants, and six in-depth interviews. Thematic analysis was conducted. FINDINGS: One core theme, 'thriving and surviving', and three main themes, 'baby nurture', 'life changes', 'coping and adapting resources', were identified to describe how parents developed during the first 8-week postpartum. These were influenced by the physical, the psychosocial and the environmental factors. The identified themes were mapped together to form an Integrated Mid-Range Theory of Postpartum Parent Development. CONCLUSION: As parents need to negotiate successfully both present coping and future development during the postpartum period, there is a need for professionals to offer services that are orientated to holistic short- and long-term well-being. The findings, further to additional research, may be used by health visitors and other professionals to direct universal postpartum care

Photon-induced proton knockout from 208Pb

No abstract available

The Business Model: Recent Developments and Future Research

This article provides a broad and multifaceted review of the received literature on business models in which the authors examine the business model concept through multiple subject-matter lenses. The review reveals that scholars do not agree on what a business model is and that the literature is developing largely in silos, according to the phenomena of interest of the respective researchers. However, the authors also found emerging common themes among scholars of business models. Specifically, (1) the business model is emerging as a new unit of analysis; (2) business models emphasize a system-level, holistic approach to explaining how firms “do business”; (3) firm activities play an important role in the various conceptualizations of business models that have been proposed; and (4) business models seek to explain how value is created, not just how it is captured. These emerging themes could serve as catalysts for a more unified study of business models

Exploring the Bimodal Solar System via Sample Return from the Main Asteroid Belt: The Case for Revisiting Ceres

Abstract: Sample return from a main-belt asteroid has not yet been attempted, but appears technologically feasible. While the cost implications are significant, the scientific case for such a mission appears overwhelming. As suggested by the “Grand Tack” model, the structure of the main belt was likely forged during the earliest stages of Solar System evolution in response to migration of the giant planets. Returning samples from the main belt has the potential to test such planet migration models and the related geochemical and isotopic concept of a bimodal Solar System. Isotopic studies demonstrate distinct compositional differences between samples believed to be derived from the outer Solar System (CC or carbonaceous chondrite group) and those that are thought to be derived from the inner Solar System (NC or non-carbonaceous group). These two groups are separated on relevant isotopic variation diagrams by a clear compositional gap. The interface between these two regions appears to be broadly coincident with the present location of the asteroid belt, which contains material derived from both groups. The Hayabusa mission to near-Earth asteroid (NEA) (25143) Itokawa has shown what can be learned from a sample-return mission to an asteroid, even with a very small amount of sample. One scenario for main-belt sample return involves a spacecraft launching a projectile that strikes an object and flying through the debris cloud, which would potentially allow multiple bodies to be sampled if a number of projectiles are used on different asteroids. Another scenario is the more traditional method of landing on an asteroid to obtain the sample. A significant range of main-belt asteroids are available as targets for a sample-return mission and such a mission would represent a first step in mineralogically and isotopically mapping the asteroid belt. We argue that a sample-return mission to the asteroid belt does not necessarily have to return material from both the NC and CC groups to viably test the bimodal Solar System paradigm, as material from the NC group is already abundantly available for study. Instead, there is overwhelming evidence that we have a very incomplete suite of CC-related samples. Based on our analysis, we advocate a dedicated sample-return mission to the dwarf planet (1) Ceres as the best means of further exploring inherent Solar System variation. Ceres is an ice-rich world that may be a displaced trans-Neptunian object. We almost certainly do not have any meteorites that closely resemble material that would be brought back from Ceres. The rich heritage of data acquired by the Dawn mission makes a sample-return mission from Ceres logistically feasible at a realistic cost. No other potential main-belt target is capable of providing as much insight into the early Solar System as Ceres. Such a mission should be given the highest priority by the international scientific community

What is the Oxygen Isotope Composition of Venus? The Scientific Case for Sample Return from Earth’s “Sister” Planet

Venus is Earth’s closest planetary neighbour and both bodies are of similar size and mass. As a consequence, Venus is often described as Earth’s sister planet. But the two worlds have followed very different evolutionary paths, with Earth having benign surface conditions, whereas Venus has a surface temperature of 464 °C and a surface pressure of 92 bar. These inhospitable surface conditions may partially explain why there has been such a dearth of space missions to Venus in recent years.The oxygen isotope composition of Venus is currently unknown. However, this single measurement (Δ17O) would have first order implications for our understanding of how large terrestrial planets are built. Recent isotopic studies indicate that the Solar System is bimodal in composition, divided into a carbonaceous chondrite (CC) group and a non-carbonaceous (NC) group. The CC group probably originated in the outer Solar System and the NC group in the inner Solar System. Venus comprises 41% by mass of the inner Solar System compared to 50% for Earth and only 5% for Mars. Models for building large terrestrial planets, such as Earth and Venus, would be significantly improved by a determination of the Δ17O composition of a returned sample from Venus. This measurement would help constrain the extent of early inner Solar System isotopic homogenisation and help to identify whether the feeding zones of the terrestrial planets were narrow or wide.Determining the Δ17O composition of Venus would also have significant implications for our understanding of how the Moon formed. Recent lunar formation models invoke a high energy impact between the proto-Earth and an inner Solar System-derived impactor body, Theia. The close isotopic similarity between the Earth and Moon is explained by these models as being a consequence of high-temperature, post-impact mixing. However, if Earth and Venus proved to be isotopic clones with respect to Δ17O, this would favour the classic, lower energy, giant impact scenario.We review the surface geology of Venus with the aim of identifying potential terrains that could be targeted by a robotic sample return mission. While the potentially ancient tessera terrains would be of great scientific interest, the need to minimise the influence of venusian weathering favours the sampling of young basaltic plains. In terms of a nominal sample mass, 10 g would be sufficient to undertake a full range of geochemical, isotopic and dating studies. However, it is important that additional material is collected as a legacy sample. As a consequence, a returned sample mass of at least 100 g should be recovered.Two scenarios for robotic sample return missions from Venus are presented, based on previous mission proposals. The most cost effective approach involves a “Grab and Go” strategy, either using a lander and separate orbiter, or possibly just a stand-alone lander. Sample return could also be achieved as part of a more ambitious, extended mission to study the venusian atmosphere. In both scenarios it is critical to obtain a surface atmospheric sample to define the extent of atmosphere-lithosphere oxygen isotopic disequilibrium. Surface sampling would be carried out by multiple techniques (drill, scoop, “vacuum-cleaner” device) to ensure success. Surface operations would take no longer than one hour.Analysis of returned samples would provide a firm basis for assessing similarities and differences between the evolution of Venus, Earth, Mars and smaller bodies such as Vesta. The Solar System provides an important case study in how two almost identical bodies, Earth and Venus, could have had such a divergent evolution. Finally, Venus, with its runaway greenhouse atmosphere, may provide data relevant to the understanding of similar less extreme processes on Earth. Venus is Earth’s planetary twin and deserves to be better studied and understood. In a wider context, analysis of returned samples from Venus would provide data relevant to the study of exoplanetary systems

Fear of bullying among adult, young and juvenile prisoners: Its association with perpetration, victimisation and behavioural predictors

The current study examines the association between fear of bullying and actual behaviour among male prisoners (n = 234: 84 adult, 86 young and 66 juvenile). It explores if developmental models of aggression can assist with understanding fear and if there is evidence to support an application of the Applied Fear Response model. Participants completed the Direct and Indirect Prisoner Checklist-Scaled Revised and the Threat Appraisal Bullying measure. Fear of bullying did not differ across age. There were no significant relationships between fear and actual victimisation or perpetration for juveniles. Fear was a significant predictor of increased emotional and help-seeking behaviours in juveniles, and inhibited negative behaviours in adults. Fear of bullying was highest among young and juvenile 'bully-victims'. The need to account for fear of victimisation as opposed to focusing solely on victimisation experience is outlined, particularly in relation to younger prisoners (i.e. young adults and juvenile offenders). The value of developmental and environmental models in understanding aggression and victim reactions are discussed