Hˉ+\bar {\sf {H}}^{+} ion production from collisions between antiprotons and excited positronium: cross sections calculations in the framework of the GBAR experiment

see also, Corrigendum: New J. Phys. 23 (2021) 029501International audienceIn the framework of the gravitational behaviour of antihydrogen at rest (GBAR) experiment, cross sections for the successive formation of $\bar {\sf {H}}$ and $\bar {\sf {H}}^{+}$ from collisions between positronium (Ps) and antiprotons ( $\bar p$ ) have been computed in the range 0-30 keV $\bar p$ energy, using the continuum distorted wavefinal state theoretical model in its three-body and four-body formulations. The effect of the electronic correlations in $\bar {\sf {H}}^{+}$ on the total cross sections of $\bar {\sf {H}}^{+}$ production has been studied using three different wave functions for $\bar {\sf {H}}$ (the matter equivalent of $\bar {\sf {H}}^{+}$). Ps excited states up to n$_p$ = 3, as well as $\bar {\sf {H}}$ excited states up to n$_h$ = 4, have been investigated. The results suggest that the production of $\bar {\sf {H}}^{+}$ can be efficiently enhanced by using either a fraction of Ps(2p) and a 2 keV ($\bar p$) beam or a fraction Ps(3d) and antiprotons with kinetic energy below 1 ke

Abstract verification and debugging of constraint logic programs

The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program verification and debugging [3],[10],[7]

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

H-+ ion production from collisions between antiprotons and excited positronium: cross sections calculations in the framework of the GBAR experiment:

In the framework of the gravitational behaviour of antihydrogen at rest (GBAR) experiment, cross sections for the successive formation of (p) over bar and H-+ from collisions between positronium (Ps) and antiprotons ((p) over bar) have been computed in the range 0-30 keV (p) over bar energy, using the continuum distorted wave-final state theoretical model in its three-body and four-body formulations. The effect of the electronic correlations in H-+ on the total cross sections of H-+ production has been studied using three different wave functions for H- (the matter equivalent of H-+). Ps excited states up to n(p) = 3, as well as H- excited states up to n(h) = 4, have been investigated. The results suggest that the production of H-+ can be efficiently enhanced by using either a fraction of Ps(2p) and a 2 keV ((p) over bar) beam or a fraction Ps(3d) and antiprotons with kinetic energy below 1 keV

Synthesis and gas-sensing properties of pd-doped SnO2 nanocrystals. A case study of a general methodology for doping metal oxide nanocrystals

Pd-modified SnO2 nanocrystals, with a Pd/Sn nominal atomic ratio of 0.025, were prepared by injecting SnO2 sols and a Pd precursor solution into tetradecene and dodecylamine at 160 degrees C. Two different doping procedures were investigated: in co-injection, a Pd acetylacetonate solution in chloroform was mixed with the SnO2 sol before the injection; in sequential injection, the Pd solution was injected separately after the SnO2 sol. The obtained suspensions were heated at the resulting 80 degrees C temperature, then the product was collected by centrifugation and dried at 80 degrees C. When using co-injection, in the dried products PdO and Pd nanoparticles were observed by high-resolution transmission electron microscopy. Only SnO2 nanocrystals were observed in dried products prepared by sequential injection. After heat-treatment at 500 degrees C, no Pd species were observed for both doping procedures. Moreover, X-ray photoelectron spectroscopy showed that, in both the doping procedures, after heat-treatment Pd is distributed only into the SnO2 nanocrystal structure. This conclusion was reinforced by the measurement of the electrical properties of Pd-doped nanocrystals, showing a remarkable increase of the electrical resistance if compared with pure SnO2 nanocrystals. This result was interpreted as Pd insertion as a dopant inside the cassiterite lattice of tin dioxide. The addition of Pd resulted in a remarkable improvement of the gas-sensing properties, allowing the detection of carbon monoxide concentrations below 50 ppm and of very low concentrations (below 25 ppm) of other reducing gases such as ethanol and acetone

Synthesis and characterization of mixed oxide nanowires for gas sensing

A healthy and long-lasting life is the utmost wish of any living being thus aging. The aging phenomenon cannot be stopped but may be controlled to some extent when we live in appropriate environments. Usually, the outdoor environment is polluted by two means natural events (windblown dust, volcano eruptions, etc.) and man-made ones (burning of facile fuels, factories, volatile organic compounds, etc.). Pollution due to harmful air such as sulfur oxides (SO2), nitrogen oxides (NOX), carbon monoxide (CO), ammonia (NH3), methane (CH4), and volatile organic compounds (VOCs) is one of the significant issues since it is more sensitive to compromising the natural ecosystem and environment. So, exposure to these compounds worsens the aging phenomena of the living being (headache, fainting, skin and eye irradiation, respiratory infections, heart disease, lung cancer, and even superficial death). Therefore, it is necessary the detection these compounds in the environment. Accordingly, metal oxides (MOXs) gas sensors have conventionally been employed to detect and quantify harmful gases in both indoor and outdoor environments. However, one of the major problems with these sensors is achieving selective detection. Herein, we propose a novel design with two metal oxides (ZnO and Co3O4) that provide very high gas response together with superior selectivity. The proposed structure is a one-dimensional (1D) metal oxide composite; Co3O4/ZnO nanowires. The composite was prepared by in-situ thermal oxidation of metallic Co thin layer (50 nm) and evaporation of ZnO powder at a temperature of 800 ᵒC at a pressure of 0.15 mbar. The pressure was maintained by a controlled mixture of O2 and Ar. The morphological, compositional, and structural analyses are evidence of the successful growth of the Co3O4/ZnO composite nanowire with the root of Co3O4 and the tip with Pt (catalyzer) and Co3O4. The gas sensing characterization shows exciting sensing functionality towards acetone (C3H6O) compared to that of tested gases (C2H5OH, H2S, NH3, CO, NO2, and H2). The reported highest response (ΔG/G; G is the conductance) was above the value of 5000 toward 50 ppm (parts per million) C3H6O at 40 RH% air when working at 250 °C with the potential of detecting sub ppb (parts per billion) concentration levels of C3H6O. The very high C3H6O sensing performance together with exceptionally high selectivity of the sensor ascribed to Pt nanoparticle and the Co3O4 section on the tip of the Co3O4/ZnO. Moreover, the formation of heterojunctions, synergistic gas sensing, and the catalytic activity of the proposed design enhances the response of the sensors. Accordingly, scanning electron microscopic (SEM), transmission electron microscope (TEM), energy-dispersive X-ray spectroscopy (EDS), X-ray photoelectron spectroscopy (XPS), X-ray diffraction (XRD) characterization, and the sensing mechanisms are comprehensively discussed at the conference

Direct detection of extended-spectrum-β-lactamase-producers in Enterobacterales from blood cultures: a comparative analysis.

Accurate detection of extended-spectrum-β-lactamase (ESBL)-producing Enterobacterales from bloodstream infection (BSI) is of paramount importance for both epidemiological and clinical purposes, especially for optimization of antibiotic stewardship interventions. Three phenotypic methods for the detection of ESBL phenotype in Klebsiella pneumoniae and Escherichia coli BSI were compared over a 4-month period (May-August 2021) in a main University Hospital from Northern Italy. The methods were the biochemical Rapid ESBL NP®, the immunological NG-Test CTX-M MULTI®, and the E-test technique based on ESBL E-test®. One hundred forty-two blood cultures (BCs) positive for K. pneumoniae or E. coli were included. ESBL and carbapenemase phenotype were detected in 26.1% (n = 37) and 16.9% (n = 24), respectively. The Rapid ESBL NP®, NG-Test CTX-M MULTI®, and direct ESBL E-test® positive and negative predictive values with 95% confidence intervals were 1 (0.87-1) and 0.97 (0.92-0.99), 1 (0.87-1) and 0.97 (0.92-0.99), and 1 (0.88-1) and 1 (0.96-1), respectively. The three phenotypic methods evaluated showed good performance in the detection of ESBL phenotype from K. pneumoniae- or E. coli-positive BCs. Rapid ESBL NP® and NG-test CTX-M® offer the important advantage of a turnaround time of 15 to 45 min, and the Rapid ESBL NP test in addition detects any type of ESBL producers

Investigation of dopant profiles in nanosized materials by scanning transmission electron microscopy

Scanning electron microscopy is capable to provide chemical information on specimens interesting for the field of materials science and nanotechnology. The spatial resolution and the chemical information provided by incoherent imaging and detection of transmitted, forward-scattered electrons can reveal useful information about the specimen composition and microstructure. This paper discusses the capability and potential of low-voltage Scanning Transmission Electron Microscopy (STEM) for the characterization of multilayered structures and dopant profiles in crystalline materials

Novel silver‐functionalized poly(ɛ‐caprolactone)/biphasic calcium phosphate scaffolds designed to counteract post‐surgical infections in orthopedic applications

In this study, we designed and developed novel poly(ε‐caprolactone) (PCL)‐based biomaterials, for use as bone scaffolds, through modification with both biphasic calcium phosphate (BCP), to impart bioactive/bioresorbable properties, and with silver nitrate, to provide antibacterial protection against Staphylococcus aureus, a microorganism involved in prosthetic joint infections (PJIs). Field emission scanning electron microscopy (FESEM) showed that the samples were characterized by square‐shaped macropores, and energy dispersive X‐ray spectroscopy analysis confirmed the presence of PCL and BCP phases, while inductively coupled plasma–mass spectrometry (ICP–MS) established the release of Ag+ in the medium (~0.15–0.8 wt% of initial Ag content). Adhesion assays revealed a significant (p < 0.0001) reduction in both adherent and planktonic staphylococci on the Ag‐functionalized biomaterials, and the presence of an inhibition halo confirmed Ag release from enriched samples. To assess the potential outcome in promoting bone integration, preliminary tests on sarcoma osteogenic‐2 (Saos‐2) cells indicated PCL and BCP/PCL biocompatibility, but a reduction in viability was observed for Ag‐added biomaterials. Due to their combined biodegrading and antimicrobial properties, the silver‐enriched BCP/PCL-based scaffolds showed good potential for engineering of bone tissue and for reducing PJIs as a microbial anti‐adhesive tool used in the delivery of targeted antimicrobial molecules, even if the amount of silver needs to be tuned to improve osteointegration