Development and testing of the infrared radiometer for the Mariner Venus/Mercury 1973 spacecraft

The science objectives, development history, functional description, and testing of the Mariner Venus/Mercury 1973 infrared radiometer are discussed. Included in the functional description section is a thorough discussion of the IRR optical system, electronic operation, and thermal control. Signal development and its conversion to engineering units is traced, starting with the radiant space object, passing through the IRR optics and electronics, and culminating with data number development and interpretation. The test program section includes discussion of IRR calibration and alignment verification. Finally, the problems and failures encountered by the IRR during the period of its development and testing are reviewed

Meeting the four-hour deadline in an A&E department

This is the print version of the Article. The official published version can be obtained from the link below - Copyright @ 2011 EmeraldPurpose – Accident and emergency (A&E) departments experience a secondary peak in patient length of stay (LoS) at around four hours, caused by the coping strategies used to meet the operational standards imposed by government. The aim of this paper is to build a discrete-event simulation model that captures the coping strategies and more accurately reflects the processes that occur within an A&E department. Design/methodology/approach – A discrete-event simulation (DES) model was used to capture the A&E process at a UK hospital and record the LoS for each patient. Input data on 4,150 arrivals over three one-week periods and staffing levels was obtained from hospital records, while output data were compared with the corresponding records. Expert opinion was used to generate the pathways and model the decision-making processes. Findings – The authors were able to replicate accurately the LoS distribution for the hospital. The model was then applied to a second configuration that had been trialled there; again, the results also reflected the experiences of the hospital. Practical implications – This demonstrates that the coping strategies, such as re-prioritising patients based on current length of time in the department, employed in A&E departments have an impact on LoS of patients and therefore need to be considered when building predictive models if confidence in the results is to be justified. Originality/value – As far as the authors are aware this is the first time that these coping strategies have been included within a simulation model, and therefore the first time that the peak around the four hours has been analysed so accurately using a model

Sensitive and Scalable Online Evaluation with Theoretical Guarantees

Multileaved comparison methods generalize interleaved comparison methods to provide a scalable approach for comparing ranking systems based on regular user interactions. Such methods enable the increasingly rapid research and development of search engines. However, existing multileaved comparison methods that provide reliable outcomes do so by degrading the user experience during evaluation. Conversely, current multileaved comparison methods that maintain the user experience cannot guarantee correctness. Our contribution is two-fold. First, we propose a theoretical framework for systematically comparing multileaved comparison methods using the notions of considerateness, which concerns maintaining the user experience, and fidelity, which concerns reliable correct outcomes. Second, we introduce a novel multileaved comparison method, Pairwise Preference Multileaving (PPM), that performs comparisons based on document-pair preferences, and prove that it is considerate and has fidelity. We show empirically that, compared to previous multileaved comparison methods, PPM is more sensitive to user preferences and scalable with the number of rankers being compared.Comment: CIKM 2017, Proceedings of the 2017 ACM on Conference on Information and Knowledge Managemen

Normal metal - insulator - superconductor interferometer

Hybrid normal metal - insulator - superconductor microstructures suitable for studying an interference of electrons were fabricated. The structures consist of a superconducting loop connected to a normal metal electrode through a tunnel barrier . An optical interferometer with a beam splitter can be considered as a classical analogue for this system. All measurements were performed at temperatures well below 1 K. The interference can be observed as periodic oscillations of the tunnel current (voltage) through the junction at fixed bias voltage (current) as a function of a perpendicular magnetic field. The magnitude of the oscillations depends on the bias point. It reaches a maximum at energy $eV$ which is close to the superconducting gap and decreases with an increase of temperature. Surprisingly, the period of the oscillations in units of magnetic flux $\Delta \Phi$ is equal neither to $h/e$ nor to $h/2e$, but significantly exceeds these values for larger loop circumferences. The origin of the phenomena is not clear.Comment: 11 pages and 8 figure

Nonlocal hydrodynamic influence on the dynamic contact angle: Slip models versus experiment

Experiments reported by Blake et al. [Phys. Fluids. 11, 1995 (1999)] suggest that the dynamic contact angle formed between the free surface of a liquid and a moving solid boundary at a fixed contact-line speed depends on the flow field/geometry near the moving contact line. The present paper examines quantitatively whether or not it is possible to attribute this effect to bending of the free surface due to hydrodynamic stresses acting upon it and hence interpret the results in terms of the so-called ``apparent'' contact angle. It is shown that this is not the case. Numerical analysis of the problem demonstrates that, at the spatial resolution reported in the experiments, the variations of the ``apparent'' contact angle (defined in two different ways) caused by variations in the flow field, at a fixed contact-line speed, are too small to account for the observed effect. The results clearly indicate that the actual (macroscopic) dynamic contact angle, i.e.\ the one used in fluid mechanics as a boundary condition for the equation determining the free surface shape, must be regarded as dependent not only on the contact-line speed but also on the flow field/geometry in the vicinity of the moving contact line

High dose atorvastatin associated with increased risk of significant hepatotoxicity in comparison to simvastatin in UK GPRD cohort

Background and Aims: Occasional risk of serious liver dysfunction and autoimmune hepatitis during atorvastatin therapy has been reported. We compared the risk of hepatotoxicity in atorvastatin relative to simvastatin treatment. Methods: The UK GPRD identified patients with a first prescription for simvastatin [164,407] or atorvastatin [76,411] between 1997 and 2006, but with no prior record of liver disease, alcohol-related diagnosis, or liver dysfunction. Incident liver dysfunction in the following six months was identified by biochemical value and compared between statin groups by Cox regression model adjusting for age, sex, year treatment started, dose, alcohol consumption, smoking, body mass index and comorbid conditions. Results: Moderate to severe hepatotoxicity [bilirubin >60μmol/L, AST or ALT >200U/L or alkaline phosphatase >1200U/L] developed in 71 patients on atorvastatin versus 101 on simvastatin. Adjusted hazard ratio [AHR] for all atorvastatin relative to simvastatin was 1.9 [95% confidence interval 1.4–2.6]. High dose was classified as 40–80mg daily and low dose 10–20mg daily. Hepatotoxicity occurred in 0.44% of 4075 patients on high dose atorvastatin [HDA], 0.07% of 72,336 on low dose atorvastatin [LDA], 0.09% of 44,675 on high dose simvastatin [HDS] and 0.05% of 119,732 on low dose simvastatin [LDS]. AHRs compared to LDS were 7.3 [4.2–12.7] for HDA, 1.4 [0.9–2.0] for LDA and 1.5 [1.0–2.2] for HDS. Conclusions: The risk of hepatotoxicity was increased in the first six months of atorvastatin compared to simvastatin treatment, with the greatest difference between high dose atorvastatin and low dose simvastatin. The numbers of events in the analyses were small

XMM-Newton Observation of the Northwest Radio Relic Region in Abell 3667

Abell 3667 is the archetype of a merging cluster with radio relics. The NW radio relic is the brightest cluster relic or halo known, and is believed to be due to a strong merger shock. We have observed the NW relic for 40 ksec of net XMM time. We observe a global decline of temperature across the relic from 6 to 1 keV, similar to the Suzaku results. Our new observations reveal a sharp change of both temperature and surface brightness near the position of the relic. The increased X-ray emission on the relic can be equivalently well described by either a thermal or nonthermal spectral model. The parameters of the thermal model are consistent with a Mach number M~2 shock and a shock speed of ~1200 km s^-1. The energy content of the relativistic particles in the radio relic can be explained if they are (re)-accelerated by the shock with an efficiency of ~0.2%. Comparing the limit on the inverse Compton X-ray emission with the measured radio synchrotron emission, we set a lower limit to the magnetic field in the relic of 3 muG. If the emission from the relic is non-thermal, this lower limit is in fact the required magnetic field.Comment: 11 pages, ApJ in pres

Creating citizen-consumers? Public service reform and (un)willing selves

About the book: Postmodern theories heralded the "death of the subject", and thereby deeply contested our intuition that we are free and willing selves. In recent times, the (free) will has come under attack yet again. Findings from the neuro- and cognitive sciences claim the concept of will to be scientifically untenable, specifying that it is our brain rather than our 'self' which decides what we want to do. In spite of these challenges however, the willing self has come to take centre stage in our society: juridical and moral practices ascribing guilt, or the organization of everyday life attributing responsibilities, for instance, can hardly be understood without taking recourse to the willing subject. In this vein, the authors address topics such as the genealogy of the concept of willing selves, the discourse on agency in neuroscience and sociology, the political debate on volition within neoliberal and neoconservative regimes, approaches toward novel forms of relational responsibility as well as moral evaluations in conceptualizing autonomy

Computer-aided verification in mechanism design

In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (possibly unsophisticated) bidders from the need to engage in complicated strategizing. While incentive properties are simple to state, their proofs are specific to the mechanism and can be quite complex. This raises two concerns. From a practical perspective, checking a complex proof can be a tedious process, often requiring experts knowledgeable in mechanism design. Furthermore, from a modeling perspective, if unsophisticated agents are unconvinced of incentive properties, they may strategize in unpredictable ways. To address both concerns, we explore techniques from computer-aided verification to construct formal proofs of incentive properties. Because formal proofs can be automatically checked, agents do not need to manually check the properties, or even understand the proof. To demonstrate, we present the verification of a sophisticated mechanism: the generic reduction from Bayesian incentive compatible mechanism design to algorithm design given by Hartline, Kleinberg, and Malekian. This mechanism presents new challenges for formal verification, including essential use of randomness from both the execution of the mechanism and from the prior type distributions. As an immediate consequence, our work also formalizes Bayesian incentive compatibility for the entire family of mechanisms derived via this reduction. Finally, as an intermediate step in our formalization, we provide the first formal verification of incentive compatibility for the celebrated Vickrey-Clarke-Groves mechanism