596 research outputs found
The Effect Of Pitting Corrosion On The Position Of Aircraft Structural Failures
Corrosion has been shown over the last decade to significantly reduce the structural integrity of aircraft as they age. Previous work at DSTO has shown that pitting and exfoliation corrosion are particularly deleterious to aircraft structural integrity. In addition to reducing fatigue endurance, pitting also increases the surface area of the component over which fatigue failures can occur. This paper reports the results of a Monte-Carlo model of this phenomenon, which has been labelled 'corrosion criticality'. This model concentrates on the effect of the pit spatial density and position on the endurance of a fatigue coupon designed to mimic a simple aircraft component. The study's results show that pitting increases the area of the coupon over which failures can occur
Proof Systems for Retracts in Simply Typed Lambda Calculus
Abstract. This paper concerns retracts in simply typed lambda calculus assuming βη-equality. We provide a simple tableau proof system which characterises when a type is a retract of another type and which leads to an exponential decision procedure.
A New Technique for Finding Needles in Haystacks: A Geometric Approach to Distinguishing Between a New Source and Random Fluctuations
We propose a new test statistic based on a score process for determining the
statistical significance of a putative signal that may be a small perturbation
to a noisy experimental background. We derive the reference distribution for
this score test statistic; it has an elegant geometrical interpretation as well
as broad applicability. We illustrate the technique in the context of a model
problem from high-energy particle physics. Monte Carlo experimental results
confirm that the score test results in a significantly improved rate of signal
detection.Comment: 5 pages, 4 figure
Questioning the Influence of Sunspots on Amazon Hydrology: Even a Broken Clock Tells the Right Time Twice a Day
It was suggested in a recent article that sunspots drive decadal variation in Amazon River flow. This conclusion was based on a novel time series decomposition method used to extract a decadal signal from the Amazon River record. We have extended this analysis back in time, using a new hydrological proxy record of tree ring oxygen isotopes (δ¹⁸OTR). Consistent with the findings of Antico and Torres, we find a positive correlation between sunspots and the decadal δ¹⁸OTR cycle from 1903 to 2012 (r = 0.60, p < 0.001). However, the relationship does not persist into the preceding century and even becomes weakly negative (r = −0.30, p = 0.11, 1799–1902). This result casts considerable doubt over the mechanism by which sunspots are purported to influence Amazon hydrology
CD70 (TNFSF7) is expressed at high prevalence in renal cell carcinomas and is rapidly internalised on antibody binding
In order to identify potential markers of renal cancer, the plasma membrane protein content of renal cell carcinoma (RCC)-derived cell lines was annotated using a proteomics process. One unusual protein identified at high levels in A498 and 786-O cells was CD70 (TNFSF7), a type II transmembrane receptor normally expressed on a subset of B, T and NK cells, where it plays a costimulatory role in immune cell activation. Immunohistochemical analysis of CD70 expression in multiple carcinoma types demonstrated strong CD70 staining in RCC tissues. Metastatic tissues from eight of 11 patients with clear cell RCC were positive for CD70 expression. Immunocytochemical analysis demonstrated that binding of an anti-CD70 antibody to CD70 endogenously expressed on the surface of A498 and 786-O cell lines resulted in the rapid internalisation of the antibody–receptor complex. Coincubation of the internalising anti-CD70 antibody with a saporin-conjugated secondary antibody before addition to A498 cells resulted in 50% cell killing. These data indicate that CD70 represents a potential target antigen for toxin-conjugated therapeutic antibody treatment of RCC
Local linear density estimation for filtered survival data, with bias correction
A class of local linear kernel density estimators based on weighted least-squares kernel estimation is considered within the framework of Aalen's multiplicative intensity model. This model includes the filtered data model that, in turn, allows for truncation and/or censoring in addition to accommodating unusual patterns of exposure as well as occurrence. It is shown that the local linear estimators corresponding to all different weightings have the same pointwise asymptotic properties. However, the weighting previously used in the literature in the i.i.d. case is seen to be far from optimal when it comes to exposure robustness, and a simple alternative weighting is to be preferred. Indeed, this weighting has, effectively, to be well chosen in a 'pilot' estimator of the survival function as well as in the main estimator itself. We also investigate multiplicative and additive bias-correction methods within our framework. The multiplicative bias-correction method proves to be the best in a simulation study comparing the performance of the considered estimators. An example concerning old-age mortality demonstrates the importance of the improvements provided
Reexamining evidence-based practice in community corrections: beyond 'a confined view' of what works
This article aims to reexamine the development and scope of evidence-based practice (EBP) in community corrections by exploring three sets of issues. Firstly, we examine the relationships between the contested purposes of community supervision and their relationships to questions of evidence. Secondly, we explore the range of forms of evidence that might inform the pursuit of one purpose of supervision—the rehabilitation of offenders—making the case for a fuller engagement with “desistance” research in supporting this process. Thirdly, we examine who can and should be involved in conversations about EBP, arguing that both ex/offenders’ and practitioners’ voices need to be respected and heard in this debate
The structure of Chariklo's rings from stellar occultations
Two narrow and dense rings (called C1R and C2R) were discovered around the
Centaur object (10199) Chariklo during a stellar occultation observed on 2013
June 3. Following this discovery, we planned observations of several
occultations by Chariklo's system in order to better characterize the physical
properties of the ring and main body. Here, we use 12 successful occulations by
Chariklo observed between 2014 and 2016. They provide ring profiles (physical
width, opacity, edge structure) and constraints on the radii and pole position.
Our new observations are currently consistent with the circular ring solution
and pole position, to within the km formal uncertainty for the ring
radii derived by Braga-Ribas et al. The six resolved C1R profiles reveal
significant width variations from to 7.5 km. The width of the fainter
ring C2R is less constrained, and may vary between 0.1 and 1 km. The inner and
outer edges of C1R are consistent with infinitely sharp boundaries, with
typical upper limits of one kilometer for the transition zone between the ring
and empty space. No constraint on the sharpness of C2R's edges is available. A
1 upper limit of m is derived for the equivalent width of
narrow (physical width <4 km) rings up to distances of 12,000 km, counted in
the ring plane
- …