Erlang Code Evolution Control

During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. These code changes often involve several functions or modules, so it can be difficult to know whether the correct behaviour of the previous releases has been preserved in the new release. Most developers rely on a previously defined test suite to check this behaviour preservation. We propose here an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions of the code. Our test case generation is directed by a sophisticated combination of several already existing tools such as TypEr, CutEr, and PropEr; and other ideas such as allowing the programmer to chose an expression of interest that must preserve the behaviour, or the recording of the sequences of values to which this expression is evaluated. All the presented work has been implemented in an open-source tool that is publicly available on GitHub.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Direct access to potential research participants for a cohort study using a confidentiality waiver included in UK National Health Service legal statutes

OBJECTIVES: To describe our experience of using a confidentiality waiver (Section 251) in the National Health Service (NHS) Act to identify and recruit potential research participants to a cohort study and consider its use in a wider research context. DESIGN: Methodological discussion. SETTING: NHS Trusts in England. METHODS: We established a research recruitment process with quality health (QH), administrators of the National Cancer Patient Experience Survey, after an amendment to a Section 251 approval (reference number ECC-8-05d-2011). NHS Trusts agreeing to implement the process were requested to send the details of 16-24-year-olds, identified by a relevant ICD-10 code indicating a cancer diagnosis within a specified time period to QH. QH sent study information and a consent-to-be-contacted form which allowed QH to send details to BRIGHTLIGHT, for BRIGHTLIGHT to contact the treating team confirming eligibility and for an interviewer from Ipsos MORI to contact them. Written consent was to be obtained at interview. RESULTS: The method was implemented in 98 trusts; 75 supplied patient details. QH sent information to 441 young people, of whom 64 (15%) responded. Of these, 23 had already consented to participate. Adverse events were reported by 6 (1%) invitees: 4 were distressed because they did not have cancer, their details being submitted to QH due to incorrect hospital coding, and 1 young person was distressed about their diagnosis and requested no further contact and 1 young person found out they had cancer from the invitation. CONCLUSIONS: Application of Section 251 of the NHS Act (2006) to directly approach participants can facilitate recruitment to research projects where routinely collected NHS data are available to select eligible patients. The benefits of this method are that it requires fewer resources to recruit across multiple sites, and is quicker. Further information on the impact on bias and adverse event profile are required

Clinical and molecular features associated with cystic visceral lesions in von hippel-lindau disease.

Von Hippel-Lindau (VHL) is an uncommon oncogenic disorder which occurs as a result of genetic mutations on chromosome 3p. Retinal capillary haemangiomas and CNS haemangioblastomas have been well-characterised in genotypic-phenotypic analyses, but cystic visceral lesions are less common and have been less frequently studied. The aim of this study was to perform genotypic and phenotypic analysis of a cohort of VHL patients that developed cystic visceral lesions to determine whether their genotype differs from that seen in other manifestations of VHL and whether the ocular manifestations differ.This study reports a prospective case series of twenty-one patients identified from the Hammersmith Hospital Genetics Service database as having VHL mutations. Patients underwent regular ocular and systemic screening as well as genotypic analysis. The main outcome measures were the development of VHL lesions, either ocular or systemic.Cystic visceral lesions were detected in six of the 21 patients from the clinic (29%). These included renal cysts in four patients, pancreatic cysts in three patients, and an epididymal cystadenoma in one patient. Renal cysts were not associated with any specific genotype. Pancreatic cysts appeared to occur in association with VHL gene deletions and all developed CNS haemangioblastomas. Only one patient developed ocular manifestations, which occurred in this patient in the form of two retinal capillary haemangiomas.VHL gene deletions appeared to be associated with pancreatic cysts and the development of CNS haemangioblastomas. Ocular manifestations are uncommon in this group of patients

The Interpersonal Style and Complementarity Between Crisis Negotiators and Forensic Inpatients

Previous negotiation research has explored the interaction and communication between crisis negotiators and perpetrators. A crisis negotiator attempts to resolve a critical incident through negotiation with an individual, or group of persons in crisis. The purpose of this study was to establish the interpersonal style of crisis negotiators and complementarity of the interpersonal interaction between them and forensic inpatients. Crisis negotiators, clinical workers and students (n = 90) used the Check List of Interpersonal Transactions-Revised (CLOIT-R) to identify interpersonal style, along with eight vignettes detailing interpersonal styles. Crisis negotiators were most likely to have a friendly interpersonal style compared to the other non-trained groups. Complementarity theory was not exclusively supported as submissive individuals did not show optimistic judgments in working with dominant forensic inpatients and vice versa. Exploratory analysis revealed that dominant crisis negotiators were optimistic in working with forensic inpatients with a dominant interpersonal style. This study provides insight into the area of interpersonal complementarity of crisis negotiators and forensic inpatients. Whilst further research is required, a potential new finding was established, with significant ‘similarity’ found when dominant crisis negotiators are asked to work with dominant forensic inpatients

A test of general relativity from the three-dimensional orbital geometry of a binary pulsar

Binary pulsars provide an excellent system for testing general relativity because of their intrinsic rotational stability and the precision with which radio observations can be used to determine their orbital dynamics. Measurements of the rate of orbital decay of two pulsars have been shown to be consistent with the emission of gravitational waves as predicted by general relativity, providing the most convincing evidence for the self-consistency of the theory to date. However, independent verification of the orbital geometry in these systems was not possible. Such verification may be obtained by determining the orientation of a binary pulsar system using only classical geometric constraints, permitting an independent prediction of general relativistic effects. Here we report high-precision timing of the nearby binary millisecond pulsar PSR J0437-4715, which establish the three-dimensional structure of its orbit. We see the expected retardation of the pulse signal arising from the curvature of space-time in the vicinity of the companion object (the `Shapiro delay'), and we determine the mass of the pulsar and its white dwarf companion. Such mass determinations contribute to our understanding of the origin and evolution of neutron stars.Comment: 5 pages, 2 figure

Using New Submillimetre Surveys to Identify the Evolutionary Status of High-z Galaxies

This paper describes a key submillimetre survey which we are currently conducting to address some of the outstanding questions in cosmology - how, at what epoch and over what period of time did massive galaxies form at high redshift? A summary of the technical feasibility of future submillimetre observations with new ground-based, airborne and satellite telescopes is also presented.Comment: 6 pages, 3 postscript figures, LaTex uses Kluwer book style file crckapb10.sty, to appear in "Observational Cosmology with the New Radio Surveys", 13-15 January 1997, Puerto de la Cruz, Tenerife, M.Bremer, N.Jackson, I.Perez-Fournon (eds.), Kluwe

The impact of epilepsy surgery on the structural connectome and its relation to outcome

BACKGROUND: Temporal lobe surgical resection brings seizure remission in up to 80% of patients, with long-term complete seizure freedom in 41%. However, it is unclear how surgery impacts on the structural white matter network, and how the network changes relate to seizure outcome. METHODS: We used white matter fibre tractography on preoperative diffusion MRI to generate a structural white matter network, and postoperative T1-weighted MRI to retrospectively infer the impact of surgical resection on this network. We then applied graph theory and machine learning to investigate the properties of change between the preoperative and predicted postoperative networks. RESULTS: Temporal lobe surgery had a modest impact on global network efficiency, despite the disruption caused. This was due to alternative shortest paths in the network leading to widespread increases in betweenness centrality post-surgery. Measurements of network change could retrospectively predict seizure outcomes with 79% accuracy and 65% specificity, which is twice as high as the empirical distribution. Fifteen connections which changed due to surgery were identified as useful for prediction of outcome, eight of which connected to the ipsilateral temporal pole. CONCLUSIONS: Our results suggest that the use of network change metrics may have clinical value for predicting seizure outcome. This approach could be used to prospectively predict outcomes given a suggested resection mask using preoperative data only

Munchausen by internet: current research and future directions.

The Internet has revolutionized the health world, enabling self-diagnosis and online support to take place irrespective of time or location. Alongside the positive aspects for an individual's health from making use of the Internet, debate has intensified on how the increasing use of Web technology might have a negative impact on patients, caregivers, and practitioners. One such negative health-related behavior is Munchausen by Internet