143 research outputs found
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)
This paper studies the quantitative refinements of Abramsky's applicative
similarity and bisimilarity in the context of a generalisation of Fuzz, a
call-by-value -calculus with a linear type system that can express
programs sensitivity, enriched with algebraic operations \emph{\`a la} Plotkin
and Power. To do so a general, abstract framework for studying behavioural
relations taking values over quantales is defined according to Lawvere's
analysis of generalised metric spaces. Barr's notion of relator (or lax
extension) is then extended to quantale-valued relations adapting and extending
results from the field of monoidal topology. Abstract notions of
quantale-valued effectful applicative similarity and bisimilarity are then
defined and proved to be a compatible generalised metric (in the sense of
Lawvere) and pseudometric, respectively, under mild conditions
Sardina
Publicad
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances
International audienceThis paper studies quantitative refinements of Abramsky's applica-tive similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value λ-calculus with a linear type system that can express program sensitivity, enriched with algebraic operations à la Plotkin and Power. To do so a general, abstract framework for studying behavioural relations taking values over quantales is introduced according to Lawvere's analysis of generalised metric spaces. Barr's notion of relator (or lax extension) is then extended to quantale-valued relations, adapting and extending results from the field of monoidal topology. Abstract notions of quantale-valued effectful applicative similarity and bisimilarity are then defined and proved to be a compatible generalised metric (in the sense of Lawvere) and pseudometric, respectively, under mild conditions
Impact of uterine manipulator on oncological outcome in endometrial cancer surgery
Background: There are limited data available to indicate whether oncological outcomes might be influenced by the uterine manipulator, which is used at the time of hysterectomy for minimally invasive surgery in patients with endometrial cancer. The current evidence derives from retrospective studies with limited sample sizes. Without substantial evidence to support its use, surgeons are required to make decisions about its use based only on their personal choice and surgical experience.
Objective: To evaluate the use of the uterine manipulator on oncological outcomes after minimally invasive surgery, for apparent early-stage endometrial cancer. Study Design: We performed a retrospective multicentric study to assess the oncological safety of uterine manipulator use in patients with apparent early-stage endometrial cancer, treated with minimally invasive surgery. The type of manipulator, surgical staging, histology, lymphovascular space invasion, International Federation of Gynecology and Obstetrics stage, adjuvant treatment, recurrence, and pattern of recurrence were evaluated. The primary objective was to determine the relapse rate. The secondary objective was to determine recurrence-free survival, overall survival, and the pattern of recurrence.
Results: A total of 2661 women from 15 centers were included; 1756 patients underwent hysterectomy with a uterine manipulator and 905 without it. Both groups were balanced with respect to histology, tumor grade, myometrial invasion, International Federation of Gynecology and Obstetrics stage, and adjuvant therapy. The rate of recurrence was 11.69% in the uterine manipulator group and 7.4% in the no-manipulator group (P<.001). The use of the uterine manipulator was associated with a higher risk of recurrence (hazard ratio, 2.31; 95% confidence interval, 1.27â4.20; P=.006). The use of uterine manipulator in uterus-confined endometrial cancer (International Federation of Gynecology and Obstetrics [FIGO] IâII) was associated with lower disease-free survival (hazard ratio, 1.74; 95% confidence interval, 0.57â0.97; P=.027) and higher risk of death (hazard ratio, 1.74; 95% confidence interval, 1.07â2.83; P=.026). No differences were found regarding the pattern of recurrence between both groups (chi-square statistic, 1.74; P=.63).
Conclusion: In this study, the use of a uterine manipulator was associated with a worse oncological outcome in patients with uterus-confined endometrial cancer (International Federation of Gynecology and Obstetrics IâII) who underwent minimally invasive surgery. Prospective trials are essential to confirm these results
Anisotropy studies around the galactic centre at EeV energies with the Auger Observatory
Data from the Pierre Auger Observatory are analyzed to search for
anisotropies near the direction of the Galactic Centre at EeV energies. The
exposure of the surface array in this part of the sky is already significantly
larger than that of the fore-runner experiments. Our results do not support
previous findings of localized excesses in the AGASA and SUGAR data. We set an
upper bound on a point-like flux of cosmic rays arriving from the Galactic
Centre which excludes several scenarios predicting sources of EeV neutrons from
Sagittarius . Also the events detected simultaneously by the surface and
fluorescence detectors (the `hybrid' data set), which have better pointing
accuracy but are less numerous than those of the surface array alone, do not
show any significant localized excess from this direction.Comment: Matches published versio
Atmospheric effects on extensive air showers observed with the Surface Detector of the Pierre Auger Observatory
Atmospheric parameters, such as pressure (P), temperature (T) and density,
affect the development of extensive air showers initiated by energetic cosmic
rays. We have studied the impact of atmospheric variations on extensive air
showers by means of the surface detector of the Pierre Auger Observatory. The
rate of events shows a ~10% seasonal modulation and ~2% diurnal one. We find
that the observed behaviour is explained by a model including the effects
associated with the variations of pressure and density. The former affects the
longitudinal development of air showers while the latter influences the Moliere
radius and hence the lateral distribution of the shower particles. The model is
validated with full simulations of extensive air showers using atmospheric
profiles measured at the site of the Pierre Auger Observatory.Comment: 24 pages, 9 figures, accepted for publication in Astroparticle
Physic
Update on the correlation of the highest energy cosmic rays with nearby extragalactic matter
Data collected by the Pierre Auger Observatory through 31 August 2007 showed
evidence for anisotropy in the arrival directions of cosmic rays above the
Greisen-Zatsepin-Kuz'min energy threshold, \nobreak{eV}. The
anisotropy was measured by the fraction of arrival directions that are less
than from the position of an active galactic nucleus within 75 Mpc
(using the V\'eron-Cetty and V\'eron catalog). An updated
measurement of this fraction is reported here using the arrival directions of
cosmic rays recorded above the same energy threshold through 31 December 2009.
The number of arrival directions has increased from 27 to 69, allowing a more
precise measurement. The correlating fraction is , compared
with expected for isotropic cosmic rays. This is down from the early
estimate of . The enlarged set of arrival directions is
examined also in relation to other populations of nearby extragalactic objects:
galaxies in the 2 Microns All Sky Survey and active galactic nuclei detected in
hard X-rays by the Swift Burst Alert Telescope. A celestial region around the
position of the radiogalaxy Cen A has the largest excess of arrival directions
relative to isotropic expectations. The 2-point autocorrelation function is
shown for the enlarged set of arrival directions and compared to the isotropic
expectation.Comment: Accepted for publication in Astroparticle Physics on 31 August 201
The Fluorescence Detector of the Pierre Auger Observatory
The Pierre Auger Observatory is a hybrid detector for ultra-high energy
cosmic rays. It combines a surface array to measure secondary particles at
ground level together with a fluorescence detector to measure the development
of air showers in the atmosphere above the array. The fluorescence detector
comprises 24 large telescopes specialized for measuring the nitrogen
fluorescence caused by charged particles of cosmic ray air showers. In this
paper we describe the components of the fluorescence detector including its
optical system, the design of the camera, the electronics, and the systems for
relative and absolute calibration. We also discuss the operation and the
monitoring of the detector. Finally, we evaluate the detector performance and
precision of shower reconstructions.Comment: 53 pages. Submitted to Nuclear Instruments and Methods in Physics
Research Section
- âŠ