A Historical Perspective on Runtime Assertion Checking in Software Development

This report presents initial results in the area of software testing and analysis produced as part of the Software Engineering Impact Project. The report describes the historical development of runtime assertion checking, including a description of the origins of and significant features associated with assertion checking mechanisms, and initial findings about current industrial use. A future report will provide a more comprehensive assessment of development practice, for which we invite readers of this report to contribute information

Bisensorial: A brain-computer interface hack using tactile and auditory stimuli

Bisensorial is a prototype that was developed at Hack the Brain 2016 (www.hackthebrain.nl), a three-day hackathon in Amsterdam based on the theme of ‘hacking one's self better (or worse)’. BISENSORIAL was a fully working proof-of-concept of a technology for inducing desired mental states using touch and sound that evolved in response to EEG readings. A genetic algorithm generated patterns of auditory stimuli and tactile stimuli down a user’s back, based on readings provided by an EEG headset. The result is intended to be a personalised soundscape and ‘touchscape’ that adjusts to the user to construct the most efficient bisensorial stimuli for inducing a desired mental state. In order to both structurally encourage skin contact and freedom of motion we produced a spine structure cast in platinum prosthetic silicone that would provide a casing for the electronic components. This electronic spine is skin-like to touch and sculpturally mimics the anatomy of the vertebrae, giving the structure a visual reference regarding its function: as a sensorial device for the spinal column. The spine was integrated into a bespoke dress designed to maximise skin contact as well as provide torso support in order to relax the extensor muscles and make the tactile stimuli more perceptible

Non-invasive computer-assisted measurement of knee alignment

The quantification of knee alignment is a routine part of orthopaedic practice and is important for monitoring disease progression, planning interventional strategies, and follow-up of patients. Currently available technologies such as radiographic measurements have a number of drawbacks. The aim of this study was to validate a potentially improved technique for measuring knee alignment under different conditions. An image-free navigation system was adapted for non-invasive use through the development of external infrared tracker mountings. Stability was assessed by comparing the variance (F-test) of repeated mechanical femoro-tibial (MFT) angle measurements for a volunteer and a leg model. MFT angles were then measured supine, standing and with varus-valgus stress in asymptomatic volunteers who each underwent two separate registrations and repeated measurements for each condition. The mean difference and 95% limits of agreement were used to assess intra-registration and inter-registration repeatability. For multiple registrations the range of measurements for the external mountings was 1° larger than for the rigid model with statistically similar variance (p=0.34). Thirty volunteers were assessed (19 males, 11 females) with a mean age of 41 years (range: 20-65) and a mean BMI of 26 (range: 19-34). For intra-registration repeatability, consecutive coronal alignment readings agreed to almost ±1°, with up to ±0.5° loss of repeatability for coronal alignment measured before and after stress maneuvers, and a ±0.2° loss following stance trials. Sagittal alignment measurements were less repeatable overall by an approximate factor of two. Inter-registration agreement limits for coronal and sagittal supine MFT angles were ±1.6° and ±2.3°, respectively. Varus and valgus stress measurements agreed to within ±1.3° and ±1.1°, respectively. Agreement limits for standing MFT angles were ±2.9° (coronal) and ±5.0° (sagittal), which may have reflected a variation in stance between measurements. The system provided repeatable, real-time measurements of coronal and sagittal knee alignment under a number of dynamic, real-time conditions, offering a potential alternative to radiographs

Human COQ9 Rescues a coq9 Yeast Mutant by Enhancing Coenzyme Q Biosynthesis from 4-Hydroxybenzoic Acid and Stabilizing the CoQ-Synthome

Coq9 is required for the stability of a mitochondrial multi-subunit complex, termed the CoQ-synthome, and the deamination step of Q intermediates that derive from para-aminobenzoic acid (pABA) in yeast. In human, mutations in the COQ9 gene cause neonatal-onset primary Q10 deficiency. In this study, we determined whether expression of human COQ9 could complement yeast coq9 point or null mutants. We found that expression of human COQ9 rescues the growth of the temperature-sensitive yeast mutant, coq9-ts19, on a non-fermentable carbon source and increases the content of Q6, by enhancing Q biosynthesis from 4-hydroxybenzoic acid (4HB). To study the mechanism for the rescue by human COQ9, we determined the steady-state levels of yeast Coq polypeptides in the mitochondria of the temperature-sensitive yeast coq9 mutant expressing human COQ9. We show that the expression of human COQ9 significantly increased steady-state levels of yeast Coq4, Coq6, Coq7, and Coq9 at permissive temperature. Human COQ9 polypeptide levels persisted at non-permissive temperature. A small amount of the human COQ9 co-purified with tagged Coq6, Coq6-CNAP, indicating that human COQ9 interacts with the yeast Q-biosynthetic complex. These findings suggest that human COQ9 rescues the yeast coq9 temperature-sensitive mutant by stabilizing the CoQ-synthome and increasing Q biosynthesis from 4HB. This finding provides a powerful approach to studying the function of human COQ9 using yeast as a model

Climate Change and invasibility of the Antarctic benthos

Benthic communities living in shallow-shelf habitats in Antarctica (<100-m depth) are archaic in their structure and function. Modern predators, including fast-moving, durophagous (skeleton-crushing) bony fish, sharks, and crabs, are rare or absent; slow-moving invertebrates are the top predators; and epifaunal suspension feeders dominate many soft substratum communities. Cooling temperatures beginning in the late Eocene excluded durophagous predators, ultimately resulting in the endemic living fauna and its unique food-web structure. Although the Southern Ocean is oceanographically isolated, the barriers to biological invasion are primarily physiological rather than geographic. Cold temperatures impose limits to performance that exclude modern predators. Global warming is now removing those physiological barriers, and crabs are reinvading Antarctica. As sea temperatures continue to rise, the invasion of durophagous predators will modernize the shelf benthos and erode the indigenous character of marine life in Antarctica

Acceptability and feasibility of collecting psychosocial data from fathers of very low birth weight infants

The aim of this study was to determine the feasibility and acceptability of collecting outcome data from parents of very low birth weight infants, and to explore the psychological and social adaptation of fathers. Questionnaires were distributed to 38 parents of very low birth weight infants and 36 parents of term infants within a hospital Neonatal Intensive Care Unit. Field notes were also taken. Parents indicated collecting outcome data in this population was feasible and acceptable, but barriers and difficulties in data collection were identified, particularly for fathers. Furthermore, parents highlighted a lack of emotional support for fathers. In conclusion, research with parents of very low birth weight infants should happen with consultation, flexibility, and measures designed specifically for this population

Analysis of Canadian and Irish forage, oats and commercially available equine concentrate feed for pathogenic fungi and mycotoxins

Respiratory infections, recurrent airway obstruction (RAO) and exercise induced pulmonary haemorrhage (EIPH) are major causes of poor performance in horses. Fungi and mycotoxins are now recognised as a major cause of these conditions. The most notable fungi are Aspergillus and Fusarium. Fungal spores can originate from forage, bedding and feed and, in turn, these fungal spores can produce a series of mycotoxins as secondary metabolites

A Point-of-Use Quality Assurance Tool for Digital Pathology Remote Working

Pathology services are facing pressures due to the COVID-19 pandemic. Digital pathology has the capability to meet some of these unprecedented challenges by allowing remote diagnoses to be made at home, during periods of social distancing or self-isolation. However, while digital pathology allows diagnoses to be made on standard computer screens, unregulated home environments may not be conducive for optimal viewing conditions. There is also a paucity of experimental evidence available to support the minimum display requirements for digital pathology. This study presents a Point-of-Use Quality Assurance (POUQA) tool for remote assessment of viewing conditions for reporting digital pathology slides. The tool is a psychophysical test combining previous work from successfully implemented quality assurance tools in both pathology and radiology to provide a minimally intrusive display screen validation task, before viewing digital slides. The test is specific to pathology assessment in that it requires visual discrimination between colors derived from hematoxylin and eosin staining, with a perceptual difference of ±1 delta E (dE). This tool evaluates the transfer of a 1 dE signal through the digital image display chain, including the observers’ contrast and color responses within the test color range. The web-based system has been rapidly developed and deployed as a response to the COVID-19 pandemic and may be used by anyone in the world to help optimize flexible working conditions at: http://www.virtualpathology.leeds.ac.uk/res earch/systems/pouqa/

Preliminary Limits on the WIMP-Nucleon Cross Section from the Cryogenic Dark Matter Search (CDMS)

We are conducting an experiment to search for WIMPs, or weakly-interacting massive particles, in the galactic halo using terrestrial detectors. This generic class of hypothetical particles, whose properties are similar to those predicted by extensions of the standard model of particle physics, could comprise the cold component of non-baryonic dark matter. We describe our experiment, which is based on cooled germanium and silicon detectors in a shielded low-background cryostat. The detectors achieve a high degree of background rejection through the simultaneous measurement of the energy in phonons and ionization. Using exposures on the order of one kilogram-day from initial runs of our experiment, we have achieved (preliminary) upper limits on the WIMP-nucleon cross section that are comparable to much longer runs of other experiments.Comment: 5 LaTex pages, 5 eps figs, epsf.sty, espcrc2dsa2.sty. Proceedings of TAUP97, Gran Sasso, Italy, 7-11 Sep 1997, Nucl. Phys. Suppl., A. Bottino, A. di Credico and P. Monacelli (eds.). See also http://cfpa.berkeley.ed