Writing in your own voice: An intervention that reduces plagiarism and common writing problems in students' scientific writing.

In many of our courses, particularly laboratory courses, students are expected to engage in scientific writing. Despite various efforts by other courses and library resources, as instructors we are often faced with the frustration of student plagiarism and related writing problems. Here, we describe a simple Writing in Your Own Voice intervention designed to help students become more aware of different types of plagiarism and writing problems, avoid those problems, and practice writing in their own voice. In this article, we will introduce the types of plagiarism and writing problems commonly encountered in our molecular biology laboratory course, the intervention, and the results of our study. From the evaluation of 365 student reports, we found the intervention resulted in nearly 50% fewer instances of plagiarism and common writing problems. We also observed significantly fewer instances of severe plagiarism (e.g. several sentences copied from an external source). In addition, we find that the effects last for several weeks after the students complete the intervention assignment. This assignment is particularly easy to implement and can be a very useful tool for teaching students how to write in their own voices. © 2019 International Union of Biochemistry and Molecular Biology, 47(5):589-598, 2019

The composition of Event-B models

The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventing them in future. This work contributes to thatreinvention. Inspired by a proposed method for state-based decomposition and refinement [5] of an Event-B model, we propose a familiar parallel event composition (over disjoint state variable lists), and the less familiar event fusion (over intersecting state variable lists). A brief motivation is provided for these and other forms of composition of models, in terms of feature-based modelling. We show that model consistency is preserved under such compositions. More significantly we show that model composition preserves refinement

Exploring Io's atmospheric composition with APEX: first measurement of 34SO2 and tentative detection of KCl

The composition of Io's tenuous atmosphere is poorly constrained. Only the major species SO2 and a handful of minor species have been positively identified, but a variety of other molecular species should be present, based on thermochemical equilibrium models of volcanic gas chemistry and the composition of Io's environment. This paper focuses on the spectral search for expected yet undetected molecular species (KCl, SiO, S2O) and isotopes (34SO2). We analyze a disk-averaged spectrum of a potentially line-rich spectral window around 345 GHz, obtained in 2010 at the APEX-12m antenna (Atacama Pathfinder EXperiment). Using different models assuming either extended atmospheric distributions or a purely volcanically-sustained atmosphere, we tentatively measure the KCl relative abundance with respect to SO2 and derive a range of 4x10^{-4}-8x10^{-3}. We do not detect SiO or S2O and present new upper limits on their abundances. We also present the first measurement of the 34S/32S isotopic ratio in gas phase on Io, which appears to be twice as high as the Earth and ISM reference values. Strong lines of SO2 and SO are also analyzed to check for longitudinal variations of column density and relative abundance. Our models show that, based on their predicted relative abundance with respect to SO2 in volcanic plumes, both the tentative KCl detection and SiO upper limit are compatible with a purely volcanic origin for these species.Comment: Accepted for publication in ApJ. 11 pages, 4 figure

From Event-B models to Dafny code contracts

International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification focuses on code level correctness and its verification. Therefore it would seem that the constructive and analytical approaches should complement each other well. To demonstrate this idea we present a case for linking two existing verification methods, Event-B (constructive) and Dafny (analytical). This approach combines the power of Event-B abstraction and its stepwise refinement with the verification capabilities of Dafny. We presented a small case study to demonstrate this approach and outline of the rules for transforming Event-B events to Dafny contracts. Finally, a tool for automatic generation of Dafny contracts from Event-B formal models is presented

Airborne laser topographic mapping results from initial joint NASA/US Army Corps of Engineers experiment

Initial results from a series of joint NASA/US Army Corps of Engineers experiments are presented. The NASA Airborne Oceanographic Lidar (AOL) was exercised over various terrain conditions, collecting both profile and scan data from which river basin cross sections are extracted. Comparisons of the laser data with both photogrammetry and ground surveys are made, with 12 to 27 cm agreement observed over open ground. Foliage penetration tests, utilizing the unique time-waveform sampling capability of the AOL, indicate 50 cm agreement with photogrammetry (known to have difficulty in foliage covered terrain)

Numerical approximation of statistical solutions of scalar conservation laws

We propose efficient numerical algorithms for approximating statistical solutions of scalar conservation laws. The proposed algorithms combine finite volume spatio-temporal approximations with Monte Carlo and multi-level Monte Carlo discretizations of the probability space. Both sets of methods are proved to converge to the entropy statistical solution. We also prove that there is a considerable gain in efficiency resulting from the multi-level Monte Carlo method over the standard Monte Carlo method. Numerical experiments illustrating the ability of both methods to accurately compute multi-point statistical quantities of interest are also presented

Internal parasites of cattle

Worm parasites can have a most serious effect on cattle, even causing deaths. This article describes the main parasites of cattle, treatment with modern anthelmintic drugs and the best means of preventing and controlling worm outbreaks

Neutrino Physics and Nuclear Axial Two-Body Interactions

We consider the counter-term describing isoscalar axial two-body currents in the nucleon-nucleon interaction, L1A, in the effective field theory approach. We determine this quantity using the solar neutrino data. We investigate the variation of L1A when different sets of data are used.Comment: 8 pages with 4 figures. To be published in the Proceedings of the Conference "Blueprints For The Nucleus: From First Principles to Collective Motion" held at Feza Gursey Institute, Istanbul, Turkey; May 17 -22, 200

Absolute Calibration of the Radio Astronomy Flux Density Scale at 22 to 43 GHz Using Planck

The Planck mission detected thousands of extragalactic radio sources at frequencies from 28 to 857 GHz. Planck's calibration is absolute (in the sense that it is based on the satellite's annual motion around the Sun and the temperature of the cosmic microwave background), and its beams are well characterized at sub-percent levels. Thus Planck's flux density measurements of compact sources are absolute in the same sense. We have made coordinated VLA and ATCA observations of 65 strong, unresolved Planck sources in order to transfer Planck's calibration to ground-based instruments at 22, 28, and 43 GHz. The results are compared to microwave flux density scales currently based on planetary observations. Despite the scatter introduced by the variability of many of the sources, the flux density scales are determined to 1-2% accuracy. At 28 GHz, the flux density scale used by the VLA runs 3.6% +- 1.0% below Planck values; at 43 GHz, the discrepancy increases to 6.2% +- 1.4% for both ATCA and the VLA.Comment: 16 pages, 4 figures and 4 table