Compressive Sensing for Dynamic XRF Scanning

X-Ray Fluorescence (XRF) scanning is a widespread technique of high importance and impact since it provides chemical composition maps crucial for several scientific investigations. There are continuous requirements for larger, faster and highly resolved acquisitions in order to study complex structures. Among the scientific applications that benefit from it, some of them, such as wide scale brain imaging, are prohibitively difficult due to time constraints. However, typically the overall XRF imaging performance is improving through technological progress on XRF detectors and X-ray sources. This paper suggests an additional approach where XRF scanning is performed in a sparse way by skipping specific points or by varying dynamically acquisition time or other scan settings in a conditional manner. This paves the way for Compressive Sensing in XRF scans where data are acquired in a reduced manner allowing for challenging experiments, currently not feasible with the traditional scanning strategies. A series of different compressive sensing strategies for dynamic scans are presented here. A proof of principle experiment was performed at the TwinMic beamline of Elettra synchrotron. The outcome demonstrates the potential of Compressive Sensing for dynamic scans, suggesting its use in challenging scientific experiments while proposing a technical solution for beamline acquisition software.Comment: 16 pages, 7 figures, 1 tabl

Respecting relevance in belief change

En este trabajo dedicado a Carlos Alchourrón consideramos un problema que surgió recién después de su muerte en 1996 pero que seguramente habría sido de gran interés para él: ¿hasta dónde las operaciones formales sobre el cambio de creencias de AGM respetan el criterio de relevancia? Un criterio natural (aunque discutible) ha sido propuesto en 1999 por Rohit Parikh quien asimismo observó que el modelo AGM no siempre lo respeta. Nosotros discutimos los pros y los contras de este criterio y explicamos cómo podría refinarse AGM para que, si así lo deseáramos, lo respetara siempre.En este trabajo dedicado a Carlos Alchourrón consideramos un problema que surgió recién después de su muerte en 1996 pero que seguramente habría sido de gran interés para él: ¿hasta dónde las operaciones formales sobre el cambio de creencias de AGM respetan el criterio de relevancia? Un criterio natural (aunque discutible) ha sido propuesto en 1999 por Rohit Parikh quien asimismo observó que el modelo AGM no siempre lo respeta. Nosotros discutimos los pros y los contras de este criterio y explicamos cómo podría refinarse AGM para que, si así lo deseáramos, lo respetara siempre

Enhanced and Flexible Software Tools for X-ray Computed Tomography at the Italian Synchrotron Radiation Facility Elettra

X-ray computed tomography (CT) experiments performed at synchrotron radiation facilities require adequate computing and storage resources due to the large amount of acquired and reconstructed data produced. To satisfy the heterogeneous needs of beamline users, flexible solutions are also required. Moreover, the growing demand of quantitative image analysis impose an easy integration between the CT reconstruction process and the subsequent feature extraction step. This paper presents some of the software solutions adopted by the SYRMEP beamline of the Italian synchrotron radiation facility Elettra. By using the enhanced version of the reconstruction software here presented as well as data reduction and data analysis tools, beamline users can easily implement an integrated and comprehensive approach to the digital image processing and image analysis required by a tomography-oriented scientific workflow

A modular software framework for the design and implementation of ptychography algorithms

Computational methods are driving high impact microscopy techniques such as ptychography. However, the design and implementation of new algorithms is often a laborious process, as many parts of the code are written in close-to-the-hardware programming constructs to speed up the reconstruction. In this article, we present SciComPty, a new ptychography software framework aiming at simulating ptychography datasets and testing state-of-the-art and new reconstruction algorithms. Despite its simplicity, the software leverages GPU accelerated processing through the PyTorch CUDA interface. This is essential for designing new methods that can readily be employed. As an example, we present an improved position refinement method based on Adam and a new version of the rPIE algorithm, adapted for partial coherence setups. Results are shown on both synthetic and real datasets. The software is released as open-source

Morphological and Chemical Investigation of Ovarian Structures in a Bovine Model by Contrast-Enhanced X-ray Imaging and Microscopy

An improved understanding of an ovary’s structures is highly desirable to support advances in folliculogenesis knowledge and reproductive medicine, with particular attention to fertility preservation options for prepubertal girls with malignant tumors. Although currently the golden standard for structural analysis is provided by combining histological sections, staining, and visible 2D microscopic inspection, synchrotron radiation phase-contrast microtomography is becoming a new challenge for three-dimensional studies at micrometric resolution. To this aim, the proper use of contrast agents can improve the visualization of internal structures in ovary tissues, which normally present a low radiopacity. In this study, we report a comparison of four staining protocols, based on iodine or tungsten containing agents, applied to bovine ovarian tissues fixed in Bouin’s solution. The microtomography (microCT) analyses at two synchrotron facilities under different set-ups were performed at different energies in order to maximize the image contrast. While tungsten-based agents allow large structures to be well identified, Iodine ones better highlight smaller features, especially when acquired above the K-edge energy of the specific metal. Further scans performed at lower energy where the setup was optimized for overall quality and sensitivity from phase-contrast still provided highly resolved visualization of follicular and intrafollicular structures at different maturation stages, independent of the staining protocol. The analyses were complemented by X-ray Fluorescence mapping on 2D sections, showing that the tungsten-based agent has a higher penetration in this type of tissues

Attosecond pulse shaping using a seeded free-electron laser

Attosecond pulses are central to the investigation of valence- and core-electron dynamics on their natural timescales1–3. The reproducible generation and characterization of attosecond waveforms has been demonstrated so far only through the process of high-order harmonic generation4–7. Several methods for shaping attosecond waveforms have been proposed, including the use of metallic filters8,9, multilayer mirrors10 and manipulation of the driving field11. However, none of these approaches allows the flexible manipulation of the temporal characteristics of the attosecond waveforms, and they suffer from the low conversion efficiency of the high-order harmonic generation process. Free-electron lasers, by contrast, deliver femtosecond, extreme-ultraviolet and X-ray pulses with energies ranging from tens of microjoules to a few millijoules12,13. Recent experiments have shown that they can generate subfemtosecond spikes, but with temporal characteristics that change shot-to-shot14–16. Here we report reproducible generation of high-energy (microjoule level) attosecond waveforms using a seeded free-electron laser17. We demonstrate amplitude and phase manipulation of the harmonic components of an attosecond pulse train in combination with an approach for its temporal reconstruction. The results presented here open the way to performing attosecond time-resolved experiments with free-electron lasers

Respecting relevance in belief change

In this paper dedicated to Carlos Alchourr´on, we review an issue that emerged only after his death in 1996, but would have been of great interest to him: To what extent do the formal operations of AGM belief change respect criteria of relevance? A natural (but also debateable) criterion was proposed in 1999 by Rohit Parikh, who observed that the AGM model does not always respect it. We discuss the pros and cons of this criterion, and explain how the AGM account may be refined, if we so desire, so that it is always respected

Parallel interpolation, splitting, and relevance in belief change

The splitting theorem says that any set of formulae has a finest representation as a family of letter-disjoint sets. Parikh formulated this for classical propositional logic, proved it in the finite case, used it to formulate a criterion for relevance in belief change, and showed that AGMpartial meet revision can fail the criterion. In this paper we make three further contributions. We begin by establishing a new version of the well-known interpolation theorem, which we call parallel interpolation, use it to prove the splitting theorem in the infinite case, and show how AGM belief change operations may be modified, if desired, so as to ensure satisfaction of Parikh’s relevance criterion