Reducing bias and quantifying uncertainty in watershed flux estimates: the R package loadflex

Many ecological insights into the function of rivers and watersheds emerge from quantifying the flux of solutes or suspended materials in rivers. Numerous methods for flux estimation have been described, and each has its strengths and weaknesses. Currently, the largest practical challenges in flux estimation are to select among these methods and to implement or apply whichever method is chosen. To ease this process of method selection and application, we have written an R software package called loadflex that implements several of the most popular methods for flux estimation, including regressions, interpolations, and the special case of interpolation known as the period-weighted approach. Our package also implements a lesser-known and empirically promising approach called the “composite method,” to which we have added an algorithm for estimating prediction uncertainty. Here we describe the structure and key features of loadflex, with a special emphasis on the rationale and details of our composite method implementation. We then demonstrate the use of loadflex by fitting four different models to nitrate data from the Lamprey River in southeastern New Hampshire, where two large floods in 2006–2007 are hypothesized to have driven a long-term shift in nitrate concentrations and fluxes from the watershed. The models each give believable estimates, and yet they yield different answers for whether and how the floods altered nitrate loads. In general, the best modeling approach for each new dataset will depend on the specific site and solute of interest, and researchers need to make an informed choice among the many possible models. Our package addresses this need by making it simple to apply and compare multiple load estimation models, ultimately allowing researchers to estimate riverine concentrations and fluxes with greater ease and accuracy

A systematic assessment of the association between frequently-prescribed medicines and the risk of common cancers : a series of nested case-control studies

Funding: This work was supported by Cancer Research UK (reference C37316/A25535). Acknowledgements: We wish to thank PCCIUR, University of Aberdeen, especially Artur Wozniak, for extracting the data and performing case-control matching.Peer reviewedPublisher PD

STOVL Control Integration Program

An integrated flight/propulsion control for an advanced vector thrust supersonic STOVL aircraft, was developed by Pratt & Whitney and McDonnell Douglas Aerospace East. The IFPC design was based upon the partitioning of the global requirements into flight control and propulsion control requirements. To validate the design, aircraft and engine models were also developed for use on a NASA Ames piloted simulator. Different flight control implementations, evaluated for their handling qualities, are documented in the report along with the propulsion control, engine model, and aircraft model

Media Selection and the Imposter Phenomenon: A Multinational Investigation

Imposterism, where individuals seek to create a false impression that they are more qualified than they actually are, is an emerging area of study, while media selection has been a subject of interest to IS researchers for over 25 years. This study seeks to determine if individuals who score highly on imposterism dif er in their media preference, and if there is a cultural dimension to this relationship. Using a scenario-based experiment administered to 439 subjects in the U.S. and China, we demonstrate relationships between media choice and both imposterism and two dimensions of espoused national culture

Changing assessment practice in engineering: how can understanding lecturer perspectives help?

Assessment in engineering disciplines is typically oriented to demonstrating competence in specific tasks. Even where assessments are intended to have a formative component, little priority may be given to feedback. Engineering departments are often criticized, by their students and by external quality reviewers, for paying insufficient attention to formative assessment. The e3an project set out to build a question bank of peer-reviewed questions for use within electrical and electronic engineering. As a part of this process, a number of engineers from disparate institutions were required to work together in teams, designing a range of assessments for their subject specialisms. The project team observed that lecturers were especially keen to develop formative assessment but that their understanding of what might be required varied considerably. This paper describes the various ways in which the processes of the project have engaged lecturers in actively identifying and developing their conceptions of teaching, learning and assessment in their subject. It reports on an interview study that was conducted with a selection of participants. It is concluded that lecturers' reflections on and understanding of assessment are closely related to the nature of the subject domain and that it is essential when attempting to improve assessment practice to start from the perspective of lecturers in the discipline

Knowledge and behavioural interventions to reduce human health risk from private groundwater systems: A global review and pooled analysis based on development status

Groundwater contamination constitutes a significant health risk for private well users residing in rural areas. As the responsibility to safeguard rural private domestic groundwater typically rests with non-expert homeowners, interventions promoting risk mitigation and awareness represent the most viable means of preventing supply contamination. However, no global review or pooled analyses of these interventions has been undertaken to date. The current study sought to identify and quantify the performance of private well interventions from 1990 to 2018 via a global systematised review and pooled analysis. The PICO (Population-Intervention-Comparison-Outcome) approach was employed for literature identification. Relevant studies were statistically analysed across two quantitative outcome (performance) types, namely knowledge and behaviour, controlling for intervention characteristics and country development status. Mean behavioural and knowledge attainment across interventions was 53% and 48%, respectively, with interventions in economically developed regions exhibiting higher behavioural outcomes (56% vs. 45%) than those in developing regions. Geographically, interventions were located in southern or southeast Asia (n = 23), North America (n = 15), Central America (n = 1) and Africa (n = 1), with none identified in Australia/Oceania, Europe, or South America. Behavioural outcomes were significantly associated with presence of educational/research coordinator (p = 0.023), with these interventions attaining higher levels of efficacy (+74%) than those implemented by other coordinator types. Findings indicate that instructor-led, practical interventions allied with both large- and local-scale awareness-raising campaigns represent an optimum approach for future private well risk interventions. Subsequent adoption of such interventions may lead to increased levels of private well maintenance and provide a point of reference for myriad water and health communication contexts

Algebraic totality, towards completeness

Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans ${\mathcal{B}}$ and a conditional operator, which can be interpreted in this model. We prove completeness at type ${\mathcal{B}}^n\to{\mathcal{B}}$ for every n by an algebraic method

How Reasoning Aims at Truth

Many hold that theoretical reasoning aims at truth. In this paper, I ask what it is for reasoning to be thus aim-directed. Standard answers to this question explain reasoning’s aim-directedness in terms of intentions, dispositions, or rule-following. I argue that, while these views contain important insights, they are not satisfactory. As an alternative, I introduce and defend a novel account: reasoning aims at truth in virtue of being the exercise of a distinctive kind of cognitive power, one that, unlike ordinary dispositions, is capable of fully explaining its own exercises. I argue that this account is able to avoid the difficulties plaguing standard accounts of the relevant sort of mental teleology

Judgment and the identity theory of truth

The identity theory of truth takes on different forms depending on whether it is combined with a dual relation or a multiple relation theory of judgment. This paper argues that there are two significant problems for the dual relation identity theorist regarding thought's answerability to reality, neither of which takes a grip on the multiple relation identity theory