1,483 research outputs found
Probing the helium-graphite interaction
Two separate lines of investigation have recently converged to produce a highly detailed picture of the
behavior of helium atoms physisorbed on graphite basal plane surfaces. Atomic beam scattering experiments
on single crystals have yielded accurate values for the binding energies of several· states for both (^4)He and (^3)He, as well as matrix elements of the largest Fourier component of the periodic part of the interaction potential.
From these data, a complete three-dimensional description of the potential has been constructed, and the
energy band structure of a helium atom moving in this potential calculated. At the same time, accurate
thermodynamic measurements were made on submonolayer helium films adsorbed on Grafoil. The binding
energy and low-coverage specific heat deduced from these measurements are in excellent agreement with
those calculated from the band structures
Evaluating testing methods by delivered reliability
There are two main goals in testing software: (1) to achieve adequate quality (debug testing), where the objective is to probe the software for defects so that these can be removed, and (2) to assess existing quality (operational testing), where the objective is to gain confidence that the software is reliable. Debug methods tend to ignore random selection of test data from an operational profile, while for operational methods this selection is all-important. Debug methods are thought to be good at uncovering defects so that these can be repaired, but having done so they do not provide a technically defensible assessment of the reliability that results. On the other hand, operational methods provide accurate assessment, but may not be as useful for achieving reliability. This paper examines the relationship between the two testing goals, using a probabilistic analysis. We define simple models of programs and their testing, and try to answer the question of how to attain program reliability: is it better to test by probing for defects as in debug testing, or to assess reliability directly as in operational testing? Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The âbetterâ method delivers higher reliability after all test failures have been eliminated. Special cases are exhibited in which each kind of testing is superior. An analysis of the distribution of the delivered reliability indicates that even simple models have unusual statistical properties, suggesting caution in interpreting theoretical comparisons
Full Scale Proton Beam Impact Testing of new CERN Collimators and Validation of a Numerical Approach for Future Operation
New collimators are being produced at CERN in the framework of a large
particle accelerator upgrade project to protect beam lines against stray
particles. Their movable jaws hold low density absorbers with tight geometric
requirements, while being able to withstand direct proton beam impacts. Such
events induce considerable thermo-mechanical loads, leading to complex
structural responses, which make the numerical analysis challenging. Hence, an
experiment has been developed to validate the jaw design under representative
conditions and to acquire online results to enhance the numerical models. Two
jaws have been impacted by high-intensity proton beams in a dedicated facility
at CERN and have recreated the worst possible scenario in future operation. The
analysis of online results coupled to post-irradiation examinations have
demonstrated that the jaw response remains in the elastic domain. However, they
have also highlighted how sensitive the jaw geometry is to its mounting support
inside the collimator. Proton beam impacts, as well as handling activities, may
alter the jaw flatness tolerance value by 70 m, whereas the
flatness tolerance requirement is 200 m. In spite of having validated
the jaw design for this application, the study points out numerical limitations
caused by the difficulties in describing complex geometries and boundary
conditions with such unprecedented requirements.Comment: 22 pages, 17 figures, Prepared for submission to JINS
Quantum Weakly Nondeterministic Communication Complexity
We study the weakest model of quantum nondeterminism in which a classical
proof has to be checked with probability one by a quantum protocol. We show the
first separation between classical nondeterministic communication complexity
and this model of quantum nondeterministic communication complexity for a total
function. This separation is quadratic.Comment: 12 pages. v3: minor correction
Testing Linear-Invariant Non-Linear Properties
We consider the task of testing properties of Boolean functions that are
invariant under linear transformations of the Boolean cube. Previous work in
property testing, including the linearity test and the test for Reed-Muller
codes, has mostly focused on such tasks for linear properties. The one
exception is a test due to Green for "triangle freeness": a function
f:\cube^{n}\to\cube satisfies this property if do not all
equal 1, for any pair x,y\in\cube^{n}.
Here we extend this test to a more systematic study of testing for
linear-invariant non-linear properties. We consider properties that are
described by a single forbidden pattern (and its linear transformations), i.e.,
a property is given by points v_{1},...,v_{k}\in\cube^{k} and
f:\cube^{n}\to\cube satisfies the property that if for all linear maps
L:\cube^{k}\to\cube^{n} it is the case that do
not all equal 1. We show that this property is testable if the underlying
matroid specified by is a graphic matroid. This extends
Green's result to an infinite class of new properties.
Our techniques extend those of Green and in particular we establish a link
between the notion of "1-complexity linear systems" of Green and Tao, and
graphic matroids, to derive the results.Comment: This is the full version; conference version appeared in the
proceedings of STACS 200
Renal peroxiredoxin 6 interacts with anion exchanger 1 and plays a novel role in pH homeostasis.
Peroxiredoxin 6 (PRDX6) is one of the six members of the PRDX family, which have peroxidase and antioxidant activity. PRDX6 is unique, containing only one conserved cysteine residue (C47) rather than the two found in other PRDXs. A yeast two-hybrid screen found PRDX6 to be a potential binding partner of the C-terminal tail of anion exchanger 1 (AE1), a Cl(-)/HCO(3)(-) exchanger basolaterally expressed in renal α-intercalated cells. PRDX6 immunostaining in human kidney was both cytoplasmic and peripheral and colocalized with AE1. Analysis of native protein showed that it was largely monomeric, whereas expressed tagged protein was more dimeric. Two methionine oxidation sites were identified. In vitro and ex vivo pull-downs and immunoprecipitation assays confirmed interaction with AE1, but mutation of the conserved cysteine resulted in loss of interaction. Prdx6 knockout mice had a baseline acidosis with a major respiratory component and greater AE1 expression than wild-type animals. After an oral acid challenge, PRDX6 expression increased in wild-type mice, with preservation of AE1. However, AE1 expression was significantly decreased in knockout animals. Kidneys from acidified mice showed widespread proximal tubular vacuolation in wild-type but not knockout animals. Knockdown of PRDX6 by siRNA in mammalian cells reduced both total and cell membrane AE1 levels. Thus, PRDX6-AE1 interaction contributes to the maintenance of AE1 during cellular stress such as during metabolic acidosis.Human kidney sections were prepared by Suzy Haward, Addenbrooke's Human Research Tissue Bank, which is supported by the Cambridge Biomedical Research Centre. We thank Dr. Aron Fisher (Institute for Environmental Science, University of Pennsylvania) for the kind gift of Prdx6â/â mice and reagents, Carsten Wagner (Zurich) for antisera, Jane Clarke (University of Cambridge) for modified pRSET-A vector, and Kamburapola Jayawardena for mass spectrometry (CIMR). This work was funded by the Wellcome Trust (award 088489/Z/09/Z to FEKF and Strategic award 100140/Z/12/Z to the Cambridge Institute for Medical Research), and the Jack Kent Cooke Foundation (scholarship to SLS).This is the author accepted manuscript. The final version is available from Nature Publishing Group via http://dx.doi.org/10.1038/ki.2015.27
- âŠ