Examining the Effect of Depicting a Patient Affected by a Negative Reimbursement Decision in Healthcare on Public Disagreement with the Decision

BackgroundThe availability of increasingly advanced and expensive new health technologies puts considerable pressure on publicly financed healthcare systems. Decisions to not—or no longer—reimburse a health technology from public funding may become inevitable. Nonetheless, policymakers are often pressured to amend or revoke negative reimbursement decisions due to the public disagreement that typically follows such decisions. Public disagreement may be reinforced by the publication of pictures of individual patients in the media. Our aim was to assess the effect of depicting a patient affected by a negative reimbursement decision on public disagreement with the decision.MethodsWe conducted a discrete choice experiment in a representative sample of the public (n = 1008) in the Netherlands and assessed the likelihood of respondents’ disagreement with policymakers’ decision to not reimburse a new pharmaceutical for one of two patient groups. We presented a picture of one of the patients affected by the decision for one patient group and “no picture available” for the other group. The groups were described on the basis of patients’ age, health-related quality of life (HRQOL) and life expectancy (LE) before treatment, and HRQOL and LE gains from treatment. We applied random-intercept logit regression models to analyze the data.ResultsOur results indicate that respondents were more likely to disagree with the negative reimbursement decision when a picture of an affected patient was presented. Consistent with findings from other empirical studies, respondents were also more likely to disagree with the decision when patients were relatively young, had high levels of HRQOL and LE before treatment, and large LE gains from treatment.ConclusionsThis study provides evidence for the effect of depicting individual, affected patients on public disagreement with negative reimbursement decisions in healthcare. Policymakers would do well to be aware of this effect so that they can anticipate it and implement policies to mitigate associated risks

Examining the Effect of Depicting a Patient Affected by a Negative Reimbursement Decision in Healthcare on Public Disagreement with the Decision

BackgroundThe availability of increasingly advanced and expensive new health technologies puts considerable pressure on publicly financed healthcare systems. Decisions to not—or no longer—reimburse a health technology from public funding may become inevitable. Nonetheless, policymakers are often pressured to amend or revoke negative reimbursement decisions due to the public disagreement that typically follows such decisions. Public disagreement may be reinforced by the publication of pictures of individual patients in the media. Our aim was to assess the effect of depicting a patient affected by a negative reimbursement decision on public disagreement with the decision.MethodsWe conducted a discrete choice experiment in a representative sample of the public (n = 1008) in the Netherlands and assessed the likelihood of respondents’ disagreement with policymakers’ decision to not reimburse a new pharmaceutical for one of two patient groups. We presented a picture of one of the patients affected by the decision for one patient group and “no picture available” for the other group. The groups were described on the basis of patients’ age, health-related quality of life (HRQOL) and life expectancy (LE) before treatment, and HRQOL and LE gains from treatment. We applied random-intercept logit regression models to analyze the data.ResultsOur results indicate that respondents were more likely to disagree with the negative reimbursement decision when a picture of an affected patient was presented. Consistent with findings from other empirical studies, respondents were also more likely to disagree with the decision when patients were relatively young, had high levels of HRQOL and LE before treatment, and large LE gains from treatment.ConclusionsThis study provides evidence for the effect of depicting individual, affected patients on public disagreement with negative reimbursement decisions in healthcare. Policymakers would do well to be aware of this effect so that they can anticipate it and implement policies to mitigate associated risks

Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory

We study finite first-order satisfiability (FSAT) in the constructive setting of dependent type theory. Employing synthetic accounts of enumerability and decidability, we give a full classification of FSAT depending on the first-order signature of non-logical symbols. On the one hand, our development focuses on Trakhtenbrot's theorem, stating that FSAT is undecidable as soon as the signature contains an at least binary relation symbol. Our proof proceeds by a many-one reduction chain starting from the Post correspondence problem. On the other hand, we establish the decidability of FSAT for monadic first-order logic, i.e. where the signature only contains at most unary function and relation symbols, as well as the enumerability of FSAT for arbitrary enumerable signatures. All our results are mechanised in the framework of a growing Coq library of synthetic undecidability proofs

Trakhtenbrot’s Theorem in Coq: A Constructive Approach to Finite Model Theory

International audienceWe study finite first-order satisfiability (FSAT) in the constructive setting of dependent type theory. Employing synthetic accounts of enumerability and decidability, we give a full classification of FSAT depending on the first-order signature of non-logical symbols. On the one hand, our development focuses on Trakhtenbrot's theorem, stating that FSAT is undecidable as soon as the signature contains an at least binary relation symbol. Our proof proceeds by a many-one reduction chain starting from the Post correspondence problem. On the other hand, we establish the decidability of FSAT for monadic first-order logic, i.e. where the signature only contains at most unary function and relation symbols, as well as the enumerability of FSAT for arbitrary enumerable signatures. All our results are mechanised in the framework of a growing Coq library of synthetic undecidability proofs

New material of Laophis crotaloides, an enigmatic giant snake from Greece, with an overview of the largest fossil European vipers

Laophis crotaloides was described by Richard Owen as a new and very large fossil viperid snake species from Greece. The type material is apparently lost and the taxon was mostly neglected for more than a century. We here describe a new partial viperid vertebra, collected from the same locality and of equivalent size to the type material. This vertebra indicates that at least one of the three morphological characters that could be used to diagnose L. crotaloides is probably an artifact of the lithographer who prepared the illustration supporting the original description. A revised diagnosis of L. crotaloides is provided on the basis of the new specimen. Despite the fragmentary nature of the new vertebra, it confirms the validity of L. crotaloides, although its exact relationships within Viperidae remain unknown. The new find supports the presence of a large viperid snake in the early Pliocene of northern Greece, adding further data to the diversity of giant vipers from Europe

Techniques for measuring aerosol attenuation using the Central Laser Facility at the Pierre Auger Observatory

The Pierre Auger Observatory in Malargüe, Argentina, is designed to study the properties of ultra-high energy cosmic rays with energies above 10(18) eV. It is a hybrid facility that employs a Fluorescence Detector to perform nearly calorimetric measurements of Extensive Air Shower energies. To obtain reliable calorimetric information from the FD, the atmospheric conditions at the observatory need to be continuously monitored during data acquisition. In particular, light attenuation due to aerosols is an important atmospheric correction. The aerosol concentration is highly variable, so that the aerosol attenuation needs to be evaluated hourly. We use light from the Central Laser Facility, located near the center of the observatory site, having an optical signature comparable to that of the highest energy showers detected by the FD. This paper presents two procedures developed to retrieve the aerosol attenuation of fluorescence light from CLF laser shots. Cross checks between the two methods demonstrate that results from both analyses are compatible, and that the uncertainties are well understood. The measurements of the aerosol attenuation provided by the two procedures are currently used at the Pierre Auger Observatory to reconstruct air shower data

The rapid atmospheric monitoring system of the Pierre Auger Observatory

The Pierre Auger Observatory is a facility built to detect air showers produced by cosmic rays above 10(17) eV. During clear nights with a low illuminated moon fraction, the UV fluorescence light produced by air showers is recorded by optical telescopes at the Observatory. To correct the observations for variations in atmospheric conditions, atmospheric monitoring is performed at regular intervals ranging from several minutes (for cloud identification) to several hours (for aerosol conditions) to several days (for vertical profiles of temperature, pressure, and humidity). In 2009, the monitoring program was upgraded to allow for additional targeted measurements of atmospheric conditions shortly after the detection of air showers of special interest, e. g., showers produced by very high-energy cosmic rays or showers with atypical longitudinal profiles. The former events are of particular importance for the determination of the energy scale of the Observatory, and the latter are characteristic of unusual air shower physics or exotic primary particle types. The purpose of targeted (or 'rapid') monitoring is to improve the resolution of the atmospheric measurements for such events. In this paper, we report on the implementation of the rapid monitoring program and its current status. The rapid monitoring data have been analyzed and applied to the reconstruction of air showers of high interest, and indicate that the air fluorescence measurements affected by clouds and aerosols are effectively corrected using measurements from the regular atmospheric monitoring program. We find that the rapid monitoring program has potential for supporting dedicated physics analyses beyond the standard event reconstruction

Antennas for the detection of radio emission pulses from cosmic-ray induced air showers at the Pierre Auger Observatory

The Pierre Auger Observatory is exploring the potential of the radio detection technique to study extensive air showers induced by ultra-high energy cosmic rays. The Auger Engineering Radio Array (AERA) addresses both technological and scientific aspects of the radio technique. A first phase of AERA has been operating since September 2010 with detector stations observing radio signals at frequencies between 30 and 80 MHz. In this paper we present comparative studies to identify and optimize the antenna design for the final configuration of AERA consisting of 160 individual radio detector stations. The transient nature of the air shower signal requires a detailed description of the antenna sensor. As the ultra-wideband reception of pulses is not widely discussed in antenna literature, we review the relevant antenna characteristics and enhance theoretical considerations towards the impulse response of antennas including polarization effects and multiple signal reflections. On the basis of the vector effective length we study the transient response characteristics of three candidate antennas in the time domain. Observing the variation of the continuous galactic background intensity we rank the antennas with respect to the noise level added to the galactic signal

The Rapid Atmospheric Monitoring System of the Pierre Auger Observatory

The Pierre Auger Observatory is a facility built to detect air showers produced by cosmic rays above 10^17 eV. During clear nights with a low illuminated moon fraction, the UV fluorescence light produced by air showers is recorded by optical telescopes at the Observatory. To correct the observations for variations in atmospheric conditions, atmospheric monitoring is performed at regular intervals ranging from several minutes (for cloud identification) to several hours (for aerosol conditions) to several days (for vertical profiles of temperature, pressure, and humidity). In 2009, the monitoring program was upgraded to allow for additional targeted measurements of atmospheric conditions shortly after the detection of air showers of special interest, e.g., showers produced by very high-energy cosmic rays or showers with atypical longitudinal profiles. The former events are of particular importance for the determination of the energy scale of the Observatory, and the latter are characteristic of unusual air shower physics or exotic primary particle types. The purpose of targeted (or "rapid") monitoring is to improve the resolution of the atmospheric measurements for such events. In this paper, we report on the implementation of the rapid monitoring program and its current status. The rapid monitoring data have been analyzed and applied to the reconstruction of air showers of high interest, and indicate that the air fluorescence measurements affected by clouds and aerosols are effectively corrected using measurements from the regular atmospheric monitoring program. We find that the rapid monitoring program has potential for supporting dedicated physics analyses beyond the standard event reconstruction