Showing 51–100 of 406 results for author: Silva, V

Energy-Aware Federated Learning with Distributed User Sampling and Multichannel ALOHA

Authors: Rafael Valente da Silva, Onel L. Alcaraz López, Richard Demo Souza

Abstract: Distributed learning on edge devices has attracted increased attention with the advent of federated learning (FL). Notably, edge devices often have limited battery and heterogeneous energy availability, while multiple rounds are required in FL for convergence, intensifying the need for energy efficiency. Energy depletion may hinder the training process and the efficient utilization of the trained… ▽ More Distributed learning on edge devices has attracted increased attention with the advent of federated learning (FL). Notably, edge devices often have limited battery and heterogeneous energy availability, while multiple rounds are required in FL for convergence, intensifying the need for energy efficiency. Energy depletion may hinder the training process and the efficient utilization of the trained model. To solve these problems, this letter considers the integration of energy harvesting (EH) devices into a FL network with multi-channel ALOHA, while proposing a method to ensure both low energy outage probability and successful execution of future tasks. Numerical results demonstrate the effectiveness of this method, particularly in critical setups where the average energy income fails to cover the iteration cost. The method outperforms a norm based solution in terms of convergence time and battery level. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Superconductivity from spin fluctuations and long-range interactions in magic-angle twisted bilayer graphene

Authors: Lauro B. Braz, George B. Martins, Luis G. G. V. Dias da Silva

Abstract: Magic-angle twisted bilayer graphene (MATBG) has been extensively explored both theoretically and experimentally as a suitable platform for a rich and tunable phase diagram that includes ferromagnetism, charge order, broken symmetries, and unconventional superconductivity. In this work, we investigate the intricate interplay between long-range electron-electron interactions, spin fluctuations, and… ▽ More Magic-angle twisted bilayer graphene (MATBG) has been extensively explored both theoretically and experimentally as a suitable platform for a rich and tunable phase diagram that includes ferromagnetism, charge order, broken symmetries, and unconventional superconductivity. In this work, we investigate the intricate interplay between long-range electron-electron interactions, spin fluctuations, and superconductivity in MATBG. By employing a low-energy model for MATBG that captures the correct shape of the flat bands, we explore the effects of short- and long-range interactions on spin fluctuations and their impact on the superconducting (SC) pairing vertex in the Random Phase Approximation (RPA). We find that the SC state is notably influenced by the strength of long-range Coulomb interactions. Interestingly, our RPA calculations indicate that there is a regime where the system can traverse from a magnetic phase to the SC phase by \emph{increasing} the relative strength of long-range interactions compared to the on-site ones. These findings underscore the relevance of electron-electron interactions in shaping the intriguing properties of MATBG and offer a pathway for designing and controlling its SC phase. △ Less

Submitted 14 March, 2024; v1 submitted 5 September, 2023; originally announced September 2023.

Comments: Revised and expanded version. 11 pages, 7 figures

Journal ref: Phys. Rev. B 109, 184502 (2024)

Passing Heatmap Prediction Based on Transformer Model and Tracking Data

Authors: Yisheng Pei, Varuna De Silva, Mike Caine

Abstract: Although the data-driven analysis of football players' performance has been developed for years, most research only focuses on the on-ball event including shots and passes, while the off-ball movement remains a little-explored area in this domain. Players' contributions to the whole match are evaluated unfairly, those who have more chances to score goals earn more credit than others, while the ind… ▽ More Although the data-driven analysis of football players' performance has been developed for years, most research only focuses on the on-ball event including shots and passes, while the off-ball movement remains a little-explored area in this domain. Players' contributions to the whole match are evaluated unfairly, those who have more chances to score goals earn more credit than others, while the indirect and unnoticeable impact that comes from continuous movement has been ignored. This research presents a novel deep-learning network architecture which is capable to predict the potential end location of passes and how players' movement before the pass affects the final outcome. Once analysed more than 28,000 pass events, a robust prediction can be achieved with more than 0.7 Top-1 accuracy. And based on the prediction, a better understanding of the pitch control and pass option could be reached to measure players' off-ball movement contribution to defensive performance. Moreover, this model could provide football analysts a better tool and metric to understand how players' movement over time contributes to the game strategy and final victory. △ Less

Submitted 4 September, 2023; originally announced September 2023.

Production of bound states of magnetic monopoles in high energy collisions at LHC

Authors: João Vitor Bulhões da Silva, Werner Krambeck Sauter

Abstract: In this work, we present the studies carried out for the production of the monopolium at the LHC in ultraperipheral collisions for the processes $pp$ and $PbPb$. The monopolium is described by the bound state of a monopole-antimonopole pair, and we assume the study of the monopole in this characteristic state because the coupling constant is very large, which allows us to suggest that this exotic… ▽ More In this work, we present the studies carried out for the production of the monopolium at the LHC in ultraperipheral collisions for the processes $pp$ and $PbPb$. The monopolium is described by the bound state of a monopole-antimonopole pair, and we assume the study of the monopole in this characteristic state because the coupling constant is very large, which allows us to suggest that this exotic particle can be produced in the bound state. The monopolium is defined by a wave function arising from the numerical solution of the Schrödinger equation for the modified Cornell potential. We used the photon fusion production mechanism, with the Weizsäcker-Williams and Drees-Zeppenfeld expressions to describe the lead and proton equivalent photon distributions. We estimate a high production rate of monopolium production for $pp$ collisions with $\sqrt{s}=14$ TeV and $PbPb$ collisions with $\sqrt{s}=5.5$ TeV in LHC. △ Less

Submitted 19 January, 2024; v1 submitted 29 August, 2023; originally announced August 2023.

Comments: 16 pages, 7 figures. Version 2: abstract and conclusions revised, references modified and added, one table added. Version 3: reference added, results revised, typos corrected

Journal ref: International Journal of Modern Physics A (2024) 2450048

Neural Implicit Morphing of Face Images

Authors: Guilherme Schardong, Tiago Novello, Hallison Paz, Iurii Medvedev, Vinícius da Silva, Luiz Velho, Nuno Gonçalves

Abstract: Face morphing is a problem in computer graphics with numerous artistic and forensic applications. It is challenging due to variations in pose, lighting, gender, and ethnicity. This task consists of a warping for feature alignment and a blending for a seamless transition between the warped images. We propose to leverage coord-based neural networks to represent such warpings and blendings of face im… ▽ More Face morphing is a problem in computer graphics with numerous artistic and forensic applications. It is challenging due to variations in pose, lighting, gender, and ethnicity. This task consists of a warping for feature alignment and a blending for a seamless transition between the warped images. We propose to leverage coord-based neural networks to represent such warpings and blendings of face images. During training, we exploit the smoothness and flexibility of such networks by combining energy functionals employed in classical approaches without discretizations. Additionally, our method is time-dependent, allowing a continuous warping/blending of the images. During morphing inference, we need both direct and inverse transformations of the time-dependent warping. The first (second) is responsible for warping the target (source) image into the source (target) image. Our neural warping stores those maps in a single network dismissing the need for inverting them. The results of our experiments indicate that our method is competitive with both classical and generative models under the lens of image quality and face-morphing detectors. Aesthetically, the resulting images present a seamless blending of diverse faces not yet usual in the literature. △ Less

Submitted 13 June, 2024; v1 submitted 26 August, 2023; originally announced August 2023.

Comments: 14 pages, 20 figures, accepted for CVPR 2024

ACM Class: I.4.8; I.4.10

Classification of ruled surfaces as homothetic self-similar solutions of the inverse mean curvature flow in the Lorentz-Minkowski 3-space

Authors: Gregório Silva Neto, Vanessa Silva

Abstract: In this paper, we classify the nondegenerate ruled surfaces in the three-dimensional Lorentz-Minkowski space that are homothetic self-similar solutions for the inverse mean curvature flow. This classification shows the existence of two classes of non-cylindrical homothetic solitons: one with lightlike rulings and another one with non-lightlike rulings. In this paper, we classify the nondegenerate ruled surfaces in the three-dimensional Lorentz-Minkowski space that are homothetic self-similar solutions for the inverse mean curvature flow. This classification shows the existence of two classes of non-cylindrical homothetic solitons: one with lightlike rulings and another one with non-lightlike rulings. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Comments: 26 pages, 6 figures. Final version, to appear in the Bulletin of the Brazilian Mathematical Society, New Series. arXiv admin note: substantial text overlap with arXiv:2308.11457

MSC Class: 53E10; 53C50; 53C42; 53B30

Ruled surfaces as translating solitons of the inverse mean curvature flow in the three-dimensional Lorentz-Minkowski space

Authors: Gregório Silva Neto, Vanessa Silva

Abstract: In this paper, we classify the nondegenerate ruled surfaces in the three-dimensional Lorentz-Minkowski space that are translating solitons for the inverse mean curvature flow. In particular, we prove the existence of non-cylindrical ruled translating solitons, which contrast with the Euclidean setting. In this paper, we classify the nondegenerate ruled surfaces in the three-dimensional Lorentz-Minkowski space that are translating solitons for the inverse mean curvature flow. In particular, we prove the existence of non-cylindrical ruled translating solitons, which contrast with the Euclidean setting. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Comments: 22 pages, 4 figures. Final version

MSC Class: 53E10; 53C50; 53C42

Journal ref: Published in the Journal of Mathematical Analysis and Applications, Volume 528, Issue 2, 2023

Mixed local-nonlocal quasilinear problems with critical nonlinearities

Authors: João Vitor da Silva, Alessio Fiscella, Victor A. Blanco Viloria

Abstract: We study existence and multiplicity of nontrivial solutions of the following problem $$ \left\{ \begin{array}{rcll} -Δ_p u+(-Δ_p)^{s} u & = & λ|u|^{q-2}u+|u|^{p^{\ast}-2}u & \mbox{ in }Ω,\\ u & = & 0 & \mbox{ on } \mathbb{R}^{N} \setminus Ω, \end{array} \right. $$ where $Ω\subset \mathbb{R}^N$ is a bounded open set with smooth boundary, dimension $N\geq 2$, parameter $λ>0$, exponents $0<s<1<p<N$,… ▽ More We study existence and multiplicity of nontrivial solutions of the following problem $$ \left\{ \begin{array}{rcll} -Δ_p u+(-Δ_p)^{s} u & = & λ|u|^{q-2}u+|u|^{p^{\ast}-2}u & \mbox{ in }Ω,\\ u & = & 0 & \mbox{ on } \mathbb{R}^{N} \setminus Ω, \end{array} \right. $$ where $Ω\subset \mathbb{R}^N$ is a bounded open set with smooth boundary, dimension $N\geq 2$, parameter $λ>0$, exponents $0<s<1<p<N$, while $q\in(1,p^{\ast})$ with $p^{\ast}=\frac{Np}{N-p}$. The problem is driven by an operator of mixed order obtained by the sum of the classical $p$-Laplacian and of the fractional $p$-Laplacian. We analyze three different scenarios depending on exponent $q$. For this, we combine variational methods with some topological techniques, such as the Krasnoselskii genus and the Lusternik-Schnirelman category theories. △ Less

Submitted 14 August, 2023; originally announced August 2023.

MSC Class: 35M12; 35J92; 35R11; 35B33; 35P30 35A15; 35A16

Towards Automated Semantic Segmentation in Mammography Images

Authors: Cesar A. Sierra-Franco, Jan Hurtado, Victor de A. Thomaz, Leonardo C. da Cruz, Santiago V. Silva, Alberto B. Raposo

Abstract: Mammography images are widely used to detect non-palpable breast lesions or nodules, preventing cancer and providing the opportunity to plan interventions when necessary. The identification of some structures of interest is essential to make a diagnosis and evaluate image adequacy. Thus, computer-aided detection systems can be helpful in assisting medical interpretation by automatically segmenting… ▽ More Mammography images are widely used to detect non-palpable breast lesions or nodules, preventing cancer and providing the opportunity to plan interventions when necessary. The identification of some structures of interest is essential to make a diagnosis and evaluate image adequacy. Thus, computer-aided detection systems can be helpful in assisting medical interpretation by automatically segmenting these landmark structures. In this paper, we propose a deep learning-based framework for the segmentation of the nipple, the pectoral muscle, the fibroglandular tissue, and the fatty tissue on standard-view mammography images. We introduce a large private segmentation dataset and extensive experiments considering different deep-learning model architectures. Our experiments demonstrate accurate segmentation performance on variate and challenging cases, showing that this framework can be integrated into clinical practice. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comments: 6 pages

RobôCIn Small Size League Extended Team Description Paper for RoboCup 2023

Authors: Aline Lima de Oliveira, Cauê Addae da Silva Gomes, Cecília Virginia Santos da Silva, Charles Matheus de Sousa Alves, Danilo Andrade Martins de Souza, Driele Pires Ferreira Araújo Xavier, Edgleyson Pereira da Silva, Felipe Bezerra Martins, Lucas Henrique Cavalcanti Santos, Lucas Dias Maciel, Matheus Paixão Gumercindo dos Santos, Matheus Lafayette Vasconcelos, Matheus Vinícius Teotonio do Nascimento Andrade, João Guilherme Oliveira Carvalho de Melo, João Pedro Souza Pereira de Moura, José Ronald da Silva, José Victor Silva Cruz, Pedro Henrique Santana de Morais, Pedro Paulo Salman de Oliveira, Riei Joaquim Matos Rodrigues, Roberto Costa Fernandes, Ryan Vinicius Santos Morais, Tamara Mayara Ramos Teobaldo, Washington Igor dos Santos Silva, Edna Natividade Silva Barros

Abstract: RobôCIn has participated in RoboCup Small Size League since 2019, won its first world title in 2022 (Division B), and is currently a three-times Latin-American champion. This paper presents our improvements to defend the Small Size League (SSL) division B title in RoboCup 2023 in Bordeaux, France. This paper aims to share some of the academic research that our team developed over the past year. Ou… ▽ More RobôCIn has participated in RoboCup Small Size League since 2019, won its first world title in 2022 (Division B), and is currently a three-times Latin-American champion. This paper presents our improvements to defend the Small Size League (SSL) division B title in RoboCup 2023 in Bordeaux, France. This paper aims to share some of the academic research that our team developed over the past year. Our team has successfully published 2 articles related to SSL at two high-impact conferences: the 25th RoboCup International Symposium and the 19th IEEE Latin American Robotics Symposium (LARS 2022). Over the last year, we have been continuously migrating from our past codebase to Unification. We will describe the new architecture implemented and some points of software and AI refactoring. In addition, we discuss the process of integrating machined components into the mechanical system, our development for participating in the vision blackout challenge last year and what we are preparing for this year. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Disfavoring the Schroedinger-Newton equation

Authors: Joao V. B. da Silva, Gabriel H. S. Aguiar, George E. A. Matsas

Abstract: The main goal of this brief report is to provide some new insight into how promising the Schroedinger-Newton equation would be to explain the emergence of classicality. Based on the similarity of the Newton and Coulomb potentials, we add an electric self-interacting term to the Schroedinger-Newton equation for the hydrogen atom. Our results rule out the possibility that single electrons self-inter… ▽ More The main goal of this brief report is to provide some new insight into how promising the Schroedinger-Newton equation would be to explain the emergence of classicality. Based on the similarity of the Newton and Coulomb potentials, we add an electric self-interacting term to the Schroedinger-Newton equation for the hydrogen atom. Our results rule out the possibility that single electrons self-interact through their electromagnetic field. Next, we use the hydrogen atom to get insight into the intrinsic difficulty of testing the Schroedinger-Newton equation itself and conclude that the Planck scale must be approached before sound constraints are established. Although our results cannot be used to rule out the Schroedinger-Newton equation at all, they might be seen as disfavoring it if we underpin on the resemblance between the gravitational and electromagnetic interactions at low energies. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: 6 pages, 3 figures, to appear in Phys. Rev. A

Toward a Mapping of Capability and Skill Models using Asset Administration Shells and Ontologies

Authors: Luis Miguel Vieira da Silva, Aljosha Köcher, Milapji Singh Gill, Marco Weiss, Alexander Fay

Abstract: In order to react efficiently to changes in production, resources and their functions must be integrated into plants in accordance with the plug and produce principle. In this context, research on so-called capabilities and skills has shown promise. However, there are currently two incompatible approaches to modeling capabilities and skills. On the one hand, formal descriptions using ontologies ha… ▽ More In order to react efficiently to changes in production, resources and their functions must be integrated into plants in accordance with the plug and produce principle. In this context, research on so-called capabilities and skills has shown promise. However, there are currently two incompatible approaches to modeling capabilities and skills. On the one hand, formal descriptions using ontologies have been developed. On the other hand, there are efforts to standardize submodels of the Asset Administration Shell (AAS) for this purpose. In this paper, we present ongoing research to connect these two incompatible modeling approaches. Both models are analyzed to identify comparable as well as dissimilar model elements. Subsequently, we present a concept for a bidirectional mapping between AAS submodels and a capability and skill ontology. For this purpose, two unidirectional, declarative mappings are applied that implement transformations from one modeling approach to the other - and vice versa. △ Less

Submitted 28 April, 2024; v1 submitted 3 July, 2023; originally announced July 2023.

Comments: \c{opyright} 2023 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Discovering Causality for Efficient Cooperation in Multi-Agent Environments

Authors: Rafael Pina, Varuna De Silva, Corentin Artaud

Abstract: In cooperative Multi-Agent Reinforcement Learning (MARL) agents are required to learn behaviours as a team to achieve a common goal. However, while learning a task, some agents may end up learning sub-optimal policies, not contributing to the objective of the team. Such agents are called lazy agents due to their non-cooperative behaviours that may arise from failing to understand whether they caus… ▽ More In cooperative Multi-Agent Reinforcement Learning (MARL) agents are required to learn behaviours as a team to achieve a common goal. However, while learning a task, some agents may end up learning sub-optimal policies, not contributing to the objective of the team. Such agents are called lazy agents due to their non-cooperative behaviours that may arise from failing to understand whether they caused the rewards. As a consequence, we observe that the emergence of cooperative behaviours is not necessarily a byproduct of being able to solve a task as a team. In this paper, we investigate the applications of causality in MARL and how it can be applied in MARL to penalise these lazy agents. We observe that causality estimations can be used to improve the credit assignment to the agents and show how it can be leveraged to improve independent learning in MARL. Furthermore, we investigate how Amortized Causal Discovery can be used to automate causality detection within MARL environments. The results demonstrate that causality relations between individual observations and the team reward can be used to detect and punish lazy agents, making them develop more intelligent behaviours. This results in improvements not only in the overall performances of the team but also in their individual capabilities. In addition, results show that Amortized Causal Discovery can be used efficiently to find causal relations in MARL. △ Less

Submitted 20 June, 2023; originally announced June 2023.

An Extended Catalogue of galaxy morphology using Deep Learning in Southern Photometric Local Universe Survey Data Release 3

Authors: C. R. Bom, A. Cortesi, U. Ribeiro, L. O. Dias, K. Kelkar, A. V. Smith Castelli, L. Santana-Silva, V. Silva, T. S. Gonçalves, L. R. Abramo, E. V. R. Lima, F. Almeida-Fernandes, L. Espinosa, L. Li, M. L. Buzzo, C. Mendes de Oliveira, L. Sodré Jr., A. Alvarez-Candal, M. Grossi, E. Telles, S. Torres-Flores, S. V. Werner, A. Kanaan, T. Ribeiro, W. Schoenell

Abstract: The morphological diversity of galaxies is a relevant probe of galaxy evolution and cosmological structure formation. However, in large sky surveys, even the morphological classification of galaxies into two classes, like late-type (LT) and early-type (ET), still represents a significant challenge. In this work we present a Deep Learning (DL) based morphological catalog built from images obtained… ▽ More The morphological diversity of galaxies is a relevant probe of galaxy evolution and cosmological structure formation. However, in large sky surveys, even the morphological classification of galaxies into two classes, like late-type (LT) and early-type (ET), still represents a significant challenge. In this work we present a Deep Learning (DL) based morphological catalog built from images obtained by the Southern Photometric Local Universe Survey (S-PLUS) Data Release 3 (DR3). Our DL method achieves an precision rate of 98.5$\%$ in accurately distinguishing between spiral, as part of the larger category of late type (LT) galaxies, and elliptical, belonging to early type (ET) galaxies. Additionally, we have implemented a secondary classifier that evaluates the quality of each galaxy stamp, which allows to select only high-quality images when studying properties of galaxies on the basis of their DL morphology. From our LT/ET catalog of galaxies, we recover the expected color--magnitude diagram in which LT galaxies display bluer colors than ET ones. Furthermore, we also investigate the clustering of galaxies based on their morphology, along with their relationship to the surrounding environment. As a result, we deliver a full morphological catalog with $164314$ objects complete up to $r_{petro}<18$, covering $\sim 1800$ deg$^2$, including a significant area of the Southern hemisphere that was not covered by previous morphology catalogues. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: 22 pages, 24 figures

Cylindrical black bounces and their field sources

Authors: Kirill A. Bronnikov, Manuel E. Rodrigues, Marcos V. de S. Silva

Abstract: We apply the Simpson-Visser phenomenological regularization method to a cylindrically symmetric solution of the Einstein-Maxwell equations known as an inverted black hole. In addition to analyzing some properties of thus regularized space-time, including the Carter-Penrose diagrams, we show that this solution can be obtained from the Einstein equations with a source combining a phantom scalar fiel… ▽ More We apply the Simpson-Visser phenomenological regularization method to a cylindrically symmetric solution of the Einstein-Maxwell equations known as an inverted black hole. In addition to analyzing some properties of thus regularized space-time, including the Carter-Penrose diagrams, we show that this solution can be obtained from the Einstein equations with a source combining a phantom scalar field with a nonzero self-interaction potential and a nonlinear magnetic field. A similar kind of source is obtained for the cylindrical black bounce solution proposed by Lima et al. as a regularized version of Lemos's black string solution. Such sources are shown to be possible for a certain class of cylindrically, planarly and toroidally symmetric metrics that includes the regularized solutions under consideration. △ Less

Submitted 28 July, 2023; v1 submitted 30 May, 2023; originally announced May 2023.

Comments: 14 pages, 9 figures. V2: Fixed misprints, some references added. Published in the PRD

Journal ref: Phys. Rev. D 108, 024065 (2023)

Invariant tori and boundedness of solutions of non-smooth oscillators with Lebesgue integrable forcing term

Authors: Douglas D. Novaes, Luan V. M. F. Silva

Abstract: Since Littlewood works in the 1960's, the boundedness of solutions of Duffing-type equations $\ddot{x}+g(x)=p(t)$ has been extensively investigated. More recently, some researches have focused on the family of non-smooth forced oscillators $ \ddot{x}+\text{sgn}(x)=p(t)$, mainly because it represents a simple limit scenario of Duffing-type equations for when $g$ is bounded. Here, we provide a simpl… ▽ More Since Littlewood works in the 1960's, the boundedness of solutions of Duffing-type equations $\ddot{x}+g(x)=p(t)$ has been extensively investigated. More recently, some researches have focused on the family of non-smooth forced oscillators $ \ddot{x}+\text{sgn}(x)=p(t)$, mainly because it represents a simple limit scenario of Duffing-type equations for when $g$ is bounded. Here, we provide a simple proof for the boundedness of solutions of the non-smooth forced oscillator in the case that the forcing term $p(t)$ is a $T$-periodic Lebesgue integrable function with vanishing average. We reach this result by constructing a sequence of invariant tori whose union of their interiors covers all the $(t,x,\dot x)$-space, $(t,x,\dot{x})\in \mathbb{S}^1\times\mathbb{R}^2$. △ Less

Submitted 7 February, 2024; v1 submitted 22 May, 2023; originally announced May 2023.

MSC Class: 34A36; 34C15; 34C45; 34C11

Journal ref: Z. Angew. Math. Phys. (2024) 75:10, 1-13

ISP meets Deep Learning: A Survey on Deep Learning Methods for Image Signal Processing

Authors: Matheus Henrique Marques da Silva, Jhessica Victoria Santos da Silva, Rodrigo Reis Arrais, Wladimir Barroso Guedes de Araújo Neto, Leonardo Tadeu Lopes, Guilherme Augusto Bileki, Iago Oliveira Lima, Lucas Borges Rondon, Bruno Melo de Souza, Mayara Costa Regazio, Rodolfo Coelho Dalapicola, Claudio Filipi Gonçalves dos Santos

Abstract: The entire Image Signal Processor (ISP) of a camera relies on several processes to transform the data from the Color Filter Array (CFA) sensor, such as demosaicing, denoising, and enhancement. These processes can be executed either by some hardware or via software. In recent years, Deep Learning has emerged as one solution for some of them or even to replace the entire ISP using a single neural ne… ▽ More The entire Image Signal Processor (ISP) of a camera relies on several processes to transform the data from the Color Filter Array (CFA) sensor, such as demosaicing, denoising, and enhancement. These processes can be executed either by some hardware or via software. In recent years, Deep Learning has emerged as one solution for some of them or even to replace the entire ISP using a single neural network for the task. In this work, we investigated several recent pieces of research in this area and provide deeper analysis and comparison among them, including results and possible points of improvement for future researchers. △ Less

Submitted 23 May, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Final-state interactions in the CP asymmetries of charm-meson two-body decays

Authors: Antonio Pich, Eleftheria Solomonidi, Luiz Vale Silva

Abstract: Urgent theoretical progress is needed in order to provide an estimate in the Standard Model of the recent measurement by LHCb of direct CP violation in charm-meson two-body decays. Rescattering effects must be taken into account for a meaningful theoretical description of the amplitudes involved in such category of observables, as signaled by the presence of large strong phases. We discuss the com… ▽ More Urgent theoretical progress is needed in order to provide an estimate in the Standard Model of the recent measurement by LHCb of direct CP violation in charm-meson two-body decays. Rescattering effects must be taken into account for a meaningful theoretical description of the amplitudes involved in such category of observables, as signaled by the presence of large strong phases. We discuss the computation of the latter effects based on a two-channel coupled dispersion relation, which exploits isospin-zero phase-shifts and inelasticity parameterizations of data coming from the rescattering processes $ ππ\to ππ$, $ πK \to πK $, and $ ππ\to K \overline{K} $. The determination of the subtraction constants of the dispersive integrals relies on the leading contributions to the transition amplitudes from the $ 1/N_C $ counting, where $N_C$ is the number of QCD colours. Furthermore, we use the measured values of the branching ratios to help in selecting the non-perturbative inputs in the isospin limit, from which we predict values for the CP asymmetries. We find that the predicted level of CP violation is much below the experimental value. △ Less

Submitted 19 May, 2023; originally announced May 2023.

Visual Question Answering: A Survey on Techniques and Common Trends in Recent Literature

Authors: Ana Cláudia Akemi Matsuki de Faria, Felype de Castro Bastos, José Victor Nogueira Alves da Silva, Vitor Lopes Fabris, Valeska de Sousa Uchoa, Décio Gonçalves de Aguiar Neto, Claudio Filipi Goncalves dos Santos

Abstract: Visual Question Answering (VQA) is an emerging area of interest for researches, being a recent problem in natural language processing and image prediction. In this area, an algorithm needs to answer questions about certain images. As of the writing of this survey, 25 recent studies were analyzed. Besides, 6 datasets were analyzed and provided their link to download. In this work, several recent pi… ▽ More Visual Question Answering (VQA) is an emerging area of interest for researches, being a recent problem in natural language processing and image prediction. In this area, an algorithm needs to answer questions about certain images. As of the writing of this survey, 25 recent studies were analyzed. Besides, 6 datasets were analyzed and provided their link to download. In this work, several recent pieces of research in this area were investigated and a deeper analysis and comparison among them were provided, including results, the state-of-the-art, common errors, and possible points of improvement for future researchers. △ Less

Submitted 2 June, 2023; v1 submitted 18 May, 2023; originally announced May 2023.

Comments: 30 pages. arXiv admin note: text overlap with arXiv:2104.00926, arXiv:2110.02526, arXiv:2108.02059, arXiv:1908.01801 by other authors

eXplainable Artificial Intelligence on Medical Images: A Survey

Authors: Matteus Vargas Simão da Silva, Rodrigo Reis Arrais, Jhessica Victoria Santos da Silva, Felipe Souza Tânios, Mateus Antonio Chinelatto, Natalia Backhaus Pereira, Renata De Paris, Lucas Cesar Ferreira Domingos, Rodrigo Dória Villaça, Vitor Lopes Fabris, Nayara Rossi Brito da Silva, Ana Claudia Akemi Matsuki de Faria, Jose Victor Nogueira Alves da Silva, Fabiana Cristina Queiroz de Oliveira Marucci, Francisco Alves de Souza Neto, Danilo Xavier Silva, Vitor Yukio Kondo, Claudio Filipi Gonçalves dos Santos

Abstract: Over the last few years, the number of works about deep learning applied to the medical field has increased enormously. The necessity of a rigorous assessment of these models is required to explain these results to all people involved in medical exams. A recent field in the machine learning area is explainable artificial intelligence, also known as XAI, which targets to explain the results of such… ▽ More Over the last few years, the number of works about deep learning applied to the medical field has increased enormously. The necessity of a rigorous assessment of these models is required to explain these results to all people involved in medical exams. A recent field in the machine learning area is explainable artificial intelligence, also known as XAI, which targets to explain the results of such black box models to permit the desired assessment. This survey analyses several recent studies in the XAI field applied to medical diagnosis research, allowing some explainability of the machine learning results in several different diseases, such as cancers and COVID-19. △ Less

Submitted 12 May, 2023; originally announced May 2023.

FastDiagP: An Algorithm for Parallelized Direct Diagnosis

Authors: Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José Galindo, Thi Ngoc Trang Tran

Abstract: Constraint-based applications attempt to identify a solution that meets all defined user requirements. If the requirements are inconsistent with the underlying constraint set, algorithms that compute diagnoses for inconsistent constraints should be implemented to help users resolve the "no solution could be found" dilemma. FastDiag is a typical direct diagnosis algorithm that supports diagnosis ca… ▽ More Constraint-based applications attempt to identify a solution that meets all defined user requirements. If the requirements are inconsistent with the underlying constraint set, algorithms that compute diagnoses for inconsistent constraints should be implemented to help users resolve the "no solution could be found" dilemma. FastDiag is a typical direct diagnosis algorithm that supports diagnosis calculation without predetermining conflicts. However, this approach faces runtime performance issues, especially when analyzing complex and large-scale knowledge bases. In this paper, we propose a novel algorithm, so-called FastDiagP, which is based on the idea of speculative programming. This algorithm extends FastDiag by integrating a parallelization mechanism that anticipates and pre-calculates consistency checks requested by FastDiag. This mechanism helps to provide consistency checks with fast answers and boosts the algorithm's runtime performance. The performance improvements of our proposed algorithm have been shown through empirical results using the Linux-2.6.3.33 configuration knowledge base. △ Less

Submitted 11 May, 2023; originally announced May 2023.

Comments: presented at The 37th AAAI Conference on Artificial Intelligence, AAAI'23, Washington DC, USA

CHAMELEON: OutSystems Live Bidirectional Transformations

Authors: Hugo Lourenço, João Costa Seco, Carla Ferreira, Tiago Simões, Vasco Silva, Filipe Assunção, André Menezes

Abstract: In model-driven engineering, the bidirectional transformation of models plays a crucial role in facilitating the use of editors that operate at different levels of abstraction. This is particularly important in the context of industrial-grade low-code platforms like OutSystems, which feature a comprehensive ecosystem of tools that complement the standard integrated development environment with dom… ▽ More In model-driven engineering, the bidirectional transformation of models plays a crucial role in facilitating the use of editors that operate at different levels of abstraction. This is particularly important in the context of industrial-grade low-code platforms like OutSystems, which feature a comprehensive ecosystem of tools that complement the standard integrated development environment with domain-specific builders and abstract model viewers. We introduce CHAMELEON, a tool that enables the dynamic definition of a live bidirectional model transformation in a declarative manner by leveraging simple and intuitive component patterns. Through this approach, we can gradually define the view and synthesis paths to an abstract model built on top of a low-code metamodel. We devise a standard parser-generating technique for tree-like models that builds upon extended grammar definitions with constraints and name binders. We allow for a greater overlap of model patterns that can still be disambiguated for a clear lens-like behaviour of the transformation. CHAMELEON is evaluated in the fragment of the OutSystems language targeting the definition of user interfaces. To assess performance we used a large set of real OutSystems applications, with approximately 200K UI widgets, and a database of curated widget patterns. We found a worst-case processing time of 92ms for complete models in our benchmark, which is still suitable for the operation of an interactive model editor. △ Less

Submitted 5 May, 2023; originally announced May 2023.

Sharp regularity estimates for a singular inhomogeneous (m, p)-Laplacian equation

Authors: Pêdra D. S. Andrade, João Vitor da Silva, Giane C. Rampasso, Makson S. Santos

Abstract: In this paper, we investigate a class of doubly nonlinear evolutions PDEs. We establish sharp regularity for the solutions in Hölder spaces. The proof is based on the geometric tangential method and intrinsic scaling technique. Our findings extend and recover the results in the context of the classical evolution PDEs with singular signature via a unified treatment in the slow, normal and fast diff… ▽ More In this paper, we investigate a class of doubly nonlinear evolutions PDEs. We establish sharp regularity for the solutions in Hölder spaces. The proof is based on the geometric tangential method and intrinsic scaling technique. Our findings extend and recover the results in the context of the classical evolution PDEs with singular signature via a unified treatment in the slow, normal and fast diffusion regimes. In addition, we provide some applications to certain nonlinear evolution models, which may have their own mathematical interest. △ Less

Submitted 4 May, 2023; originally announced May 2023.

Comments: 21 pages

MSC Class: 35B65; 35K55; 35K67; 35K92

On the pseudovariety of groups $\mathbf{U} = \displaystyle\bigvee_{p \in \mathbb{P}} {\bf Ab}(p) \ast {\bf Ab}(p-1)$

Authors: Claude Marion, Pedro V. Silva, Gareth Tracey

Abstract: We introduce the pseudovariety of finite groups $\mathbf{U} = \displaystyle\bigvee_{p \in \mathbb{P}} {\bf Ab}(p) \ast {\bf Ab}(p-1)$, where $\mathbb{P}$ is the set of all primes. We show that $\mathbf{U}$ consists of all finite supersolvable groups with elementary abelian derived subgroup and abelian Sylow subgroups, being therefore decidable. We prove that it is decidable whether or not a finite… ▽ More We introduce the pseudovariety of finite groups $\mathbf{U} = \displaystyle\bigvee_{p \in \mathbb{P}} {\bf Ab}(p) \ast {\bf Ab}(p-1)$, where $\mathbb{P}$ is the set of all primes. We show that $\mathbf{U}$ consists of all finite supersolvable groups with elementary abelian derived subgroup and abelian Sylow subgroups, being therefore decidable. We prove that it is decidable whether or not a finitely generated subgroup of a free group is closed or dense for the pro-${\bf U}$ topology. We consider also the pseudovariety of finite groups ${\bf Ab}(p) \ast {\bf Ab}(d)$ (where $p$ is a prime and $d$ divides $p-1$). We study the pro-$({\bf Ab}(p) \ast {\bf Ab}(d))$ topology on a free group and construct the unique generator of minimum size of the pseudovariety ${\bf Ab}(p) \ast {\bf Ab}(d)$. Finally, we prove that the variety of groups generated by ${\bf U}$ is the variety of all metabelian groups, obtaining also results on the varieties generated by a Baumslag-Solitar group of the form $BS(1,q)$ for $q$ prime. △ Less

Submitted 19 October, 2023; v1 submitted 20 April, 2023; originally announced April 2023.

MSC Class: 20E05; 20E10; 20F10; 20F16

The pro-supersolvable topology on a free group: deciding denseness

Authors: Claude Marion, Pedro V. Silva, Gareth Tracey

Abstract: Let $F$ be a free group of arbitrary rank and let $H$ be a finitely generated subgroup of $F$. Given a pseudovariety $\mathbf{V}$ of finite groups, i.e. a class of finite groups closed under taking subgroups, quotients and finitary direct products, we endow $F$ with its pro-$\mathbf{V}$ topology. Our main result states that it is decidable whether $H$ is $\mathbf{Su}$-dense, where… ▽ More Let $F$ be a free group of arbitrary rank and let $H$ be a finitely generated subgroup of $F$. Given a pseudovariety $\mathbf{V}$ of finite groups, i.e. a class of finite groups closed under taking subgroups, quotients and finitary direct products, we endow $F$ with its pro-$\mathbf{V}$ topology. Our main result states that it is decidable whether $H$ is $\mathbf{Su}$-dense, where $\mathbf{Su}\subset \mathbf{S}$ denote respectively the pseudovarieties of all finite supersolvable groups and all finite solvable groups. Our motivation stems from the following open problem: is it decidable whether $H$ is $\mathbf{S}$-dense? △ Less

Submitted 28 May, 2023; v1 submitted 20 April, 2023; originally announced April 2023.

MSC Class: 20E05; 20E10; 20F10; 20F16; 11D79

The pro-$k$-solvable topology on a free group

Authors: Claude Marion, Pedro V. Silva, Gareth Tracey

Abstract: We prove that, given a finitely generated subgroup $H$ of a free group $F$, the following questions are decidable: is $H$ closed (dense) in $F$ for the pro-(met)abelian topology? is the closure of $H$ in $F$ for the pro-(met)abelian topology finitely generated? We show also that if the latter question has a positive answer, then we can effectively construct a basis for the closure, and the closure… ▽ More We prove that, given a finitely generated subgroup $H$ of a free group $F$, the following questions are decidable: is $H$ closed (dense) in $F$ for the pro-(met)abelian topology? is the closure of $H$ in $F$ for the pro-(met)abelian topology finitely generated? We show also that if the latter question has a positive answer, then we can effectively construct a basis for the closure, and the closure has decidable membership problem in any case. Moreover, it is decidable whether $H$ is closed for the pro-${\bf V}$ topology when ${\bf V}$ is an equational pseudovariety of finite groups, such as the pseudovariety ${\bf S}_k$ of all finite solvable groups with derived length $\leq k$. We also connect the pro-abelian topology with the topologies defined by abelian groups of bounded exponent. △ Less

Submitted 24 May, 2023; v1 submitted 20 April, 2023; originally announced April 2023.

MSC Class: 20E05; 20E10; 20F10; 20F22

On the closure of cyclic subgroups of a free group in pro-V topologies

Authors: Claude Marion, Pedro V. Silva, Gareth Tracey

Abstract: We determine the closure of a cyclic subgroup $H$ of a free group for the pro-{\bf V} topology when {\bf V} is an extension-closed pseudovariety of finite groups. We show that $H$ is always closed for the pro-nilpotent topology and compute its closure for the pro-$\mathbf{G}_p$ and pro-$\mathbf{V}_p$ topologies, where $\mathbf{G}_p$ and $\mathbf{V}_p$ denote respectively the pseudovariety of finit… ▽ More We determine the closure of a cyclic subgroup $H$ of a free group for the pro-{\bf V} topology when {\bf V} is an extension-closed pseudovariety of finite groups. We show that $H$ is always closed for the pro-nilpotent topology and compute its closure for the pro-$\mathbf{G}_p$ and pro-$\mathbf{V}_p$ topologies, where $\mathbf{G}_p$ and $\mathbf{V}_p$ denote respectively the pseudovariety of finite $p$-groups and the pseudovariety of finite groups having a normal Sylow $p$-subgroup with quotient an abelian group of exponent dividing $p-1$. More generally, given any nonempty set $P$ of primes, we consider the pseudovariety $\mathbf{G}_P$ of all finite groups having order a product of primes in $P$. △ Less

Submitted 28 May, 2023; v1 submitted 20 April, 2023; originally announced April 2023.

MSC Class: 20E05; 20E10; 20F10; 20F16

Embedding Contextual Information through Reward Shaping in Multi-Agent Learning: A Case Study from Google Football

Authors: Chaoyi Gu, Varuna De Silva, Corentin Artaud, Rafael Pina

Abstract: Artificial Intelligence has been used to help human complete difficult tasks in complicated environments by providing optimized strategies for decision-making or replacing the manual labour. In environments including multiple agents, such as football, the most common methods to train agents are Imitation Learning and Multi-Agent Reinforcement Learning (MARL). However, the agents trained by Imitati… ▽ More Artificial Intelligence has been used to help human complete difficult tasks in complicated environments by providing optimized strategies for decision-making or replacing the manual labour. In environments including multiple agents, such as football, the most common methods to train agents are Imitation Learning and Multi-Agent Reinforcement Learning (MARL). However, the agents trained by Imitation Learning cannot outperform the expert demonstrator, which makes humans hardly get new insights from the learnt policy. Besides, MARL is prone to the credit assignment problem. In environments with sparse reward signal, this method can be inefficient. The objective of our research is to create a novel reward shaping method by embedding contextual information in reward function to solve the aforementioned challenges. We demonstrate this in the Google Research Football (GRF) environment. We quantify the contextual information extracted from game state observation and use this quantification together with original sparse reward to create the shaped reward. The experiment results in the GRF environment prove that our reward shaping method is a useful addition to state-of-the-art MARL algorithms for training agents in environments with sparse reward signal. △ Less

Submitted 21 July, 2023; v1 submitted 25 March, 2023; originally announced March 2023.

Journal ref: 2023 IEEE 13th International Conference on Pattern Recognition Systems (ICPRS), Guayaquil, Ecuador, 2023, pp. 1-8

Causality Detection for Efficient Multi-Agent Reinforcement Learning

Authors: Rafael Pina, Varuna De Silva, Corentin Artaud

Abstract: When learning a task as a team, some agents in Multi-Agent Reinforcement Learning (MARL) may fail to understand their true impact in the performance of the team. Such agents end up learning sub-optimal policies, demonstrating undesired lazy behaviours. To investigate this problem, we start by formalising the use of temporal causality applied to MARL problems. We then show how causality can be used… ▽ More When learning a task as a team, some agents in Multi-Agent Reinforcement Learning (MARL) may fail to understand their true impact in the performance of the team. Such agents end up learning sub-optimal policies, demonstrating undesired lazy behaviours. To investigate this problem, we start by formalising the use of temporal causality applied to MARL problems. We then show how causality can be used to penalise such lazy agents and improve their behaviours. By understanding how their local observations are causally related to the team reward, each agent in the team can adjust their individual credit based on whether they helped to cause the reward or not. We show empirically that using causality estimations in MARL improves not only the holistic performance of the team, but also the individual capabilities of each agent. We observe that the improvements are consistent in a set of different environments. △ Less

Submitted 24 March, 2023; originally announced March 2023.

Deep Generative Multi-Agent Imitation Model as a Computational Benchmark for Evaluating Human Performance in Complex Interactive Tasks: A Case Study in Football

Authors: Chaoyi Gu, Varuna De Silva

Abstract: Evaluating the performance of human is a common need across many applications, such as in engineering and sports. When evaluating human performance in completing complex and interactive tasks, the most common way is to use a metric having been proved efficient for that context, or to use subjective measurement techniques. However, this can be an error prone and unreliable process since static metr… ▽ More Evaluating the performance of human is a common need across many applications, such as in engineering and sports. When evaluating human performance in completing complex and interactive tasks, the most common way is to use a metric having been proved efficient for that context, or to use subjective measurement techniques. However, this can be an error prone and unreliable process since static metrics cannot capture all the complex contexts associated with such tasks and biases exist in subjective measurement. The objective of our research is to create data-driven AI agents as computational benchmarks to evaluate human performance in solving difficult tasks involving multiple humans and contextual factors. We demonstrate this within the context of football performance analysis. We train a generative model based on Conditional Variational Recurrent Neural Network (VRNN) Model on a large player and ball tracking dataset. The trained model is used to imitate the interactions between two teams and predict the performance from each team. Then the trained Conditional VRNN Model is used as a benchmark to evaluate team performance. The experimental results on Premier League football dataset demonstrates the usefulness of our method to existing state-of-the-art static metric used in football analytics. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 8 pages, 10 figures

Source of black bounces in general relativity

Authors: Manuel E. Rodrigues, Marcos V. de S. Silva

Abstract: Black bounces are spacetimes that can describe, depending on certain parameters, black holes or wormholes. In this work, we use a method to obtain the matter content that generates black bounce solutions in general relativity. The method is constructed in a general way, and as models, we apply it to the Simpson--Visser black bounce solution and the Bardeen-type black bounce solution. We obtain tha… ▽ More Black bounces are spacetimes that can describe, depending on certain parameters, black holes or wormholes. In this work, we use a method to obtain the matter content that generates black bounce solutions in general relativity. The method is constructed in a general way, and as models, we apply it to the Simpson--Visser black bounce solution and the Bardeen-type black bounce solution. We obtain that these metrics are solutions of Einstein's equations when we consider the coupling of the gravitational interaction with a phantom scalar field with a nonlinear electrodynamics. The presence of the phantom scalar field is linked to the fact that this type of solution violates the null energy condition. We analyze separately the energy conditions associated with the stress-energy tensor for the scalar field and for the electromagnetic field. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Comments: 13 pages, 5 figures, Accepted for publication in Phys. Rev. D

GraphLED: A graph-based approach to process and visualise linked engineering documents

Authors: Vanessa Telles da Silva, Lucas de Angelo Martins Ribeiro, Willian Borges de Lemos, Sílvia Silva da Costa Botelho, Nelson Lopes Duarte Filho, Marcelo Rita Pias

Abstract: The architecture, engineering and construction (AEC) sector extensively uses documents supporting product and process development. As part of this, organisations should handle big data of hundreds, or even thousands, of technical documents strongly linked together, including CAD design of industrial plants, equipment purchase orders, quality certificates, and part material analysis. However, analy… ▽ More The architecture, engineering and construction (AEC) sector extensively uses documents supporting product and process development. As part of this, organisations should handle big data of hundreds, or even thousands, of technical documents strongly linked together, including CAD design of industrial plants, equipment purchase orders, quality certificates, and part material analysis. However, analysing such records is daunting for users because it gets complicated to sift through hundreds of documents to establish valuable relationships. This paper addresses how knowledge extracted from linked engineering documents contributes to industrial digitalisation under IT/OT convergence. The proposed GraphLED is a system tasked with data processing, graph-based modelling, and colourful visualisation of related documents. The graph-based approach ensures an improved understanding of linked information because the graph structure offers a promising tool to model the underlying data properties of engineering documents. Preliminary system validation indicates quality improvements are possible in the OCR-based data (85.9% of ambiguous text data removed). This work has the potential to benefit the industry by improving the reliability and resilience of industrial production systems through automated summaries of large quantities of documents and their linkage. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Multiscale structure of the gravitational wave signal from GW150914 based on the nonextensivity $q$-triplet

Authors: C. V. da Silva, M. M. F. Nepomuceno, D. B. de Freitas

Abstract: We study the first gravitational wave, GW150914, detected by advanced LIGO and constructed from the data of measurement of strain relative deformation of the fabric of spacetime. We show that the time series from the gravitational wave obeys Tsallis's $q$-Gaussian distribution as a probability density and its dynamics evolve of the three associated Tsallis' indices named $q$-triplet. This fact str… ▽ More We study the first gravitational wave, GW150914, detected by advanced LIGO and constructed from the data of measurement of strain relative deformation of the fabric of spacetime. We show that the time series from the gravitational wave obeys Tsallis's $q$-Gaussian distribution as a probability density and its dynamics evolve of the three associated Tsallis' indices named $q$-triplet. This fact strongly suggests that these black hole merger systems behave in a non-extensive manner. Furthermore, our results point out that the entropic indexes obtained as a function of frequency are useful statistical parameters to determine the dominant frequency when black hole coalescence is achieved. △ Less

Submitted 24 January, 2023; originally announced January 2023.

Comments: 7 pages, 6 figures

A new dataset for measuring the performance of blood vessel segmentation methods under distribution shifts

Authors: Matheus Viana da Silva, Natália de Carvalho Santos, Julie Ouellette, Baptiste Lacoste, Cesar Henrique Comin

Abstract: Creating a dataset for training supervised machine learning algorithms can be a demanding task. This is especially true for medical image segmentation since one or more specialists are usually required for image annotation, and creating ground truth labels for just a single image can take up to several hours. In addition, it is paramount that the annotated samples represent well the different cond… ▽ More Creating a dataset for training supervised machine learning algorithms can be a demanding task. This is especially true for medical image segmentation since one or more specialists are usually required for image annotation, and creating ground truth labels for just a single image can take up to several hours. In addition, it is paramount that the annotated samples represent well the different conditions that might affect the imaged tissues as well as possible changes in the image acquisition process. This can only be achieved by considering samples that are typical in the dataset as well as atypical, or even outlier, samples. We introduce VessMAP, a heterogeneous blood vessel segmentation dataset acquired by carefully sampling relevant images from a larger non-annotated dataset. A methodology was developed to select both prototypical and atypical samples from the base dataset, thus defining an assorted set of images that can be used for measuring the performance of segmentation algorithms on samples that are highly distinct from each other. To demonstrate the potential of the new dataset, we show that the validation performance of a neural network changes significantly depending on the splits used for training the network. △ Less

Submitted 18 April, 2024; v1 submitted 11 January, 2023; originally announced January 2023.

Comments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible

MHVG2MTS: Multilayer Horizontal Visibility Graphs for Multivariate Time Series Analysis

Authors: Vanessa Freitas Silva, Maria Eduarda Silva, Pedro Ribeiro, Fernando Silva

Abstract: Understanding the properties of time-indexed multivariate data has been a predominant topic mainly to address open issues in multivariate time series analysis. Usually, the methodologies used to analyze multivariate time series are based on adapting approaches for univariate settings or on assumptions and parameters for specific problems. A different strategy uses complex network to obtain an addi… ▽ More Understanding the properties of time-indexed multivariate data has been a predominant topic mainly to address open issues in multivariate time series analysis. Usually, the methodologies used to analyze multivariate time series are based on adapting approaches for univariate settings or on assumptions and parameters for specific problems. A different strategy uses complex network to obtain an additional and reduced representation of temporal and causal properties of the time series data. Recent strategies involve mapping multivariate time series into high-level network structures, specifically into multiplex networks representing interconnections between contemporary timestamps of different time series components. In this work, we propose a new mapping method that takes advantage of the entire structure of multilayer networks. We introduce the multilayer horizontal visibility graph that is based on the new concept of cross-horizontal visibility between lagged timestamps of different components, which allows describing the cross-dimension dependencies via inter-layer edges. We use a set of existing topological measures of multilayer networks as well as a novel measure to evaluate and validate our approach, which is parameter-free, does not require data pre-processing and is applicable to any kind of multivariate time series data. We provide an extensive experimental evaluation, where we explore the proposed topological measures, showing that the inter-layer edges based on cross-horizontal visibility preserve more information about the time series data after the mappings, information that would inevitably be lost using mapping methods that result in single-layer and multiplex structures. We also verify that the information mapped by the inter-layer edges is not enough on its own, but that it complements the data information captured by the commonly used intra-layer edges. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Extractive Text Summarization Using Generalized Additive Models with Interactions for Sentence Selection

Authors: Vinícius Camargo da Silva, João Paulo Papa, Kelton Augusto Pontara da Costa

Abstract: Automatic Text Summarization (ATS) is becoming relevant with the growth of textual data; however, with the popularization of public large-scale datasets, some recent machine learning approaches have focused on dense models and architectures that, despite producing notable results, usually turn out in models difficult to interpret. Given the challenge behind interpretable learning-based text summar… ▽ More Automatic Text Summarization (ATS) is becoming relevant with the growth of textual data; however, with the popularization of public large-scale datasets, some recent machine learning approaches have focused on dense models and architectures that, despite producing notable results, usually turn out in models difficult to interpret. Given the challenge behind interpretable learning-based text summarization and the importance it may have for evolving the current state of the ATS field, this work studies the application of two modern Generalized Additive Models with interactions, namely Explainable Boosting Machine and GAMI-Net, to the extractive summarization problem based on linguistic features and binary classification. △ Less

Submitted 20 December, 2022; originally announced December 2022.

Hemispheric asymmetry in the sunspot cycle as a nonextensive phenomenon

Authors: Leonardo F. G. Batista, Thiago M. Santiago, Paulo C. F. da Silva Filho, Cleo V. Silva, Daniel B. de Freitas

Abstract: The appearance of dark sunspots over the solar photosphere is not considered to be symmetric between the northern and southern hemispheres. Among the different conclusions obtained by several authors, we can point out that the North-South asymmetry is a real and systematic phenomenon and is not due to random variability. In the present work, we selected the sunspot area data of a sample of 13 sola… ▽ More The appearance of dark sunspots over the solar photosphere is not considered to be symmetric between the northern and southern hemispheres. Among the different conclusions obtained by several authors, we can point out that the North-South asymmetry is a real and systematic phenomenon and is not due to random variability. In the present work, we selected the sunspot area data of a sample of 13 solar cycles divided by hemisphere extracted from the Marshall Space Flight Centre (MSFC) database to investigate the behavior of probability distributions using an out-of-equilibrium statistical model a.k.a non-extensive statistical mechanics. Based on this statistical framework, we obtained that the non-extensive entropic parameter $q$ has a semi-sinusoidal variation with a period of $\sim$22 year (Hale cycle). Among the most important results, we can highlight that the asymmetry index $q(A)$ revealed the dominance of the northern hemisphere against the southern one. Thus, we concluded that the parameter $q(A)$ can be considered an effective measure for diagnosing long-term variations of the solar dynamo. Finally, our study opens a new approach to investigating solar variability from the nonextensive perspective. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: 17 pages, 2 tables and 5 figures. Submitted to Solar Physics

Reciprocity, Homophily, and Social Network Effects in Pictorial Communication: A Case Study of Bitmoji Stickers

Authors: Julie Jiang, Ron Dotsch, Mireia Triguero Roura, Yozen Liu, Vítor Silva, Maarten W. Bos, Francesco Barbieri

Abstract: Pictorial emojis and stickers are commonly used in online social networking to facilitate and aid communications. We delve into the use of Bitmoji stickers, a highly expressive form of pictorial communication using avatars resembling actual users. We collect a large-scale dataset of the metadata of 3 billion Bitmoji stickers shared among 300 million Snapchat users. We find that individual Bitmoji… ▽ More Pictorial emojis and stickers are commonly used in online social networking to facilitate and aid communications. We delve into the use of Bitmoji stickers, a highly expressive form of pictorial communication using avatars resembling actual users. We collect a large-scale dataset of the metadata of 3 billion Bitmoji stickers shared among 300 million Snapchat users. We find that individual Bitmoji sticker usage patterns can be characterized jointly on dimensions of reciprocity and selectivity: Users are either both reciprocal and selective about whom they use Bitmoji stickers with or neither reciprocal nor selective. We additionally provide evidence of network homophily in that friends use Bitmoji stickers at similar rates. Finally, using a quasi-experimental approach, we show that receiving Bitmoji stickers from a friend encourages future Bitmoji sticker usage and overall Snapchat engagement. We discuss broader implications of our work towards a better understanding of pictorial communication behaviors in social networks. △ Less

Submitted 13 February, 2023; v1 submitted 2 November, 2022; originally announced November 2022.

Comments: 14 pages, 10 figures, 4 tables

Journal ref: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems

Variational quantum eigensolver for causal loop Feynman diagrams and directed acyclic graphs

Authors: Giuseppe Clemente, Arianna Crippa, Karl Jansen, Selomit Ramírez-Uribe, Andrés E. Rentería-Olivo, Germán Rodrigo, German F. R. Sborlini, Luiz Vale Silva

Abstract: We present a variational quantum eigensolver (VQE) algorithm for the efficient bootstrapping of the causal representation of multiloop Feynman diagrams in the Loop-Tree Duality (LTD) or, equivalently, the selection of acyclic configurations in directed graphs. A loop Hamiltonian based on the adjacency matrix describing a multiloop topology, and whose different energy levels correspond to the numbe… ▽ More We present a variational quantum eigensolver (VQE) algorithm for the efficient bootstrapping of the causal representation of multiloop Feynman diagrams in the Loop-Tree Duality (LTD) or, equivalently, the selection of acyclic configurations in directed graphs. A loop Hamiltonian based on the adjacency matrix describing a multiloop topology, and whose different energy levels correspond to the number of cycles, is minimized by VQE to identify the causal or acyclic configurations. The algorithm has been adapted to select multiple degenerated minima and thus achieves higher detection rates. A performance comparison with a Grover's based algorithm is discussed in detail. The VQE approach requires, in general, fewer qubits and shorter circuits for its implementation, albeit with lesser success rates. △ Less

Submitted 14 November, 2023; v1 submitted 24 October, 2022; originally announced October 2022.

Comments: 19 pages, 7 figures. Discussion improved, accepted for publication in Physical Review D

Report number: IFIC/22-28

Embedding regular black holes and black bounces in a cloud of strings

Authors: Manuel E. Rodrigues, Marcos V. de S. Silva

Abstract: A string is the one-dimensional generalization of a point particle. In this sense, the analog of a cloud of dust would be a cloud of strings. In this work, we consider a cloud of strings around a regular solution in general gelativity. We consider the Bardeen solution and the Simpson--Visser solution, analyzing the consequences of the cloud in the regularity and in the energy conditions. Actually,… ▽ More A string is the one-dimensional generalization of a point particle. In this sense, the analog of a cloud of dust would be a cloud of strings. In this work, we consider a cloud of strings around a regular solution in general gelativity. We consider the Bardeen solution and the Simpson--Visser solution, analyzing the consequences of the cloud in the regularity and in the energy conditions. Actually, the presence of the cloud could make the energy density positive when compared to the Simpson--Visser case. We verify that the usual Bardeen solution becomes singular in the presence of the cloud of string while the Simpson--Visser solution is still regular, violating the energy conditions, as the usual solution. We also calculate some thermodynamic quantities to evaluate how a cloud of strings influences the thermodynamics of the solutions. △ Less

Submitted 8 October, 2022; originally announced October 2022.

Comments: 14 pages, 2 figures, accepted for publication in PRD

Named Entity Recognition in Twitter: A Dataset and Analysis on Short-Term Temporal Shifts

Authors: Asahi Ushio, Leonardo Neves, Vitor Silva, Francesco Barbieri, Jose Camacho-Collados

Abstract: Recent progress in language model pre-training has led to important improvements in Named Entity Recognition (NER). Nonetheless, this progress has been mainly tested in well-formatted documents such as news, Wikipedia, or scientific articles. In social media the landscape is different, in which it adds another layer of complexity due to its noisy and dynamic nature. In this paper, we focus on NER… ▽ More Recent progress in language model pre-training has led to important improvements in Named Entity Recognition (NER). Nonetheless, this progress has been mainly tested in well-formatted documents such as news, Wikipedia, or scientific articles. In social media the landscape is different, in which it adds another layer of complexity due to its noisy and dynamic nature. In this paper, we focus on NER in Twitter, one of the largest social media platforms, and construct a new NER dataset, TweetNER7, which contains seven entity types annotated over 11,382 tweets from September 2019 to August 2021. The dataset was constructed by carefully distributing the tweets over time and taking representative trends as a basis. Along with the dataset, we provide a set of language model baselines and perform an analysis on the language model performance on the task, especially analyzing the impact of different time periods. In particular, we focus on three important temporal aspects in our analysis: short-term degradation of NER models over time, strategies to fine-tune a language model over different periods, and self-labeling as an alternative to lack of recently-labeled data. TweetNER7 is released publicly (https://huggingface.co/datasets/tner/tweetner7) along with the models fine-tuned on it. △ Less

Submitted 15 November, 2022; v1 submitted 7 October, 2022; originally announced October 2022.

Comments: AACL 2022 main conference

Probabilistic Model Incorporating Auxiliary Covariates to Control FDR

Authors: Lin Qiu, Nils Murrugarra-Llerena, Vítor Silva, Lin Lin, Vernon M. Chinchilli

Abstract: Controlling False Discovery Rate (FDR) while leveraging the side information of multiple hypothesis testing is an emerging research topic in modern data science. Existing methods rely on the test-level covariates while ignoring metrics about test-level covariates. This strategy may not be optimal for complex large-scale problems, where indirect relations often exist among test-level covariates and… ▽ More Controlling False Discovery Rate (FDR) while leveraging the side information of multiple hypothesis testing is an emerging research topic in modern data science. Existing methods rely on the test-level covariates while ignoring metrics about test-level covariates. This strategy may not be optimal for complex large-scale problems, where indirect relations often exist among test-level covariates and auxiliary metrics or covariates. We incorporate auxiliary covariates among test-level covariates in a deep Black-Box framework controlling FDR (named as NeurT-FDR) which boosts statistical power and controls FDR for multiple-hypothesis testing. Our method parametrizes the test-level covariates as a neural network and adjusts the auxiliary covariates through a regression framework, which enables flexible handling of high-dimensional features as well as efficient end-to-end optimization. We show that NeurT-FDR makes substantially more discoveries in three real datasets compared to competitive baselines. △ Less

Submitted 6 October, 2022; originally announced October 2022.

Comments: Short Version of NeurT-FDR, accepted at CIKM 2022. arXiv admin note: substantial text overlap with arXiv:2101.09809

SemEval 2023 Task 9: Multilingual Tweet Intimacy Analysis

Authors: Jiaxin Pei, Vítor Silva, Maarten Bos, Yozon Liu, Leonardo Neves, David Jurgens, Francesco Barbieri

Abstract: We propose MINT, a new Multilingual INTimacy analysis dataset covering 13,372 tweets in 10 languages including English, French, Spanish, Italian, Portuguese, Korean, Dutch, Chinese, Hindi, and Arabic. We benchmarked a list of popular multilingual pre-trained language models. The dataset is released along with the SemEval 2023 Task 9: Multilingual Tweet Intimacy Analysis (https://sites.google.com/u… ▽ More We propose MINT, a new Multilingual INTimacy analysis dataset covering 13,372 tweets in 10 languages including English, French, Spanish, Italian, Portuguese, Korean, Dutch, Chinese, Hindi, and Arabic. We benchmarked a list of popular multilingual pre-trained language models. The dataset is released along with the SemEval 2023 Task 9: Multilingual Tweet Intimacy Analysis (https://sites.google.com/umich.edu/semeval-2023-tweet-intimacy). △ Less

Submitted 3 February, 2023; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: SemEval 2023 Task 9: Multilingual Tweet Intimacy Analysis

A Capability and Skill Model for Heterogeneous Autonomous Robots

Authors: Luis Miguel Vieira da Silva, Aljosha Köcher, Alexander Fay

Abstract: Teams of heterogeneous autonomous robots become increasingly important due to their facilitation of various complex tasks. For such heterogeneous robots, there is currently no consistent way of describing the functions that each robot provides. In the field of manufacturing, capability modeling is considered a promising approach to semantically model functions provided by different machines. This… ▽ More Teams of heterogeneous autonomous robots become increasingly important due to their facilitation of various complex tasks. For such heterogeneous robots, there is currently no consistent way of describing the functions that each robot provides. In the field of manufacturing, capability modeling is considered a promising approach to semantically model functions provided by different machines. This contribution investigates how to apply and extend capability models from manufacturing to the field of autonomous robots and presents an approach for such a capability model. △ Less

Submitted 9 February, 2023; v1 submitted 22 September, 2022; originally announced September 2022.

Twitter Topic Classification

Authors: Dimosthenis Antypas, Asahi Ushio, Jose Camacho-Collados, Leonardo Neves, Vítor Silva, Francesco Barbieri

Abstract: Social media platforms host discussions about a wide variety of topics that arise everyday. Making sense of all the content and organising it into categories is an arduous task. A common way to deal with this issue is relying on topic modeling, but topics discovered using this technique are difficult to interpret and can differ from corpus to corpus. In this paper, we present a new task based on t… ▽ More Social media platforms host discussions about a wide variety of topics that arise everyday. Making sense of all the content and organising it into categories is an arduous task. A common way to deal with this issue is relying on topic modeling, but topics discovered using this technique are difficult to interpret and can differ from corpus to corpus. In this paper, we present a new task based on tweet topic classification and release two associated datasets. Given a wide range of topics covering the most important discussion points in social media, we provide training and testing data from recent time periods that can be used to evaluate tweet classification models. Moreover, we perform a quantitative evaluation and analysis of current general- and domain-specific language models on the task, which provide more insights on the challenges and nature of the task. △ Less

Submitted 20 September, 2022; originally announced September 2022.

Comments: Accepted at COLING 2022

Zero-frequency supercurrent susceptibility signatures of trivial and topological zero-energy states in nanowire junctions

Authors: Lucas Baldo, Luis G. G. V. Dias Da Silva, Annica M. Black-Schaffer, Jorge Cayao

Abstract: We propose a method to distinguish between trivial and topological, Majorana, zero-energy states in both short and long superconductor-normal-superconductor junctions based on Rashba nanowires using phase-biased equilibrium transport measurements. In particular, we show how the sawtooth profile of the supercurrent, due to the Majorana oscillation suppression in the topological phase for sufficient… ▽ More We propose a method to distinguish between trivial and topological, Majorana, zero-energy states in both short and long superconductor-normal-superconductor junctions based on Rashba nanowires using phase-biased equilibrium transport measurements. In particular, we show how the sawtooth profile of the supercurrent, due to the Majorana oscillation suppression in the topological phase for sufficiently long superconductor regions, leads to a strong signal in its zero-frequency susceptibility for a phase difference of $φ=π$. This signal is notably insensitive to the chemical potential in the normal region, while trivial zero-energy states only causes signals in the susceptibility that is highly varying with the chemical potential, thus turning gating of the normal region into a simple experimental control knob. Furthermore, we obtain that, by tuning the junction transparency, critical currents in both short and long junctions undergo a reduction in the number of oscillations as a function of magnetic field only in the topological phase, an effect that find to be intimately linked to Majorana non-locality. Finally, we show that our results also hold at finite temperatures, thus highlighting their potential measurability under realistic experimental conditions. △ Less

Submitted 7 February, 2023; v1 submitted 5 September, 2022; originally announced September 2022.

Comments: 12 pages, 7 figures. Published version

Journal ref: Supercond. Sci. Technol. 36, 034003 (2023)

The Athena X-ray Integral Field Unit: a consolidated design for the system requirement review of the preliminary definition phase

Authors: Didier Barret, Vincent Albouys, Jan-Willem den Herder, Luigi Piro, Massimo Cappi, Juhani Huovelin, Richard Kelley, J. Miguel Mas-Hesse, Stéphane Paltani, Gregor Rauw, Agata Rozanska, Jiri Svoboda, Joern Wilms, Noriko Yamasaki, Marc Audard, Simon Bandler, Marco Barbera, Xavier Barcons, Enrico Bozzo, Maria Teresa Ceballos, Ivan Charles, Elisa Costantini, Thomas Dauser, Anne Decourchelle, Lionel Duband , et al. (274 additional authors not shown)

Abstract: The Athena X-ray Integral Unit (X-IFU) is the high resolution X-ray spectrometer, studied since 2015 for flying in the mid-30s on the Athena space X-ray Observatory, a versatile observatory designed to address the Hot and Energetic Universe science theme, selected in November 2013 by the Survey Science Committee. Based on a large format array of Transition Edge Sensors (TES), it aims to provide sp… ▽ More The Athena X-ray Integral Unit (X-IFU) is the high resolution X-ray spectrometer, studied since 2015 for flying in the mid-30s on the Athena space X-ray Observatory, a versatile observatory designed to address the Hot and Energetic Universe science theme, selected in November 2013 by the Survey Science Committee. Based on a large format array of Transition Edge Sensors (TES), it aims to provide spatially resolved X-ray spectroscopy, with a spectral resolution of 2.5 eV (up to 7 keV) over an hexagonal field of view of 5 arc minutes (equivalent diameter). The X-IFU entered its System Requirement Review (SRR) in June 2022, at about the same time when ESA called for an overall X-IFU redesign (including the X-IFU cryostat and the cooling chain), due to an unanticipated cost overrun of Athena. In this paper, after illustrating the breakthrough capabilities of the X-IFU, we describe the instrument as presented at its SRR, browsing through all the subsystems and associated requirements. We then show the instrument budgets, with a particular emphasis on the anticipated budgets of some of its key performance parameters. Finally we briefly discuss on the ongoing key technology demonstration activities, the calibration and the activities foreseen in the X-IFU Instrument Science Center, and touch on communication and outreach activities, the consortium organisation, and finally on the life cycle assessment of X-IFU aiming at minimising the environmental footprint, associated with the development of the instrument. Thanks to the studies conducted so far on X-IFU, it is expected that along the design-to-cost exercise requested by ESA, the X-IFU will maintain flagship capabilities in spatially resolved high resolution X-ray spectroscopy, enabling most of the original X-IFU related scientific objectives of the Athena mission to be retained. (abridged). △ Less

Submitted 28 November, 2022; v1 submitted 30 August, 2022; originally announced August 2022.

Comments: 48 pages, 29 figures, Accepted for publication in Experimental Astronomy with minor editing

Multiresolution Neural Networks for Imaging

Authors: Hallison Paz, Tiago Novello, Vinicius Silva, Luiz Schirmer, Guilherme Schardong, Fabio Chagas, Helio Lopes, Luiz Velho

Abstract: We present MR-Net, a general architecture for multiresolution neural networks, and a framework for imaging applications based on this architecture. Our coordinate-based networks are continuous both in space and in scale as they are composed of multiple stages that progressively add finer details. Besides that, they are a compact and efficient representation. We show examples of multiresolution ima… ▽ More We present MR-Net, a general architecture for multiresolution neural networks, and a framework for imaging applications based on this architecture. Our coordinate-based networks are continuous both in space and in scale as they are composed of multiple stages that progressively add finer details. Besides that, they are a compact and efficient representation. We show examples of multiresolution image representation and applications to texturemagnification, minification, and antialiasing. This document is the extended version of the paper [PNS+22]. It includes additional material that would not fit the page limitations of the conference track for publication. △ Less

Submitted 10 September, 2022; v1 submitted 24 August, 2022; originally announced August 2022.

MSC Class: 68T07; 68U10 ACM Class: I.4.10; I.3.3

No Pattern, No Recognition: a Survey about Reproducibility and Distortion Issues of Text Clustering and Topic Modeling

Authors: Marília Costa Rosendo Silva, Felipe Alves Siqueira, João Pedro Mantovani Tarrega, João Vitor Pataca Beinotti, Augusto Sousa Nunes, Miguel de Mattos Gardini, Vinícius Adolfo Pereira da Silva, Nádia Félix Felipe da Silva, André Carlos Ponce de Leon Ferreira de Carvalho

Abstract: Extracting knowledge from unlabeled texts using machine learning algorithms can be complex. Document categorization and information retrieval are two applications that may benefit from unsupervised learning (e.g., text clustering and topic modeling), including exploratory data analysis. However, the unsupervised learning paradigm poses reproducibility issues. The initialization can lead to variabi… ▽ More Extracting knowledge from unlabeled texts using machine learning algorithms can be complex. Document categorization and information retrieval are two applications that may benefit from unsupervised learning (e.g., text clustering and topic modeling), including exploratory data analysis. However, the unsupervised learning paradigm poses reproducibility issues. The initialization can lead to variability depending on the machine learning algorithm. Furthermore, the distortions can be misleading when regarding cluster geometry. Amongst the causes, the presence of outliers and anomalies can be a determining factor. Despite the relevance of initialization and outlier issues for text clustering and topic modeling, the authors did not find an in-depth analysis of them. This survey provides a systematic literature review (2011-2022) of these subareas and proposes a common terminology since similar procedures have different terms. The authors describe research opportunities, trends, and open issues. The appendices summarize the theoretical background of the text vectorization, the factorization, and the clustering algorithms that are directly or indirectly related to the reviewed works. △ Less

Submitted 2 August, 2022; originally announced August 2022.

ACM Class: I.2; I.2.7; I.5.3

Denjoy-Carleman Microlocal Regularity on Smooth Real Submanifolds of Complex Space

Authors: Antonio Victor da Silva Jr., Nicholas Braun Rodrigues

Abstract: We prove the existence of approximate solutions in the (regular) Denjoy-Carleman sense for some systems of smooth complex vector fields. Such approximate solutions provide a well defined notion of Denjoy-Carleman wave front set of distributions on maximally real submanifolds in complex space which can be characterized in terms of the decay of the Fourier-Bros-Iagolnitzer transform. We also apply t… ▽ More We prove the existence of approximate solutions in the (regular) Denjoy-Carleman sense for some systems of smooth complex vector fields. Such approximate solutions provide a well defined notion of Denjoy-Carleman wave front set of distributions on maximally real submanifolds in complex space which can be characterized in terms of the decay of the Fourier-Bros-Iagolnitzer transform. We also apply the approximate solutions to analyze the Denjoy-Carleman microlocal regularity of solutions of certain systems of first-order nonlinear partial differential equations. △ Less

Submitted 25 July, 2022; originally announced July 2022.

MSC Class: 35A18 35F35 35F50