3,788 research outputs found
Integration of formal fault analysis in ASSERT: Case studies and lessons learnt
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
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
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
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
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, and , limits of \hat{h}_b < 0.59h^{\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
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
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
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
- …