Explanipedia

Thermionic emission conduction in Mo AlGaN/GaN diodes in the presence of Schottky barrier inhomogeneities Open

Simone Milazzo, G. Greco, S. Mirabella, F. Iucolano, Fabrizio Roccaforte · 2025

Encapsulating textual contents into a MOC data structure for advanced applications Open

G. Greco, T. Boch, P. Fernique, Manon Marchand, M. Allen , et al. · 2025

Encapsulating Textual Content into Moc Data Structure for Advanced Applications Open

G. Greco, T. Boch, P. Fernique, Manon Marchand, M. Allen , et al. · 2025

GLADEnet: A progressive web app for multi-messenger cosmology and electromagnetic follow-ups of gravitational-wave sources Open

M. L. Brozzetti, G. Dálya, G. Greco, M. Bawaj, T. Matcovich , et al. · 2024

Multi-messenger astronomy is an emerging field of research aimed at unravelling the physics governing astrophysical transients. GW170817 stands out as the first multi-messenger observation of the coalescence of a binary system of neutron s…

Current transport in Ni Schottky barrier on GaN epilayer grown on free standing substrates Open

G. Greco, Patrick Fiorenza, Emanuela Schilirò, Corrado Bongiorno, Salvatore Di Franco , et al. · 2023

In this paper, the Ni Schottky barrier on GaN epilayer grown on free standing substrates has been characterized. First, transmission electrical microscopy (TEM) images and nanoscale electrical analysis by conductive atomic force microscopy…

Transient localization web service based on open gravitational-wave data for the multi-messenger community. Open

M. Bawaj, G. Greco, R. De Pietri, F.‐X. Pineau, M. Punturo , et al. · 2023

<p>We present here a web service https://virgo.pg.infn.it/maps integrated in the environment of the International Virtual Observatory Alliance (IVOA) and we sketch its implementation. The application has been developed in accordance …

A COMPARATIVE STUDY OF SEMI-EMPIRICAL NOISE EMISSION MODELS BASED ON THE PANAM AND SONAIR Open

G. Greco, Felix Wienke, Lothar Bertsch, Christoph Zellmann, B SCHAFFER , et al. · 2022

Ranking galaxies within a gravitational-wave sky localization Open

Francesco Brighenti, G. Greco, G. M. Guidi, F. Piergiovanni, Frédérique Marion , et al. · 2022

Algorithmic correspondence and analytic rules Open

Andrea De Domenico, G. Greco · 2022

We introduce the algorithm MASSA which takes classical modal formulas in input, and, when successful, effectively generates: (a) (analytic) geometric rules of the labelled calculus G3K, and (b) cut-free derivations (of a certain `canonical…

Unified inverse correspondence for DLE-Logics Open

Willem Conradie, Andrea De Domenico, G. Greco, Alessandra Palmigiano, Mattia Panettiere , et al. · 2022

By exploiting the algebraic and order theoretic mechanisms behind Sahlqvist correspondence, the theory of unified correspondence provides powerful tools for correspondence and canonicity across different semantics and signatures, covering …

Multi Order Coverage data structure to plan multi-messenger observations Open

G. Greco, M. Punturo, M. Allen, A. Nebot Gómez-Morán, P. Fernique , et al. · 2022

We describe the use of Multi Order Coverage (MOC) maps as a practical way to\nmanage complex regions of the sky for the planning of multi-messenger\nobservations. MOC maps are a data structure that provides a multi-resolution\nrepresentati…

Multi Order Coverage data structure to plan multi-messenger observations Open

G. Greco, M. Punturo, M. Allen, A. Nebot Gómez-Morán, P. Fernique , et al. · 2022

We describe the use of Multi Order Coverage (MOC) maps as a practical way to manage complex regions of the sky for the planning of multi-messenger observations. MOC maps are a data structure that provides a multi-resolution representation …

Towards Vertical Schottky Diodes on Bulk Cubic Silicon Carbide (3c-Sic) Open

Fabrizio Roccaforte, G. Greco, Patrick Fiorenza, Salvatore Di Franco, Filippo Giannazzo , et al. · 2022

Search for Spatial and Temporal Coincidence Between Fermi-LAT Exposure Maps and Gravitational Wave Sky Localizations Open

A. Berretta, S. Cutini, G. Greco, G. Tosti, P. Lubrano , et al. · 2022

International audience

First Demonstration of Early Warning Gravitational-wave Alerts Open

R. M. Magee, Deep Chatterjee, L. P. Singer, S. Sachdev, M. Kovalam , et al. · 2021

Gravitational-wave observations became commonplace in Advanced LIGO-Virgo’s recently concluded third observing run. 56 nonretracted candidates were identified and publicly announced in near real time. Gravitational waves from binary neutro…

Syntactic completeness of proper display calculi Open

Jinsheng Chen, G. Greco, Alessandra Palmigiano, Apostolos Tzimoulis · 2021

A recent strand of research in structural proof theory aims at exploring the notion of analytic calculi (i.e. those calculi that support general and modular proof-strategies for cut elimination), and at identifying classes of logics that c…

Capability for Encoding Gravitational-wave Sky Localizations with the Multi Order Coverage Data Structure: Present and Future Developments Open

G. Greco, M. Branchesi, M. Punturo, H. Vocca, F. Travasso , et al. · 2020

International audience

Lambek-Grishin Calculus: Focusing, Display and Full Polarization Open

G. Greco, Valentin D. Richard, Michael Moortgat, Apostolos Tzimoulis · 2020

\emph{Focused sequent calculi} are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special nor…

Microplastics in seawater: sampling strategies, laboratory methodologies, and identification techniques applied to port environment Open

Laura Cutroneo, Anna Reboa, Giovanni Besio, Franco Borgogno, Laura Canesi , et al. · 2020

Working with Gravitational-Wave sky localizations: new methods and implementations Open

G. Greco, M. Branchesi, E. Chassande‐Mottin, M. W. Coughlin, G. Stratta , et al. · 2019

Serrapeptidase (Spep) produced from Serratia marcescens is a secretary protein devoid of signal peptide. Spep was over expressed in E.Coli as inclusion bodies however the purified fusion protein was enzymatically inactive. To achieve the p…

Unveiling the enigma of ATLAS17aeu Open

A. Melandri, A. Rossi, S. Benetti, V. D’Elia, S. Piranomonte , et al. · 2019

\nAims. The unusual transient ATLAS17aeu was serendipitously detected within the sky localisation of the gravitational wave trigger GW 170104. The importance of a possible association with gravitational waves coming from a binary black hol…

GW optical counterpart search in the Multi-Messenger Astronomy Era Open

A. Grado, E. Brocato, M. Branchesi, E. Cappellaro, S. Covino , et al. · 2018

We report on the deep optical follow-up surveys of the four gravitational-wave events accomplished by the GRAvitational Wave Inaf TeAm Collaboration (GRAWITA) using the VLT Survey Telescope (VST). We responded promptly to the gravitational…

Utility of Molecular Identification and Quantitation of Bartonella Species with Species-Specific Real-Time PCR for Monitoring Treatment Response: A Case Series Open

Maria Mazzitelli, Angelo Giuseppe Lamberti, Angela Quirino, Nadia Marascio, Giorgio Settimo Barreca , et al. · 2018

Background: Bartonella species are intracellular bacteria capable of producing several diseases in humans. The three most common and wellknown diseases are cat scratch disease (CSD), caused by B. henselae, trench fever, caused by B. quinta…

Gravitational Waves optical follow-up at VST Open

A. Grado, E. Brocato, M. Branchesi, E. Cappellaro, S. Covino , et al. · 2018

We report on the deep optical follow-up surveys of the first two gravitational-wave events, GW150914 and GW151226, accomplished by the GRAvitational Wave Inaf TeAm Collaboration (GRAWITA) using the VLT Survey Telescope (VST). We responded …

GRAWITA: VLT Survey Telescope observations of the gravitational wave sources GW150914 and GW151226 Open

E. Brocato, M. Branchesi, E. Cappellaro, S. Covino, A. Grado , et al. · 2017

We report the results of deep optical follow-up surveys of the first two\ngravitational-wave sources, GW150914 and GW151226, done by the GRAvitational\nWave Inaf TeAm Collaboration (GRAWITA). The VLT Survey Telescope (VST)\nresponded promp…

Spectroscopic identification of r-process nucleosynthesis in a double neutron-star merger Open

E. Pian, P. D’Avanzo, S. Benetti, M. Branchesi, E. Brocato , et al. · 2017

Lattice Logic Properly Displayed Open

G. Greco, Alessandra Palmigiano · 2016

We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound, complete, conservative, and enjoys cut-elimination and sub-formula property. Properness (i.e. closure under uniform substitution of all parametric …

Linear Logic Properly Displayed Open

G. Greco, Alessandra Palmigiano · 2016

We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design, …

Singular Spectrum Analysis for Astronomical Time Series: Constructing a Parsimonious Hypothesis Test Open

G. Greco, Dmitri Kondrashov, S. Kobayashi, Michael Ghil, M. Branchesi , et al. · 2016

G. Greco YOU? Author Swipe