Neural Network Based Approach to Recognition of Meteor Tracks in the Mini-EUSO Telescope Data
Authors:
Mikhail Zotov,
Dmitry Anzhiganov,
Aleksandr Kryazhenkov,
Dario Barghini,
Matteo Battisti,
Alexander Belov,
Mario Bertaina,
Marta Bianciotto,
Francesca Bisconti,
Carl Blaksley,
Sylvie Blin,
Giorgio Cambiè,
Francesca Capel,
Marco Casolino,
Toshikazu Ebisuzaki,
Johannes Eser,
Francesco Fenu,
Massimo Alberto Franceschi,
Alessio Golzio,
Philippe Gorodetzky,
Fumiyoshi Ka**o,
Hiroshi Kasuga,
Pavel Klimov,
Massimiliano Manfrin,
Laura Marcelli
, et al. (19 additional authors not shown)
Abstract:
Mini-EUSO is a wide-angle fluorescence telescope that registers ultraviolet (UV) radiation in the nocturnal atmosphere of Earth from the International Space Station. Meteors are among multiple phenomena that manifest themselves not only in the visible range but also in the UV. We present two simple artificial neural networks that allow for recognizing meteor signals in the Mini-EUSO data with high…
▽ More
Mini-EUSO is a wide-angle fluorescence telescope that registers ultraviolet (UV) radiation in the nocturnal atmosphere of Earth from the International Space Station. Meteors are among multiple phenomena that manifest themselves not only in the visible range but also in the UV. We present two simple artificial neural networks that allow for recognizing meteor signals in the Mini-EUSO data with high accuracy in terms of a binary classification problem. We expect that similar architectures can be effectively used for signal recognition in other fluorescence telescopes, regardless of the nature of the signal. Due to their simplicity, the networks can be implemented in onboard electronics of future orbital or balloon experiments.
△ Less
Submitted 25 November, 2023;
originally announced November 2023.
First-order swap structures semantics for some Logics of Formal Inconsistency
Authors:
Marcelo E. Coniglio,
Aldo Figallo-Orellano,
Ana C. Golzio
Abstract:
The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures,…
▽ More
The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered.
△ Less
Submitted 21 December, 2019;
originally announced December 2019.