3,679 research outputs found

    Integration of formal fault analysis in ASSERT: Case studies and lessons learnt

    Get PDF
    International audienceThe ASSERT European Integrated Project (Automated proof-based System and Software Engineering for Real-Time systems; EC FP6, IST-004033) has investigated, elaborated and experimented advanced methods based on the AltaRica language and support tool OCAS for architecture and fault approach propagation description analysis, and integrated in the complete ASSERT process. The paper describes lessons learnt from three case studies: safety critical spacecraft, autonomous deep exploration spacecraft, and civil aircraft

    The OPERA experiment Target Tracker

    Get PDF
    The main task of the Target Tracker detector of the long baseline neutrino oscillation OPERA experiment is to locate in which of the target elementary constituents, the lead/emulsion bricks, the neutrino interactions have occurred and also to give calorimetric information about each event. The technology used consists in walls of two planes of plastic scintillator strips, one per transverse direction. Wavelength shifting fibres collect the light signal emitted by the scintillator strips and guide it to both ends where it is read by multi-anode photomultiplier tubes. All the elements used in the construction of this detector and its main characteristics are described.Comment: 25 pages, submitted to Nuclear Instrument and Method

    Functional Analysis of Alleged NOGGIN Mutation G92E Disproves Its Pathogenic Relevance

    Get PDF
    We identified an amino acid change (p.G92E) in the Bone Morphogenetic Protein antagonist NOGGIN in a 22-month-old boy who presented with a unilateral brachydactyly type B phenotype. Brachydactyly type B is a skeletal malformation that has been associated with increased Bone Morphogenetic Protein pathway activation in other patients. Previously, the amino acid change p.G92E in NOGGIN was described as causing fibrodysplasia ossificans progressiva, a rare genetic disorder characterized by limb malformations and progressive heterotopic bone formation in soft tissues that, like Brachydactyly type B, is caused by increased activation of Bone Morphogenetic Protein signaling. To determine whether G92E-NOGGIN shows impaired antagonism that could lead to increased Bone Morphogenetic Protein signaling, we performed functional assays to evaluate inhibition of BMP signaling. Interestingly, wt-NOGGIN shows different inhibition efficacies towards various Bone Morphogenetic Proteins that are known to be essential in limb development. However, comparing the biological activity of G92E-NOGGIN with wt-NOGGIN, we observed that G92E-NOGGIN inhibits activation of bone morphogenetic protein signaling with equal efficiency as wt-NOGGIN, supporting that G92E-NOGGIN does not cause pathological effects. Genetic testing of the child's parents revealed the same amino acid change in the healthy father, further supporting that p.G92E is a neutral amino acid substitution in NOGGIN. We conclude that p.G92E represents a rare polymorphism of the NOGGIN gene - causing neither brachydactyly nor fibrodysplasia ossificans progressiva. This study highlights that a given genetic variation should not be considered pathogenic unless supported by functional analyses

    Search for supersymmetry with a dominant R-parity violating LQDbar couplings in e+e- collisions at centre-of-mass energies of 130GeV to 172 GeV

    Full text link
    A search for pair-production of supersymmetric particles under the assumption that R-parity is violated via a dominant LQDbar coupling has been performed using the data collected by ALEPH at centre-of-mass energies of 130-172 GeV. The observed candidate events in the data are in agreement with the Standard Model expectation. This result is translated into lower limits on the masses of charginos, neutralinos, sleptons, sneutrinos and squarks. For instance, for m_0=500 GeV/c^2 and tan(beta)=sqrt(2) charginos with masses smaller than 81 GeV/c^2 and neutralinos with masses smaller than 29 GeV/c^2 are excluded at the 95% confidence level for any generation structure of the LQDbar coupling.Comment: 32 pages, 30 figure

    Search for CP Violation in the Decay Z -> b (b bar) g

    Full text link
    About three million hadronic decays of the Z collected by ALEPH in the years 1991-1994 are used to search for anomalous CP violation beyond the Standard Model in the decay Z -> b \bar{b} g. The study is performed by analyzing angular correlations between the two quarks and the gluon in three-jet events and by measuring the differential two-jet rate. No signal of CP violation is found. For the combinations of anomalous CP violating couplings, h^b=h^AbgVbh^VbgAb{\hat{h}}_b = {\hat{h}}_{Ab}g_{Vb}-{\hat{h}}_{Vb}g_{Ab} and hb=h^Vb2+h^Ab2h^{\ast}_b = \sqrt{\hat{h}_{Vb}^{2}+\hat{h}_{Ab}^{2}}, limits of \hat{h}_b < 0.59and and h^{\ast}_{b} < 3.02$ are given at 95\% CL.Comment: 8 pages, 1 postscript figure, uses here.sty, epsfig.st

    Probing BFKL Dynamics in the Dijet Cross Section at Large Rapidity Intervals in ppbar Collisions at sqrt{s}=1800 and 630 GeV

    Get PDF
    Inclusive dijet production at large pseudorapidity intervals (delta_eta) between the two jets has been suggested as a regime for observing BFKL dynamics. We have measured the dijet cross section for large delta_eta in ppbar collisions at sqrt{s}=1800 and 630 GeV using the DO detector. The partonic cross section increases strongly with the size of delta_eta. The observed growth is even stronger than expected on the basis of BFKL resummation in the leading logarithmic approximation. The growth of the partonic cross section can be accommodated with an effective BFKL intercept of a_{BFKL}(20GeV)=1.65+/-0.07.Comment: Published in Physical Review Letter

    Search for Large Extra Dimensions in Dielectron and Diphoton Production

    Get PDF
    We report a search for effects of large extra spatial dimensions in ppbar collisions at a center-of-mass energy of 1.8 TeV with the DZero detector, using events containing a pair of electrons or photons. The data are in good agreement with the expected background and do not exhibit evidence for large extra dimensions. We set the most restrictive lower limits to date, at the 95% confidence level, on the effective Planck scale between 1.0 TeV and 1.4 TeV for several formalisms and numbers of extra dimensions.Comment: 6 pages, 2 figures, submitted to Phys. Rev. Let

    Spin Correlation in tt-bar Production from pp-bar Collisions at sqrt(s)=1.8 TeV

    Get PDF
    The D0 collaboration has performed a study of spin correlation in tt-bar production for the process tt-bar to bb-bar W^+W^-, where the W bosons decay to e-nu or mu-nu. A sample of six events was collected during an exposure of the D0 detector to an integrated luminosity of approximately 125 pb^-1 of sqrt{s}=1.8 TeV pp-bar collisions. The standard model (SM) predicts that the short lifetime of the top quark ensures the transmission of any spin information at production to the tt-bar decay products. The degree of spin correlation is characterized by a correlation coefficient k. We find that k>-0.25 at the 68% confidence level, in agreement with the SM prediction of k=0.88.Comment: Submitted to PRL, Added references, minor changes to tex
    corecore