Choice Architecture to Improve Financial Decision Making

This is the author accepted manuscript. The final version is available from MIT Press via the DOI in this recordWe exploit the principles of choice architecture to evaluate interventions in the market for reloadable prepaid cards. Participants are randomized into three card menu presentation treatments - the market status quo, a regulation-inspired reform, or an enhanced reform designed to minimize attribute overload - and offered choices based on prior structural estimation of individual preferences. Consumers routinely choose incorrectly under the status quo, with tentative evidence the regulation-inspired presentation may increase best card choice, and clear evidence the enhanced reform reduces worst card choice. Welfare analysis suggests the regulation-inspired presentation offers modest gains, while the enhanced policy generates substantial benefits

GYES, a multifibre spectrograph for the CFHT

We have chosen the name of GYES, one of the mythological giants with one hundred arms, offspring of Gaia and Uranus, for our instrument study of a multifibre spectrograph for the prime focus of the Canada-France-Hawaii Telescope. Such an instrument could provide an excellent ground-based complement for the Gaia mission and a northern complement to the HERMES project on the AAT. The CFHT is well known for providing a stable prime focus environment, with a large field of view, which has hosted several imaging instruments, but has never hosted a multifibre spectrograph. Building upon the experience gained at GEPI with FLAMES-Giraffe and X-Shooter, we are investigating the feasibility of a high multiplex spectrograph (about 500 fibres) over a field of view 1 degree in diameter. We are investigating an instrument with resolution in the range 15000 to 30000, which should provide accurate chemical abundances for stars down to 16th magnitude and radial velocities, accurate to 1 km/s for fainter stars. The study is led by GEPI-Observatoire de Paris with a contribution from Oxford for the study of the positioner. The financing for the study comes from INSU CSAA and Observatoire de Paris. The conceptual study will be delivered to CFHT for review by October 1st 2010.Comment: Contributed talk at the Gaia ELSA conference 2010, S\`evres 7-11 June 2010, to be published on the EAS Series, Editors: C. Turon, F. Arenou & F. Meynadie

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Decoupling property of the supersymmetric Higgs sector with four doublets

In supersymmetric standard models with multi Higgs doublet fields, selfcoupling constants in the Higgs potential come only from the D-terms at the tree level. We investigate the decoupling property of additional two heavier Higgs doublet fields in the supersymmetric standard model with four Higgs doublets. In particular, we study how they can modify the predictions on the quantities well predicted in the minimal supersymmetric standard model (MSSM), when the extra doublet fields are rather heavy to be measured at collider experiments. The B-term mixing between these extra heavy Higgs bosons and the relatively light MSSM-like Higgs bosons can significantly change the predictions in the MSSM such as on the masses of MSSM-like Higgs bosons as well as the mixing angle for the two light CP-even scalar states. We first give formulae for deviations in the observables of the MSSM in the decoupling region for the extra two doublet fields. We then examine possible deviations in the Higgs sector numerically, and discuss their phenomenological implications.Comment: 26 pages, 24 figures, text sligtly modified,version to appear in Journal of High Energy Physic

Search for charginos in e+e- interactions at sqrt(s) = 189 GeV

An update of the searches for charginos and gravitinos is presented, based on a data sample corresponding to the 158 pb^{-1} recorded by the DELPHI detector in 1998, at a centre-of-mass energy of 189 GeV. No evidence for a signal was found. The lower mass limits are 4-5 GeV/c^2 higher than those obtained at a centre-of-mass energy of 183 GeV. The (\mu,M_2) MSSM domain excluded by combining the chargino searches with neutralino searches at the Z resonance implies a limit on the mass of the lightest neutralino which, for a heavy sneutrino, is constrained to be above 31.0 GeV/c^2 for tan(beta) \geq 1.Comment: 22 pages, 8 figure

Hadronization properties of b quarks compared to light quarks in e+e- -> q qbar from 183 to 200 GeV

The DELPHI detector at LEP has collected 54 pb^{-1} of data at a centre-of-mass energy around 183 GeV during 1997, 158 pb^{-1} around 189 GeV during 1998, and 187 pb^{-1} between 192 and 200 GeV during 1999. These data were used to measure the average charged particle multiplicity in e+e- -> b bbar events, _{bb}, and the difference delta_{bl} between _{bb} and the multiplicity, _{ll}, in generic light quark (u,d,s) events: delta_{bl}(183 GeV) = 4.55 +/- 1.31 (stat) +/- 0.73 (syst) delta_{bl}(189 GeV) = 4.43 +/- 0.85 (stat) +/- 0.61 (syst) delta_{bl}(200 GeV) = 3.39 +/- 0.89 (stat) +/- 1.01 (syst). This result is consistent with QCD predictions, while it is inconsistent with calculations assuming that the multiplicity accompanying the decay of a heavy quark is independent of the mass of the quark itself.Comment: 13 pages, 2 figure

A Study of Time-Dependent CP-Violating Asymmetries and Flavor Oscillations in Neutral B Decays at the Upsilon(4S)

We present a measurement of time-dependent CP-violating asymmetries in neutral B meson decays collected with the BABAR detector at the PEP-II asymmetric-energy B Factory at the Stanford Linear Accelerator Center. The data sample consists of 29.7 ${\rm fb}^{-1}$ recorded at the $\Upsilon(4S)$ resonance and 3.9 ${\rm fb}^{-1}$ off-resonance. One of the neutral B mesons, which are produced in pairs at the $\Upsilon(4S)$, is fully reconstructed in the CP decay modes $J/\psi K^0_S$, $\psi(2S) K^0_S$, $\chi_{c1} K^0_S$, $J/\psi K^{*0}$ ($K^{*0}\to K^0_S\pi^0$) and $J/\psi K^0_L$, or in flavor-eigenstate modes involving $D^{(*)}\pi/\rho/a_1$ and $J/\psi K^{*0}$ ($K^{*0}\to K^+\pi^-$). The flavor of the other neutral B meson is tagged at the time of its decay, mainly with the charge of identified leptons and kaons. The proper time elapsed between the decays is determined by measuring the distance between the decay vertices. A maximum-likelihood fit to this flavor eigenstate sample finds $\Delta m_d = 0.516\pm 0.016 {\rm (stat)} \pm 0.010 {\rm (syst)} {\rm ps}^{-1}$. The value of the asymmetry amplitude $\sin2\beta$ is determined from a simultaneous maximum-likelihood fit to the time-difference distribution of the flavor-eigenstate sample and about 642 tagged $B^0$ decays in the CP-eigenstate modes. We find $\sin2\beta=0.59\pm 0.14 {\rm (stat)} \pm 0.05 {\rm (syst)}$, demonstrating that CP violation exists in the neutral B meson system. (abridged)Comment: 58 pages, 35 figures, submitted to Physical Review

Prerequisites for effective adenovirus mediated gene therapy of colorectal liver metastases in the rat using an intracellular neutralizing antibody fragment to p21-Ras

Ras mutations are present in 40–50% of colorectal cancers. Inactivating this oncogene may therefore reduce proliferation capacity. In order to target ras we studied the transduction efficacy and anti tumour activity of an adenoviral vector expressing an intracellular, neutralizing single chain antibody to p21-ras (Y28). In in vitro studies transfection levels of the K-ras mutated rat colon carcinoma cell line CC531 were studied using the LacZ marker gene. In our in vivo liver metastases model different routes of administration were evaluated to determine which regimen resulted in the best transfection levels and tumour responses: intravenous injection, intratumoural injection, isolated liver perfusion, or hepatic artery infusion. CC531 cells are readily transfected in vitro, resulting in significant inhibition of tumour cell proliferation by the Y28 construct. Intravenous injection did not result in any measurable transfection. Intratumoural injection resulted only in the transfection of tumour cells along the needle track. IHP as well as single HAI achieved low transfection levels of tumour tissue. Expression of Y28 was demonstrated in tumours after IT injection, HAI and IHP. Whereas, repeated HAI's clearly achieved expression in and around tumour associated vessels. Only five times repeated HAI's with Y28 resulted in a tumour response: in all animals tumour growth was inhibited, and in three rats out of eight a complete regression of the liver tumours was observed

Intrinsic Determinants of Aβ12–24 pH-Dependent Self-Assembly Revealed by Combined Computational and Experimental Studies

The propensity of amyloid- (A) peptide to self-assemble into highly ordered amyloid structures lies at the core of their accumulation in the brain during Alzheimer's disease. By using all-atom explicit solvent replica exchange molecular dynamics simulations, we elucidated at the atomic level the intrinsic determinants of the pH-dependent dimerization of the central hydrophobic segment A and related these with the propensity to form amyloid fibrils measured by experimental tools such as atomic force microscopy and fluorescence. The process of A dimerization was evaluated in terms of free energy landscape, side-chain two-dimensional contact probability maps, -sheet registries, potential mean force as a function of inter-chain distances, secondary structure development and radial solvation distributions. We showed that dimerization is a key event in A amyloid formation; it is highly prompted in the order of pH 5.02.98.4 and determines further amyloid growth. The dimerization is governed by a dynamic interplay of hydrophobic, electrostatic and solvation interactions permitting some variability of -sheets at each pH. These results provide atomistic insight into the complex process of molecular recognition detrimental for amyloid growth and pave the way for better understanding of the molecular basis of amyloid diseases