Gypsy moths and American dog ticks: Space partners

An experiment intended for the space shuttle and designed to investigate the effects of weightlessness and total darkness on gypsy moth eggs and engorged American dog ticks is described. The objectives are: (1) to reevaluate the effects of zero gravity on the termination of diapause/hibernation of embryonated gypsy moth eggs, (2) to determine the effect of zero gravity on the ovipositions and subsequent hatch from engorged female American dog ticks that have been induced to diapause in the laboratory, and (3) to determine whether morphological or biochemical changes occur in the insects under examination. Results will be compared with those from a similar experiment conducted on Skylab 4

Protocol for a mixed-methods exploratory investigation of care following intensive care discharge: the REFLECT study

© Author(s) 2019. Re-use permitted under CC BY. Published by BMJ.INTRODUCTION: A substantial number of patients discharged from intensive care units (ICUs) subsequently die without leaving hospital. It is unclear how many of these deaths are preventable. Ward-based management following discharge from ICU is an area that patients and healthcare staff are concerned about. The primary aim of REFLECT (Recovery Following Intensive Care Treatment) is to develop an intervention plan to reduce in-hospital mortality rates in patients who have been discharged from ICU. METHODS AND ANALYSIS: REFLECT is a multicentre mixed-methods exploratory study examining ward care delivery to adult patients discharged from ICU. The study will be made up of four substudies. Medical notes of patients who were discharged from ICU and subsequently died will be examined using a retrospective case records review (RCRR) technique. Patients and their relatives will be interviewed about their post-ICU care, including relatives of patients who died in hospital following ICU discharge. Staff involved in the care of patients post-ICU discharge will be interviewed about the care of this patient group. The medical records of patients who survived their post-ICU stay will also be reviewed using the RCRR technique. The analyses of the substudies will be both descriptive and use a modified grounded theory approach to identify emerging themes. The evidence generated in these four substudies will form the basis of the intervention development, which will take place through stakeholder and clinical expert meetings. ETHICS AND DISSEMINATION: Ethical approval has been obtained through the Wales Research and Ethics Committee 4 (17/WA/0107). We aim to disseminate the findings through international conferences, international peer-reviewed journals and social media. TRIAL REGISTRATION NUMBER: ISRCTN14658054.Peer reviewedFinal Published versio

ULAS J234311.93-005034.0: A gravitational lens system selected from UKIDSS and SDSS

We report the discovery of a new gravitational lens system. This object, ULAS J234311.93-005034.0, is the first to be selected by using the new UKIRT Infrared Deep Sky Survey (UKIDSS), together with the Sloan Digital Sky Survey (SDSS). The ULAS J234311.93-005034.0 system contains a quasar at redshift 0.788 which is doubly imaged, with separation 1.4". The two quasar images have the same redshift and similar, though not identical, spectra. The lensing galaxy is detected by subtracting point-spread functions from R-band images taken with the Keck telescope. The lensing galaxy can also be detected by subtracting the spectra of the A and B images, since more of the galaxy light is likely to be present in the latter. No redshift is determined from the galaxy, although the shape of its spectrum suggests a redshift of about 0.3. The object's lens status is secure, due to the identification of two objects with the same redshift together with a lensing galaxy. Our imaging suggests that the lens is found in a cluster environment, in which candidate arc-like structures, that require confirmation, are visible in the vicinity. Further discoveries of lenses from the UKIDSS survey are likely as part of this programme, due to the depth of UKIDSS and its generally good seeing conditions.Comment: Accepted by MNRA

Acoustic full-waveform inversion in an elastic world

Full-waveform inversion (FWI) is a technique used to obtain high-quality velocity models of the subsurface. Despite the elastic nature of the earth, the anisotropic acoustic wave equation is typically used to model wave propagation in FWI. In part, this simplification is essential for being efficient when inverting large 3D data sets, but it has the adverse effect of reducing the accuracy and resolution of the recovered P-wave velocity models, as well as a loss in potential to constrain other physical properties, such as the S-wave velocity given that amplitude information in the observed data set is not fully used. Here, we first apply conventional acoustic FWI to acoustic and elastic data generated using the same velocity model to investigate the effect of neglecting the elastic component in field data and we find that it leads to a loss in resolution and accuracy in the recovered velocity model. Then, we develop a method to mitigate elastic effects in acoustic FWI using matching filters that transform elastic data into acoustic data and find that it is applicable to marine and land data sets. Tests show that our approach is successful: The imprint of elastic effects on the recovered P-wave models is mitigated, leading to better-resolved models than those obtained after conventional acoustic FWI. Our method requires a guess of VP/VS and is marginally more computationally demanding than acoustic FWI, but much less so than elastic FWI. Read More: https://library.seg.org/doi/10.1190/geo2017-0063.

AC electrokinetic phenomena over semiconductive surfaces: effective electric boundary conditions and their applications

Electrokinetic boundary conditions are derived for AC electrokinetic (ACEK) phenomena over leaky dielectric (i.e., semiconducting) surfaces. Such boundary conditions correlate the electric potentials across the semiconductor-electrolyte interface (consisting of the electric double layer (EDL) inside the electrolyte solutions and the space charge layer (SCL) inside the semiconductors) under AC electric fields with arbitrary wave forms. The present electrokinetic boundary conditions allow for evaluation of induced zeta potential contributed by both bond charges (due to electric polarization) and free charges (due to electric conduction) from the leaky dielectric materials. Subsequently, we demonstrate the applications of these boundary conditions in analyzing the ACEK phenomena around a semiconducting cylinder. It is concluded that the flow circulations exist around the semiconducting cylinder and are shown to be stronger under an AC field with lower frequency and around a cylinder with higher conductivity.Comment: 29 pages, 4 figure

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

Inferring the time-dependent complex Ginzburg-Landau equation from modulus data

We present a formalism for inferring the equation of evolution of a complex wave field that is known to obey an otherwise unspecified (2+1)-dimensional time-dependent complex Ginzburg-Landau equation, given field moduli over three closely-spaced planes. The phase of the complex wave field is retrieved via a non-interferometric method, and all terms in the equation of evolution are determined using only the magnitude of the complex wave field. The formalism is tested using simulated data for a generalized nonlinear system with a single-component complex wave field. The method can be generalized to multi-component complex fields.Comment: 9 pages, 9 figure

Simulating arbitrary hyperspectral bandsets from multispectral observations via a generic Earth Observation-Land Data Assimilation System (EO-LDAS)

This paper presents results of using multi-sensor and multi-angular constraints in the generic Earth Observation-Land Data Assimilation System (EO-LDAS) for reproducing arbitrary bandsets of hyperspectral reflectance at the top-of-canopy (TOC) level by merging observations from multispectral sensors with different spectral characteristics. This is demonstrated by combining Multi-angle Imaging Spectroradiometer (MISR) and Landsat Enhanced Thematic Mapper Plus (ETM+) data to simulate the Compact High Resolution Imaging Spectrometer CHRIS/PROBA hyperspectral signal over an agricultural test site, in Barrax, Spain. However, the method can be more generally applied to any combination of spectral data, providing a tool for merging EO data to any arbitrary hyperspectral bandset. Comparisons are presented using both synthetic and observed MISR and Landsat data, and retrieving surface biophysical properties. We find that when using simulated MISR and Landsat data, the CHRIS/PROBA hyperspectral signal is reproduced with RMSE 0.0001– 0.04. LAI is retrieved with r2 from 0.97 to 0.99 and RMSE of from 0.21 to 0.38. The results based on observed MISR and Landsat data have lower performances, with RMSE for the reproduced CHRIS/PROBA hyperspectral signal varying from 0.007 to 0.2. LAI is retrievedwith r2 from 0.7 to 0.9 and RMSE from 0.7 to 1.4. We found that for the data considered here the main spectral variations in the visible and near infrared regions can be described by a limited number of parameters (3–4) that can be estimated from multispectral information. Results show that the method can be used to simulate arbitrary bandsets, which will be of importance to any application which requires combining new and existing streams of new EO data in the optical domain, particularly intercalibration of EO satellites in order to get continuous time series of surface reflectance, across programmes and sensors of different designs