-
A Transparent Distributed Ledger-based Certificate Revocation Scheme for VANETs
Authors:
Andrea Tesei,
Domenico Lattuca,
Paolo Pagano,
Marco Luise,
Joaquim Ferreira,
Paulo C. Bartolomeu
Abstract:
Among the available communication systems, vehicular networks are emerging as one of the most promising and yet most challenging instantiations of mobile ad-hoc network technologies. The deployment of such networks in large scale requires the enforcement of stringent security mechanisms that need to abide by the technical, societal, legal, and economical requirements of Intelligent Transportation…
▽ More
Among the available communication systems, vehicular networks are emerging as one of the most promising and yet most challenging instantiations of mobile ad-hoc network technologies. The deployment of such networks in large scale requires the enforcement of stringent security mechanisms that need to abide by the technical, societal, legal, and economical requirements of Intelligent Transportation Systems. Authentication is an effective process for validating user identity in vehicular netoworks. However, it cannot guarantee the network security by itself. Available industrial standards do not consider methods to promptly revoke misbehaving vehicles. The only available protection consists on the \textit{revocation by expiry}, which tolerates the misbehaving vehicle to remain trusted in the system for a long time (e.g. 3 months with certificate pre-loading according to EU security policy). This poses a huge yet dangerous limitation to the security of the vehicular ecosystem. In this work we propose a Distributed Ledger-based Certificate Revocation Scheme for Vehicular Ad-hoc Networks (VANETs) that harnesses the advantages of the underlying Distributed Ledger Technology (DLT) to implement a privacy-aware revocation process that is fully transparent to all participating entities and meets the critical message processing times defined by EU and US standards. An experimental validation and analysis demonstrates the effectiveness and efficiency of the proposed scheme, where the DLT streamlines the revocation operation overhead and delivers an economic solution against cyber-attacks in vehicular systems.
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
Fabry-Pérot resonant vortices and magnetoconductance in topological insulator constrictions with magnetic barriers
Authors:
R. P. Maciel,
A. L. Araújo,
C. H. Lewenkopf,
G. J. Ferreira
Abstract:
The edge states of two-dimensional time-reversal topological insulators support a perfect helical conductance on wide ribbons due to the absence of backscattering. Here, we study the changes in the transport properties of topological insulator nanoribbons by introducing a constriction along the ribbon. This setup allows the edge states to hybridize, leading to reflections at the ends of the constr…
▽ More
The edge states of two-dimensional time-reversal topological insulators support a perfect helical conductance on wide ribbons due to the absence of backscattering. Here, we study the changes in the transport properties of topological insulator nanoribbons by introducing a constriction along the ribbon. This setup allows the edge states to hybridize, leading to reflections at the ends of the constriction. We find that the electronic states running along one edge can be reflected back along the opposite edge multiple times, giving rise to Fabry-Pérot resonant vortices within the constriction with well-defined conductance peaks. We show that magnetic barriers allow one to manipulate these peaks and obtain significant changes in the system spin-resolved magnetoconductance.
△ Less
Submitted 14 May, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Generalized Backlund transformations for Affine Toda Hierarchies
Authors:
J. M. Carvalho Ferreira,
J. F. Gomes,
G. V. Lobo,
A. H. Zimerman
Abstract:
The construction of generalized Backlund transformation for the $A_n$ Affine Toda hierarchy is proposed in terms of gauge transformation acting on the zero curvature representation. Such construction is based upon the graded structure of the underlying affine algebra which induces a classification of generalized Backlund transformations. Moreover, explicit examples for $su(3)$ and $su(4)$ lead to…
▽ More
The construction of generalized Backlund transformation for the $A_n$ Affine Toda hierarchy is proposed in terms of gauge transformation acting on the zero curvature representation. Such construction is based upon the graded structure of the underlying affine algebra which induces a classification of generalized Backlund transformations. Moreover, explicit examples for $su(3)$ and $su(4)$ lead to uncover interesting composition properties of various types of Backlund transformations. The universality character of the gauge-Backlund transformation method is extended to all equations of the hierarchy. Such interesting property provides a systematic framework to construct Backlund transformations to higher flow equations. Explicit example for the simplest higher flow of the $sl(3)$ hierarchy is presented.
△ Less
Submitted 6 January, 2021; v1 submitted 7 October, 2020;
originally announced October 2020.
-
WoLFRaM: Enhancing Wear-Leveling and Fault Tolerance in Resistive Memories using Programmable Address Decoders
Authors:
Leonid Yavits,
Lois Orosa,
Suyash Mahar,
João Dinis Ferreira,
Mattan Erez,
Ran Ginosar,
Onur Mutlu
Abstract:
Resistive memories have limited lifetime caused by limited write endurance and highly non-uniform write access patterns. Two main techniques to mitigate endurance-related memory failures are 1) wear-leveling, to evenly distribute the writes across the entire memory, and 2) fault tolerance, to correct memory cell failures. However, one of the main open challenges in extending the lifetime of existi…
▽ More
Resistive memories have limited lifetime caused by limited write endurance and highly non-uniform write access patterns. Two main techniques to mitigate endurance-related memory failures are 1) wear-leveling, to evenly distribute the writes across the entire memory, and 2) fault tolerance, to correct memory cell failures. However, one of the main open challenges in extending the lifetime of existing resistive memories is to make both techniques work together seamlessly and efficiently. To address this challenge, we propose WoLFRaM, a new mechanism that combines both wear-leveling and fault tolerance techniques at low cost by using a programmable resistive address decoder (PRAD). The key idea of WoLFRaM is to use PRAD for implementing 1) a new efficient wear-leveling mechanism that remaps write accesses to random physical locations on the fly, and 2) a new efficient fault tolerance mechanism that recovers from faults by remap** failed memory blocks to available physical locations. Our evaluations show that, for a Phase Change Memory (PCM) based system with cell endurance of 108 writes, WoLFRaM increases the memory lifetime by 68% compared to a baseline that implements the best state-of-the-art wear-leveling and fault correction mechanisms. WoLFRaM's average / worst-case performance and energy overheads are 0.51% / 3.8% and 0.47% / 2.1% respectively.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
Runaway electron modelling in the self-consistent core European Transport Simulator, ETS
Authors:
Gergo I. Pokol,
Soma Olasz,
Boglarka Erdos,
Gergely Papp,
Matyas Aradi,
Mathias Hoppe,
Thomas Johnson,
Jorge Ferreira,
David Coster,
Yves Peysson,
Joan Decker,
Par Strand,
Dimitriy Yadikin,
Denis Kalupin,
the EUROfusion-IM Team
Abstract:
Relativistic runaway electrons are a major concern in tokamaks. The European framework for Integrated Modelling (EU-IM), facilitates the integration of different plasma simulation tools by providing a standard data structure for communication that enables relatively easy integration of different physics codes. A three-level modelling approach was adopted for runaway electron simulations within the…
▽ More
Relativistic runaway electrons are a major concern in tokamaks. The European framework for Integrated Modelling (EU-IM), facilitates the integration of different plasma simulation tools by providing a standard data structure for communication that enables relatively easy integration of different physics codes. A three-level modelling approach was adopted for runaway electron simulations within the EU-IM. Recently, a number of runaway electron modelling modules have been integrated into this framework. The first level of modelling (Runaway Indicator) is limited to the indication if runaway electron generation is possible or likely. The second level (Runaway Fluid) adopts an approach similar to e.g. the GO code, using analytical formulas to estimate changes in the runaway electron current density. The third level is based on the solution of the electron kinetics. One such code is LUKE that can handle the toroidicity-induced effects by solving the bounce-averaged Fokker-Planck equation. Another approach is used in NORSE, which features a fully nonlinear collision operator that makes it capable of simulating major changes in the electron distribution, for example slide-away. Both codes handle the effect of radiation on the runaway distribution. These runaway-electron modelling codes are in different stages of integration into the EU-IM infrastructure, and into the European Transport Simulator (ETS), which is a fully capable modular 1.5D core transport simulator. ETS with Runaway Fluid was benchmarked to the GO code implementing similar physics. Coherent integration of kinetic solvers requires more effort on the coupling, especially regarding the definition of the boundary between runaway and thermal populations, and on consistent calculation of resistivity. Some of these issues are discussed.
△ Less
Submitted 30 September, 2020;
originally announced September 2020.
-
BreachRadar: Automatic Detection of Points-of-Compromise
Authors:
Miguel Araujo,
Miguel Almeida,
Jaime Ferreira,
Luis Silva,
Pedro Bizarro
Abstract:
Bank transaction fraud results in over $13B annual losses for banks, merchants, and card holders worldwide. Much of this fraud starts with a Point-of-Compromise (a data breach or a skimming operation) where credit and debit card digital information is stolen, resold, and later used to perform fraud. We introduce this problem and present an automatic Points-of-Compromise (POC) detection procedure.…
▽ More
Bank transaction fraud results in over $13B annual losses for banks, merchants, and card holders worldwide. Much of this fraud starts with a Point-of-Compromise (a data breach or a skimming operation) where credit and debit card digital information is stolen, resold, and later used to perform fraud. We introduce this problem and present an automatic Points-of-Compromise (POC) detection procedure. BreachRadar is a distributed alternating algorithm that assigns a probability of being compromised to the different possible locations. We implement this method using Apache Spark and show its linear scalability in the number of machines and transactions. BreachRadar is applied to two datasets with billions of real transaction records and fraud labels where we provide multiple examples of real Points-of-Compromise we are able to detect. We further show the effectiveness of our method when injecting Points-of-Compromise in one of these datasets, simultaneously achieving over 90% precision and recall when only 10% of the cards have been victims of fraud.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
-
ODIN: Automated Drift Detection and Recovery in Video Analytics
Authors:
Abhijit Suprem,
Joy Arulraj,
Calton Pu,
Joao Ferreira
Abstract:
Recent advances in computer vision have led to a resurgence of interest in visual data analytics. Researchers are develo** systems for effectively and efficiently analyzing visual data at scale. A significant challenge that these systems encounter lies in the drift in real-world visual data. For instance, a model for self-driving vehicles that is not trained on images containing snow does not wo…
▽ More
Recent advances in computer vision have led to a resurgence of interest in visual data analytics. Researchers are develo** systems for effectively and efficiently analyzing visual data at scale. A significant challenge that these systems encounter lies in the drift in real-world visual data. For instance, a model for self-driving vehicles that is not trained on images containing snow does not work well when it encounters them in practice. This drift phenomenon limits the accuracy of models employed for visual data analytics. In this paper, we present a visual data analytics system, called ODIN, that automatically detects and recovers from drift. ODIN uses adversarial autoencoders to learn the distribution of high-dimensional images. We present an unsupervised algorithm for detecting drift by comparing the distributions of the given data against that of previously seen data. When ODIN detects drift, it invokes a drift recovery algorithm to deploy specialized models tailored towards the novel data points. These specialized models outperform their non-specialized counterpart on accuracy, performance, and memory footprint. Lastly, we present a model selection algorithm for picking an ensemble of best-fit specialized models to process a given input. We evaluate the efficacy and efficiency of ODIN on high-resolution dashboard camera videos captured under diverse environments from the Berkeley DeepDrive dataset. We demonstrate that ODIN's models deliver 6x higher throughput, 2x higher accuracy, and 6x smaller memory footprint compared to a baseline system without automated drift detection and recovery.
△ Less
Submitted 9 September, 2020;
originally announced September 2020.
-
Filled Julia and Mandelbrot Sets for Dynamics over the Normed Real Nonassociative Algebras
Authors:
João Carlos da Motta Ferreira,
Maria das Graças Bruno Marietto
Abstract:
In this paper we introduce the notion of dynamical systems over the class of the normed real nonassociative algebras not necessarily finite-dimensional, generalize the classical filled Julia and Mandelbrot sets over the complex numbers, investigate their orbits and make a topological analysis. Applications of the obtained results are made.
In this paper we introduce the notion of dynamical systems over the class of the normed real nonassociative algebras not necessarily finite-dimensional, generalize the classical filled Julia and Mandelbrot sets over the complex numbers, investigate their orbits and make a topological analysis. Applications of the obtained results are made.
△ Less
Submitted 20 September, 2020; v1 submitted 10 September, 2020;
originally announced September 2020.
-
Jets from Young Stars
Authors:
T. P. Ray,
J. Ferreira
Abstract:
Jets are ubiquitous in the Universe and, as demonstrated in this volume, are seen from a large number of astrophysical objects. For a number of reasons, in particular their proximity and the abundant range of diagnostics to determine their characteristics, jets from young stars and their associated outflows may offer us the best opportunity to discover how jets are generated in general and the nat…
▽ More
Jets are ubiquitous in the Universe and, as demonstrated in this volume, are seen from a large number of astrophysical objects. For a number of reasons, in particular their proximity and the abundant range of diagnostics to determine their characteristics, jets from young stars and their associated outflows may offer us the best opportunity to discover how jets are generated in general and the nature of the link between outflows and their accretion disks. Recently it has become clear that jets may be fundamental to the star formation process in removing angular momentum from the surrounding protoplanetary disk thereby allowing accretion to proceed. Moreover, with the realisation that planetary formation begins much earlier than previously thought, jets may also help forge planets by determining initial environmental characteristics. This seems to be particularly true within the so-called terrestrial planet forming zone. Here we review observations of jets from young stars which have greatly benefitted from new facilities such as ALMA, space observatories like Spitzer, Herschel and HST, and radio facilities like LOFAR and the VLA. Interferometers such as CHARA and GRAVITY are starting to make inroads into resolving how they are launched, and we can look forward to a bright future in our understanding of this phenomenon when JWST and the SKA come on stream. In addition, we examine the various magnetohydrodynamic models for how jets from young stars are thought to be generated and how observations may help us select between these various options.
△ Less
Submitted 1 September, 2020;
originally announced September 2020.
-
Analysis of Social Robotic Navigation approaches: CNN Encoder and Incremental Learning as an alternative to Deep Reinforcement Learning
Authors:
Janderson Ferreira,
Agostinho A. F. Júnior,
Letícia Castro,
Yves M. Galvão,
Pablo Barros,
Bruno J. T. Fernandes
Abstract:
Dealing with social tasks in robotic scenarios is difficult, as having humans in the learning loop is incompatible with most of the state-of-the-art machine learning algorithms. This is the case when exploring Incremental learning models, in particular the ones involving reinforcement learning. In this work, we discuss this problem and possible solutions by analysing a previous study on adaptive c…
▽ More
Dealing with social tasks in robotic scenarios is difficult, as having humans in the learning loop is incompatible with most of the state-of-the-art machine learning algorithms. This is the case when exploring Incremental learning models, in particular the ones involving reinforcement learning. In this work, we discuss this problem and possible solutions by analysing a previous study on adaptive convolutional encoders for a social navigation task.
△ Less
Submitted 5 September, 2020; v1 submitted 18 August, 2020;
originally announced August 2020.
-
Performance Improvement of Path Planning algorithms with Deep Learning Encoder Model
Authors:
Janderson Ferreira,
Agostinho A. F. Júnior,
Yves M. Galvão,
Pablo Barros,
Sergio Murilo Maciel Fernandes,
Bruno J. T. Fernandes
Abstract:
Currently, path planning algorithms are used in many daily tasks. They are relevant to find the best route in traffic and make autonomous robots able to navigate. The use of path planning presents some issues in large and dynamic environments. Large environments make these algorithms spend much time finding the shortest path. On the other hand, dynamic environments request a new execution of the a…
▽ More
Currently, path planning algorithms are used in many daily tasks. They are relevant to find the best route in traffic and make autonomous robots able to navigate. The use of path planning presents some issues in large and dynamic environments. Large environments make these algorithms spend much time finding the shortest path. On the other hand, dynamic environments request a new execution of the algorithm each time a change occurs in the environment, and it increases the execution time. The dimensionality reduction appears as a solution to this problem, which in this context means removing useless paths present in those environments. Most of the algorithms that reduce dimensionality are limited to the linear correlation of the input data. Recently, a Convolutional Neural Network (CNN) Encoder was used to overcome this situation since it can use both linear and non-linear information to data reduction. This paper analyzes in-depth the performance to eliminate the useless paths using this CNN Encoder model. To measure the mentioned model efficiency, we combined it with different path planning algorithms. Next, the final algorithms (combined and not combined) are checked in a database that is composed of five scenarios. Each scenario contains fixed and dynamic obstacles. Their proposed model, the CNN Encoder, associated to other existent path planning algorithms in the literature, was able to obtain a time decrease to find the shortest path in comparison to all path planning algorithms analyzed. the average decreased time was 54.43 %.
△ Less
Submitted 5 August, 2020;
originally announced August 2020.
-
Electrical control of spin relaxation anisotropy during drift transport in a two-dimensional electron gas
Authors:
F. G. G. Hernandez,
G. J. Ferreira,
M. Luengo-Kovac,
V. Sih,
N. M. Kawahala,
G. M. Gusev,
A. K. Bakarov
Abstract:
Spin relaxation was studied in a two-dimensional electron gas confined in a wide GaAs quantum well. Recently, the control of the spin relaxation anisotropy by diffusive motion was first shown in D. Iizasa et al., arXiv:2006.08253 (2020). Here, we demonstrate electrical control by drift transport in a system with two-subbands occupied. The combined effect of in-plane and gate voltages was investiga…
▽ More
Spin relaxation was studied in a two-dimensional electron gas confined in a wide GaAs quantum well. Recently, the control of the spin relaxation anisotropy by diffusive motion was first shown in D. Iizasa et al., arXiv:2006.08253 (2020). Here, we demonstrate electrical control by drift transport in a system with two-subbands occupied. The combined effect of in-plane and gate voltages was investigated using time-resolved Kerr rotation. The measured relaxation time present strong anisotropy with respect to the transport direction. For an in-plane accelerating electric field along $\left[110\right]$, the lifetime was strongly suppressed irrespective of the applied gate voltage. Remarkably, for transport along $\left[1\bar{1}0\right]$, the data shows spin lifetime that was gate-dependent and longer than in the $\left[110\right]$ direction regardless of the in-plane voltage. In agreement, independent results of anisotropic spin precession frequencies are also presented. Nevertheless, the long spin lifetime, strong anisotropy and drift response seen in the data are beyond the existing models for spin drift and diffusion.
△ Less
Submitted 31 August, 2020; v1 submitted 20 July, 2020;
originally announced July 2020.
-
A survey for occultation astrometry of Main Belt: expected astrometric performances
Authors:
João F. Ferreira,
Paolo Tanga,
Pedro Machado,
Enrico Corsaro
Abstract:
Context: Occultations of stars by asteroids are an efficient method to study the properties of minor bodies, and can be exploited as tools to derive very precise asteroid astrometry relative to the target star. With the availability of stellar astrometry thanks to the ESA mission Gaia, the frequency of good predictions and the quality of the astrometry have been strongly enhanced.
Aims: Our goal…
▽ More
Context: Occultations of stars by asteroids are an efficient method to study the properties of minor bodies, and can be exploited as tools to derive very precise asteroid astrometry relative to the target star. With the availability of stellar astrometry thanks to the ESA mission Gaia, the frequency of good predictions and the quality of the astrometry have been strongly enhanced.
Aims: Our goal is to evaluate the astrometric performance of a systematic exploitation of stellar occultations, with a homogeneous data set and a given instrument setup. As a reference instrument, we adopt the example of a robotic 50 cm telescope, which is under construction at the Observatoire de la Côte d Azur. We focus in particular on single chord occultations.
Methods: We created a data set of simulated light curves, that are modelled by a Bayesian approach. To build the final statistics, we considered a list of predicted events over a long time span, and stellar astrometry from Gaia data release 2.
Results: We derive an acceptable range of observability of the events, with clear indications of the expected errors in terms of timing uncertainties. By converting the distribution of such errors to astrometric uncertainties, we show that the precision on a single chord can reach levels equivalent to the performance of Gaia (sub milli arcseconds). The errors on the asteroid position are dominated by the uncertainty on the position of the occultation chord with respect to the barycentre of the object.
Conclusions: The limiting factor in the use of occultation astrometry is not the light curve uncertainty, but our knowledge of the shape and size of the asteroid. This conclusion is valid in a wide range of flux drops and magnitudes of the occulted star. The currently increasing knowledge of the shape, spin properties, and size, must be used to mitigate this source of error.
△ Less
Submitted 19 July, 2020;
originally announced July 2020.
-
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Authors:
João F. Ferreira,
Pedro Cruz,
Thomas Durieux,
Rui Abreu
Abstract:
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and reproduce that research. To address this, we present SmartBugs, an extensible and easy-to-use execution framework that simplifies the execution of analysis tools on smart contracts written in Solidity, the primary language…
▽ More
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and reproduce that research. To address this, we present SmartBugs, an extensible and easy-to-use execution framework that simplifies the execution of analysis tools on smart contracts written in Solidity, the primary language used in Ethereum. SmartBugs is currently distributed with support for 10 tools and two datasets of Solidity contracts. The first dataset can be used to evaluate the precision of analysis tools, as it contains 143 annotated vulnerable contracts with 208 tagged vulnerabilities. The second dataset contains 47,518 unique contracts collected through Etherscan. We discuss how SmartBugs supported the largest experimental setup to date both in the number of tools and in execution time. Moreover, we show how it enables easy integration and comparison of analysis tools by presenting a new extension to the tool SmartCheck that improves substantially the detection of vulnerabilities related to the DASP10 categories Bad Randomness, Time Manipulation, and Access Control (identified vulnerabilities increased from 11% to 24%).
△ Less
Submitted 10 July, 2020; v1 submitted 8 July, 2020;
originally announced July 2020.
-
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
Authors:
Saul Johnson,
João F. Ferreira,
Alexandra Mendes,
Julien Cordry
Abstract:
The choice of password composition policy to enforce on a password-protected system represents a critical security decision, and has been shown to significantly affect the vulnerability of user-chosen passwords to guessing attacks. In practice, however, this choice is not usually rigorous or justifiable, with a tendency for system administrators to choose password composition policies based on int…
▽ More
The choice of password composition policy to enforce on a password-protected system represents a critical security decision, and has been shown to significantly affect the vulnerability of user-chosen passwords to guessing attacks. In practice, however, this choice is not usually rigorous or justifiable, with a tendency for system administrators to choose password composition policies based on intuition alone. In this work, we propose a novel methodology that draws on password probability distributions constructed from large sets of real-world password data which have been filtered according to various password composition policies. Password probabilities are then redistributed to simulate different user password reselection behaviours in order to automatically determine the password composition policy that will induce the distribution of user-chosen passwords with the greatest uniformity, a metric which we show to be a useful proxy to measure overall resistance to password guessing attacks. Further, we show that by fitting power-law equations to the password probability distributions we generate, we can justify our choice of password composition policy without any direct access to user password data. Finally, we present Skeptic -- a software toolkit that implements this methodology, including a DSL to enable system administrators with no background in password security to compare and rank password composition policies without resorting to expensive and time-consuming user studies. Drawing on 205,176,321 pass words across 3 datasets, we lend validity to our approach by demonstrating that the results we obtain align closely with findings from a previous empirical study into password composition policy effectiveness.
△ Less
Submitted 15 March, 2024; v1 submitted 7 July, 2020;
originally announced July 2020.
-
Ballistic-to-diffusive transition in spin chains with broken integrability
Authors:
João S. Ferreira,
Michele Filippone
Abstract:
We study the ballistic-to-diffusive transition induced by the weak breaking of integrability in a boundary-driven XXZ spin-chain. Studying the evolution of the spin current density $\mathcal J^s$ as a function of the system size $L$, we show that, accounting for boundary effects, the transition has a non-trivial universal behavior close to the XX limit. It is controlled by the scattering length…
▽ More
We study the ballistic-to-diffusive transition induced by the weak breaking of integrability in a boundary-driven XXZ spin-chain. Studying the evolution of the spin current density $\mathcal J^s$ as a function of the system size $L$, we show that, accounting for boundary effects, the transition has a non-trivial universal behavior close to the XX limit. It is controlled by the scattering length $L^*\propto V^{-2}$, where $V$ is the strength of the integrability breaking term. In the XXZ model, the interplay of interactions controls the emergence of a transient "quasi-ballistic" regime at length scales much shorter than $L^*$. This parametrically large regime is characterized by a strong renormalization of the current which forbids a universal scaling, unlike the XX model. Our results are based on Matrix Product Operator numerical simulations and agree with perturbative analytical calculations.
△ Less
Submitted 16 December, 2020; v1 submitted 24 June, 2020;
originally announced June 2020.
-
Assessment of Parkinson's Disease Medication State through Automatic Speech Analysis
Authors:
Anna Pompili,
Rubén Solera-Ureña,
Alberto Abad,
Rita Cardoso,
Isabel Guimarães,
Margherita Fabbri,
Isabel P. Martins,
Joaquim Ferreira
Abstract:
Parkinson's disease (PD) is a progressive degenerative disorder of the central nervous system characterized by motor and non-motor symptoms. As the disease progresses, patients alternate periods in which motor symptoms are mitigated due to medication intake (ON state) and periods with motor complications (OFF state). The time that patients spend in the OFF condition is currently the main parameter…
▽ More
Parkinson's disease (PD) is a progressive degenerative disorder of the central nervous system characterized by motor and non-motor symptoms. As the disease progresses, patients alternate periods in which motor symptoms are mitigated due to medication intake (ON state) and periods with motor complications (OFF state). The time that patients spend in the OFF condition is currently the main parameter employed to assess pharmacological interventions and to evaluate the efficacy of different active principles. In this work, we present a system that combines automatic speech processing and deep learning techniques to classify the medication state of PD patients by leveraging personal speech-based bio-markers. We devise a speaker-dependent approach and investigate the relevance of different acoustic-prosodic feature sets. Results show an accuracy of 90.54% in a test task with mixed speech and an accuracy of 95.27% in a semi-spontaneous speech task. Overall, the experimental assessment shows the potentials of this approach towards the development of reliable, remote daily monitoring and scheduling of medication intake of PD patients.
△ Less
Submitted 25 August, 2020; v1 submitted 29 May, 2020;
originally announced May 2020.
-
CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
Authors:
Oluwasegun Ojo,
Augusto García-Agundez,
Benjamin Girault,
Harold Hernández,
Elisa Cabana,
Amanda García-García,
Payman Arabshahi,
Carlos Baquero,
Paolo Casari,
Ednaldo José Ferreira,
Davide Frey,
Chryssis Georgiou,
Mathieu Goessens,
Anna Ishchenko,
Ernesto Jiménez,
Oleksiy Kebkal,
Rosa Lillo,
Raquel Menezes,
Nicolas Nicolaou,
Antonio Ortega,
Paul Patras,
Julian C Roberts,
Efstathios Stavrakis,
Yuichi Tanaka,
Antonio Fernández Anta
Abstract:
The world is suffering from a pandemic called COVID-19, caused by the SARS-CoV-2 virus. National governments have problems evaluating the reach of the epidemic, due to having limited resources and tests at their disposal. This problem is especially acute in low and middle-income countries (LMICs). Hence, any simple, cheap and flexible means of evaluating the incidence and evolution of the epidemic…
▽ More
The world is suffering from a pandemic called COVID-19, caused by the SARS-CoV-2 virus. National governments have problems evaluating the reach of the epidemic, due to having limited resources and tests at their disposal. This problem is especially acute in low and middle-income countries (LMICs). Hence, any simple, cheap and flexible means of evaluating the incidence and evolution of the epidemic in a given country with a reasonable level of accuracy is useful. In this paper, we propose a technique based on (anonymous) surveys in which participants report on the health status of their contacts. This indirect reporting technique, known in the literature as network scale-up method, preserves the privacy of the participants and their contacts, and collects information from a larger fraction of the population (as compared to individual surveys). This technique has been deployed in the CoronaSurveys project, which has been collecting reports for the COVID-19 pandemic for more than two months. Results obtained by CoronaSurveys show the power and flexibility of the approach, suggesting that it could be an inexpensive and powerful tool for LMICs.
△ Less
Submitted 26 June, 2020; v1 submitted 24 May, 2020;
originally announced May 2020.
-
Wafer-scale fabrication of two-dimensional beta-In2Se3 photodetectors
Authors:
Marcel S. Claro,
Justyna Grzonka,
Nicoleta Nicoara,
Paulo J. Ferreira,
Sascha Sadewasser
Abstract:
The epitaxial growth of two-dimensional (2D) $β-In_2Se_3$ material was obtained over 2-inches c-sapphire wafers using molecular beam epitaxy (MBE). Excellent quality of thick (90 nm) and very thin films, down to two quintuple layers (2 nm), was confirmed by x-ray diffraction (XRD), Raman spectroscopy, and aberration-corrected scanning transmission electron microscopy (ac-STEM). Wafer-scale fabrica…
▽ More
The epitaxial growth of two-dimensional (2D) $β-In_2Se_3$ material was obtained over 2-inches c-sapphire wafers using molecular beam epitaxy (MBE). Excellent quality of thick (90 nm) and very thin films, down to two quintuple layers (2 nm), was confirmed by x-ray diffraction (XRD), Raman spectroscopy, and aberration-corrected scanning transmission electron microscopy (ac-STEM). Wafer-scale fabrication of photodetectors based on five quintuple layers was produced using photolithography and other standard semiconductor processing methods. The photodetectors exhibit responsivity of 3 mA/W, peak specific detectivity (D*) of $10^9$ Jones, external quantum efficiency (EQE) of 0.67 % at 550 nm, and response-time of ~7 ms, which is faster than any result previously reported for $β-In_2Se_3$ photodetectors. From the photocurrent measurements, an optical bandgap of 1.38 eV was observed. These results on wafer-scale deposition of 2D $In_2Se_3$, as well as its fabrication into optoelectronic devices provide the missing link that will enable the commercialization of 2D materials.
△ Less
Submitted 30 November, 2020; v1 submitted 21 May, 2020;
originally announced May 2020.
-
A unified accretion-ejection paradigm for black hole X-ray binaries. V. Low-frequency quasi-periodic oscillations
Authors:
G. Marcel,
F. Cangemi,
J. Rodriguez,
J. Neilsen,
J. Ferreira,
P. -O. Petrucci,
J. Malzac,
S. Barnier,
M. Clavel
Abstract:
We proposed that the spectral evolution of transient X-ray binaries (XrB) is due to an interplay between two flows: a standard accretion disk (SAD) in the outer parts and a jet-emitting disk (JED) in the inner parts. We showed in previous papers that the spectral evolution in X-ray and radio during the 2010-2011 outburst of GX339-4 can be recovered. We now investigate the presence of low frequency…
▽ More
We proposed that the spectral evolution of transient X-ray binaries (XrB) is due to an interplay between two flows: a standard accretion disk (SAD) in the outer parts and a jet-emitting disk (JED) in the inner parts. We showed in previous papers that the spectral evolution in X-ray and radio during the 2010-2011 outburst of GX339-4 can be recovered. We now investigate the presence of low frequency quasi-periodic oscillations (LFQPOs) during an X-ray outburst, and address the possible correlation between the frequencies of these LFQPOs and the transition radius between the two flows, rJ. We select X-ray and radio data form 3 outbursts of GX339-4. We use the method detailed in paper IV to obtain $r_J(t)$ and $\dot{m}_{in}(t)$ for each outburst to reproduce the correlated evolution of the X-ray spectra and the radio emission for 3 different activity cycles of GX339-4. We also independently search and report the detection of 7 new LFQPOs in addition to the literature. We show that the frequency of Type C QPOs can be linked to the dynamical JED-SAD transition radius rJ, rather than the radius of optically thin-thick transition. The scaling factor q such that $ν_{QPO} \simeq ν_K (r_J) / q$ is $q \simeq 70-140$, consistent during the 4 cycles and similar to previous studies. The JED-SAD hybrid disk configuration not only provides a successful paradigm allowing us to describe XrB cycles, but also matches the QPO frequencies evolution. QPOs provide an indirect way to probe the JED-SAD transition radius, where an undetermined process produces secular variability. The demonstrated relation between the transition radius links Type C QPOs to the transition between the two flows, tying it to the inner magnetized structure of the jets. This direct connection between the jets' structure and the process responsible for Type C QPOs could naturally explain their puzzling multi-wavelength behavior.
△ Less
Submitted 28 May, 2020; v1 submitted 20 May, 2020;
originally announced May 2020.
-
Pay as You Go: A Generic Crypto Tolling Architecture
Authors:
Paulo Bartolomeu,
Emanuel Vieira,
Joaquim Ferreira
Abstract:
The imminent pervasive adoption of vehicular communication, based on dedicated short-range technology (ETSI ITS G5 or IEEE WAVE), 5G, or both, will foster a richer service ecosystem for vehicular applications. The appearance of new cryptography based solutions envisaging digital identity and currency exchange are set to stem new approaches for existing and future challenges. This paper presents a…
▽ More
The imminent pervasive adoption of vehicular communication, based on dedicated short-range technology (ETSI ITS G5 or IEEE WAVE), 5G, or both, will foster a richer service ecosystem for vehicular applications. The appearance of new cryptography based solutions envisaging digital identity and currency exchange are set to stem new approaches for existing and future challenges. This paper presents a novel tolling architecture that harnesses the availability of 5G C-V2X connectivity for open road tolling using smartphones, IOTA as the digital currency and Hyperledger Indy for identity validation. An experimental feasibility analysis is used to validate the proposed architecture for secure, private and convenient electronic toll payment.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
Constraining MHD disk winds with ALMA. Apparent rotation signatures and application to HH212
Authors:
B. Tabone,
S. Cabrit,
G. Pineau des Forêts,
J. Ferreira,
A. Gusdorf,
L. Podio,
E. Bianchi,
E. Chapillon,
C. Codella,
F. Gueth
Abstract:
Large millimeter interferometers are revealing a growing number of rotating outflows, which are suggested to trace magneto-centrifugal disk winds (MHD DWs). However, their impact on disk accretion is not yet well quantified. Here we identify systematic biases in retrieving the true launch zone, magnetic lever arm, and angular momentum flux of an MHD DW from apparent rotation signatures. Synthetic…
▽ More
Large millimeter interferometers are revealing a growing number of rotating outflows, which are suggested to trace magneto-centrifugal disk winds (MHD DWs). However, their impact on disk accretion is not yet well quantified. Here we identify systematic biases in retrieving the true launch zone, magnetic lever arm, and angular momentum flux of an MHD DW from apparent rotation signatures. Synthetic position-velocity cuts are constructed from self-similar MHD DWs over a broad range of parameters, and three different methods are applied for estimating the specific angular momentum. We find that the launch radius inferred using the well-known relation from Anderson et al. (2006) can markedly differ from the true outermost launch radius $r_{out}$ of the DW. The "double-peak separation" and "flow width" methods provide only a strict lower limit to $r_{out}$. This bias is independent of angular resolution and can reach a factor ten. In contrast, the "rotation curve" method gives a good estimate of $r_{out}$ when the flow is well resolved, and an upper limit otherwise. The magnetic lever arm is always underestimated. Only comparison with synthetic predictions can take into account properly all observational effects. As an application, we present a comparison with ALMA observations of HH212 at resolutions from 250 au to 16 au, which represents the most stringent observational test of MHD DW to date. This comparison confirms our predicted biases for the double-peak separation method, and the large $r_{out}\sim40~$au and small magnetic lever arm first suggested by Tabone et al. (2017). We also derive the first accurate analytical expression for the fraction of disk angular momentum extracted by an MHD disk wind of given radial extent, magnetic lever arm, and mass flux. Application to HH212 confirms that MHD DWs are serious candidates for the steady angular momentum extraction process in young disks.
△ Less
Submitted 19 April, 2020;
originally announced April 2020.
-
CNN Encoder to Reduce the Dimensionality of Data Image for Motion Planning
Authors:
Janderson Ferreira,
Agostinho A. F. Júnior,
Yves M. Galvão,
Bruno J. T. Fernandes,
Pablo Barros
Abstract:
Many real-world applications need path planning algorithms to solve tasks in different areas, such as social applications, autonomous cars, and tracking activities. And most importantly motion planning. Although the use of path planning is sufficient in most motion planning scenarios, they represent potential bottlenecks in large environments with dynamic changes. To tackle this problem, the numbe…
▽ More
Many real-world applications need path planning algorithms to solve tasks in different areas, such as social applications, autonomous cars, and tracking activities. And most importantly motion planning. Although the use of path planning is sufficient in most motion planning scenarios, they represent potential bottlenecks in large environments with dynamic changes. To tackle this problem, the number of possible routes could be reduced to make it easier for path planning algorithms to find the shortest path with less efforts. An traditional algorithm for path planning is the A*, it uses an heuristic to work faster than other solutions. In this work, we propose a CNN encoder capable of eliminating useless routes for motion planning problems, then we combine the proposed neural network output with A*. To measure the efficiency of our solution, we propose a database with different scenarios of motion planning problems. The evaluated metric is the number of the iterations to find the shortest path. The A* was compared with the CNN Encoder (proposal) with A*. In all evaluated scenarios, our solution reduced the number of iterations by more than 60\%.
△ Less
Submitted 10 April, 2020;
originally announced April 2020.
-
Lost in Disclosure: On The Inference of Password Composition Policies
Authors:
Saul Johnson,
João Ferreira,
Alexandra Mendes,
Julien Cordry
Abstract:
Large-scale password data breaches are becoming increasingly commonplace, which has enabled researchers to produce a substantial body of password security research utilising real-world password datasets, which often contain numbers of records in the tens or even hundreds of millions. While much study has been conducted on how password composition policies (sets of rules that a user must abide by w…
▽ More
Large-scale password data breaches are becoming increasingly commonplace, which has enabled researchers to produce a substantial body of password security research utilising real-world password datasets, which often contain numbers of records in the tens or even hundreds of millions. While much study has been conducted on how password composition policies (sets of rules that a user must abide by when creating a password) influence the distribution of user-chosen passwords on a system, much less research has been done on inferring the password composition policy that a given set of user-chosen passwords was created under. In this paper, we state the problem with the naive approach to this challenge, and suggest a simple approach that produces more reliable results. We also present pol-infer, a tool that implements this approach, and demonstrates its use in inferring password composition policies.
△ Less
Submitted 15 March, 2024; v1 submitted 12 March, 2020;
originally announced March 2020.
-
Evidence-based explanation to promote fairness in AI systems
Authors:
Juliana Jansen Ferreira,
Mateus de Souza Monteiro
Abstract:
As Artificial Intelligence (AI) technology gets more intertwined with every system, people are using AI to make decisions on their everyday activities. In simple contexts, such as Netflix recommendations, or in more complex context like in judicial scenarios, AI is part of people's decisions. People make decisions and usually, they need to explain their decision to others or in some matter. It is…
▽ More
As Artificial Intelligence (AI) technology gets more intertwined with every system, people are using AI to make decisions on their everyday activities. In simple contexts, such as Netflix recommendations, or in more complex context like in judicial scenarios, AI is part of people's decisions. People make decisions and usually, they need to explain their decision to others or in some matter. It is particularly critical in contexts where human expertise is central to decision-making. In order to explain their decisions with AI support, people need to understand how AI is part of that decision. When considering the aspect of fairness, the role that AI has on a decision-making process becomes even more sensitive since it affects the fairness and the responsibility of those people making the ultimate decision. We have been exploring an evidence-based explanation design approach to 'tell the story of a decision'. In this position paper, we discuss our approach for AI systems using fairness sensitive cases in the literature.
△ Less
Submitted 3 March, 2020;
originally announced March 2020.
-
Do ML Experts Discuss Explainability for AI Systems? A discussion case in the industry for a domain-specific solution
Authors:
Juliana Jansen Ferreira,
Mateus de Souza Monteiro
Abstract:
The application of Artificial Intelligence (AI) tools in different domains are becoming mandatory for all companies wishing to excel in their industries. One major challenge for a successful application of AI is to combine the machine learning (ML) expertise with the domain knowledge to have the best results applying AI tools. Domain specialists have an understanding of the data and how it can imp…
▽ More
The application of Artificial Intelligence (AI) tools in different domains are becoming mandatory for all companies wishing to excel in their industries. One major challenge for a successful application of AI is to combine the machine learning (ML) expertise with the domain knowledge to have the best results applying AI tools. Domain specialists have an understanding of the data and how it can impact their decisions. ML experts have the ability to use AI-based tools dealing with large amounts of data and generating insights for domain experts. But without a deep understanding of the data, ML experts are not able to tune their models to get optimal results for a specific domain. Therefore, domain experts are key users for ML tools and the explainability of those AI tools become an essential feature in that context. There are a lot of efforts to research AI explainability for different contexts, users and goals. In this position paper, we discuss interesting findings about how ML experts can express concerns about AI explainability while defining features of an ML tool to be developed for a specific domain. We analyze data from two brainstorm sessions done to discuss the functionalities of an ML tool to support geoscientists (domain experts) on analyzing seismic data (domain-specific data) with ML resources.
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
NURE: An ERC project to study nuclear reactions for neutrinoless double beta decay
Authors:
M. Cavallaro,
E. Aciksoz,
L. Acosta,
C. Agodi,
N. Auerbach,
J. Bellone,
R. Bijker,
S. Bianco,
D. Bonanno,
D. Bongiovanni,
T. Borello,
I. Boztosun,
V. Branchina,
M. P. Bussa,
L. Busso,
S. Calabrese,
L. Calabretta,
A. Calanna,
D. Calvo,
F. Cappuzzello,
D. Carbone,
E. R. Chavez Lomeli,
M. Colonna,
G. D Agostino,
N. Deshmuk
, et al. (49 additional authors not shown)
Abstract:
Neutrinoless double beta decay (0ν\b{eta}\b{eta}) is considered the best potential resource to determine the absolute neutrino mass scale. Moreover, if observed, it will signal that the total lepton number is not conserved and neutrinos are their own anti-particles. Presently, this physics case is one of the most important research beyond Standard Model and might guide the way towards a Grand Unif…
▽ More
Neutrinoless double beta decay (0ν\b{eta}\b{eta}) is considered the best potential resource to determine the absolute neutrino mass scale. Moreover, if observed, it will signal that the total lepton number is not conserved and neutrinos are their own anti-particles. Presently, this physics case is one of the most important research beyond Standard Model and might guide the way towards a Grand Unified Theory of fundamental interactions. Since the \b{eta}\b{eta} decay process involves nuclei, its analysis necessarily implies nuclear structure issues. The 0ν\b{eta}\b{eta} decay rate can be expressed as a product of independent factors: the phase-space factors, the nuclear matrix elements (NME) and a function of the masses of the neutrino species. Thus the knowledge of the NME can give information on the neutrino mass scale, if the 0ν\b{eta}\b{eta} decay rate is measured. In the NURE project, supported by a Starting Grant of the European Research Council, nuclear reactions of double charge-exchange (DCE) will be used as a tool to extract information on the \b{eta}\b{eta} NME. In DCE reactions and \b{eta}\b{eta} decay, the initial and final nuclear states are the same and the transition operators have similar structure. Thus the measurement of the DCE absolute crosssections can give crucial information on \b{eta}\b{eta} matrix elements.
△ Less
Submitted 27 January, 2020;
originally announced February 2020.
-
Fractional derivative order determination from harmonic oscillator dam** factor
Authors:
Luís Felipe Alves da Silva,
Valdiney Rodrigues Pedrozo Júnior,
João Vítor Batista Ferreira
Abstract:
This article analysis differential equations which represents damped and fractional oscillators. First, it is shown that prior to using physical quantities in fractional calculus, it is imperative that they are turned dimensionless. Afterwards, approximated expressions that relate the two equations parameters for the case that the fractional order is close to an integer number are presented. Follo…
▽ More
This article analysis differential equations which represents damped and fractional oscillators. First, it is shown that prior to using physical quantities in fractional calculus, it is imperative that they are turned dimensionless. Afterwards, approximated expressions that relate the two equations parameters for the case that the fractional order is close to an integer number are presented. Following, a numerical regression is made using power series expansion, and, also from fractional calculus, the fact that both equations cannot be equivalent is concluded. In the end, from the numerical regression data, the analytical approximated expressions that relate the two equations' parameters are refined.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
Nuclear structure studies performed using the (18O,16O) twoneutron transfer reactions
Authors:
D. Carbone,
C. Agodi,
F. Cappuzzello,
M. Cavallaro,
J. L. Ferreira,
A. Foti,
A. Gargano,
S. M. Lenzi,
R. Linares,
J. Lubian,
G. Santagati
Abstract:
Excitation energy spectra and absolute cross section angular distributions were measured for the 13C(18O,16O)15C two-neutron transfer reaction at 84 MeV incident energy. This reaction selectively populates two-neutron configurations in the states of the residual nucleus. Exact finite-range coupled reaction channel calculations are used to analyse the data. Two approaches are discussed: the extreme…
▽ More
Excitation energy spectra and absolute cross section angular distributions were measured for the 13C(18O,16O)15C two-neutron transfer reaction at 84 MeV incident energy. This reaction selectively populates two-neutron configurations in the states of the residual nucleus. Exact finite-range coupled reaction channel calculations are used to analyse the data. Two approaches are discussed: the extreme cluster and the newly introduced microscopic cluster. The latter makes use of spectroscopic amplitudes in the centre of mass reference frame, derived from shell-model calculations using the Moshinsky transformation brackets. The results describe well the experimental cross section and highlight cluster configurations in the involved wave functions.
△ Less
Submitted 27 January, 2020;
originally announced January 2020.
-
Measuring nuclear reaction cross sections to extract information on neutrinoless double beta decay
Authors:
M. Cavallaro,
F. Cappuzzello,
C. Agodi,
L. Acosta,
N. Auerbach,
J. Bellone,
R. Bijker,
D. Bonanno,
D. Bongiovanni,
T. Borello-Lewin,
I. Boztosun,
V. Branchina,
M. P. Bussa,
S. Calabrese,
L. Calabretta,
A. Calanna,
D. Calvo,
D. Carbone,
E. R. Chávez Lomelí,
A. Coban,
M. Colonna,
G. D'Agostino,
G. De Geronimo,
F. Delaunay,
N. Deshmukh
, et al. (50 additional authors not shown)
Abstract:
Neutrinoless double beta decay (0v\b{eta}\b{eta}) is considered the best potential resource to access the absolute neutrino mass scale. Moreover, if observed, it will signal that neutrinos are their own anti-particles (Majorana particles). Presently, this physics case is one of the most important research "beyond Standard Model" and might guide the way towards a Grand Unified Theory of fundamental…
▽ More
Neutrinoless double beta decay (0v\b{eta}\b{eta}) is considered the best potential resource to access the absolute neutrino mass scale. Moreover, if observed, it will signal that neutrinos are their own anti-particles (Majorana particles). Presently, this physics case is one of the most important research "beyond Standard Model" and might guide the way towards a Grand Unified Theory of fundamental interactions.
Since the 0v\b{eta}\b{eta} decay process involves nuclei, its analysis necessarily implies nuclear structure issues. In the NURE project, supported by a Starting Grant of the European Research Council (ERC), nuclear reactions of double charge-exchange (DCE) are used as a tool to extract information on the 0v\b{eta}\b{eta} Nuclear Matrix Elements. In DCE reactions and \b{eta}\b{eta} decay indeed the initial and final nuclear states are the same and the transition operators have similar structure. Thus the measurement of the DCE absolute cross-sections can give crucial information on \b{eta}\b{eta} matrix elements. In a wider view, the NUMEN international collaboration plans a major upgrade of the INFN-LNS facilities in the next years in order to increase the experimental production of nuclei of at least two orders of magnitude, thus making feasible a systematic study of all the cases of interest as candidates for 0v\b{eta}\b{eta}.
△ Less
Submitted 27 January, 2020;
originally announced January 2020.
-
Small, Accurate, and Fast Vehicle Re-ID on the Edge: the SAFR Approach
Authors:
Abhijit Suprem,
Calton Pu,
Joao Eduardo Ferreira
Abstract:
We propose a Small, Accurate, and Fast Re-ID (SAFR) design for flexible vehicle re-id under a variety of compute environments such as cloud, mobile, edge, or embedded devices by only changing the re-id model backbone. Through best-fit design choices, feature extraction, training tricks, global attention, and local attention, we create a reid model design that optimizes multi-dimensionally along mo…
▽ More
We propose a Small, Accurate, and Fast Re-ID (SAFR) design for flexible vehicle re-id under a variety of compute environments such as cloud, mobile, edge, or embedded devices by only changing the re-id model backbone. Through best-fit design choices, feature extraction, training tricks, global attention, and local attention, we create a reid model design that optimizes multi-dimensionally along model size, speed, & accuracy for deployment under various memory and compute constraints. We present several variations of our flexible SAFR model: SAFR-Large for cloud-type environments with large compute resources, SAFR-Small for mobile devices with some compute constraints, and SAFR-Micro for edge devices with severe memory & compute constraints.
SAFR-Large delivers state-of-the-art results with mAP 81.34 on the VeRi-776 vehicle re-id dataset (15% better than related work). SAFR-Small trades a 5.2% drop in performance (mAP 77.14 on VeRi-776) for over 60% model compression and 150% speedup. SAFR-Micro, at only 6MB and 130MFLOPS, trades 6.8% drop in accuracy (mAP 75.80 on VeRi-776) for 95% compression and 33x speedup compared to SAFR-Large.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
Do As I Do: Transferring Human Motion and Appearance between Monocular Videos with Spatial and Temporal Constraints
Authors:
Thiago L. Gomes,
Renato Martins,
João Ferreira,
Erickson R. Nascimento
Abstract:
Creating plausible virtual actors from images of real actors remains one of the key challenges in computer vision and computer graphics. Marker-less human motion estimation and shape modeling from images in the wild bring this challenge to the fore. Although the recent advances on view synthesis and image-to-image translation, currently available formulations are limited to transfer solely style a…
▽ More
Creating plausible virtual actors from images of real actors remains one of the key challenges in computer vision and computer graphics. Marker-less human motion estimation and shape modeling from images in the wild bring this challenge to the fore. Although the recent advances on view synthesis and image-to-image translation, currently available formulations are limited to transfer solely style and do not take into account the character's motion and shape, which are by nature intermingled to produce plausible human forms. In this paper, we propose a unifying formulation for transferring appearance and retargeting human motion from monocular videos that regards all these aspects. Our method synthesizes new videos of people in a different context where they were initially recorded. Differently from recent appearance transferring methods, our approach takes into account body shape, appearance, and motion constraints. The evaluation is performed with several experiments using publicly available real videos containing hard conditions. Our method is able to transfer both human motion and appearance outperforming state-of-the-art methods, while preserving specific features of the motion that must be maintained (e.g., feet touching the floor, hands touching a particular object) and holding the best visual quality and appearance metrics such as Structural Similarity (SSIM) and Learned Perceptual Image Patch Similarity (LPIPS).
△ Less
Submitted 21 January, 2020; v1 submitted 8 January, 2020;
originally announced January 2020.
-
NuSTAR/XMM-Newton monitoring of the Seyfert 1 galaxy HE 1143-1810. Testing the two-corona scenario
Authors:
F. Ursini,
P. -O. Petrucci,
S. Bianchi,
G. Matt,
R. Middei,
G. Marcel,
J. Ferreira,
M. Cappi,
B. De Marco,
A. De Rosa,
J. Malzac,
A. Marinucci,
G. Ponti,
A. Tortosa
Abstract:
We test the two-corona accretion scenario for active galactic nuclei in the case of the `bare' Seyfert 1 galaxy HE 1143-1810. We perform a detailed study of the broad-band UV--X-ray spectral properties and of the short-term variability. We present results of a joint XMM-Newton and NuSTAR monitoring of the source, consisting of 5x20 ks observations, each separated by 2 days, performed in December 2…
▽ More
We test the two-corona accretion scenario for active galactic nuclei in the case of the `bare' Seyfert 1 galaxy HE 1143-1810. We perform a detailed study of the broad-band UV--X-ray spectral properties and of the short-term variability. We present results of a joint XMM-Newton and NuSTAR monitoring of the source, consisting of 5x20 ks observations, each separated by 2 days, performed in December 2017. The source is variable in flux among the different observations, and a correlation is observed between the UV and X-ray emission. Moderate spectral variability is observed in the soft band. The time-averaged X-ray spectrum exhibits a cut-off at $\sim 100$ keV consistent with thermal Comptonization. We detect an iron K$α$ line consistent with being constant during the campaign and originating from a mildly ionized medium. The line is accompanied by a moderate, ionized reflection component. A soft excess is clearly present below 2 keV and is well described by thermal Comptonization in a `warm' corona with a temperature of $\sim 0.5$ keV and a Thomson optical depth of $\sim 17-18$. For the hot hard X-ray emitting corona, we obtain a temperature of $\sim 20$ keV and an optical depth of $\sim 4$ assuming a spherical geometry. A fit assuming a jet-emitting disc (JED) for the hot corona also provides a nice description of the broad-band spectrum. In this case, the data are consistent with an accretion rate varying between $\sim 0.7$ and $\sim 0.9$ in Eddington units and a transition between the outer standard disc and the inner JED at $\sim 20$ gravitational radii. The broad-band high-energy data agree with an accretion flow model consisting of two phases: an outer standard accretion disc with a warm upper layer, responsible for the optical--UV emission and the soft X-ray excess, and an inner slim JED playing the role of a hard X-ray emitting hot corona.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Robust, Extensible, and Fast: Teamed Classifiers for Vehicle Tracking and Vehicle Re-ID in Multi-Camera Networks
Authors:
Abhijit Suprem,
Rodrigo Alves Lima,
Bruno Padilha,
Joao Eduardo Ferreira,
Calton Pu
Abstract:
As camera networks have become more ubiquitous over the past decade, the research interest in video management has shifted to analytics on multi-camera networks. This includes performing tasks such as object detection, attribute identification, and vehicle/person tracking across different cameras without overlap. Current frameworks for management are designed for multi-camera networks in a closed…
▽ More
As camera networks have become more ubiquitous over the past decade, the research interest in video management has shifted to analytics on multi-camera networks. This includes performing tasks such as object detection, attribute identification, and vehicle/person tracking across different cameras without overlap. Current frameworks for management are designed for multi-camera networks in a closed dataset environment where there is limited variability in cameras and characteristics of the surveillance environment are well known. Furthermore, current frameworks are designed for offline analytics with guidance from human operators for forensic applications. This paper presents a teamed classifier framework for video analytics in heterogeneous many-camera networks with adversarial conditions such as multi-scale, multi-resolution cameras capturing the environment with varying occlusion, blur, and orientations. We describe an implementation for vehicle tracking and vehicle re-identification (re-id), where we implement a zero-shot learning (ZSL) system that performs automated tracking of all vehicles all the time. Our evaluations on VeRi-776 and Cars196 show the teamed classifier framework is robust to adversarial conditions, extensible to changing video characteristics such as new vehicle types/brands and new cameras, and offers real-time performance compared to current offline video analytics approaches.
△ Less
Submitted 7 January, 2020; v1 submitted 9 December, 2019;
originally announced December 2019.
-
Spin-orbit coupling in wurtzite quantum wells
Authors:
J. Y. Fu,
P. H. Penteado,
D. R. Candido,
G. J. Ferreira,
D. P. Pires,
E. Bernardes,
J. C. Egues
Abstract:
Effective spin-orbit (SO) Hamiltonians for conduction electrons in wurtzite heterostructures are lacking in the literature, in contrast to zincblende structures. Here we address this issue by deriving such an effective Hamiltonian valid for quantum wells, wires, and dots with arbitrary confining potentials and external magnetic fields. We start from an 8$\times$8 Kane model accounting for the $s$-…
▽ More
Effective spin-orbit (SO) Hamiltonians for conduction electrons in wurtzite heterostructures are lacking in the literature, in contrast to zincblende structures. Here we address this issue by deriving such an effective Hamiltonian valid for quantum wells, wires, and dots with arbitrary confining potentials and external magnetic fields. We start from an 8$\times$8 Kane model accounting for the $s$--$p_z$ orbital mixing important to wurtzite structures, but absent in zincblende, and apply both quasi-degenerate perturbation theory (Löwdin partitioning) and the folding down approach to derive an effective 2$\times$2 electron Hamiltonian. We obtain the usual $k$-linear Rashba term arising from the structural inversion asymmetry of the wells and, differently from zincblende structures, a bulk Rashba-type term induced by the inversion asymmetry of the wurtzite lattice. We also find linear- and cubic-in-momentum Dresselhaus contributions. Both the bulk Rashba-type term and the Dresselhaus terms originate exclusively from the admixture of $s$- and $p_z$-like states in wurtzites structures. Interestingly, in these systems the linear Rashba and the Dresselhaus terms have the same symmetry and can in principle cancel each other out completely, thus making the spin a conserved quantity. We determine the intrasubband (intersubband) Rashba $α_ν$ ($η$) and linear Dresselhaus $β_ν$ ($Γ$) SO strengths of GaN/AlGaN single and double wells with one and two occupied subbands ($ν=1,2$). We believe our general effective Hamiltonian for electrons in wurtzite heterostructures put forward here, should stimulate additional theoretical works on wurtzite quantum wells, wires, and dots with variously defined geometries and external magnetic fields.
△ Less
Submitted 9 November, 2019;
originally announced November 2019.
-
High-degeneracy points protected by site-permutation symmetries
Authors:
F. Crasto de Lima,
G. J. Ferreira
Abstract:
Space group symmetries dictate the energy degeneracy of quasiparticles (e.g., electronic, photonic) in crystalline structures. For spinless systems, there can only be double or triple degeneracies protected by these symmetries, while other degeneracies are usually taken as \textit{accidental}. In this Letter we show that it is possible to design higher degeneracies exploring site permutation symme…
▽ More
Space group symmetries dictate the energy degeneracy of quasiparticles (e.g., electronic, photonic) in crystalline structures. For spinless systems, there can only be double or triple degeneracies protected by these symmetries, while other degeneracies are usually taken as \textit{accidental}. In this Letter we show that it is possible to design higher degeneracies exploring site permutation symmetries. These design principles are shown to be satisfied in previously studied lattices, and new structures are proposed with three, four and five degeneracy points for spinless systems. The results are general and apply to different quasiparticle models. Here, we focus on a tight-binding approach for the electronic case as a proof of principle. The resulting high-degeneracy points are protected by the site-permutation symmetries, yielding pseudospin-1 and -2 Dirac fermions. The strategy proposed here can be used to design lattices with high-degeneracy points in electronic (e.g. metal-organic frameworks), photonic, phononic, magnonic and cold-atom systems.
△ Less
Submitted 13 January, 2020; v1 submitted 26 October, 2019;
originally announced October 2019.
-
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Authors:
Thomas Durieux,
João F. Ferreira,
Rui Abreu,
Pedro Cruz
Abstract:
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and reproduce that research. To address this, we present an empirical evaluation of 9 state-of-the-art automated analysis tools using two new datasets: i) a dataset of 69 annotated vulnerable smart contracts that can be used t…
▽ More
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and reproduce that research. To address this, we present an empirical evaluation of 9 state-of-the-art automated analysis tools using two new datasets: i) a dataset of 69 annotated vulnerable smart contracts that can be used to evaluate the precision of analysis tools; and ii) a dataset with all the smart contracts in the Ethereum Blockchain that have Solidity source code available on Etherscan (a total of 47,518 contracts). The datasets are part of SmartBugs, a new extendable execution framework that we created to facilitate the integration and comparison between multiple analysis tools and the analysis of Ethereum smart contracts. We used SmartBugs to execute the 9 automated analysis tools on the two datasets. In total, we ran 428,337 analyses that took approximately 564 days and 3 hours, being the largest experimental setup to date both in the number of tools and in execution time. We found that only 42% of the vulnerabilities from our annotated dataset are detected by all the tools, with the tool Mythril having the higher accuracy (27%). When considering the largest dataset, we observed that 97% of contracts are tagged as vulnerable, thus suggesting a considerable number of false positives. Indeed, only a small number of vulnerabilities (and of only two categories) were detected simultaneously by four or more tools.
△ Less
Submitted 9 February, 2020; v1 submitted 23 October, 2019;
originally announced October 2019.
-
Analysis of the one-neutron transfer to $^{16}$O, $^{28}$Si and $^{64}$Ni induced by ($^{18}$O, $^{17}$O) reaction at 84 MeV
Authors:
R. Linares,
M. J. Ermamatov,
J. Lubian,
F. Cappuzzello,
D. Carbone,
E. N. Cardozo,
M. Cavallaro,
J. L. Ferreira,
A. Foti,
A. Gargano,
B. Paes,
G. Santagati,
V. A. B. Zagatto
Abstract:
Background: Recently, a systematic exploration of two-neutron transfer induced by the ($^{18}$O, $^{16}$O) reaction on different targets has been performed. The high resolution data have been collected at the MAGNEX magnetic spectrometer of the INFN-LNS laboratory in Catania and analyzed with the coupled reaction channel (CRC) approach. The simultaneous and sequential transfers of the two neutrons…
▽ More
Background: Recently, a systematic exploration of two-neutron transfer induced by the ($^{18}$O, $^{16}$O) reaction on different targets has been performed. The high resolution data have been collected at the MAGNEX magnetic spectrometer of the INFN-LNS laboratory in Catania and analyzed with the coupled reaction channel (CRC) approach. The simultaneous and sequential transfers of the two neutrons have been considered under the same theoretical framework without the need of adjustable factors in the calculations.
Purpose: A detailed analysis of the one-neutron transfer cross sections is important to study the sequential two-neutron transfer. Here, we examine the ($^{18}$O, $^{17}$O) reaction on $^{16}$O, $^{28}$Si and $^{64}$Ni targets. These even-even nuclei allow for investigation of one-neutron transfer in distinct nuclear shell spaces.
Method: The MAGNEX spectrometer was used to measure mass spectra of ejectiles and extract differential cross sections of one-neutron transfer to low-lying states. We adopted the same CRC formalism used in the sequential two-neutron transfer, including relevant channels and using spectroscopic amplitudes obtained from shell model calculations. We also compare with one-step distorted wave Born approximation (DWBA).
Results: For the $^{18}$O + $^{16}$O and the $^{18}$O + $^{28}$O systems we used two interactions in the shell model. The experimental angular distributions are reasonably well reproduced by the CRC calculations. In the $^{18}$O + $^{64}$Ni system, we considered only one interaction and the theoretical curve describes the shape and order of magnitude observed in the experimental data.
Conclusions: Comparisons between experimental, DWBA and CRC angle-integrated cross sections suggest that excitations before or after the transfer of neutron is relevant in the $^{18}$O + $^{16}$O and $^{18}$O + $^{64}$Ni systems.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
20Ne + 76Ge elastic and inelastic scattering at 306 MeV
Authors:
A. Spatafora,
F. Cappuzzello,
D. Carbone,
M. Cavallaro,
J. A. Lay,
L. Acosta,
C. Agodi,
D. Bonanno,
D. Bongiovanni,
I. Boztosun,
G. A. Brischetto,
S. Burrello,
S. Calabrese,
D. Calvo,
E. R. Chàvez Lomelí,
I. Ciraldo,
M. Colonna,
F. Delaunay,
N. Deshmukh,
J. L. Ferreira,
P. Finocchiaro,
M. Fisichella,
A. Foti,
G. Gallo,
A. Hacisalihoglu
, et al. (24 additional authors not shown)
Abstract:
Background: Double charge exchange (DCE) nuclear reactions have recently attracted much interest as tools to provide experimentally driven information about nuclear matrix elements of interest in the context of neutrinoless double-beta decay. In this framework, a good description of the reaction mechanism and a complete knowledge of the initial and final-state interactions are mandatory. Presently…
▽ More
Background: Double charge exchange (DCE) nuclear reactions have recently attracted much interest as tools to provide experimentally driven information about nuclear matrix elements of interest in the context of neutrinoless double-beta decay. In this framework, a good description of the reaction mechanism and a complete knowledge of the initial and final-state interactions are mandatory. Presently, not enough is known about the details of the optical potentials and nuclear response to isospin operators for many of the projectile-target systems proposed for future DCE studies. Among these, the 20Ne + 76Ge DCE reaction is particularly relevant due to its connection with 76Ge double-beta decay. Purpose: We intend to characterize the initial-state interaction for the 20Ne + 76Ge reactions at 306 MeV bombarding energy and determine the optical potential and the role of the couplings between elastic channel and inelastic transitions to the first low-lying excited states. Methods: We determine the experimental elastic and inelastic scattering cross-section angular distributions, compare the theoretical predictions by adopting different models of optical potentials with the experimental data, and evaluate the coupling effect through the comparison of the distorted-wave Born approximation calculations with the coupled channels ones. Results: Optical models fail to describe the elastic angular distribution above the grazing angle (9.4°). A correction in the geometry to effectively account for deformation of the involved nuclear systems improves the agreement up to about 14°. Coupled channels effects are crucial to obtain good agreement at large angles in the elastic scattering cross section.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
Models under which random forests perform badly; consequences for applications
Authors:
José A. Ferreira
Abstract:
We give examples of data-generating models under which Breiman's random forest may be extremely slow to converge to the optimal predictor or even fail to be consistent. The evidence provided for these properties is based on mostly intuitive arguments, similar to those used earlier with simpler examples, and on numerical experiments. Although one can always choose models under which random forests…
▽ More
We give examples of data-generating models under which Breiman's random forest may be extremely slow to converge to the optimal predictor or even fail to be consistent. The evidence provided for these properties is based on mostly intuitive arguments, similar to those used earlier with simpler examples, and on numerical experiments. Although one can always choose models under which random forests perform very badly, we show that simple methods based on statistics of `variable use' and `variable importance' can often be used to construct a much better predictor based on a `many-armed' random forest obtained by forcing initial splits on variables which the default version of the algorithm tends to ignore.
△ Less
Submitted 30 November, 2021; v1 submitted 2 October, 2019;
originally announced October 2019.
-
Magnetically-driven jets and winds from weakly magnetized accretion disks
Authors:
J. Jacquemin-Ide,
J. Ferreira,
G. Lesur
Abstract:
Semi-analytical models of disk outflows have successfully described magnetically-driven, self-confined super-Alfvénic jets from near Keplerian accretion disks. These Jet Emitting Disks are possible for high levels of disk magnetization $μ$ defined as $μ=2/β$ where beta is the usual plasma parameter. In near-equipartition JEDs, accretion is supersonic and jets carry away most of the disk angular mo…
▽ More
Semi-analytical models of disk outflows have successfully described magnetically-driven, self-confined super-Alfvénic jets from near Keplerian accretion disks. These Jet Emitting Disks are possible for high levels of disk magnetization $μ$ defined as $μ=2/β$ where beta is the usual plasma parameter. In near-equipartition JEDs, accretion is supersonic and jets carry away most of the disk angular momentum. However, these solutions prove difficult to compare with cutting edge numerical simulations, for the reason that numerical simulations show wind-like outflows but in the domain of small magnetization. In this work, we present for the first time self-similar isothermal solutions for accretion-ejection structures at small magnetization levels. We elucidate the role of MRI-like structures in the acceleration processes that drive this new class of solutions. The disk magnetization $μ$ is the main control parameter: massive outflows driven by the pressure of the toroidal magnetic field are obtained up to $μ\sim 10^{-2}$, while more tenuous centrifugally-driven outflows are obtained at larger $μ$ values. The generalized parameter space and the astrophysical consequences are discussed. We believe that these new solutions could be a step** stone in understanding the way astrophysical disks drive either winds or jets. Defining jets as self-confined outflows and winds as uncollimated outflows, we propose a simple analytical criterion based on the initial energy content of the outflow, to discriminate jets from winds. We show that jet solution are achieved at all magnetization level, while winds could be obtained only in weakly magnetized disks that feature heating.
△ Less
Submitted 14 October, 2019; v1 submitted 26 September, 2019;
originally announced September 2019.
-
Causality from the Point of View of Statistics
Authors:
José A. Ferreira
Abstract:
We present a basis for studying questions of cause and effect in statistics which subsumes and reconciles the models proposed by Pearl, Robins, Rubin and others, and which, as far as mathematical notions and notation are concerned, is entirely conventional. In particular, we show that, contrary to what several authors had thought, standard probability can be used to treat problems that involve not…
▽ More
We present a basis for studying questions of cause and effect in statistics which subsumes and reconciles the models proposed by Pearl, Robins, Rubin and others, and which, as far as mathematical notions and notation are concerned, is entirely conventional. In particular, we show that, contrary to what several authors had thought, standard probability can be used to treat problems that involve notions of causality, and in a way not essentially different from the way it has been used in the area generally known (since the 1960s, at least) as 'applied probability'. Conventional, elementary proofs are given of some of the most important results obtained by the various schools of 'statistical causality', and a variety of examples considered by those schools are worked out in detail. Pearl's 'calculus of intervention' is examined anew, and its first two rules are formulated and proved by means of elementary probability for the first time since they were stated 25 years or so ago.
Note: Corrected and extended parts of this paper will soon be published as a book of the same title.
△ Less
Submitted 17 April, 2023; v1 submitted 20 August, 2019;
originally announced August 2019.
-
Topological flat band, Dirac fermions and quantum spin Hall phase in 2D Archimedean lattices
Authors:
F. Crasto de Lima,
Gerson J. Ferreira,
R. H. Miwa
Abstract:
Materials with designed properties arises in a synergy between theoretical and experimental approaches. In this study we explore the set of Archimedean lattices forming a guidance to its electronic properties and topological phases. Within these lattices, rich electronic structure emerge forming type-I and II Dirac fermions, topological flat bands and high-degeneracy points with linear and flat di…
▽ More
Materials with designed properties arises in a synergy between theoretical and experimental approaches. In this study we explore the set of Archimedean lattices forming a guidance to its electronic properties and topological phases. Within these lattices, rich electronic structure emerge forming type-I and II Dirac fermions, topological flat bands and high-degeneracy points with linear and flat dispersions. Employing a tight-binding model, with spin-orbit coupling, we characterize a quantum spin Hall (QSH) phase in all Archimedean lattices. Our discussion is validated within density functional theory calculations, where we show the characteristic bands of the studied lattices arising in 2D carbon allotropes.
△ Less
Submitted 14 August, 2019;
originally announced August 2019.
-
Interplay between boundary conditions and Wilson's mass in Dirac-like Hamiltonians
Authors:
A. L. Araújo,
R. P. Maciel,
R. G. F. Dornelas,
D. Varjas,
G. J. Ferreira
Abstract:
Dirac-like Hamiltonians, linear in momentum $k$, describe the low-energy physics of a large set of novel materials, including graphene, topological insulators, and Weyl fermions. We show here that the inclusion of a minimal $k^2$ Wilson's mass correction improves the models and allows for systematic derivations of appropriate boundary conditions for the envelope functions on finite systems. Consid…
▽ More
Dirac-like Hamiltonians, linear in momentum $k$, describe the low-energy physics of a large set of novel materials, including graphene, topological insulators, and Weyl fermions. We show here that the inclusion of a minimal $k^2$ Wilson's mass correction improves the models and allows for systematic derivations of appropriate boundary conditions for the envelope functions on finite systems. Considering only Wilson's masses allowed by symmetry, we show that the $k^2$ corrections are equivalent to Berry-Mondragon's discontinuous boundary conditions. This allows for simple numerical implementations of regularized Dirac models on a lattice, while properly accounting for the desired boundary condition. We apply our results on graphene nanoribbons (zigzag and armchair), and on a PbSe monolayer (topological crystalline insulator). For graphene, we find generalized Brey-Fertig boundary conditions, which correctly describe the small gap seen on \textit{ab initio} data for the metallic armchair nanoribbon. On PbSe, we show how our approach can be used to find spin-orbital-coupled boundary conditions. Overall, our discussions are set on a generic model that can be easily generalized for any Dirac-like Hamiltonian.
△ Less
Submitted 2 December, 2021; v1 submitted 31 July, 2019;
originally announced August 2019.
-
Mediation Challenges and Socio-Technical Gaps for Explainable Deep Learning Applications
Authors:
Rafael Brandão,
Joel Carbonera,
Clarisse de Souza,
Juliana Ferreira,
Bernardo Gonçalves,
Carla Leitão
Abstract:
The presumed data owners' right to explanations brought about by the General Data Protection Regulation in Europe has shed light on the social challenges of explainable artificial intelligence (XAI). In this paper, we present a case study with Deep Learning (DL) experts from a research and development laboratory focused on the delivery of industrial-strength AI technologies. Our aim was to investi…
▽ More
The presumed data owners' right to explanations brought about by the General Data Protection Regulation in Europe has shed light on the social challenges of explainable artificial intelligence (XAI). In this paper, we present a case study with Deep Learning (DL) experts from a research and development laboratory focused on the delivery of industrial-strength AI technologies. Our aim was to investigate the social meaning (i.e. meaning to others) that DL experts assign to what they do, given a richly contextualized and familiar domain of application. Using qualitative research techniques to collect and analyze empirical data, our study has shown that participating DL experts did not spontaneously engage into considerations about the social meaning of machine learning models that they build. Moreover, when explicitly stimulated to do so, these experts expressed expectations that, with real-world DL application, there will be available mediators to bridge the gap between technical meanings that drive DL work, and social meanings that AI technology users assign to it. We concluded that current research incentives and values guiding the participants' scientific interests and conduct are at odds with those required to face some of the scientific challenges involved in advancing XAI, and thus responding to the alleged data owners' right to explanations or similar societal demands emerging from current debates. As a concrete contribution to mitigate what seems to be a more general problem, we propose three preliminary XAI Mediation Challenges with the potential to bring together technical and social meanings of DL applications, as well as to foster much needed interdisciplinary collaboration among AI and the Social Sciences researchers.
△ Less
Submitted 16 July, 2019;
originally announced July 2019.
-
Orbital pseudospin-momentum locking in two-dimensional chiral borophene
Authors:
Felipe Crasto de Lima,
Gerson J. Ferreira,
Roberto H. Miwa
Abstract:
Recently, orbital-textures have been found in Rashba and topological insulator (TI) surface states as a result of the spin-orbit coupling (SOC). Here, we predict a $p_x/p_y$ orbital texture, in linear dispersive Dirac bands, arising at the K/K' points of $χ$-$h_0$ borophene chiral monolayer. Combining first-principles calculations with effective hamiltonians, we show that the orbital pseudospin ha…
▽ More
Recently, orbital-textures have been found in Rashba and topological insulator (TI) surface states as a result of the spin-orbit coupling (SOC). Here, we predict a $p_x/p_y$ orbital texture, in linear dispersive Dirac bands, arising at the K/K' points of $χ$-$h_0$ borophene chiral monolayer. Combining first-principles calculations with effective hamiltonians, we show that the orbital pseudospin has its direction locked with the momentum in a similar way as TIs' spin-textures. Additionally, considering a layer pseudospin degree of freedom, this lattice allows stackings of layers with equivalent or opposite chiralities. In turn, we show a control of the orbital textures and layer localization through the designed stacking and external electric field. For instance, for the opposite chirality stacking, the electric field allows for an on/off switch of the orbital-textured Dirac cone.
△ Less
Submitted 7 August, 2019; v1 submitted 9 July, 2019;
originally announced July 2019.
-
Market Segmentation Trees
Authors:
Ali Aouad,
Adam N. Elmachtoub,
Kris J. Ferreira,
Ryan McNellis
Abstract:
We seek to provide an interpretable framework for segmenting users in a population for personalized decision-making. We propose a general methodology, Market Segmentation Trees (MSTs), for learning market segmentations explicitly driven by identifying differences in user response patterns. To demonstrate the versatility of our methodology, we design two new, specialized MST algorithms: (i) Choice…
▽ More
We seek to provide an interpretable framework for segmenting users in a population for personalized decision-making. We propose a general methodology, Market Segmentation Trees (MSTs), for learning market segmentations explicitly driven by identifying differences in user response patterns. To demonstrate the versatility of our methodology, we design two new, specialized MST algorithms: (i) Choice Model Trees (CMTs), which can be used to predict a user's choice amongst multiple options and (ii) Isotonic Regression Trees (IRTs), which can be used to solve the bid landscape forecasting problem. We provide a theoretical analysis of the asymptotic running times of our algorithmic methods, which validates their computational tractability on large datasets. We also provide a customizable, open-source code base for training MSTs in Python which employs several strategies for scalability, including parallel processing and warm starts. Finally, we assess the practical performance of MSTs on several synthetic and real world datasets, showing that our method reliably finds market segmentations which accurately model response behavior.
△ Less
Submitted 13 January, 2023; v1 submitted 3 June, 2019;
originally announced June 2019.
-
A unified accretion-ejection paradigm for black hole X-ray binaries. IV. Replication of the 2010--2011 activity cycle of GX 339-4
Authors:
G. Marcel,
J. Ferreira,
M. Clavel,
P-O. Petrucci,
J. Malzac,
S. Corbel,
J. Rodriguez,
R. Belmont,
M. Coriat,
G. Henri,
F. Cangemi
Abstract:
Transients XrB exhibit different spectral shapes during their evolution. In luminosity-color diagrams, their X-ray behavior forms unexplained q-shaped cycles. We proposed a framework where the innermost regions of the accretion disk evolve as a response to variations imposed in the outer regions. These variations lead not only to modifications of the inner disk accretion rate $\dot m_{in}$ but als…
▽ More
Transients XrB exhibit different spectral shapes during their evolution. In luminosity-color diagrams, their X-ray behavior forms unexplained q-shaped cycles. We proposed a framework where the innermost regions of the accretion disk evolve as a response to variations imposed in the outer regions. These variations lead not only to modifications of the inner disk accretion rate $\dot m_{in}$ but also to the evolution of the transition radius $r_J$ between two regions. The outermost region is a standard accretion disk (SAD), whereas the innermost region is a jet-emitting disk (JED) where all the disk angular momentum is carried away vertically by two self-confined jets. In the previous papers of this series, it has been shown that such a configuration reproduces the typical spectral properties of the five canonical XrB states. The aim of this paper is now to replicate all X-ray spectra and radio emission observed during GX 339-4 2010-2011 outburst. We use the 2T plasma code presented in papers II and III, and design an automatic fitting procedure that gives the parameters $(\dot m_{in},r_J)$ that best fit each X-ray spectrum. We use RXTE/PCA X-ray data spread over 438 days, together with radio observations at 9 GHz (ATCA). We obtain the time distributions of $\dot m_{in}$ and $r_J$ that uniquely reproduce the X-ray luminosity and the spectral shape of the whole cycle. Using the classical self-absorbed jet synchrotron emission model, the JED-SAD configuration reproduces also very satisfactorily the radio properties, in particular the switch-off and -on events and the radio-X-ray correlation. Within the JED-SAD framework, radio emission can be used to constrain the underlying disk configuration. If this result is confirmed using other outbursts from GX 339-4 or other X-ray binaries, then radio could be indeed used as another means to indirectly probe disk physics.
△ Less
Submitted 13 May, 2019;
originally announced May 2019.
-
Layertronic control of topological states in multilayer metal-organic frameworks
Authors:
F. Crasto de Lima,
G. J. Ferreira,
R. H. Miwa
Abstract:
We investigate the layer localization control of two-dimensional states in multilayer metal-organic frameworks (MOFs). For finite stackings of (NiC4S4)3 MOFs, the weak van der Waals coupling between adjacent layers leads to a Fermi level dependent distribution of the electronic states in the monolayers. Such distribution is reflected in the topological edge states of multilayer nanoribbons. Moreov…
▽ More
We investigate the layer localization control of two-dimensional states in multilayer metal-organic frameworks (MOFs). For finite stackings of (NiC4S4)3 MOFs, the weak van der Waals coupling between adjacent layers leads to a Fermi level dependent distribution of the electronic states in the monolayers. Such distribution is reflected in the topological edge states of multilayer nanoribbons. Moreover, by applying an external electric field, parallel to the stacking direction, the spacial localization of the electronic states can be controlled for a chosen Fermi energy. This localization behavior is studied comparing density functional theory calculations with a kagome lattice tight-binding model. Furthermore, for infinite stacked nanoribbons, a new V-gutter Dirac state is found in the side surfaces, which allows anisotropic current control by tuning the Fermi energy. Our results can be immediately extended to other kagome MOFs with eclipsed stackings, introducing a new degree of freedom (layer localization) to materials design.
△ Less
Submitted 12 June, 2019; v1 submitted 8 March, 2019;
originally announced March 2019.
-
Competition between direct and sequential two-neutron transfers in the $^{18}$O + $^{28}$Si collision at 84 MeV
Authors:
E. N. Cardozo,
J. Lubian,
R. Linares,
F. Cappuzzello,
D. Carbone,
M. Cavallaro,
J. L. Ferreira,
A. Gargano,
B. Paes,
G. Santagati
Abstract:
In this work we study the simultaneous and sequential two-neutron transfer mechanisms to the $^{28}$Si nucleus induced by (t,p) and ($^{18}$O, $^{16}$O) reactions. New experimental cross sections for the $^{28}$Si($^{18}$O,$^{16}$O)$^{30}$Si reaction at 84 MeV are also presented. Direct reaction calculations are carried out within the Exact Finite Range Coupled Reaction Channel, for the simultaneo…
▽ More
In this work we study the simultaneous and sequential two-neutron transfer mechanisms to the $^{28}$Si nucleus induced by (t,p) and ($^{18}$O, $^{16}$O) reactions. New experimental cross sections for the $^{28}$Si($^{18}$O,$^{16}$O)$^{30}$Si reaction at 84 MeV are also presented. Direct reaction calculations are carried out within the Exact Finite Range Coupled Reaction Channel, for the simultaneous transfer of the two-neutron cluster, and the second order Distorted Wave Born Approximation, for the sequential transfer. Two different models are considered to describe the two-neutron cluster. The spectroscopic information was obtained from shell model calculation with {\it psdmod} interaction for the target overlaps where the 1p$_{3/2}$, 1p$_{1/2}$, 1d$_{3/2}$, 1d$_{5/2}$ and 2s$_{1/2}$ orbitals are included as valence sub-space. We show that simultaneous and sequential two-neutron transfer are competing mechanisms for the population of the ground state in $^{30}$Si. A systematic analysis of the two-neutron transfer induced by the ($^{18}O,^{16}O$) indicates that static deformation of target nuclei impacts on the two-neutron transfer mechanism.
△ Less
Submitted 26 November, 2018;
originally announced November 2018.