An Optimal Decision Procedure for MPNL over the Integers

Interval temporal logics provide a natural framework for qualitative and quantitative temporal reason- ing over interval structures, where the truth of formulae is defined over intervals rather than points. In this paper, we study the complexity of the satisfiability problem for Metric Propositional Neigh- borhood Logic (MPNL). MPNL features two modalities to access intervals "to the left" and "to the right" of the current one, respectively, plus an infinite set of length constraints. MPNL, interpreted over the naturals, has been recently shown to be decidable by a doubly exponential procedure. We improve such a result by proving that MPNL is actually EXPSPACE-complete (even when length constraints are encoded in binary), when interpreted over finite structures, the naturals, and the in- tegers, by developing an EXPSPACE decision procedure for MPNL over the integers, which can be easily tailored to finite linear orders and the naturals (EXPSPACE-hardness was already known).Comment: In Proceedings GandALF 2011, arXiv:1106.081

FLUKA cross sections for cosmic-ray interactions with the DRAGON2 code

Secondary particles produced in spallation reactions of cosmic rays with the interstellar gas provide valuable information that allow us to investigate the injection and transport of charged particles in the Galaxy. A good understanding of the cross sections of production of these particles is crucial to correctly interpret our models, although the existing experimental data is very scarce and uncertain. We have developed a new set of cross sections, both inelastic and inclusive, computed with the FLUKA Monte Carlo nuclear code and tested its compatibility with CR data. Inelastic and inclusive cross sections have been compared to the most up-to-date data and parameterisations finding a general good agreement. Then, these cross sections have been implemented in the DRAGON2 code to characterize the spectra of CR nuclei up to Z = 26 and the secondary-to-primary ratios of B, Be and Li. Interestingly, we find that the FLUKA cross sections allow us to predict an energy-dependence of the B, Be and Li flux ratios which is compatible with AMS-02 data and to reproduce simultaneously these flux ratios with a scaling lower than 20%. Finally, we implement the cross sections of production of gamma rays, calculated with FLUKA, in the Gammasky code and compute diffuse gamma-ray sky maps and the local HI emissivity spectrum, finding a very good agreement with Fermi Large Area Telescope data

FLUKA cross sections for cosmic-ray interactions with the DRAGON2 code

Secondary particles produced in spallation reactions of cosmic rays with the interstellar gas provide valuable information that allow us to investigate the injection and transport of charged particles in the Galaxy. A good understanding of the cross sections of production of these particles is crucial to correctly interpret our models, although the existing experimental data is very scarce and uncertain. We have developed a new set of cross sections, both inelastic and inclusive, computed with the FLUKA Monte Carlo nuclear code and tested its compatibility with CR data. Inelastic and inclusive cross sections have been compared to the most up-to-date data and parameterisations finding a general good agreement. Then, these cross sections have been implemented in the DRAGON2 code to characterize the spectra of CR nuclei up to Z = 26 and the secondary-to-primary ratios of B, Be and Li. Interestingly, we find that the FLUKA cross sections allow us to predict an energy-dependence of the B, Be and Li flux ratios which is compatible with AMS-02 data and to reproduce simultaneously these flux ratios with a scaling lower than 20%. Finally, we implement the cross sections of production of gamma rays, calculated with FLUKA, in the Gammasky code and compute diffuse gamma-ray sky maps and the local HI emissivity spectrum, finding a very good agreement with Fermi Large Area Telescope data

Emergenze vegetali dell'Isola di Lampedusa

Per la peculiarit\ue0 storica, geografica ed ambientale l\u2019Isola di Lampedusa, e vista l\u2019estrema frammentariet\ue0 delle formazioni preforestali, l\u2019esiguit\ue0 dei popolamenti (e degli individui) delle specie legnose assumono un valore scientifico e conservazionistico particolarmente elevato. Per queste ragioni \ue8 stato fatto un censimento eseguito con strumentazione GPS. Sull\u2019isola crescono diverse specie di rilevante interesse conservazionistico, numerose sono infatti le specie endemiche, esclusive, rare e/o a rischio di estinzione perch\ue9 legate a habitat molto vulnerabili e localizzati. A questa ragione d\u2019interesse generale per questi taxa si somma il fatto che buona parte delle specie arboree tipiche della vegetazione primaria dell\u2019isola, il pi\uf9 delle volte sopravvivono localmente con popolamenti costituiti da pochissimi (e talora singoli!) individui. Juniperus turbinata e Olea europaea var. sylvestris sono le due specie forestali di gran lunga pi\uf9 comuni tra quelle indagate . Meno positivo \ue8 il risultato dell\u2019analisi della rinnovazione, che ha permesso di individuare appena una trentina di giovani individui di ginepro e nessuno di olivastro. La presenza delle due specie sull\u2019isola risulta circoscritta esclusivamente ai valloni stretti ed incisi che sboccano sulla costa meridionale dell\u2019isola, disegnando un complesso sistema in cui si alternano profonde insenature e pendii rocciosi subpianeggianti. Per ambedue le specie si \ue8 registrata una netta prevalenza (ca. 80% dei ginepri e ca. 95% degli olivastri!) in corrispondenza delle esposizioni meridionali dell\u2019isola che, sebbene pi\uf9 soleggiate godono dell\u2019effetto benefico dei venti umidi provenienti da meridione

The (decision) tree of fertility: an innovative decision-making algorithm in assisted reproduction technique

Purpose: Several mathematical models have been developed to estimate individualized chances of assisted reproduction techniques (ART) success, although with limited clinical application. Our study aimed to develop a decisional algorithm able to predict pregnancy and live birth rates after controlled ovarian stimulation (COS) phase, helping the physician to decide whether to perform oocytes pick-up continuing the ongoing ART path. Methods: A single-center retrospective analysis of real-world data was carried out including all fresh ART cycles performed in 1998–2020. Baseline characteristics, ART parameters and biochemical/clinical pregnancies and live birth rates were collected. A seven-steps systematic approach for model development, combining linear regression analyses and decision trees (DT), was applied for biochemical, clinical pregnancy, and live birth rates. Results: Of fresh ART cycles, 12,275 were included. Linear regression analyses highlighted a relationship between number of ovarian follicles > 17 mm detected at ultrasound before pick-up (OF17), embryos number and fertilization rate, and biochemical and clinical pregnancy rates (p < 0.001), but not live birth rate. DT were created for biochemical pregnancy (statistical power–SP:80.8%), clinical pregnancy (SP:85.4%), and live birth (SP:87.2%). Thresholds for OF17 entered in all DT, while sperm motility entered the biochemical pregnancy’s model, and female age entered the clinical pregnancy and live birth DT. In case of OF17 < 3, the chance of conceiving was < 6% for all DT. Conclusion: A systematic approach allows to identify OF17, female age, and sperm motility as pre-retrieval predictors of ART outcome, possibly reducing the socio-economic burden of ART failure, allowing the clinician to perform or not the oocytes pick-up

Cosmic-ray interactions with the Sun

The solar disk is a bright gamma-ray source in the sky. The interactions of cosmic rays with the solar atmosphere produce secondary particles which can reach the Earth. In this work we present a comprehensive calculation of the yields of secondary particles such as gamma-rays, electrons, positrons, neutrons and neutrinos, performed with the FLUKA code. We also estimate the intensity at the Sun and the fluxes at the Earth of these secondary particles by folding their yields with the intensities of cosmic rays impinging on the solar surface. The results are sensitive to the assumptions on the magnetic field near the Sun and to the cosmic-ray transport in the magnetic field in the inner solar system

Spatial modeling for low pathogenicity avian influenza virus at the interface of wild birds and backyard poultry

Low pathogenicity avian influenza virus (LPAIV) is endemic in wild birds and poultry in Argentina, and active surveillance has been in place to prevent any eventual virus mutation into a highly pathogenic avian influenza virus (HPAIV), which is exotic in this country. Risk mapping can contribute effectively to disease surveillance and control systems, but it has proven a very challenging task in the absence of disease data. We used a combination of expert opinion elicitation, multicriteria decision analysis (MCDA), and ecological niche modeling (ENM) to identify the most suitable areas for the occurrence of LPAIV at the interface between backyard domestic poultry and wild birds in Argentina. This was achieved by calculating a spatially‐explicit risk index. As evidenced by the validation and sensitivity analyses, our model was successful in identifying high‐risk areas for LPAIV occurrence. Also, we show that the risk for virus occurrence is significantly higher in areas closer to commercial poultry farms. Although the active surveillance systems have been successful in detecting LPAIV‐positive backyard farms and wild birds in Argentina, our predictions suggest that surveillance efforts in those compartments could be improved by including high‐risk areas identified by our model. Our research provides a tool to guide surveillance activities in the future, and presents a mixed methodological approach which could be implemented in areas where the disease is exotic or rare and a knowledge‐driven modeling method is necessary