Showing 1–50 of 146 results for author: Ferreira, D

Using Deep Learning to Design High Aspect Ratio Fusion Devices

Authors: P. Curvo, D. R. Ferreira, R. Jorge

Abstract: The design of fusion devices is typically based on computationally expensive simulations. This can be alleviated using high aspect ratio models that employ a reduced number of free parameters, especially in the case of stellarator optimization where non-axisymmetric magnetic fields with a large parameter space are optimized to satisfy certain performance criteria. However, optimization is still re… ▽ More The design of fusion devices is typically based on computationally expensive simulations. This can be alleviated using high aspect ratio models that employ a reduced number of free parameters, especially in the case of stellarator optimization where non-axisymmetric magnetic fields with a large parameter space are optimized to satisfy certain performance criteria. However, optimization is still required to find configurations with properties such as low elongation, high rotational transform, finite plasma beta, and good fast particle confinement. In this work, we train a machine learning model to construct configurations with favorable confinement properties by finding a solution to the inverse design problem, that is, obtaining a set of model input parameters for given desired properties. Since the solution of the inverse problem is non-unique, a probabilistic approach, based on mixture density networks, is used. It is shown that optimized configurations can be generated reliably using this method. △ Less

Submitted 31 August, 2024; originally announced September 2024.

Control of the Schrödinger equation in $\mathbb{R}^3$: The critical case

Authors: Pablo Braz e Silva, Roberto de A. Capistrano-Filho, Jackellyny Dassy do Nascimento Carvalho, David dos Santos Ferreira

Abstract: This article deals with the $\dot{H}^{1}$--level exact controllability for the defocusing critical nonlinear Schrödinger equation in $\mathbb{R}^3$. Firstly, we show the problem under consideration to be well-posed using Strichartz estimates. Moreover, through the Hilbert uniqueness method, we prove the linear Schrödinger equation to be controllable. Finally, we use a perturbation argument and sho… ▽ More This article deals with the $\dot{H}^{1}$--level exact controllability for the defocusing critical nonlinear Schrödinger equation in $\mathbb{R}^3$. Firstly, we show the problem under consideration to be well-posed using Strichartz estimates. Moreover, through the Hilbert uniqueness method, we prove the linear Schrödinger equation to be controllable. Finally, we use a perturbation argument and show local exact controllability for the critical nonlinear Schrödinger equation. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: 20 pages. Comments are welcome

Tomographic redshift dipole: Testing the cosmological principle

Authors: Pedro da Silveira Ferreira, Valerio Marra

Abstract: The cosmological principle posits that the universe is statistically homogeneous and isotropic on large scales, implying all matter shares the same rest frame. This principle suggests that velocity estimates of our motion from various sources should agree with the cosmic microwave background (CMB) dipole's inferred velocity of 370 km/s. Yet, for over two decades, analyses of radio galaxy and quasa… ▽ More The cosmological principle posits that the universe is statistically homogeneous and isotropic on large scales, implying all matter shares the same rest frame. This principle suggests that velocity estimates of our motion from various sources should agree with the cosmic microwave background (CMB) dipole's inferred velocity of 370 km/s. Yet, for over two decades, analyses of radio galaxy and quasar catalogs have found velocities at odds with the CMB dipole, with tensions up to 5$σ$. In a blind analysis of BOSS and eBOSS spectroscopic data from galaxies and quasars across $0.2<z<2.2$, we applied a novel dipole estimator for a tomographic approach, robustly correcting biases and quantifying uncertainties with realistic mock catalogs. Our findings with eBOSS data ($0.6<z<2.2$), indicating a velocity of $195^{+99}_{-81}$ km/s, demonstrate a $2σ$ agreement with the CMB dipole when considering the full 3D vector distribution and a 3-to-6$σ$ tension with previous number count studies. This result supports the cosmological principle, emphasizing the consistency of our motion with the CMB across vast cosmic distances. On the other hand, the BOSS data revealed potential unmodeled systematics; the estimator could not be minimized using the LOWZ set ($0.2<z<0.4$), and the CMASS set ($0.4<z<0.6$) presented results that pointed towards the southern hemisphere, conflicting with the CMB dipole. Addressing the disparities with earlier number count analyses and understanding possible systematics in spectroscopic measurements will be essential to further validate the cosmological principle. △ Less

Submitted 5 June, 2024; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: 19 pages, 11 figures; v2: added direct comparison with previous number count studies; v3: revised analysis and results following corrections to the data processing pipeline

Contract Usage and Evolution in Android Mobile Applications

Authors: David R. Ferreira, Alexandra Mendes, João F. Ferreira

Abstract: Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the value of contracts in traditional software development contexts. However, the adoption and impact of contracts in the context of mobile application development, particularly of Android applications, remain unexplored.… ▽ More Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the value of contracts in traditional software development contexts. However, the adoption and impact of contracts in the context of mobile application development, particularly of Android applications, remain unexplored. To address this, we present the first large-scale empirical study on the presence and use of contracts in Android applications, written in Java or Kotlin. We consider different types of contract elements divided into five categories: conditional runtime exceptions, APIs, annotations, assertions, and other. We analyzed 2,390 Android applications from the F-Droid repository and processed more than 51,749 KLOC to determine 1) how and to what extent contracts are used, 2) how contract usage evolves, and 3) whether contracts are used safely in the context of program evolution and inheritance. Our findings include: 1) although most applications do not specify contracts, annotation-based approaches are the most popular among practitioners; 2) applications that use contracts continue to use them in later versions, but the number of methods increases at a higher rate than the number of contracts; and 3) there are many potentially unsafe specification changes when applications evolve and in subtyping relationships, which indicates a lack of specification stability. Our findings show that it would be desirable to have libraries that standardize contract specifications in Java and Kotlin, and tools that aid practitioners in writing stronger contracts and in detecting contract violations in the context of program evolution and inheritance. △ Less

Submitted 25 January, 2024; originally announced January 2024.

Evaluation of the Energy Consumption of a Mobile Robotic Platform for Sustainable 6G Networks

Authors: Diogo Ferreira, André Coelho, Rui Campos

Abstract: The emerging 6G paradigm and the proliferation of wireless devices require flexible network infrastructures capable of meeting the increasing Quality of Service (QoS) requirements. Mobile Robotic Platforms (MRPs) acting as mobile communications cells are a promising solution to provide on-demand wireless connectivity in dynamic networking scenarios. However, the energy consumption of MRPs is a cha… ▽ More The emerging 6G paradigm and the proliferation of wireless devices require flexible network infrastructures capable of meeting the increasing Quality of Service (QoS) requirements. Mobile Robotic Platforms (MRPs) acting as mobile communications cells are a promising solution to provide on-demand wireless connectivity in dynamic networking scenarios. However, the energy consumption of MRPs is a challenge that must be considered, in order to maximize the availability of the wireless networks created. The main contribution of this paper is the experimental evaluation of the energy consumption of an MRP acting as a mobile communications cell. The evaluation considers different actions performed by a real MRP, showing that the energy consumption varies significantly with the type of action performed. The obtained results pave the way for optimizing the MRP movement in dynamic networking scenarios so that the wireless network's availability is maximized while minimizing the MRP's energy consumption. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Optical Extreme Learning Machines with Atomic Vapors

Authors: Nuno A. Silva, Vicente Rocha, Tiago D. Ferreira

Abstract: Extreme learning machines explore nonlinear random projections to perform computing tasks on high-dimensional output spaces. Since training only occurs at the output layer, the approach has the potential to speed up the training process and the capacity to turn any physical system into a computing platform. Yet, requiring strong nonlinear dynamics, optical solutions operating at fast processing ra… ▽ More Extreme learning machines explore nonlinear random projections to perform computing tasks on high-dimensional output spaces. Since training only occurs at the output layer, the approach has the potential to speed up the training process and the capacity to turn any physical system into a computing platform. Yet, requiring strong nonlinear dynamics, optical solutions operating at fast processing rates and low power can be hard to achieve with conventional nonlinear optical materials. In this context, this manuscript explores the possibility of using atomic gases in near-resonant conditions to implement an optical extreme learning machine leveraging their enhanced nonlinear optical properties. Our results suggest that these systems have the potential not only to work as an optical extreme learning machine but also to perform these computations at the few-photon level, paving opportunities for energy-efficient computing solutions. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Optical Feedback Loop in Paraxial Fluids of Light: A Gate to new phenomena in analogue physical simulations

Authors: Tiago D. Ferreira, Ariel Guerreiro, Nuno A. Silva

Abstract: Easily accessible through tabletop experiments based on laser propagation inside nonlinear optical media, Paraxial Fluids of Light are emerging as promising platforms for the simulation and exploration of quantum-like phenomena. In particular, the analogy builds on a formal equivalence between the governing model for a Bose-Einstein Condensate under the mean-field approximation and the model of la… ▽ More Easily accessible through tabletop experiments based on laser propagation inside nonlinear optical media, Paraxial Fluids of Light are emerging as promising platforms for the simulation and exploration of quantum-like phenomena. In particular, the analogy builds on a formal equivalence between the governing model for a Bose-Einstein Condensate under the mean-field approximation and the model of laser propagation under the paraxial approximation. Yet, the fact that the role of time is played by the propagation distance in the optical analogue system may impose strong bounds on the range of accessible phenomena due to the limited length of the nonlinear medium. In this manuscript, we present a novel experimental approach to solve this limitation in the form of an optical feedback loop, which consists of the reconstruction of the optical states at the end of the system followed by their subsequent re-injection exploiting wavefront shaping techniques. The results enclosed demonstrate the potential of this approach to access unprecedented dynamics, paving for the observation of novel phenomena in these systems. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Disruption Prediction in Fusion Devices through Feature Extraction and Logistic Regression

Authors: Diogo R. Ferreira

Abstract: This document describes an approach used in the Multi-Machine Disruption Prediction Challenge for Fusion Energy by ITU, a data science competition which ran from September to November 2023, on the online platform Zindi. The competition involved data from three fusion devices - C-Mod, HL-2A, and J-TEXT - with most of the training data coming from the last two, and the test data coming from the firs… ▽ More This document describes an approach used in the Multi-Machine Disruption Prediction Challenge for Fusion Energy by ITU, a data science competition which ran from September to November 2023, on the online platform Zindi. The competition involved data from three fusion devices - C-Mod, HL-2A, and J-TEXT - with most of the training data coming from the last two, and the test data coming from the first one. Each device has multiple diagnostics and signals, and it turns out that a critical issue in this competition was to identify which signals, and especially which features from those signals, were most relevant to achieve accurate predictions. The approach described here is based on extracting features from signals, and then applying logistic regression on top of those features. Each signal is treated as a separate predictor and, in the end, a combination of such predictors achieved the first place on the leaderboard. △ Less

Submitted 24 November, 2023; originally announced November 2023.

A deformation-based morphometry framework for disentangling Alzheimer's disease from normal aging using learned normal aging templates

Authors: Jingru Fu, Daniel Ferreira, Örjan Smedby, Rodrigo Moreno

Abstract: Alzheimer's Disease and normal aging are both characterized by brain atrophy. The question of whether AD-related brain atrophy represents accelerated aging or a neurodegeneration process distinct from that in normal aging remains unresolved. Moreover, precisely disentangling AD-related brain atrophy from normal aging in a clinical context is complex. In this study, we propose a deformation-based m… ▽ More Alzheimer's Disease and normal aging are both characterized by brain atrophy. The question of whether AD-related brain atrophy represents accelerated aging or a neurodegeneration process distinct from that in normal aging remains unresolved. Moreover, precisely disentangling AD-related brain atrophy from normal aging in a clinical context is complex. In this study, we propose a deformation-based morphometry framework to estimate normal aging and AD-specific atrophy patterns of subjects from morphological MRI scans. We first leverage deep-learning-based methods to create age-dependent templates of cognitively normal (CN) subjects. These templates model the normal aging atrophy patterns in a CN population. Then, we use the learned diffeomorphic registration to estimate the one-year normal aging pattern at the voxel level. We register the testing image to the 60-year-old CN template in the second step. Finally, normal aging and AD-specific scores are estimated by measuring the alignment of this registration with the one-year normal aging pattern. The methodology was developed and evaluated on the OASIS3 dataset with 1,014 T1-weighted MRI scans. Of these, 326 scans were from CN subjects, and 688 scans were from individuals clinically diagnosed with AD at different stages of clinical severity defined by clinical dementia rating (CDR) scores. The results show that ventricles predominantly follow an accelerated normal aging pattern in subjects with AD. In turn, hippocampi and amygdala regions were affected by both normal aging and AD-specific factors. Interestingly, hippocampi and amygdala regions showed more of an accelerated normal aging pattern for subjects during the early clinical stages of the disease, while the AD-specific score increases in later clinical stages. Our code is freely available at https://github.com/Fjr9516/DBM_with_DL. △ Less

Submitted 14 November, 2023; originally announced November 2023.

Comments: 21 pages, 8 figures

Are foundation models efficient for medical image segmentation?

Authors: Danielle Ferreira, Rima Arnaout

Abstract: Foundation models are experiencing a surge in popularity. The Segment Anything model (SAM) asserts an ability to segment a wide spectrum of objects but required supervised training at unprecedented scale. We compared SAM's performance (against clinical ground truth) and resources (labeling time, compute) to a modality-specific, label-free self-supervised learning (SSL) method on 25 measurements fo… ▽ More Foundation models are experiencing a surge in popularity. The Segment Anything model (SAM) asserts an ability to segment a wide spectrum of objects but required supervised training at unprecedented scale. We compared SAM's performance (against clinical ground truth) and resources (labeling time, compute) to a modality-specific, label-free self-supervised learning (SSL) method on 25 measurements for 100 cardiac ultrasounds. SAM performed poorly and required significantly more labeling and computing resources, demonstrating worse efficiency than SSL. △ Less

Submitted 8 November, 2023; originally announced November 2023.

Comments: 14 pages, 2 figures, 2 tables

Learning the dynamics of a one-dimensional plasma model with graph neural networks

Authors: Diogo D Carvalho, Diogo R Ferreira, Luis O Silva

Abstract: We explore the possibility of fully replacing a plasma physics kinetic simulator with a graph neural network-based simulator. We focus on this class of surrogate models given the similarity between their message-passing update mechanism and the traditional physics solver update, and the possibility of enforcing known physical priors into the graph construction and update. We show that our model le… ▽ More We explore the possibility of fully replacing a plasma physics kinetic simulator with a graph neural network-based simulator. We focus on this class of surrogate models given the similarity between their message-passing update mechanism and the traditional physics solver update, and the possibility of enforcing known physical priors into the graph construction and update. We show that our model learns the kinetic plasma dynamics of the one-dimensional plasma model, a predecessor of contemporary kinetic plasma simulation codes, and recovers a wide range of well-known kinetic plasma processes, including plasma thermalization, electrostatic fluctuations about thermal equilibrium, and the drag on a fast sheet and Landau damping. We compare the performance against the original plasma model in terms of run-time, conservation laws, and temporal evolution of key physical quantities. The limitations of the model are presented and possible directions for higher-dimensional surrogate models for kinetic plasmas are discussed. △ Less

Submitted 13 May, 2024; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: title changed, accepted for publication in Machine Learning: Science and Technology, code available at https://github.com/diogodcarvalho/gns-sheet-model

Journal ref: Mach. Learn.: Sci. Technol. 5 025048 (2024)

Towards the automation of book typesetting

Authors: Sérgio M. Rebelo, Tiago Martins, Diogo Ferreira, Artur Rebelo

Abstract: This paper proposes a generative approach for the automatic typesetting of books in desktop publishing. The presented system consists in a computer script that operates inside a widely used design software tool and implements a generative process based on several typographic rules, styles and principles which have been identified in the literature. The performance of the proposed system is tested… ▽ More This paper proposes a generative approach for the automatic typesetting of books in desktop publishing. The presented system consists in a computer script that operates inside a widely used design software tool and implements a generative process based on several typographic rules, styles and principles which have been identified in the literature. The performance of the proposed system is tested through an experiment which included the evaluation of its outputs with people. The results reveal the ability of the system to consistently create varied book designs from the same input content as well as visually coherent book designs with different contents while complying with fundamental typographic principles. △ Less

Submitted 22 October, 2023; originally announced October 2023.

Comments: 26 pages, 5 figures. Revised version published at Visual Informatics, 7(2), pp. 1\textendash{}12

Journal ref: Visual Informatics, (2023) 7(2), 1--12

Resonant TERS of a Single-Molecule Kondo System

Authors: Rodrigo Cezar de Campos Ferreira, Amandeep Sagwal, Jiří Doležal, Sofia Canola, Pablo Merino, Tomáš Neuman, Martin Švec

Abstract: Single-molecule tip-enhanced Raman spectroscopy (TERS) under ultra-high vacuum (UHV) and cryogenic conditions enables exploration of the relations between the adsorption geometry, electronic state, and vibrational fingerprints of individual molecules. TERS capability of reflecting spin states in open-shell molecular configurations is yet unexplored. Here we use the tip of a scanning probe microsco… ▽ More Single-molecule tip-enhanced Raman spectroscopy (TERS) under ultra-high vacuum (UHV) and cryogenic conditions enables exploration of the relations between the adsorption geometry, electronic state, and vibrational fingerprints of individual molecules. TERS capability of reflecting spin states in open-shell molecular configurations is yet unexplored. Here we use the tip of a scanning probe microscope to lift a perylene-3,4,9,10-tetracarboxylic dianhydride (PTCDA) molecule from a metal surface to bring it into an open-shell spin one-half anionic state. We reveal a correlation between the appearance of a Kondo resonance in the differential conductance spectroscopy and concurrent characteristic changes captured by the TERS measurements. Through a detailed investigation of various adsorbed and tip-contacted PTCDA scenarios, we infer that the Raman scattering on the suspended PTCDA is resonant with a higher excited state. Theoretical simulation of the vibrational spectra enables a precise assignment of the individual TERS peaks to high-symmetry Ag modes, including the fingerprints of the observed spin state. These findings highlight the potential of TERS in capturing complex interactions between charge, spin, and photophysical properties in nanoscale molecular systems, and suggest a pathway for designing spin-optical devices using organic molecules. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Human Protein Protein Interaction Networks: A Topological Comparison Review

Authors: Rodrigo Henrique Ramos, Cynthia de Oliveira Lage Ferreira, Adenilso Simao

Abstract: Protein-Protein Interaction Networks aim to model the interactome, providing a powerful tool for understanding the complex relationships governing cellular processes. These networks have numerous applications, including functional enrichment, discovering cancer driver genes, identifying drug targets, and more. Various databases make protein-protein networks available for many species, including Ho… ▽ More Protein-Protein Interaction Networks aim to model the interactome, providing a powerful tool for understanding the complex relationships governing cellular processes. These networks have numerous applications, including functional enrichment, discovering cancer driver genes, identifying drug targets, and more. Various databases make protein-protein networks available for many species, including Homo sapiens. This work topologically compares four Homo sapiens networks using a coarse-to-fine approach, comparing global characteristics, sub-network topology, specific nodes centrality, and interaction significance. Results show that the four human protein networks share many common protein-encoding genes and some global measures, but significantly differ in the interactions and neighbourhood. Small sub-networks from cancer pathways performed better than the whole networks, indicating an improved topological consistency in functional pathways. The centrality analysis shows that the same genes play different roles in different networks. We discuss how studies and analyses that rely on protein-protein networks for humans should consider their similarities and distinctions. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Single-molecule time-resolved spectroscopy in a tunable STM nanocavity

Authors: Jiří Doležal, Amandeep Sagwal, Rodrigo Cezar de Campos Ferreira, Martin Švec

Abstract: The spontaneous fluorescence rates of single-molecule emitters are typically on the order of nanoseconds. However coupling them with plasmonic nanostructures can substantially increase their fluorescence yields. The confinement between the tip and sample of a scanning tunneling microscope creates a tunable nanocavity, an ideal platform for exploring the yields and excitation decay rates of single-… ▽ More The spontaneous fluorescence rates of single-molecule emitters are typically on the order of nanoseconds. However coupling them with plasmonic nanostructures can substantially increase their fluorescence yields. The confinement between the tip and sample of a scanning tunneling microscope creates a tunable nanocavity, an ideal platform for exploring the yields and excitation decay rates of single-molecule emitters depending on the coupling strength to the nanocavity. With this setup we estimate the excitation lifetimes from the direct time-resolved measurements of the fluorescence decays of phthalocyanine adsorbates, decoupled from the metal substrates by ultrathin NaCl layers. It is found that nanosecond-range lifetimes prevail for the emitters away from the nanocavity, whereas for the tip approached to a molecule, we find a substantial effect of the nanocavity coupling, which reduces the lifetimes to a few picoseconds. An analysis is performed to investigate the crossover between the far-field and tip-enhanced photoluminescence regimes. This approach overcomes the drawbacks associated with the estimation of lifetimes for single molecules from their respective emission linewidths. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Journal ref: Nano Lett. 2024

Exploring the dynamics of the Kelvin-Helmoltz instability in paraxial fluids of light

Authors: Tiago D. Ferreira, Jakub Garwola, Nuno A. Silva

Abstract: Paraxial fluids of light have recently emerged as promising analogue physical simulators of quantum fluids using laser propagation inside nonlinear optical media. In particular, recent works have explored the versatility of such systems for the observation of two-dimensional quantum-like turbulence regimes, dominated by quantized vortex formation and interaction that results in distinctive kinetic… ▽ More Paraxial fluids of light have recently emerged as promising analogue physical simulators of quantum fluids using laser propagation inside nonlinear optical media. In particular, recent works have explored the versatility of such systems for the observation of two-dimensional quantum-like turbulence regimes, dominated by quantized vortex formation and interaction that results in distinctive kinetic energy power laws and inverse energy cascades. In this manuscript, we explore a regime analogue to Kelvin-Helmoltz instability to look into further detail the qualitative dynamics involved in the transition from smooth laminar flow to turbulence at the interface of two fluids with distinct velocities. Both numerical and experimental results reveal the formation of a vortex sheet as expected, with a quantized number of vortices determined by initial conditions. Using an effective length transformation scale we get a deeper insight into the vortex formation phase, observing the appearance of characteristic power-laws in the incompressible kinetic energy spectrum that are related to the single vortex structures. The results enclosed demonstrate the versatility of paraxial fluids of light and may set the stage for the future observation of distinct classes of phenomena recently predicted to occur in these systems, such as radiant instability and superradiance. △ Less

Submitted 17 August, 2023; originally announced August 2023.

RedBit: An End-to-End Flexible Framework for Evaluating the Accuracy of Quantized CNNs

Authors: André Santos, João Dinis Ferreira, Onur Mutlu, Gabriel Falcao

Abstract: In recent years, Convolutional Neural Networks (CNNs) have become the standard class of deep neural network for image processing, classification and segmentation tasks. However, the large strides in accuracy obtained by CNNs have been derived from increasing the complexity of network topologies, which incurs sizeable performance and energy penalties in the training and inference of CNNs. Many rece… ▽ More In recent years, Convolutional Neural Networks (CNNs) have become the standard class of deep neural network for image processing, classification and segmentation tasks. However, the large strides in accuracy obtained by CNNs have been derived from increasing the complexity of network topologies, which incurs sizeable performance and energy penalties in the training and inference of CNNs. Many recent works have validated the effectiveness of parameter quantization, which consists in reducing the bit width of the network's parameters, to enable the attainment of considerable performance and energy efficiency gains without significantly compromising accuracy. However, it is difficult to compare the relative effectiveness of different quantization methods. To address this problem, we introduce RedBit, an open-source framework that provides a transparent, extensible and easy-to-use interface to evaluate the effectiveness of different algorithms and parameter configurations on network accuracy. We use RedBit to perform a comprehensive survey of five state-of-the-art quantization methods applied to the MNIST, CIFAR-10 and ImageNet datasets. We evaluate a total of 2300 individual bit width combinations, independently tuning the width of the network's weight and input activation parameters, from 32 bits down to 1 bit (e.g., 8/8, 2/2, 1/32, 1/1, for weights/activations). Upwards of 20000 hours of computing time in a pool of state-of-the-art GPUs were used to generate all the results in this paper. For 1-bit quantization, the accuracy losses for the MNIST, CIFAR-10 and ImageNet datasets range between [0.26%, 0.79%], [9.74%, 32.96%] and [10.86%, 47.36%] top-1, respectively. We actively encourage the reader to download the source code and experiment with RedBit, and to submit their own observed results to our public repository, available at https://github.com/IT-Coimbra/RedBit. △ Less

Submitted 15 January, 2023; originally announced January 2023.

Comments: 17 pages, 4 figures, 14 tables

Full scale, microscopically resolved tomographies of sandstone and carbonate rocks augmented by experimental porosity and permeability values

Authors: Matheus Esteves Ferreira, Mariana Del Grande, Rodrigo Neumann Barros Ferreira, Ademir Ferreira da Silva, Márcio Nogueira Pereira da Silva, Jaione Tirapu-Azpiroz, Everton Lucas-Oliveira, Arthur Gustavo de Araújo Ferreira, Renato Soares, Christian B. Eckardt, Tito J Bonagamba, Mathias Steiner

Abstract: We report a dataset containing full-scale, 3D images of rock plugs augmented by petrophysical lab characterization data for application in digital rock and capillary network analysis. Specifically, we have acquired microscopically resolved tomography datasets of 18 cylindrical sandstone and carbonate rock samples having lengths of 25.4 mm and diameters of 9.5 mm, respectively. Based on the micro-t… ▽ More We report a dataset containing full-scale, 3D images of rock plugs augmented by petrophysical lab characterization data for application in digital rock and capillary network analysis. Specifically, we have acquired microscopically resolved tomography datasets of 18 cylindrical sandstone and carbonate rock samples having lengths of 25.4 mm and diameters of 9.5 mm, respectively. Based on the micro-tomography data, we have computed porosity-values for each imaged rock sample. For validating the computed porosity values with a complementary lab method, we have measured porosity for each rock sample by using standard petrophysical characterization techniques. Overall, the tomography-based porosity values agree with the measurement results obtained from the lab, with values ranging from 8% to 30%. In addition, we provide for each rock sample the experimental permeabilities, with values ranging from 0.4 mD to above 5D. This dataset will be essential for establishing, benchmarking, and referencing the relation between porosity and permeability of reservoir rock at pore scale. △ Less

Submitted 21 December, 2022; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: 12 pages, 9 figures, 4 tables

Ranking Critical Tools in the Implementation of Lean Six Sigma as an Integrated Management System in Portugal

Authors: David Ferreira, Pedro Cunha

Abstract: Lean Six Sigma (LSS) is a comprehensive and powerful strategy for processes improvement and products. There is a cornucopia of tools for its implementation and 37 among them were selected to carry out an evaluation based on three factors, namely: Frequency of use of the tool, difficulty in implementing, importance and impact of the tool in the implementation of LSS. An online survey was conducted… ▽ More Lean Six Sigma (LSS) is a comprehensive and powerful strategy for processes improvement and products. There is a cornucopia of tools for its implementation and 37 among them were selected to carry out an evaluation based on three factors, namely: Frequency of use of the tool, difficulty in implementing, importance and impact of the tool in the implementation of LSS. An online survey was conducted with Portuguese consultants and it included questions on the profile, and the companies they worked, as well as the degree of impact of the tools used. Consultants were asked to choose ten tools, ranking them in order of importance. The frequencies with which each tool had been cited were counted. A procedure was then developed to identify the know-how of consultants to establish a ranking of LSS tools. It was created an ordering list of tools, which emphasized in: Honshin Kanri, VOC, VSM. The results presented are particularly relevant when is considered the importance of understanding the requirements for a successful implementation of Lean Six Sigma management system in the organizations. △ Less

Submitted 30 November, 2022; originally announced December 2022.

Comments: 7 pages, 3 figures, 1 table

The CMB cold spot under the lens: ruling out a supervoid interpretation

Authors: Stephen Owusu, Pedro da Silveira Ferreira, Alessio Notari, Miguel Quartin

Abstract: The Cosmic Microwave Background (CMB) anisotropies are thought to be statistically isotropic and Gaussian. However, several anomalies are observed, including the CMB Cold Spot, an unexpected cold $\sim 10^{\circ}$ region with $p$-value $\lesssim 0.01$ in standard $Λ$CDM. One of the proposed origins of the Cold Spot is an unusually large void on the line of sight, that would generate a cold region… ▽ More The Cosmic Microwave Background (CMB) anisotropies are thought to be statistically isotropic and Gaussian. However, several anomalies are observed, including the CMB Cold Spot, an unexpected cold $\sim 10^{\circ}$ region with $p$-value $\lesssim 0.01$ in standard $Λ$CDM. One of the proposed origins of the Cold Spot is an unusually large void on the line of sight, that would generate a cold region through the combination of integrated Sachs-Wolfe and Rees-Sciama effects. In the past decade extensive searches were conducted in large scale structure surveys, both in optical and infrared, in the same area for $z \lesssim 1$ and did find evidence of large voids, but of depth and size able to account for only a fraction of the anomaly. Here we analyze the lensing signal in the Planck CMB data and rule out the hypothesis that the Cold Spot could be due to a large void located anywhere between us and the surface of last scattering. In particular, computing the evidence ratio we find that a model with a large void is disfavored compared to $Λ$CDM, with odds 1 : 13 (1 : 20) for SMICA (NILC) maps, compared to the original odds 56 : 1 (21 : 1) using temperature data alone. △ Less

Submitted 14 June, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: v2: typos corrected in some equations; extra analysis in Section 5. Accepted for publication in JCAP

Journal ref: JCAP06(2023)040

High-fidelity generation of four-photon GHZ states on-chip

Authors: Mathias Pont, Giacomo Corrielli, Andreas Fyrillas, Iris Agresti, Gonzalo Carvacho, Nicolas Maring, Pierre-Emmanuel Emeriau, Francesco Ceccarelli, Ricardo Albiero, Paulo H. D. Ferreira, Niccolo Somaschi, Jean Senellart, Isabelle Sagnes, Martina Morassi, Aristide Lemaitre, Pascale Senellart, Fabio Sciarrino, Marco Liscidini, Nadia Belabas, Roberto Osellame

Abstract: Mutually entangled multi-photon states are at the heart of all-optical quantum technologies. While impressive progresses have been reported in the generation of such quantum light states using free space apparatus, high-fidelity high-rate on-chip entanglement generation is crucial for future scalability. In this work, we use a bright quantum-dot based single-photon source to demonstrate the high f… ▽ More Mutually entangled multi-photon states are at the heart of all-optical quantum technologies. While impressive progresses have been reported in the generation of such quantum light states using free space apparatus, high-fidelity high-rate on-chip entanglement generation is crucial for future scalability. In this work, we use a bright quantum-dot based single-photon source to demonstrate the high fidelity generation of 4-photon Greenberg-Horne-Zeilinger (GHZ) states with a low-loss reconfigurable glass photonic circuit. We reconstruct the density matrix of the generated states using full quantum-state tomography reaching an experimental fidelity to the target $|{\text{GHZ}_4}\rangle$ of $\mathcal{F}_{\text{GHZ}_4} (86.0\pm0.4)\,\%$, and a purity of $\mathcal{P}_{\text{GHZ}_4}=(76.3\pm0.6)\,\%$. The entanglement of the generated states is certified with a semi device-independent approach through the violation of a Bell-like inequality by more than 39 standard deviations. Finally, we carry out a four-partite quantum secret sharing protocol on-chip where a regulator shares with three interlocutors a sifted key with up to 1978 bits, achieving a qubit-error rate of $10.87\,\%$. These results establish that the quantum-dot technology combined with glass photonic circuitry for entanglement generation on chip offers a viable path for intermediate scale quantum computation and communication. △ Less

Submitted 28 November, 2022; originally announced November 2022.

Optimal plane curves of degree $q-1$ over a finite field

Authors: Walteir de Paula Ferreira, Pietro Speziali

Abstract: Let $q\geq 5$ be a prime power. In this note, we prove that if a plane curve $\mathcal{X}$ of degree $q - 1$ defined over $\mathbb{F}_q$ without $\mathbb{F}_q$-linear components attains the Sziklai upper bound $(d-1)q+1 = (q - 1)^2$ for the number of its $\mathbb{F}_q$-rational points, then $\mathcal{X}$ is projectively equivalent over $\mathbb{F}_q$ to the curve… ▽ More Let $q\geq 5$ be a prime power. In this note, we prove that if a plane curve $\mathcal{X}$ of degree $q - 1$ defined over $\mathbb{F}_q$ without $\mathbb{F}_q$-linear components attains the Sziklai upper bound $(d-1)q+1 = (q - 1)^2$ for the number of its $\mathbb{F}_q$-rational points, then $\mathcal{X}$ is projectively equivalent over $\mathbb{F}_q$ to the curve $ \mathcal{C}_{(α,β,γ)} : αX^{q - 1} + βY^{q - 1} + γZ^{q - 1} = 0$ for some $α, β, γ\in \mathbb{F}_q^{*}$ such that $α+ β+ γ= 0$. This completes the classification of curves that are extremal with respect to the Sziklai bound. Also, since the Sziklai bound is equal to the Stöhr-Voloch's bound for plane curves of degree $q - 1$, our main result classifies the $\mathbb{F}_q$-Frobenius classical extremal plane curves of degree $q - 1$. △ Less

Submitted 25 November, 2022; originally announced November 2022.

MSC Class: 114H37; 14H05

Mappings preserving sum of triple products on $\ast $-algebras

Authors: João Carlos da Motta Ferreira, Maria das Graças Bruno Marietto

Abstract: Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective mappings $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} ab^{*}c+α_{2} acb^{*}+α_{3} b^{*}ac +α_{4} cab^{*}+α_{5} b^{*}ca+α_{6} cb^{*}a,$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex… ▽ More Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective mappings $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} ab^{*}c+α_{2} acb^{*}+α_{3} b^{*}ac +α_{4} cab^{*}+α_{5} b^{*}ca+α_{6} cb^{*}a,$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex numbers satisfying some conditions. Applications of obtained results are given. △ Less

Submitted 13 September, 2022; originally announced November 2022.

Label-free segmentation from cardiac ultrasound using self-supervised learning

Authors: Danielle L. Ferreira, Zaynaf Salaymang, Rima Arnaout

Abstract: Segmentation and measurement of cardiac chambers is critical in cardiac ultrasound but is laborious and poorly reproducible. Neural networks can assist, but supervised approaches require the same laborious manual annotations. We built a pipeline for self-supervised (no manual labels) segmentation combining computer vision, clinical domain knowledge, and deep learning. We trained on 450 echocardiog… ▽ More Segmentation and measurement of cardiac chambers is critical in cardiac ultrasound but is laborious and poorly reproducible. Neural networks can assist, but supervised approaches require the same laborious manual annotations. We built a pipeline for self-supervised (no manual labels) segmentation combining computer vision, clinical domain knowledge, and deep learning. We trained on 450 echocardiograms (93,000 images) and tested on 8,393 echocardiograms (4,476,266 images; mean 61 years, 51% female), using the resulting segmentations to calculate biometrics. We also tested against external images from an additional 10,030 patients with available manual tracings of the left ventricle. r2 between clinically measured and pipeline-predicted measurements were similar to reported inter-clinician variation and comparable to supervised learning across several different measurements (r2 0.56-0.84). Average accuracy for detecting abnormal chamber size and function was 0.85 (range 0.71-0.97) compared to clinical measurements. A subset of test echocardiograms (n=553) had corresponding cardiac MRIs, where MRI is the gold standard. Correlation between pipeline and MRI measurements was similar to that between clinical echocardiogram and MRI. Finally, the pipeline accurately segments the left ventricle with an average Dice score of 0.89 (95% CI [0.89]) in the external, manually labeled dataset. Our results demonstrate a manual-label free, clinically valid, and highly scalable method for segmentation from ultrasound, a noisy but globally important imaging modality. △ Less

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

Comments: 37 pages, 3 Tables, 7 Figures

A new approach to the study of spacelike submanifolds in a spherical Robertson-Walker spacetime: characterization of the stationary spacelike submanifolds as an application

Authors: D. Ferreira, E. A. Lima Jr., F. J. Palomo, A. Romero

Abstract: A natural one codimension isometric embedding of each $(n+1)$-dimensional spherical Robertson-Walker (RW) spacetime $I\times_f \mathbb{S}^n$ in $(n+2)$-dimensional Lorentz-Minkowski spacetime $\mathbb{L}^{n+2}$ permits to contemplate $I\times_f \mathbb{S}^n$ as a rotation Lorentzian hypersurface of $\mathbb{L}^{n+2}$. After a detailed study of such Lorentzian hypersurfaces, any $k$-dimensional spa… ▽ More A natural one codimension isometric embedding of each $(n+1)$-dimensional spherical Robertson-Walker (RW) spacetime $I\times_f \mathbb{S}^n$ in $(n+2)$-dimensional Lorentz-Minkowski spacetime $\mathbb{L}^{n+2}$ permits to contemplate $I\times_f \mathbb{S}^n$ as a rotation Lorentzian hypersurface of $\mathbb{L}^{n+2}$. After a detailed study of such Lorentzian hypersurfaces, any $k$-dimensional spacelike submanifold of such an RW spacetime can be contemplated as a spacelike submanifold of $\mathbb{L}^{n+2}$. Then, we use that situation to study $k$-dimensional stationary (i.e., of zero mean curvature vector field) spacelike submanifolds of the RW spacetime. In particular, we prove a wide extension of the Lorentzian version of the classical Takahashi theorem, giving a characterization of stationary spacelike submanifolds of $I\times_f \mathbb{S}^n$ when contemplating them as spacelike submanifolds of $\mathbb{L}^{n+2}$. △ Less

Submitted 8 December, 2022; v1 submitted 29 August, 2022; originally announced August 2022.

MSC Class: 53B30 (primary) 53A10; 53Z05 (secondary)

Nonlinear maps preserving sums of triple products on $\ast $-algebras

Authors: João Carlos da Motta Ferreira, Maria das Graças Bruno Marietto

Abstract: Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective nonlinear maps $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} abc+α_{2} a^{*}cb^{*}+α_{3} ba^{*}c +α_{4} cab^{*}+α_{5} bca+α_{6} cb^{*}a^{*},$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are c… ▽ More Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective nonlinear maps $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} abc+α_{2} a^{*}cb^{*}+α_{3} ba^{*}c +α_{4} cab^{*}+α_{5} bca+α_{6} cb^{*}a^{*},$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex numbers satisfying some conditions. △ Less

Submitted 16 August, 2022; originally announced August 2022.

MSC Class: 46L10; 47B48

A semi-supervised methodology for fishing activity detection using the geometry behind the trajectory of multiple vessels

Authors: Martha Dais Ferreira, Gabriel Spadon, Amilcar Soares, Stan Matwin

Abstract: Automatic Identification System (AIS) messages are useful for tracking vessel activity across oceans worldwide using radio links and satellite transceivers. Such data plays a significant role in tracking vessel activity and mapping mobility patterns such as those found in fishing. Accordingly, this paper proposes a geometric-driven semi-supervised approach for fishing activity detection from AIS d… ▽ More Automatic Identification System (AIS) messages are useful for tracking vessel activity across oceans worldwide using radio links and satellite transceivers. Such data plays a significant role in tracking vessel activity and mapping mobility patterns such as those found in fishing. Accordingly, this paper proposes a geometric-driven semi-supervised approach for fishing activity detection from AIS data. Through the proposed methodology we show how to explore the information included in the messages to extract features describing the geometry of the vessel route. To this end, we leverage the unsupervised nature of cluster analysis to label the trajectory geometry highlighting the changes in the vessel's moving pattern which tends to indicate fishing activity. The labels obtained by the proposed unsupervised approach are used to detect fishing activities, which we approach as a time-series classification task. In this context, we propose a solution using recurrent neural networks on AIS data streams with roughly 87% of the overall $F$-score on the whole trajectories of 50 different unseen fishing vessels. Such results are accompanied by a broad benchmark study assessing the performance of different Recurrent Neural Network (RNN) architectures. In conclusion, this work contributes by proposing a thorough process that includes data preparation, labeling, data modeling, and model validation. Therefore, we present a novel solution for mobility pattern detection that relies upon unfolding the trajectory in time and observing their inherent geometry. △ Less

Submitted 22 August, 2022; v1 submitted 12 July, 2022; originally announced July 2022.

Comments: Ferreira, M.D.; Spadon, G.; Soares, A.; Matwin, S. A Semi-Supervised Methodology for Fishing Activity Detection Using the Geometry behind the Trajectory of Multiple Vessels. Sensors 2022, 22, 6063. https://doi.org/10.3390/s22166063

First light of BEaTriX, the new testing facility for the modular X-ray optics of the ATHENA mission

Authors: S. Basso, B. Salmaso, D. Spiga, M. Ghigo, G. Vecchi, G. Sironi, V. Cotroneo, P. Conconi, E. Redaelli, A. Bianco, G. Pareschi, G. Tagliaferri, D. Sisana, C. Pelliciari, M. Fiorini, S. Incorvaia, M. Uslenghi, L. Paoletti, C. Ferrari, R. Lolli, A. Zappettini, M. Sanchez del Rio, G. Parodi, V. Burwitz, S. Rukdee , et al. (13 additional authors not shown)

Abstract: The Beam Expander Testing X-ray facility (BEaTriX) is a unique X-ray apparatus now operated at the Istituto Nazionale di Astrofisica (INAF), Osservatorio Astronomico di Brera (OAB), in Merate, Italy. It has been specifically designed to measure the point spread function (PSF) and the effective area (EA) of the X-ray mirror modules (MMs) of the Advanced Telescope for High-ENergy Astrophysics (ATHEN… ▽ More The Beam Expander Testing X-ray facility (BEaTriX) is a unique X-ray apparatus now operated at the Istituto Nazionale di Astrofisica (INAF), Osservatorio Astronomico di Brera (OAB), in Merate, Italy. It has been specifically designed to measure the point spread function (PSF) and the effective area (EA) of the X-ray mirror modules (MMs) of the Advanced Telescope for High-ENergy Astrophysics (ATHENA), based on silicon pore optics (SPO) technology, for verification before integration into the mirror assembly. To this end, BEaTriX generates a broad, uniform, monochromatic, and collimated X-ray beam at 4.51 keV. [...] In BEaTriX, a micro-focus X-ray source with a titanium anode is placed in the focus of a paraboloidal mirror, which generates a parallel beam. A crystal monochromator selects the 4.51 keV line, which is expanded to the final size by a crystal asymmetrically cut with respect to the crystalline planes. [...] After characterization, the BEaTriX beam has the nominal dimensions of 170 mm x 60 mm, with a vertical divergence of 1.65 arcsec and a horizontal divergence varying between 2.7 and 3.45 arcsec, depending on the monochromator setting: either high collimation or high intensity. The flux per area unit varies from 10 to 50 photons/s/cm2 from one configuration to the other. The BEaTriX beam performance was tested using an SPO MM, whose entrance pupil was fully illuminated by the expanded beam, and its focus was directly imaged onto the camera. The first light test returned a PSF and an EA in full agreement with expectations. As of today, the 4.51 keV beamline of BEaTriX is operational and can characterize modular X-ray optics, measuring their PSF and EA with a typical exposure of 30 minutes. [...] We expect BEaTriX to be a crucial facility for the functional test of modular X-ray optics, such as the SPO MMs for ATHENA. △ Less

Submitted 7 July, 2022; v1 submitted 30 June, 2022; originally announced June 2022.

Comments: Accepted on 29 June 2022 for publication in Astronomy & Astrophysics, Sect. 13, Astronomical instrumentation of Astronomy and Astrophysics. Version after language correction

Generative Aging of Brain Images with Diffeomorphic Registration

Authors: Jingru Fu, Antonios Tzortzakakis, José Barroso, Eric Westman, Daniel Ferreira, Rodrigo Moreno

Abstract: Analyzing and predicting brain aging is essential for early prognosis and accurate diagnosis of cognitive diseases. The technique of neuroimaging, such as Magnetic Resonance Imaging (MRI), provides a noninvasive means of observing the aging process within the brain. With longitudinal image data collection, data-intensive Artificial Intelligence (AI) algorithms have been used to examine brain aging… ▽ More Analyzing and predicting brain aging is essential for early prognosis and accurate diagnosis of cognitive diseases. The technique of neuroimaging, such as Magnetic Resonance Imaging (MRI), provides a noninvasive means of observing the aging process within the brain. With longitudinal image data collection, data-intensive Artificial Intelligence (AI) algorithms have been used to examine brain aging. However, existing state-of-the-art algorithms tend to be restricted to group-level predictions and suffer from unreal predictions. This paper proposes a methodology for generating longitudinal MRI scans that capture subject-specific neurodegeneration and retain anatomical plausibility in aging. The proposed methodology is developed within the framework of diffeomorphic registration and relies on three key novel technological advances to generate subject-level anatomically plausible predictions: i) a computationally efficient and individualized generative framework based on registration; ii) an aging generative module based on biological linear aging progression; iii) a quality control module to fit registration for generation task. Our methodology was evaluated on 2662 T1-weighted (T1-w) MRI scans from 796 participants from three different cohorts. First, we applied 6 commonly used criteria to demonstrate the aging simulation ability of the proposed methodology; Secondly, we evaluated the quality of the synthetic images using quantitative measurements and qualitative assessment by a neuroradiologist. Overall, the experimental results show that the proposed method can produce anatomically plausible predictions that can be used to enhance longitudinal datasets, in turn enabling data-hungry AI-driven healthcare tools. △ Less

Submitted 31 May, 2022; originally announced May 2022.

Evidence of trion-libron coupling in chirally adsorbed single molecules

Authors: Jiří Doležal, Sofia Canola, Prokop Hapala, Rodrigo Cezar de Campos Ferreira, Pablo Merino, Martin Švec

Abstract: Interplay between motion of nuclei and excited electrons in molecules plays a key role both in biological and artificial nanomachines. Here we provide a detailed analysis of coupling between quantized librational modes (librons) and charged excited states (trions) on single phthalocyanine dyes adsorbed on a surface. By means of tunnelling electron-induced electroluminescence, we identify libronic… ▽ More Interplay between motion of nuclei and excited electrons in molecules plays a key role both in biological and artificial nanomachines. Here we provide a detailed analysis of coupling between quantized librational modes (librons) and charged excited states (trions) on single phthalocyanine dyes adsorbed on a surface. By means of tunnelling electron-induced electroluminescence, we identify libronic progressions on a μeV energy range in spectra of chirally adsorbed phthalocyanines, which are otherwise absent from spectra of symmetrically adsorbed species. Experimentally measured libronic spectra match very well the theoretically calculated libron eigenenergies and peak intensities (Franck-Condon factors) and reveal an unexpected depopulation channel for the zero libron of the excited state that can be effectively controlled by tuning the size of the nanocavity. Our results showcase the possibility of characterizing the dynamics of molecules by their low-energy molecular modes using μeV-resolved tip-enhanced spectroscopy. △ Less

Submitted 8 March, 2022; originally announced March 2022.

Journal ref: Nat Commun 13, 6008 (2022)

Unfolding AIS transmission behavior for vessel movement modeling on noisy data leveraging machine learning

Authors: Gabriel Spadon, Martha D. Ferreira, Amilcar Soares, Stan Matwin

Abstract: The oceans are a source of an impressive mixture of complex data that could be used to uncover relationships yet to be discovered. Such data comes from the oceans and their surface, such as Automatic Identification System (AIS) messages used for tracking vessels' trajectories. AIS messages are transmitted over radio or satellite at ideally periodic time intervals but vary irregularly over time. As… ▽ More The oceans are a source of an impressive mixture of complex data that could be used to uncover relationships yet to be discovered. Such data comes from the oceans and their surface, such as Automatic Identification System (AIS) messages used for tracking vessels' trajectories. AIS messages are transmitted over radio or satellite at ideally periodic time intervals but vary irregularly over time. As such, this paper aims to model the AIS message transmission behavior through neural networks for forecasting upcoming AIS messages' content from multiple vessels, particularly in a simultaneous approach despite messages' temporal irregularities as outliers. We present a set of experiments comprising multiple algorithms for forecasting tasks with horizon sizes of varying lengths. Deep learning models (e.g., neural networks) revealed themselves to adequately preserve vessels' spatial awareness regardless of temporal irregularity. We show how convolutional layers, feed-forward networks, and recurrent neural networks can improve such tasks by working together. Experimenting with short, medium, and large-sized sequences of messages, our model achieved 36/37/38% of the Relative Percentage Difference - the lower, the better, whereas we observed 92/45/96% on the Elman's RNN, 51/52/40% on the GRU, and 129/98/61% on the LSTM. These results support our model as a driver for improving the prediction of vessel routes when analyzing multiple vessels of diverging types simultaneously under temporally noise data. △ Less

Submitted 5 July, 2022; v1 submitted 24 February, 2022; originally announced February 2022.

Transformers and the representation of biomedical background knowledge

Authors: Oskar Wysocki, Zili Zhou, Paul O'Regan, Deborah Ferreira, Magdalena Wysocka, Dónal Landers, André Freitas

Abstract: Specialised transformers-based models (such as BioBERT and BioMegatron) are adapted for the biomedical domain based on publicly available biomedical corpora. As such, they have the potential to encode large-scale biological knowledge. We investigate the encoding and representation of biological knowledge in these models, and its potential utility to support inference in cancer precision medicine -… ▽ More Specialised transformers-based models (such as BioBERT and BioMegatron) are adapted for the biomedical domain based on publicly available biomedical corpora. As such, they have the potential to encode large-scale biological knowledge. We investigate the encoding and representation of biological knowledge in these models, and its potential utility to support inference in cancer precision medicine - namely, the interpretation of the clinical significance of genomic alterations. We compare the performance of different transformer baselines; we use probing to determine the consistency of encodings for distinct entities; and we use clustering methods to compare and contrast the internal properties of the embeddings for genes, variants, drugs and diseases. We show that these models do indeed encode biological knowledge, although some of this is lost in fine-tuning for specific tasks. Finally, we analyse how the models behave with regard to biases and imbalances in the dataset. △ Less

Submitted 18 August, 2022; v1 submitted 4 February, 2022; originally announced February 2022.

Comments: 25 pages, 12 figures, supplementary methods, tables and figures at the end of the manuscript

Journal ref: Computational Linguistics 2022

Decomposing Natural Logic Inferences in Neural NLI

Authors: Julia Rozanova, Deborah Ferreira, Marco Valentino, Mokanrarangan Thayaparan, Andre Freitas

Abstract: In the interest of interpreting neural NLI models and their reasoning strategies, we carry out a systematic probing study which investigates whether these models capture the crucial semantic features central to natural logic: monotonicity and concept inclusion. Correctly identifying valid inferences in downward-monotone contexts is a known stumbling block for NLI performance, subsuming linguistic… ▽ More In the interest of interpreting neural NLI models and their reasoning strategies, we carry out a systematic probing study which investigates whether these models capture the crucial semantic features central to natural logic: monotonicity and concept inclusion. Correctly identifying valid inferences in downward-monotone contexts is a known stumbling block for NLI performance, subsuming linguistic phenomena such as negation scope and generalized quantifiers. To understand this difficulty, we emphasize monotonicity as a property of a context and examine the extent to which models capture monotonicity information in the contextual embeddings which are intermediate to their decision making process. Drawing on the recent advancement of the probing paradigm, we compare the presence of monotonicity features across various models. We find that monotonicity information is notably weak in the representations of popular NLI models which achieve high scores on benchmarks, and observe that previous improvements to these models based on fine-tuning strategies have introduced stronger monotonicity features together with their improved performance on challenge sets. △ Less

Submitted 8 November, 2023; v1 submitted 15 December, 2021; originally announced December 2021.

Quantum correlations, entanglement spectrum and coherence of two-particle reduced density matrix in the Extended Hubbard Model

Authors: Diego L. B. Ferreira, Thiago O. Maciel, Reinaldo O. Vianna, Fernando Iemini

Abstract: We study the ground state properties of the one-dimensional extended Hubbard model at half-filling from the perspective of its particle reduced density matrix. We focus on the reduced density matrix of $2$ fermions and perform an analysis of its quantum correlations and coherence along the different phases of the model. Specifically, we study its (i) entanglement entropy, (ii) $\ell_1$ norm of coh… ▽ More We study the ground state properties of the one-dimensional extended Hubbard model at half-filling from the perspective of its particle reduced density matrix. We focus on the reduced density matrix of $2$ fermions and perform an analysis of its quantum correlations and coherence along the different phases of the model. Specifically, we study its (i) entanglement entropy, (ii) $\ell_1$ norm of coherence, (iii) irreducible two-body cumulant matrix and (iv) entanglement spectrum. Our results show that these different properties are complementary to each other depending on the phase of the system, exhibiting peculiar behaviors such as discontinuities, maximum or minimum values at the quantum phase transitions, thus providing a qualitative view of the phase diagram of the model. In particular, in the superconducting region, we obtain that the entanglement spectrum signals a transition between a dominant singlet (SS) to triplet (TS) pairing ordering in the system. Moreover, from the analysis of the dominant eigenvector in the reduced state, we can relate the SS-TS transition to the spatial separation between the fermion pairs in the two different pairing orderings. The entanglement gap is also able to highlight a transition - at a few-body level - in the groundstate wavefunction, not discussed previously in the literature. While other quantifiers are less sensitive to few-body defects in the wavefunction, the entanglement gap can work as a magnifying glass for these, capturing such small fluctuations. △ Less

Submitted 15 March, 2022; v1 submitted 29 October, 2021; originally announced November 2021.

Comments: 14 pages and 7 figures

Journal ref: Phys. Rev. B 105, 115145 (2022)

Real space visualization of entangled excitonic states in charged molecular assemblies

Authors: Jiří Doležal, Sofia Canola, Prokop Hapala, Rodrigo C. de Campos Ferreira, Pablo Merino, Martin Švec

Abstract: Entanglement of excitons holds great promise for the future of quantum computing, which would use individual molecular dyes as building blocks of their circuitry. Even though entangled excitonic eigenstates emerging in coupled molecular assemblies can be detected by far-field spectroscopies, access to the individual modes in real space will bring the much needed insight into the photophysics of th… ▽ More Entanglement of excitons holds great promise for the future of quantum computing, which would use individual molecular dyes as building blocks of their circuitry. Even though entangled excitonic eigenstates emerging in coupled molecular assemblies can be detected by far-field spectroscopies, access to the individual modes in real space will bring the much needed insight into the photophysics of these fascinating quantum phenomena. Here we combine tip-enhanced spectromicroscopy with atomic force microscopy to inspect delocalized single-exciton states of charged molecular assemblies engineered from individual perylenetetracarboxylic dianhydride molecules. Hyperspectral mapping of the eigenstates and comparison with calculated many-body optical transitions reveals a second low-lying excited state of the anion monomers and its role in the exciton entanglement within the assemblies. We also demonstrate control over the coupling by switching the assembly charge states. Our results reveal the possibility of tailoring excitonic properties of organic dye aggregates for advanced functionalities and establish the methodology to address them individually at the nanoscale. △ Less

Submitted 1 October, 2021; originally announced October 2021.

Journal ref: ACS Nano 2021

Grounding Natural Language Instructions: Can Large Language Models Capture Spatial Information?

Authors: Julia Rozanova, Deborah Ferreira, Krishna Dubba, Weiwei Cheng, Dell Zhang, Andre Freitas

Abstract: Models designed for intelligent process automation are required to be capable of grounding user interface elements. This task of interface element grounding is centred on linking instructions in natural language to their target referents. Even though BERT and similar pre-trained language models have excelled in several NLP tasks, their use has not been widely explored for the UI grounding domain.… ▽ More Models designed for intelligent process automation are required to be capable of grounding user interface elements. This task of interface element grounding is centred on linking instructions in natural language to their target referents. Even though BERT and similar pre-trained language models have excelled in several NLP tasks, their use has not been widely explored for the UI grounding domain. This work concentrates on testing and probing the grounding abilities of three different transformer-based models: BERT, RoBERTa and LayoutLM. Our primary focus is on these models' spatial reasoning skills, given their importance in this domain. We observe that LayoutLM has a promising advantage for applications in this domain, even though it was created for a different original purpose (representing scanned documents): the learned spatial features appear to be transferable to the UI grounding setting, especially as they demonstrate the ability to discriminate between target directions in natural language instructions. △ Less

Submitted 17 September, 2021; originally announced September 2021.

Comments: *Equal contribution

Complete stationary spacelike surfaces in an $n$-dimensional Generalized Robertson-Walker spacetime

Authors: Danilo Ferreira, Eraldo A. Lima Jr., Alfonso Romero

Abstract: Several uniqueness results for non-compact complete stationary spacelike surfaces in an $n(\geq 3)$-dimensional Generalized Robertson Walker spacetime are obtained. In order to do that, we assume a natural inequality involving the Gauss curvature of the surface, the restrictions of the warping function and the sectional curvature of the fiber to the surface. This inequality gives the parabolicity… ▽ More Several uniqueness results for non-compact complete stationary spacelike surfaces in an $n(\geq 3)$-dimensional Generalized Robertson Walker spacetime are obtained. In order to do that, we assume a natural inequality involving the Gauss curvature of the surface, the restrictions of the warping function and the sectional curvature of the fiber to the surface. This inequality gives the parabolicity of the surface. Using this property, a distinguished non-negative superharmonic function on the surface is shown to be constant, which implies that the stationary spacelike surface must be totally geodesic. Moreover, non-trivial examples of stationary spacelike surfaces in the four dimensional Lorentz-Minkowski spacetime are exposed to show that each of our assumptions is needed. △ Less

Submitted 7 September, 2021; originally announced September 2021.

Comments: 15 pages

Hybrid Autoregressive Inference for Scalable Multi-hop Explanation Regeneration

Authors: Marco Valentino, Mokanarangan Thayaparan, Deborah Ferreira, André Freitas

Abstract: Regenerating natural language explanations in the scientific domain has been proposed as a benchmark to evaluate complex multi-hop and explainable inference. In this context, large language models can achieve state-of-the-art performance when employed as cross-encoder architectures and fine-tuned on human-annotated explanations. However, while much attention has been devoted to the quality of the… ▽ More Regenerating natural language explanations in the scientific domain has been proposed as a benchmark to evaluate complex multi-hop and explainable inference. In this context, large language models can achieve state-of-the-art performance when employed as cross-encoder architectures and fine-tuned on human-annotated explanations. However, while much attention has been devoted to the quality of the explanations, the problem of performing inference efficiently is largely under-studied. Cross-encoders, in fact, are intrinsically not scalable, possessing limited applicability to real-world scenarios that require inference on massive facts banks. To enable complex multi-hop reasoning at scale, this paper focuses on bi-encoder architectures, investigating the problem of scientific explanation regeneration at the intersection of dense and sparse models. Specifically, we present SCAR (for Scalable Autoregressive Inference), a hybrid framework that iteratively combines a Transformer-based bi-encoder with a sparse model of explanatory power, designed to leverage explicit inference patterns in the explanations. Our experiments demonstrate that the hybrid framework significantly outperforms previous sparse models, achieving performance comparable with that of state-of-the-art cross-encoders while being approx 50 times faster and scalable to corpora of millions of facts. Further analyses on semantic drift and multi-hop question answering reveal that the proposed hybridisation boosts the quality of the most challenging explanations, contributing to improved performance on downstream inference tasks. △ Less

Submitted 6 December, 2021; v1 submitted 25 July, 2021; originally announced July 2021.

Comments: To appear at the 36th AAAI Conference on Artificial Intelligence (AAAI-22)

Disentangling Doppler modulation, aberration and the temperature dipole in the CMB

Authors: Pedro da Silveira Ferreira, Miguel Quartin

Abstract: An observer in relative motion to the Cosmic Microwave Background (CMB) rest frame is sensitive to both aberration and Doppler effects. Both effects introduce similar but non-identical off-diagonal couplings in the spherical harmonic coefficients. The CMB temperature dipole may have additional contributions from an intrinsic component, which in turn produces different aberration and Doppler coupli… ▽ More An observer in relative motion to the Cosmic Microwave Background (CMB) rest frame is sensitive to both aberration and Doppler effects. Both effects introduce similar but non-identical off-diagonal couplings in the spherical harmonic coefficients. The CMB temperature dipole may have additional contributions from an intrinsic component, which in turn produces different aberration and Doppler couplings. Moreover, the standard conversion from intensity measurements into temperature also introduces spurious Doppler-like couplings. In order to learn about the intrinsic dipole it is therefore important to measure both aberration and Doppler couplings in an independent manner while also removing the spurious contributions from unit conversion, which are degenerate with the dipole. Here we present a pipeline to measure the Doppler and aberration signal independently from each other and from the dipole itself. We also consider realistic beaming, noise and mask effects. Our pipeline results in independent and unbiased estimators which have uncertainties only ~20% larger than the simple theoretical expectations. We discuss the achievable precision in each measurement for Planck 2018, and also forecast them for future ground-based experiments with the Simons Observatory and CMB-S4. An alternative pipeline is presented in order to cross-check results and improve robustness. △ Less

Submitted 22 July, 2021; originally announced July 2021.

Comments: Accepted for publication in PRD. 16 pages, 9 figures

Journal ref: Phys. Rev. D 104, 063503 (2021)

Using HPC infrastructures for deep learning applications in fusion research

Authors: Diogo R. Ferreira

Abstract: In the fusion community, the use of high performance computing (HPC) has been mostly dominated by heavy-duty plasma simulations, such as those based on particle-in-cell and gyrokinetic codes. However, there has been a growing interest in applying machine learning for knowledge discovery on top of large amounts of experimental data collected from fusion devices. In particular, deep learning models… ▽ More In the fusion community, the use of high performance computing (HPC) has been mostly dominated by heavy-duty plasma simulations, such as those based on particle-in-cell and gyrokinetic codes. However, there has been a growing interest in applying machine learning for knowledge discovery on top of large amounts of experimental data collected from fusion devices. In particular, deep learning models are especially hungry for accelerated hardware, such as graphics processing units (GPUs), and it is becoming more common to find those models competing for the same resources that are used by simulation codes, which can be either CPU- or GPU-bound. In this paper, we give examples of deep learning models -- such as convolutional neural networks, recurrent neural networks, and variational autoencoders -- that can be used for a variety of tasks, including image processing, disruption prediction, and anomaly detection on diagnostics data. In this context, we discuss how deep learning can go from using a single GPU on a single node to using multiple GPUs across multiple nodes in a large-scale HPC infrastructure. △ Less

Submitted 10 June, 2021; originally announced June 2021.

Comments: (to appear)

Journal ref: Plasma Physics and Controlled Fusion, 2021

Gauge Miura and Backlund Transformations for Generalized $A_n$-KdV Hierarchies

Authors: J. M. de Carvalho Ferreira, J. F. Gomes, G. V. Lobo and. A. H. Zimerman

Abstract: The construction of Miura and Bäcklund transformations for $A_n$ mKdV and KdV hierarchies are presented in terms of gauge transformations acting upon the zero curvature representation. As in the well known $sl(2)$ case, we derive and relate the equations of motion for the two hierarchies. Moreover, the Miura-gauge transformation is not unique, instead, it is shown to be connected to a set of gener… ▽ More The construction of Miura and Bäcklund transformations for $A_n$ mKdV and KdV hierarchies are presented in terms of gauge transformations acting upon the zero curvature representation. As in the well known $sl(2)$ case, we derive and relate the equations of motion for the two hierarchies. Moreover, the Miura-gauge transformation is not unique, instead, it is shown to be connected to a set of generators labeled by the exponents of $A_n$ The construction of generalized gauge-Bäcklund transformation for the $A_n$-KdV hierarchy is obtained as a composition of Miura and Bäcklund-gauge transformations for $A_n$-mKdV hierarchy. The zero curvature representation provide a framework which is universal within all flows and generate systematically Bäcklund transformations for the entirely hierarchy. △ Less

Submitted 17 September, 2021; v1 submitted 1 June, 2021; originally announced June 2021.

Comments: Latex 18 pages, corrections and improvements in the text

Journal ref: J. Phys. A54, (2021),435201

Supporting Context Monotonicity Abstractions in Neural NLI Models

Authors: Julia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, Marco Valentino, André Freitas

Abstract: Natural language contexts display logical regularities with respect to substitutions of related concepts: these are captured in a functional order-theoretic property called monotonicity. For a certain class of NLI problems where the resulting entailment label depends only on the context monotonicity and the relation between the substituted concepts, we build on previous techniques that aim to impr… ▽ More Natural language contexts display logical regularities with respect to substitutions of related concepts: these are captured in a functional order-theoretic property called monotonicity. For a certain class of NLI problems where the resulting entailment label depends only on the context monotonicity and the relation between the substituted concepts, we build on previous techniques that aim to improve the performance of NLI models for these problems, as consistent performance across both upward and downward monotone contexts still seems difficult to attain even for state-of-the-art models. To this end, we reframe the problem of context monotonicity classification to make it compatible with transformer-based pre-trained NLI models and add this task to the training pipeline. Furthermore, we introduce a sound and complete simplified monotonicity logic formalism which describes our treatment of contexts as abstract units. Using the notions in our formalism, we adapt targeted challenge sets to investigate whether an intermediate context monotonicity classification task can aid NLI models' performance on examples exhibiting monotonicity reasoning. △ Less

Submitted 17 May, 2021; originally announced May 2021.

Comments: NALOMA'21 (NAtural LOgic Meets MAchine Learning) @IWCS 2021

Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference

Authors: Mokanarangan Thayaparan, Marco Valentino, Deborah Ferreira, Julia Rozanova, André Freitas

Abstract: This paper presents Diff-Explainer, the first hybrid framework for explainable multi-hop inference that integrates explicit constraints with neural architectures through differentiable convex optimization. Specifically, Diff-Explainer allows for the fine-tuning of neural representations within a constrained optimization framework to answer and explain multi-hop questions in natural language. To de… ▽ More This paper presents Diff-Explainer, the first hybrid framework for explainable multi-hop inference that integrates explicit constraints with neural architectures through differentiable convex optimization. Specifically, Diff-Explainer allows for the fine-tuning of neural representations within a constrained optimization framework to answer and explain multi-hop questions in natural language. To demonstrate the efficacy of the hybrid framework, we combine existing ILP-based solvers for multi-hop Question Answering (QA) with Transformer-based representations. An extensive empirical evaluation on scientific and commonsense QA tasks demonstrates that the integration of explicit constraints in an end-to-end differentiable framework can significantly improve the performance of non-differentiable ILP solvers (8.91% - 13.3%). Moreover, additional analysis reveals that Diff-Explainer is able to achieve strong performance when compared to standalone Transformers and previous multi-hop approaches while still providing structured explanations in support of its predictions. △ Less

Submitted 22 June, 2022; v1 submitted 7 May, 2021; originally announced May 2021.

Data Envelopment Analysis models with imperfect knowledge of input and output values: An application to Portuguese public hospitals

Authors: Diogo Cunha Ferreira, Josè RUi Figueira, Salvatore Greco, Rui Marques

Abstract: Assessing the technical efficiency of a set of observations requires that the associated data composed of inputs and outputs are perfectly known. If this is not the case, then biased estimates will likely be obtained. Data Envelopment Analysis (DEA) is one of the most extensively used mathematical models to estimate efficiency. It constructs a piecewise linear frontier against which all observatio… ▽ More Assessing the technical efficiency of a set of observations requires that the associated data composed of inputs and outputs are perfectly known. If this is not the case, then biased estimates will likely be obtained. Data Envelopment Analysis (DEA) is one of the most extensively used mathematical models to estimate efficiency. It constructs a piecewise linear frontier against which all observations are compared. Since the frontier is empirically defined, any deviation resulting from low data quality (imperfect knowledge of data or IKD) may lead to efficiency under/overestimation. In this study, we model IKD and, then, apply the so-called Hit \& Run procedure to randomly generate admissible observations, following some prespecified probability density functions. Sets used to model IKD limit the domain of data associated with each observation. Any point belonging to that domain is a candidate to figure out as the observation for efficiency assessment. Hence, this sampling procedure must run a sizable number of times (infinite, in theory) in such a way that it populates the whole sets. The DEA technique is used during the execution of each iteration to estimate bootstrapped efficiency scores for each observation. We use some scenarios to show that the proposed routine can outperform some of the available alternatives. We also explain how efficiency estimations can be used for statistical inference. An empirical case study based on the Portuguese public hospitals database (2013-2016) was addressed using the proposed method. △ Less

Submitted 20 April, 2021; originally announced April 2021.

pLUTo: Enabling Massively Parallel Computation in DRAM via Lookup Tables

Authors: João Dinis Ferreira, Gabriel Falcao, Juan Gómez-Luna, Mohammed Alser, Lois Orosa, Mohammad Sadrosadati, Jeremie S. Kim, Geraldo F. Oliveira, Taha Shahroodi, Anant Nori, Onur Mutlu

Abstract: Data movement between the main memory and the processor is a key contributor to execution time and energy consumption in memory-intensive applications. This data movement bottleneck can be alleviated using Processing-in-Memory (PiM). One category of PiM is Processing-using-Memory (PuM), in which computation takes place inside the memory array by exploiting intrinsic analog properties of the memory… ▽ More Data movement between the main memory and the processor is a key contributor to execution time and energy consumption in memory-intensive applications. This data movement bottleneck can be alleviated using Processing-in-Memory (PiM). One category of PiM is Processing-using-Memory (PuM), in which computation takes place inside the memory array by exploiting intrinsic analog properties of the memory device. PuM yields high performance and energy efficiency, but existing PuM techniques support a limited range of operations. As a result, current PuM architectures cannot efficiently perform some complex operations (e.g., multiplication, division, exponentiation) without large increases in chip area and design complexity. To overcome these limitations of existing PuM architectures, we introduce pLUTo (processing-using-memory with lookup table (LUT) operations), a DRAM-based PuM architecture that leverages the high storage density of DRAM to enable the massively parallel storing and querying of lookup tables (LUTs). The key idea of pLUTo is to replace complex operations with low-cost, bulk memory reads (i.e., LUT queries) instead of relying on complex extra logic. We evaluate pLUTo across 11 real-world workloads that showcase the limitations of prior PuM approaches and show that our solution outperforms optimized CPU and GPU baselines by an average of 713$\times$ and 1.2$\times$, respectively, while simultaneously reducing energy consumption by an average of 1855$\times$ and 39.5$\times$. Across these workloads, pLUTo outperforms state-of-the-art PiM architectures by an average of 18.3$\times$. We also show that different versions of pLUTo provide different levels of flexibility and performance at different additional DRAM area overheads (between 10.2% and 23.1%). pLUTo's source code is openly and fully available at https://github.com/CMU-SAFARI/pLUTo. △ Less

Submitted 3 October, 2022; v1 submitted 15 April, 2021; originally announced April 2021.

ACM Class: B.3.1; C.1.3

Journal ref: IEEE/ACM International Symposium on Microarchitecture (MICRO), 2022, 900-919

Does My Representation Capture X? Probe-Ably

Authors: Deborah Ferreira, Julia Rozanova, Mokanarangan Thayaparan, Marco Valentino, André Freitas

Abstract: Probing (or diagnostic classification) has become a popular strategy for investigating whether a given set of intermediate features is present in the representations of neural models. Probing studies may have misleading results, but various recent works have suggested more reliable methodologies that compensate for the possible pitfalls of probing. However, these best practices are numerous and fa… ▽ More Probing (or diagnostic classification) has become a popular strategy for investigating whether a given set of intermediate features is present in the representations of neural models. Probing studies may have misleading results, but various recent works have suggested more reliable methodologies that compensate for the possible pitfalls of probing. However, these best practices are numerous and fast-evolving. To simplify the process of running a set of probing experiments in line with suggested methodologies, we introduce Probe-Ably: an extendable probing framework which supports and automates the application of probing methods to the user's inputs. △ Less

Submitted 30 September, 2021; v1 submitted 12 April, 2021; originally announced April 2021.

Comments: ACL 2021 (System Demonstrations)

Active learning for medical code assignment

Authors: Martha Dais Ferreira, Michal Malyska, Nicola Sahar, Riccardo Miotto, Fernando Paulovich, Evangelos Milios

Abstract: Machine Learning (ML) is widely used to automatically extract meaningful information from Electronic Health Records (EHR) to support operational, clinical, and financial decision-making. However, ML models require a large number of annotated examples to provide satisfactory results, which is not possible in most healthcare scenarios due to the high cost of clinician-labeled data. Active Learning (… ▽ More Machine Learning (ML) is widely used to automatically extract meaningful information from Electronic Health Records (EHR) to support operational, clinical, and financial decision-making. However, ML models require a large number of annotated examples to provide satisfactory results, which is not possible in most healthcare scenarios due to the high cost of clinician-labeled data. Active Learning (AL) is a process of selecting the most informative instances to be labeled by an expert to further train a supervised algorithm. We demonstrate the effectiveness of AL in multi-label text classification in the clinical domain. In this context, we apply a set of well-known AL methods to help automatically assign ICD-9 codes on the MIMIC-III dataset. Our results show that the selection of informative instances provides satisfactory classification with a significantly reduced training set (8.3\% of the total instances). We conclude that AL methods can significantly reduce the manual annotation cost while preserving model performance. △ Less

Submitted 12 April, 2021; originally announced April 2021.

Comments: It was accepted in the ACM CHIL 2021 workshop track

Determination of the critical exponents in dissipative phase transitions: Coherent anomaly approach

Authors: Jiasen Jin, Wen-Bin He, Fernando Iemini, Diego Ferreira, Ying-Dan Wang, Stefano Chesi, Rosario Fazio

Abstract: We propose a generalization of the coherent anomaly method to extract the critical exponents of a phase transition occurring in the steady-state of an open quantum many-body system. The method, originally developed by Suzuki [J. Phys. Soc. Jpn. {\bf 55}, 4205 (1986)] for equilibrium systems, is based on the scaling properties of the singularity in the response functions determined through cluster… ▽ More We propose a generalization of the coherent anomaly method to extract the critical exponents of a phase transition occurring in the steady-state of an open quantum many-body system. The method, originally developed by Suzuki [J. Phys. Soc. Jpn. {\bf 55}, 4205 (1986)] for equilibrium systems, is based on the scaling properties of the singularity in the response functions determined through cluster mean-field calculations. We apply this method to the dissipative transverse-field Ising model and the dissipative XYZ model in two dimensions obtaining convergent results already with small clusters. △ Less

Submitted 1 December, 2021; v1 submitted 12 March, 2021; originally announced March 2021.

Comments: Accepted version, 9 pages, 7 figures

Journal ref: Phys. Rev. B 104, 214301 (2021)

Pressureless stationary solutions in a Newton-Yukawa gravity model

Authors: T. D. Ferreira, J. Novo, N. A. Silva, A. Guerreiro, O. Bertolami

Abstract: Non-minimally coupled curvature-matter gravity models are an interesting alternative to the Theory of General Relativity and to address the dark energy and dark matter cosmological problems. These models have complex field equations that prevent a full analytical study. Nonetheless, in a particular limit, the behavior of a matter distribution can, in these models, be described by a Schrödinger-New… ▽ More Non-minimally coupled curvature-matter gravity models are an interesting alternative to the Theory of General Relativity and to address the dark energy and dark matter cosmological problems. These models have complex field equations that prevent a full analytical study. Nonetheless, in a particular limit, the behavior of a matter distribution can, in these models, be described by a Schrödinger-Newton system. In nonlinear optics, the Schrödinger-Newton system can be used to tackle a wide variety of relevant situations and several numerical tools have been developed for this purpose. Interestingly, these methods can be adapted to study General Relativity problems as well as its extensions. In this work, we report the use of these numerical tools to study a particular non-minimal coupling model that introduces two new potentials, an attractive Yukawa potential and a repulsive potential proportional to the energy density. Using the imaginary-time propagation method we have shown that stationary solutions arise even at low energy density regimes. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Comments: 8 pages, 3 figures

Journal ref: Phys. Rev. D 103, 124019 (2021)

Internal structure of cuscuton Bloch brane

Authors: D. Bazeia, D. A. Ferreira, M. A. Marques

Abstract: This work deals with thick branes in bulk with a single extra dimension modeled by a two-field configuration. We first consider the inclusion of the cuscuton to also control the dynamics of one of the fields and investigate how it contributes to change the internal structure of the configuration in two distinct situations, with the standard and the asymmetric Bloch brane. The results show that the… ▽ More This work deals with thick branes in bulk with a single extra dimension modeled by a two-field configuration. We first consider the inclusion of the cuscuton to also control the dynamics of one of the fields and investigate how it contributes to change the internal structure of the configuration in two distinct situations, with the standard and the asymmetric Bloch brane. The results show that the branes get a rich internal structure, with the geometry presenting a novel behavior which is also governed by the parameter that controls the strength of the cuscuton term. We also study the case where the dynamics of one of the two fields is only described by the cuscuton. All the models support analytical solutions which are stable against fluctuations in the metric, and the main results unveil significant modifications in the warp factor and energy density of the branes. △ Less

Submitted 11 July, 2021; v1 submitted 13 February, 2021; originally announced February 2021.

Comments: 8 pages, 3 figures. New version to appear in EPJC

Journal ref: Eur. Phys. J. C 81 (2021) 619