On the observability of turbulent transport rates by Argo: supporting evidence from an inversion experiment

Although estimation of turbulent transport parameters using inverse methods is not new, there is little evaluation of the method in the literature. Here, it is shown that extended observation of the broad scale hydrography by Argo provides a path to improved estimates of regional turbulent transport rates. Results from a 20 year ocean state estimate produced with the ECCO v4 non-linear inverse modeling framework provide supporting evidence. Turbulent transport parameter maps are estimated under the constraints of fitting the extensive collection of Argo profiles collected through 2011. The adjusted parameters dramatically reduce misfits to in situ profiles as compared with earlier ECCO solutions. They also yield a clear reduction in the model drift away from observations over multi-century long simulations, both for assimilated variables (temperature and salinity) and independent variables (bio-geochemical tracers). Despite the minimal constraints imposed specifically on the estimated parameters, their geography is physically plausible and exhibits close connections with the upper ocean ocean stratification as observed by Argo. The estimated parameter adjustments furthermore have first order impacts on upper-ocean stratification and mixed layer depths over 20 years. These results identify the constraint of fitting Argo profiles as an effective observational basis for regional turbulent transport rates. Uncertainties and further improvements of the method are discussed.

Generic construction of monitors for floating point unit designs

This paper proposes a set of well defined steps to design functional verification monitors intended to verify Floating Point Units (FPU) described in HDL. The first step consists on defining the input and output domain coverage. Next, the corner cases are defined. Finally, an already verified reference model is used in order to test the correctness of the Device Under Verification (DUV). As a case study a monitor for an IEEE754-2008 compliant design is implemented. This monitor is built to be easily instantiated into verification frameworks such as OVM. Two different designs were verified reaching complete input coverage and successful compliant results.

Uniform factorial decay estimate for the remainder of rough Taylor expansion

We establish an uniform factorial decay estimate for the Taylor approximation of solutions to controlled differential equations. Its proof requires a factorial decay estimate for controlled paths which is interesting in its own right.

Present bias predicts participation in payments for environmental services: evidence from a behavioral experiment in Uganda

Farmers are necessary agents in global efforts to conserve the environment now that croplands and pastures together constitute the largest terrestrial system on Earth – covering some 48% of ice-free land surface. Whereas standard economic models predict that farmers will participate in conservation programs so long as they are profitable, empirical findings from behavioral economics point to a number of normally unobservable preferences that may influence the decision-making process. This study tests, for the first time, whether heterogeneity in behavioral preferences correlates with decisions to participate in Payments for Environmental Services (PES) programs. We elicit individual trust and time preferences using economic experiments and link resulting measures to household survey data and participation decisions in a Ugandan PES program. We find that farmers who exhibit a preference for proximate gains – present-biased preferences – are 47.7% more likely to participate in the program than those who show time-consistent or future-biased preferences. This result has implications for ongoing and planned PES programs involving farmers, particularly in Africa, by highlighting a potential relationship between payment timing and participation, and further validates the use of behavioral experiments in explaining real-world decisions.

Compensation and Rewards for Environmental Services (CRES) and efficient design of contracts in developing countries. Behavioral insights from a natural field experiment

The use of economic incentives for biodiversity (mostly Compensation and Reward for Environmental Services including Payment for ES) has been widely supported in the past decades and became the main innovative policy tools for biodiversity conservation worldwide. These policy tools are often based on the insight that rational actors perfectly weigh the costs and benefits of adopting certain behaviors and well-crafted economic incentives and disincentives will lead to socially desirable development scenarios. This rationalist mode of thought has provided interesting insights and results, but it also misestimates the context by which ‘real individuals’ come to decisions, and the multitude of factors influencing development sequences. In this study, our goal is to examine how these policies can take advantage of some unintended behavioral reactions that might in return impact, either positively or negatively, general policy performances. We test the effect of income's origin (‘Low effort’ based money vs. ‘High effort’ based money) on spending decisions (Necessity vs. Superior goods) and subsequent pro social preferences (Future pro-environmental behavior) within Madagascar rural areas, using a natural field experiment. Our results show that money obtained under low effort leads to different consumption patterns than money obtained under high efforts: superior goods are more salient in the case of low effort money. In parallel, money obtained under low effort leads to subsequent higher pro social behavior. Compensation and rewards policies for ecosystem services may mobilize knowledge on behavioral biases to improve their design and foster positive spillovers on their development goals.

Cross-sector surveys assessing perceptions of key stakeholders towards barriers, concerns and facilitators to the appropriate use of adaptive designs in confirmatory trials

Background Appropriately conducted adaptive designs (ADs) offer many potential advantages over conventional trials. They make better use of accruing data, potentially saving time, trial participants, and limited resources compared to conventional, fixed sample size designs. However, one can argue that ADs are not implemented as often as they should be, particularly in publicly funded confirmatory trials. This study explored barriers, concerns, and potential facilitators to the appropriate use of ADs in confirmatory trials among key stakeholders. Methods We conducted three cross-sectional, online parallel surveys between November 2014 and January 2015. The surveys were based upon findings drawn from in-depth interviews of key research stakeholders, predominantly in the UK, and targeted Clinical Trials Units (CTUs), public funders, and private sector organisations. Response rates were as follows: 30(55 %) UK CTUs, 17(68 %) private sector, and 86(41 %) public funders. A Rating Scale Model was used to rank barriers and concerns in order of perceived importance for prioritisation. Results Top-ranked barriers included the lack of bridge funding accessible to UK CTUs to support the design of ADs, limited practical implementation knowledge, preference for traditional mainstream designs, difficulties in marketing ADs to key stakeholders, time constraints to support ADs relative to competing priorities, lack of applied training, and insufficient access to case studies of undertaken ADs to facilitate practical learning and successful implementation. Associated practical complexities and inadequate data management infrastructure to support ADs were reported as more pronounced in the private sector. For funders of public research, the inadequate description of the rationale, scope, and decision-making criteria to guide the planned AD in grant proposals by researchers were all viewed as major obstacles. Conclusions There are still persistent and important perceptions of individual and organisational obstacles hampering the use of ADs in confirmatory trials research. Stakeholder perceptions about barriers are largely consistent across sectors, with a few exceptions that reflect differences in organisations’ funding structures, experiences and characterisation of study interventions. Most barriers appear connected to a lack of practical implementation knowledge and applied training, and limited access to case studies to facilitate practical learning. Keywords: Adaptive designs; flexible designs; barriers; surveys; confirmatory trials; Phase 3; clinical trials; early stopping; interim analyses

Interim analyses and sequential designs in phase III studies

Recruitment of patients to a clinical trial usually occurs over a period of time, resulting in the steady accumulation of data throughout the trial's duration. Yet, according to traditional statistical methods, the sample size of the trial should be determined in advance, and data collected on all subjects before analysis proceeds. For ethical and economic reasons, the technique of sequential testing has been developed to enable the examination of data at a series of interim analyses. The aim is to stop recruitment to the study as soon as there is sufficient evidence to reach a firm conclusion. In this paper we present the advantages and disadvantages of conducting interim analyses in phase III clinical trials, together with the key steps to enable the successful implementation of sequential methods in this setting. Examples are given of completed trials, which have been carried out sequentially, and references to relevant literature and software are provided.

Using computers to teach people with intellectual disabilities to perform some of the tasks used within cognitive behavioural therapy: a randomised experiment

Aims Training has been shown to improve the ability of people with intellectual disabilities (IDs) to perform some cognitive behavioural therapy (CBT) tasks. This study used a computerised training paradigm with the aim of improving the ability of people with IDs to: a) discriminate between behaviours, thoughts and feelings, and b) link situations, thoughts and feelings. Methods Fifty-five people with mild-to-moderate IDs were randomly assigned to a training or attention-control condition in a single-blind mixed experimental design. Computerised tasks assessed the participants’ skills in: (a) discriminating between behaviours, thoughts and feelings (separately and pooled together), and (b) cognitive mediation by selecting appropriate emotions as consequences to given thoughts, and appropriate thoughts as mediators of given emotions. Results Training significantly improved ability to discriminate between behaviours, thoughts and feelings pooled together, compared to the attention-control condition, even when controlling for baseline scores and IQ. Large within-group improvements in the ability to identify behaviours and feelings were observed for the training condition, but not the attention-control group. There were no significant between-group differences in ability to identify thoughts, or on cognitive mediation skills. Conclusions A single session of computerised training can improve the ability of people with IDs to understand and practise CBT tasks relating to behaviours and feelings. There is potential for computerised training to be used as a “primer” for CBT with people with IDs to improve engagement and outcomes, but further development on a specific computerised cognitive mediation task is needed.