-
LASPATED: a Library for the Analysis of SPAtio-TEmporal Discrete data
Authors:
Vincent Guigues,
Anton Kleywegt,
Giovanni Amorim,
André Mazal Krauss,
Victor Hugo Nascimento
Abstract:
We describe methods, tools, and a software library called LASPATED, available on GitHub (at https://github.com/vguigues/) to fit models using spatio-temporal data and space-time discretization. A video tutorial for this library is available on YouTube. We consider two types of methods to estimate a non-homogeneous Poisson process in space and time. The methods approximate the arrival intensity fun…
▽ More
We describe methods, tools, and a software library called LASPATED, available on GitHub (at https://github.com/vguigues/) to fit models using spatio-temporal data and space-time discretization. A video tutorial for this library is available on YouTube. We consider two types of methods to estimate a non-homogeneous Poisson process in space and time. The methods approximate the arrival intensity function of the Poisson process by discretizing space and time, and estimating arrival intensity as a function of subregion and time interval. With such methods, it is typical that the dimension of the estimator is large relative to the amount of data, and therefore the performance of the estimator can be improved by using additional data. The first method uses additional data to add a regularization term to the likelihood function for calibrating the intensity of the Poisson process. The second method uses additional data to estimate arrival intensity as a function of covariates. We describe a Python package to perform various types of space and time discretization. We also describe two packages for the calibration of the models, one in Matlab and one in C++. We demonstrate the advantages of our methods compared to basic maximum likelihood estimation with simulated and real data. The experiments with real data calibrate models of the arrival process of emergencies to be handled by the Rio de Janeiro emergency medical service.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
Study of Robust Adaptive Beamforming Algorithms Based on Power Method Processing and Spatial Spectrum Matching
Authors:
S. Mohammadzadeh,
V. H. Nascimento,
R. C. de Lamare,
O. Kukrer
Abstract:
Robust adaptive beamforming (RAB) based on interference-plus-noise covariance (INC) matrix reconstruction can experience performance degradation when model mismatch errors exist, particularly when the input signal-to-noise ratio (SNR) is large. In this work, we devise an efficient RAB technique for dealing with covariance matrix reconstruction issues. The proposed method involves INC matrix recons…
▽ More
Robust adaptive beamforming (RAB) based on interference-plus-noise covariance (INC) matrix reconstruction can experience performance degradation when model mismatch errors exist, particularly when the input signal-to-noise ratio (SNR) is large. In this work, we devise an efficient RAB technique for dealing with covariance matrix reconstruction issues. The proposed method involves INC matrix reconstruction using an idea in which the power and the steering vector of the interferences are estimated based on the power method. Furthermore, spatial match processing is computed to reconstruct the desired signal-plus-noise covariance matrix. Then, the noise components are excluded to retain the desired signal (DS) covariance matrix. A key feature of the proposed technique is to avoid eigenvalue decomposition of the INC matrix to obtain the dominant power of the interference-plus-noise region. Moreover, the INC reconstruction is carried out according to the definition of the theoretical INC matrix. Simulation results are shown and discussed to verify the effectiveness of the proposed method against existing approaches.
△ Less
Submitted 24 September, 2023;
originally announced September 2023.
-
Efficient Covariance Matrix Reconstruction with Iterative Spatial Spectrum Sampling
Authors:
S. Mohammadzadeh,
V. H. Nascimento,
R. C. de Lamare,
O. Kukrer
Abstract:
This work presents a cost-effective technique for designing robust adaptive beamforming algorithms based on efficient covariance matrix reconstruction with iterative spatial power spectrum (CMR-ISPS). The proposed CMR-ISPS approach reconstructs the interference-plus-noise covariance (INC) matrix based on a simplified maximum entropy power spectral density function that can be used to shape the dir…
▽ More
This work presents a cost-effective technique for designing robust adaptive beamforming algorithms based on efficient covariance matrix reconstruction with iterative spatial power spectrum (CMR-ISPS). The proposed CMR-ISPS approach reconstructs the interference-plus-noise covariance (INC) matrix based on a simplified maximum entropy power spectral density function that can be used to shape the directional response of the beamformer. Firstly, we estimate the directions of arrival (DoAs) of the interfering sources with the available snapshots. We then develop an algorithm to reconstruct the INC matrix using a weighted sum of outer products of steering vectors whose coefficients can be estimated in the vicinity of the DoAs of the interferences which lie in a small angular sector. We also devise a cost-effective adaptive algorithm based on conjugate gradient techniques to update the beamforming weights and a method to obtain estimates of the signal of interest (SOI) steering vector from the spatial power spectrum. The proposed CMR-ISPS beamformer can suppress interferers close to the direction of the SOI by producing notches in the directional response of the array with sufficient depths. Simulation results are provided to confirm the validity of the proposed method and make a comparison to existing approaches
△ Less
Submitted 2 September, 2023;
originally announced September 2023.
-
Distributed Universal Adaptive Networks
Authors:
Cassio G. Lopes,
Vítor H. Nascimento,
Luiz F. O. Chamon
Abstract:
Adaptive networks (ANs) are effective real time techniques to process and track events observed by sensor networks and, more recently, to equip Internet of Things (IoT) applications. ANs operate over nodes equipped with collaborative adaptive filters that solve distributively an estimation problem common to the whole network. However, they do not guarantee that nodes do not lose from cooperation,…
▽ More
Adaptive networks (ANs) are effective real time techniques to process and track events observed by sensor networks and, more recently, to equip Internet of Things (IoT) applications. ANs operate over nodes equipped with collaborative adaptive filters that solve distributively an estimation problem common to the whole network. However, they do not guarantee that nodes do not lose from cooperation, as compared to its non-cooperative operation; that poor nodes are rejected and exceptional nodes estimates reach the entire network; and that performance is uniform over all nodes. In order to enforce such properties, this work introduces the concept of distributed universal estimation, which encompasses the new concepts of local universality, global universality and universality with respect to the non-cooperative operation. We then construct a new cooperation protocol that is proven to be distributively universal, outperforming direct competitors from the literature, as shown by several simulations. Mean and mean-square analytical models are developed, with good agreement between theory and simulations.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
An ecumenical view of proof-theoretic semantics
Authors:
Victor Nascimento,
Luiz Carlos Pereira,
Elaine Pimentel
Abstract:
Debates concerning philosophical grounds for the validity of classical and intuitionistic logics often have the very nature of logical proofs as one of the main points of controversy. The intuitionist advocates for a strict notion of constructive proof, while the classical logician advocates for a notion which allows non-construtive proofs through \textit{reductio ad absurdum}. A great deal of con…
▽ More
Debates concerning philosophical grounds for the validity of classical and intuitionistic logics often have the very nature of logical proofs as one of the main points of controversy. The intuitionist advocates for a strict notion of constructive proof, while the classical logician advocates for a notion which allows non-construtive proofs through \textit{reductio ad absurdum}. A great deal of controversy still subsists to this day on the matter, as there is no agreement between disputants on the precise standing of non-constructive methods.
Two very distinct approaches to logic are currently providing interesting contributions to this debate. The first, oftentimes called logical ecumenism, aims to provide a unified framework in which two "rival" logics may peacefully coexist, thus providing some sort of neutral ground for the contestants. The second, proof-theoretic semantics, aims not only to elucidate the meaning of a logical proof, but also to provide means for its use as a basic concept of semantic analysis. Logical ecumenism thus provides a medium in which meaningful interactions may occur between classical and intuitionistic logic, whilst proof-theoretic semantics provides a way of clarifying what is at stake when one accepts or denies reductio ad absurdum as a meaningful proof method.
In this paper we show how to coherently combine both approaches by providing not only a medium in which classical and intuitionistic logics may coexist, but also one in which classical and intuitionistic notions of proof may coexist.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Super-Resolution of License Plate Images Using Attention Modules and Sub-Pixel Convolution Layers
Authors:
Valfride Nascimento,
Rayson Laroca,
Jorge de A. Lambert,
William Robson Schwartz,
David Menotti
Abstract:
Recent years have seen significant developments in the field of License Plate Recognition (LPR) through the integration of deep learning techniques and the increasing availability of training data. Nevertheless, reconstructing license plates (LPs) from low-resolution (LR) surveillance footage remains challenging. To address this issue, we introduce a Single-Image Super-Resolution (SISR) approach t…
▽ More
Recent years have seen significant developments in the field of License Plate Recognition (LPR) through the integration of deep learning techniques and the increasing availability of training data. Nevertheless, reconstructing license plates (LPs) from low-resolution (LR) surveillance footage remains challenging. To address this issue, we introduce a Single-Image Super-Resolution (SISR) approach that integrates attention and transformer modules to enhance the detection of structural and textural features in LR images. Our approach incorporates sub-pixel convolution layers (also known as PixelShuffle) and a loss function that uses an Optical Character Recognition (OCR) model for feature extraction. We trained the proposed architecture on synthetic images created by applying heavy Gaussian noise to high-resolution LP images from two public datasets, followed by bicubic downsampling. As a result, the generated images have a Structural Similarity Index Measure (SSIM) of less than 0.10. Our results show that our approach for reconstructing these low-resolution synthesized images outperforms existing ones in both quantitative and qualitative measures. Our code is publicly available at https://github.com/valfride/lpr-rsr-ext/
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Study of Robust Adaptive Beamforming with Covariance Matrix Reconstruction Based on Power Spectral Estimation and Uncertainty Region
Authors:
S. Mohammadzadeh,
V. H. Nascimento,
R. C. de Lamare,
O. Kukrer
Abstract:
In this work, a simple and effective robust adaptive beamforming technique is proposed for uniform linear arrays, which is based on the power spectral estimation and uncertainty region (PSEUR) of the interference plus noise (IPN) components. In particular, two algorithms are presented to find the angular sector of interference in every snapshot based on the adopted spatial uncertainty region of th…
▽ More
In this work, a simple and effective robust adaptive beamforming technique is proposed for uniform linear arrays, which is based on the power spectral estimation and uncertainty region (PSEUR) of the interference plus noise (IPN) components. In particular, two algorithms are presented to find the angular sector of interference in every snapshot based on the adopted spatial uncertainty region of the interference direction. Moreover, a power spectrum is introduced based on the estimation of the power of interference and noise components, which allows the development of a robust approach to IPN covariance matrix reconstruction. The proposed method has two main advantages. First, an angular region that contains the interference direction is updated based on the statistics of the array data. Secondly, the proposed IPN-PSEUR method avoids estimating the power spectrum of the whole range of possible directions of the interference sector. Simulation results show that the performance of the proposed IPN-PSEUR beamformer is almost always close to the optimal value across a wide range of signal-to-noise ratios.
△ Less
Submitted 18 March, 2023;
originally announced April 2023.
-
Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity
Authors:
Will Stafford,
Victor Nascimento
Abstract:
Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that proof-theoretic validity is not even closed under substitution. In this paper, we make a minor modification to the definition of proof-theoretic validity found in Prawitz (1973) and refined by Schroeder-Heister (2006). We…
▽ More
Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that proof-theoretic validity is not even closed under substitution. In this paper, we make a minor modification to the definition of proof-theoretic validity found in Prawitz (1973) and refined by Schroeder-Heister (2006). We will call the new notion generalised proof-theoretic validity and show that the logic of generalised proof-theoretic validity is intuitionistic logic.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
Combining Attention Module and Pixel Shuffle for License Plate Super-Resolution
Authors:
Valfride Nascimento,
Rayson Laroca,
Jorge de A. Lambert,
William Robson Schwartz,
David Menotti
Abstract:
The License Plate Recognition (LPR) field has made impressive advances in the last decade due to novel deep learning approaches combined with the increased availability of training data. However, it still has some open issues, especially when the data come from low-resolution (LR) and low-quality images/videos, as in surveillance systems. This work focuses on license plate (LP) reconstruction in L…
▽ More
The License Plate Recognition (LPR) field has made impressive advances in the last decade due to novel deep learning approaches combined with the increased availability of training data. However, it still has some open issues, especially when the data come from low-resolution (LR) and low-quality images/videos, as in surveillance systems. This work focuses on license plate (LP) reconstruction in LR and low-quality images. We present a Single-Image Super-Resolution (SISR) approach that extends the attention/transformer module concept by exploiting the capabilities of PixelShuffle layers and that has an improved loss function based on LPR predictions. For training the proposed architecture, we use synthetic images generated by applying heavy Gaussian noise in terms of Structural Similarity Index Measure (SSIM) to the original high-resolution (HR) images. In our experiments, the proposed method outperformed the baselines both quantitatively and qualitatively. The datasets we created for this work are publicly available to the research community at https://github.com/valfride/lpr-rsr/
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Evaluating the effects of reducing voltage margins for energy-efficient operation of MPSoCs
Authors:
Diego V. Cirilo do Nascimento,
Kyriakos Georgiou,
Kerstin I. Eder,
Samuel Xavier-de-Souza
Abstract:
Voltage margins, or guardbands, are imposed on DVFS systems to account for process, voltage, and temperature variability effects. While necessary to assure correctness, guardbands reduce energy efficiency, a crucial requirement for embedded systems. The literature shows that error detection techniques can be used to maintain the system's reliability while reducing or eliminating the guardbands. Th…
▽ More
Voltage margins, or guardbands, are imposed on DVFS systems to account for process, voltage, and temperature variability effects. While necessary to assure correctness, guardbands reduce energy efficiency, a crucial requirement for embedded systems. The literature shows that error detection techniques can be used to maintain the system's reliability while reducing or eliminating the guardbands. This letter assesses the practically available margins of a commercial RISC-V MPSoC while violating its guardband limits. The primary motivation of this work is to support the development of an efficient system leveraging the redundancy of multicore architectures for an error detection and correction scheme capable of mitigating the errors caused by aggressive voltage margin reduction. For an equivalent performance, we achieved up to 27\% energy reduction while violating the manufacturer's defined guardband, leaving reasonable energy margins for further development.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
AILS-II: An Adaptive Iterated Local Search Heuristic for the Large-scale Capacitated Vehicle Routing Problem
Authors:
Vinícius R. Máximo,
Jean-François Cordeau,
Mariá C. V. Nascimento
Abstract:
A recent study on the classical Capacitated Vehicle Routing Problem (CVRP) introduced an adaptive version of the widely used Iterated Local Search (ILS) paradigm, hybridized with a path-relinking strategy (PR). The solution method, called AILS-PR, outperformed existing meta-heuristics for the CVRP on benchmark instances. However, tests on large-scale instances of the CVRP suggested that PR was too…
▽ More
A recent study on the classical Capacitated Vehicle Routing Problem (CVRP) introduced an adaptive version of the widely used Iterated Local Search (ILS) paradigm, hybridized with a path-relinking strategy (PR). The solution method, called AILS-PR, outperformed existing meta-heuristics for the CVRP on benchmark instances. However, tests on large-scale instances of the CVRP suggested that PR was too slow, making AILS-PR less advantageous in this case. To overcome this challenge, this paper presents an Adaptive Iterated Local Search (AILS) with two phases in its search process. Both phases include the perturbation and local search steps of ILS. The main difference between them is that the reference solution in the first phase is found by the acceptance criterion, while in the second phase it is selected from a pool of the best solutions found in the search process, the so-called elite set. This algorithm, called AILS-II, is very competitive on smaller instances, outperforming the other methods from the literature with respect to the average gap to the best known solutions. Moreover, AILS-II consistently outperformed the state of the art on larger instances with up to 30,000 vertices.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Operation of an ambulance fleet under uncertainty
Authors:
Vincent Guigues,
Anton Kleywegt,
Victor Hugo Nascimento
Abstract:
We introduce two new optimization models for the dispatch of ambulances. The first model, called the ambulance selection problem, is used when an emergency call arrives to decide whether an ambulance should be dispatched for that call, and if so, which ambulance should be dispatched, or whether the request should be put in a queue of waiting requests. The second model, called the ambulance reassig…
▽ More
We introduce two new optimization models for the dispatch of ambulances. The first model, called the ambulance selection problem, is used when an emergency call arrives to decide whether an ambulance should be dispatched for that call, and if so, which ambulance should be dispatched, or whether the request should be put in a queue of waiting requests. The second model, called the ambulance reassignment problem, is used when an ambulance finishes its current task to decide whether the ambulance should be dispatched to a request waiting in queue, and if so, which request, or whether the ambulance should be dispatched to an ambulance staging location, and if so, which ambulance staging location. These decisions affect not only the emergency call and ambulance under consideration, but also the ability of the ambulance fleet to service future calls. There is uncertainty regarding the locations, arrival times, and types of future calls. We propose a rolling horizon approach that combines the current decisions to be made as first-stage decisions with second-stage models that represent the ability of the ambulance fleet to service future calls. The second-stage optimization problems can be formulated as large-scale deterministic integer linear programs. We propose a column generation algorithm to solve the continuous relaxation of these second-stage problems. The optimal objective values of these second-stage continuous relaxations are used to make approximately optimal first-stage decisions. We compare our resulting dispatch policy with popular decision rules for Rio de Janeiro emergency medical service, based on data of more than 2 years of emergency calls for that service. These tests show that our proposed policy results in smaller response times than the popular decision rules.
△ Less
Submitted 8 November, 2023; v1 submitted 30 March, 2022;
originally announced March 2022.
-
Community-based anomaly detection using spectral graph filtering
Authors:
Rodrigo Francisquini,
Ana Carolina Lorena,
Mariá C. V. Nascimento
Abstract:
Several applications have a community structure where the nodes of the same community share similar attributes. Anomaly or outlier detection in networks is a relevant and widely studied research topic with applications in various domains. Despite a significant amount of anomaly detection frameworks, there is a dearth on the literature of methods that consider both attributed graphs and the communi…
▽ More
Several applications have a community structure where the nodes of the same community share similar attributes. Anomaly or outlier detection in networks is a relevant and widely studied research topic with applications in various domains. Despite a significant amount of anomaly detection frameworks, there is a dearth on the literature of methods that consider both attributed graphs and the community structure of the networks. This paper proposes a community-based anomaly detection algorithm using a spectral graph-based filter that includes the network community structure into the Laplacian matrix adopted as the basis for the Fourier transform. In addition, the choice of the cutoff frequency of the filter considers the number of communities found. In computational experiments, the proposed strategy, called SpecF, showed an outstanding performance in successfully identifying even discrete anomalies. SpecF is better than a baseline disregarding the community structure, especially for networks with a higher community overlap**. Additionally, we present a case study to validate the proposed method to study the dissemination of COVID-19 in the different districts of São José dos Campos, Brazil.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
Combinations of Adaptive Filters
Authors:
Jerónimo Arenas-García,
Luis A. Azpicueta-Ruiz,
Magno T. M. Silva,
Vitor H. Nascimento,
Ali H. Sayed
Abstract:
Adaptive filters are at the core of many signal processing applications, ranging from acoustic noise supression to echo cancelation, array beamforming, channel equalization, to more recent sensor network applications in surveillance, target localization, and tracking. A trending approach in this direction is to recur to in-network distributed processing in which individual nodes implement adaptati…
▽ More
Adaptive filters are at the core of many signal processing applications, ranging from acoustic noise supression to echo cancelation, array beamforming, channel equalization, to more recent sensor network applications in surveillance, target localization, and tracking. A trending approach in this direction is to recur to in-network distributed processing in which individual nodes implement adaptation rules and diffuse their estimation to the network.
When the a priori knowledge about the filtering scenario is limited or imprecise, selecting the most adequate filter structure and adjusting its parameters becomes a challenging task, and erroneous choices can lead to inadequate performance. To address this difficulty, one useful approach is to rely on combinations of adaptive structures.
The combination of adaptive filters exploits to some extent the same divide and conquer principle that has also been successfully exploited by the machine-learning community (e.g., in bagging or boosting). In particular, the problem of combining the outputs of several learning algorithms (mixture of experts) has been studied in the computational learning field under a different perspective: rather than studying the expected performance of the mixture, deterministic bounds are derived that apply to individual sequences and, therefore, reflect worst-case scenarios. These bounds require assumptions different from the ones typically used in adaptive filtering, which is the emphasis of this overview article. We review the key ideas and principles behind these combination schemes, with emphasis on design rules. We also illustrate their performance with a variety of examples.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
An Adaptive Iterated Local Search Heuristic for the Heterogeneous Fleet Vehicle Routing Problem
Authors:
Vinícius R. Máximo,
Jean-François Cordeau,
Mariá C. V. Nascimento
Abstract:
The Heterogeneous Fleet Vehicle Routing Problem (HFVRP) is an important variant of the classical Capacitated Vehicle Routing Problem (CVRP) that aims to find routes that minimize the total traveling cost of a heterogeneous fleet of vehicles. This problem is of great interest given its importance in many industrial and commercial applications. In this paper, we present an Adaptive Iterated Local Se…
▽ More
The Heterogeneous Fleet Vehicle Routing Problem (HFVRP) is an important variant of the classical Capacitated Vehicle Routing Problem (CVRP) that aims to find routes that minimize the total traveling cost of a heterogeneous fleet of vehicles. This problem is of great interest given its importance in many industrial and commercial applications. In this paper, we present an Adaptive Iterated Local Search (AILS) heuristic for the HFVRP. AILS is a local search-based meta-heuristic that achieved good results for the CVRP. The main characteristic of AILS is its adaptive behavior that allows the adjustment of the diversity control of the solutions explored during the search process. The proposed AILS for the HFVRP was tested on benchmark instances containing up to 360 customers. The results of computational experiments indicate that AILS outperformed state-of-the-art metaheuristics on 87\% of the instances.
△ Less
Submitted 24 November, 2021;
originally announced November 2021.
-
Study of Robust Adaptive Beamforming Based on Low-Complexity DFT Spatial Sampling
Authors:
Saeed Mohammadzadeh,
Vitor H. Nascimento,
Rodrigo C. de Lamare,
Osman Kukrer
Abstract:
In this paper, a novel and robust algorithm is proposed for adaptive beamforming based on the idea of reconstructing the autocorrelation sequence (ACS) of a random process from a set of measured data. This is obtained from the first column and the first row of the sample covariance matrix (SCM) after averaging along its diagonals. Then, the power spectrum of the correlation sequence is estimated u…
▽ More
In this paper, a novel and robust algorithm is proposed for adaptive beamforming based on the idea of reconstructing the autocorrelation sequence (ACS) of a random process from a set of measured data. This is obtained from the first column and the first row of the sample covariance matrix (SCM) after averaging along its diagonals. Then, the power spectrum of the correlation sequence is estimated using the discrete Fourier transform (DFT). The DFT coefficients corresponding to the angles within the noise-plus-interference region are used to reconstruct the noise-plus-interference covariance matrix (NPICM), while the desired signal covariance matrix (DSCM) is estimated by identifying and removing the noise-plus-interference component from the SCM. In particular, the spatial power spectrum of the estimated received signal is utilized to compute the correlation sequence corresponding to the noise-plus-interference in which the dominant DFT coefficient of the noise-plus-interference is captured. A key advantage of the proposed adaptive beamforming is that only little prior information is required. Specifically, an imprecise knowledge of the array geometry and of the angular sectors in which the interferences are located is needed. Simulation results demonstrate that compared with previous reconstruction-based beamformers, the proposed approach can achieve better overall performance in the case of multiple mismatches over a very large range of input signal-to-noise ratios.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
Meteorological and human mobility data on predicting COVID-19 cases by a novel hybrid decomposition method with anomaly detection analysis: a case study in the capitals of Brazil
Authors:
Tiago Tiburcio da Silva,
Rodrigo Francisquini,
Mariá C. V. Nascimento
Abstract:
In 2020, Brazil was the leading country in COVID-19 cases in Latin America, and capital cities were the most severely affected by the outbreak. Climates vary in Brazil due to the territorial extension of the country, its relief, geography, and other factors. Since the most common COVID-19 symptoms are related to the respiratory system, many researchers have studied the correlation between the numb…
▽ More
In 2020, Brazil was the leading country in COVID-19 cases in Latin America, and capital cities were the most severely affected by the outbreak. Climates vary in Brazil due to the territorial extension of the country, its relief, geography, and other factors. Since the most common COVID-19 symptoms are related to the respiratory system, many researchers have studied the correlation between the number of COVID-19 cases with meteorological variables like temperature, humidity, rainfall, etc. Also, due to its high transmission rate, some researchers have analyzed the impact of human mobility on the dynamics of COVID-19 transmission. There is a dearth of literature that considers these two variables when predicting the spread of COVID-19 cases. In this paper, we analyzed the correlation between the number of COVID-19 cases and human mobility, and meteorological data in Brazilian capitals. We found that the correlation between such variables depends on the regions where the cities are located. We employed the variables with a significant correlation with COVID-19 cases to predict the number of COVID-19 infections in all Brazilian capitals and proposed a prediction method combining the Ensemble Empirical Mode Decomposition (EEMD) method with the Autoregressive Integrated Moving Average Exogenous inputs (ARIMAX) method, which we called EEMD-ARIMAX. After analyzing the results poor predictions were further investigated using a signal processing-based anomaly detection method. Computational tests showed that EEMD-ARIMAX achieved a forecast 26.73% better than ARIMAX. Moreover, an improvement of 30.69% in the average root mean squared error (RMSE) was noticed when applying the EEMD-ARIMAX method to the data normalized after the anomaly detection.
△ Less
Submitted 9 May, 2021;
originally announced May 2021.
-
Energy-Efficient Distributed Learning Algorithms for Coarsely Quantized Signals
Authors:
A. Danaee,
R. C. de Lamare,
V. H. Nascimento
Abstract:
In this work, we present an energy-efficient distributed learning framework using low-resolution ADCs and coarsely quantized signals for Internet of Things (IoT) networks. In particular, we develop a distributed quantization-aware least-mean square (DQA-LMS) algorithm that can learn parameters in an energy-efficient fashion using signals quantized with few bits while requiring a low computational…
▽ More
In this work, we present an energy-efficient distributed learning framework using low-resolution ADCs and coarsely quantized signals for Internet of Things (IoT) networks. In particular, we develop a distributed quantization-aware least-mean square (DQA-LMS) algorithm that can learn parameters in an energy-efficient fashion using signals quantized with few bits while requiring a low computational cost. We also carry out a statistical analysis of the proposed DQA-LMS algorithm that includes a stability condition. Simulations assess the DQA-LMS algorithm against existing techniques for a distributed parameter estimation task where IoT devices operate in a peer-to-peer mode and demonstrate the effectiveness of the DQA-LMS algorithm.
△ Less
Submitted 12 January, 2021;
originally announced January 2021.
-
Hybrid matheuristics to solve the integrated lot sizing and scheduling problem on parallel machines with sequence-dependent and non-triangular setup
Authors:
Desiree M. Carvalho,
Mariá C. V. Nascimento
Abstract:
This paper approaches the integrated lot sizing and scheduling problem (ILSSP), in which non-identical machines work in parallel with non-triangular sequence-dependent setup costs and times, setup carry-over and capacity limitation. The aim of the studied ILSSP, here called ILSSP-NT on parallel machines, is to determine a production planning and tasks sequencing that meet period demands without de…
▽ More
This paper approaches the integrated lot sizing and scheduling problem (ILSSP), in which non-identical machines work in parallel with non-triangular sequence-dependent setup costs and times, setup carry-over and capacity limitation. The aim of the studied ILSSP, here called ILSSP-NT on parallel machines, is to determine a production planning and tasks sequencing that meet period demands without delay and in such a way that the total costs of production, machine setup and inventory are minimized. The dearth of literature on the ILSSP-NT, despite the increasing amount of applications in the industrial sector, mainly in the food processing industry, motivated us to conduct this study. In this paper, we propose efficient methods to solve the ILSSP-NT on parallel machines. The methods virtually consist in the hybridization of the relax-and-fix and fix-and-optimize methods with the path-relinking and kernel search heuristics. To assess how well the heuristics solve the ILSSP-NT on parallel machines, we compared their results with those of the CPLEX solver with a fixed CPU time limit. The proposed matheuristics significantly outperformed CPLEX in most of the tested instances.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Low-Cost Maximum Entropy Covariance Matrix Reconstruction Algorithm for Robust Adaptive Beamforming
Authors:
S. Mohammadzadeh,
V. H. Nascimento,
R. C. de Lamare
Abstract:
In this letter, we present a novel low-complexity adaptive beamforming technique using a stochastic gradient algorithm to avoid matrix inversions. The proposed method exploits algorithms based on the maximum entropy power spectrum (MEPS) to estimate the noise-plus-interference covariance matrix (MEPS-NPIC) so that the beamforming weights are updated adaptively, thus greatly reducing the computatio…
▽ More
In this letter, we present a novel low-complexity adaptive beamforming technique using a stochastic gradient algorithm to avoid matrix inversions. The proposed method exploits algorithms based on the maximum entropy power spectrum (MEPS) to estimate the noise-plus-interference covariance matrix (MEPS-NPIC) so that the beamforming weights are updated adaptively, thus greatly reducing the computational complexity. MEPS is further used to reconstruct the desired signal covariance matrix and to improve the estimate of the desired signals's steering vector (SV). Simulations show the superiority of the proposed MEPS-NPIC approach over previously proposed beamformers.
△ Less
Submitted 28 December, 2020;
originally announced December 2020.
-
A hybrid adaptive Iterated Local Search with diversification control to the Capacitated Vehicle Routing Problem
Authors:
Vinícius R. Máximo,
Mariá C. V. Nascimento
Abstract:
Metaheuristics are widely employed to solve hard optimization problems, like vehicle routing problems (VRP), for which exact solution methods are impractical. In particular, local search-based metaheuristics have been successfully applied to the capacitated VRP (CVRP). The CVRP aims at defining the minimum-cost delivery routes for a given set of identical vehicles since each vehicle only travels o…
▽ More
Metaheuristics are widely employed to solve hard optimization problems, like vehicle routing problems (VRP), for which exact solution methods are impractical. In particular, local search-based metaheuristics have been successfully applied to the capacitated VRP (CVRP). The CVRP aims at defining the minimum-cost delivery routes for a given set of identical vehicles since each vehicle only travels one route and there is a single (central) depot. The best metaheuristics to the CVRP avoid getting stuck in local optima by embedding specific hill-climbing mechanisms such as diversification strategies into the solution methods. This paper introduces a hybridization of a novel adaptive version of Iterated Local Search with Path-Relinking (AILS-PR) to the CVRP. The major contribution of this paper is an automatic mechanism to control the diversity step of the metaheuristic to allow it to escape from local optima. The results of experiments with 100 benchmark CVPR instances show that AILS-PR outperformed the state-of-the-art CVRP metaheuristics.
△ Less
Submitted 20 December, 2020;
originally announced December 2020.
-
Study of Energy-Efficient Distributed RLS-based Learning with Coarsely Quantized Signals
Authors:
A. Danaee,
R. C. de Lamare,
V. H. Nascimento
Abstract:
In this work, we present an energy-efficient distributed learning framework using coarsely quantized signals for Internet of Things (IoT) networks. In particular, we develop a distributed quantization-aware recursive least squares (DQA-RLS) algorithm that can learn parameters in an energy-efficient fashion using signals quantized with few bits while requiring a low computational cost. Numerical re…
▽ More
In this work, we present an energy-efficient distributed learning framework using coarsely quantized signals for Internet of Things (IoT) networks. In particular, we develop a distributed quantization-aware recursive least squares (DQA-RLS) algorithm that can learn parameters in an energy-efficient fashion using signals quantized with few bits while requiring a low computational cost. Numerical results assess the DQA-RLS algorithm against existing techniques for a distributed parameter estimation task where IoT devices operate in a peer-to-peer mode.
△ Less
Submitted 20 December, 2020;
originally announced December 2020.
-
An OpenMP translator for the GAP8 MPSoC
Authors:
Reinaldo Agostinho de Souza Filho,
Diego V. Cirilo do Nascimento,
Samuel Xavier-de-Souza
Abstract:
One of the barriers to the adoption of parallel computing is the inherent complexity of its programming. The Open Multi-Processing (OpenMP) Application Programming Interface (API) facilitates such implementations, providing high abstraction level directives. On another front, new architectures aimed at low energy consumption have been developed, such as the Greenwaves Technologies GAP8, a Multi-Pr…
▽ More
One of the barriers to the adoption of parallel computing is the inherent complexity of its programming. The Open Multi-Processing (OpenMP) Application Programming Interface (API) facilitates such implementations, providing high abstraction level directives. On another front, new architectures aimed at low energy consumption have been developed, such as the Greenwaves Technologies GAP8, a Multi-Processor System-on-Chip (MPSoC) based on the Parallel Ultra Low Power (PULP) Platform. The GAP8 has an 8-core cluster and a Fabric Controller(FC) master core. Parallel programming with GAP8 is very promising on the efficiency side, but its recent development and lack of a robust OS to handle threads and core scheduling complicate a simple implementation of the OpenMP APIs. This project implements a source to source translator that interprets a limited set of OpenMP directives, and is capable of generating parallel microcontroller code manipulating the cores directly. The preliminary results obtained in this work shows a reduction of the code size, if compared with the base implementation, proving the efficiency of the project to ease the programming of the GAP8. Further work is need in order to implement more OpenMP directives.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
Transfer Learning for Brain Tumor Segmentation
Authors:
Jonas Wacker,
Marcelo Ladeira,
José Eduardo Vaz Nascimento
Abstract:
Gliomas are the most common malignant brain tumors that are treated with chemoradiotherapy and surgery. Magnetic Resonance Imaging (MRI) is used by radiotherapists to manually segment brain lesions and to observe their development throughout the therapy. The manual image segmentation process is time-consuming and results tend to vary among different human raters. Therefore, there is a substantial…
▽ More
Gliomas are the most common malignant brain tumors that are treated with chemoradiotherapy and surgery. Magnetic Resonance Imaging (MRI) is used by radiotherapists to manually segment brain lesions and to observe their development throughout the therapy. The manual image segmentation process is time-consuming and results tend to vary among different human raters. Therefore, there is a substantial demand for automatic image segmentation algorithms that produce a reliable and accurate segmentation of various brain tissue types. Recent advances in deep learning have led to convolutional neural network architectures that excel at various visual recognition tasks. They have been successfully applied to the medical context including medical image segmentation. In particular, fully convolutional networks (FCNs) such as the U-Net produce state-of-the-art results in the automatic segmentation of brain tumors. MRI brain scans are volumetric and exist in various co-registered modalities that serve as input channels for these FCN architectures. Training algorithms for brain tumor segmentation on this complex input requires large amounts of computational resources and is prone to overfitting. In this work, we construct FCNs with pretrained convolutional encoders. We show that we can stabilize the training process this way and achieve an improvement with respect to dice scores and Hausdorff distances. We also test our method on a privately obtained clinical dataset.
△ Less
Submitted 26 November, 2020; v1 submitted 28 December, 2019;
originally announced December 2019.
-
An efficient Lagrangian-based heuristic to solve a multi-objective sustainable supply chain problem
Authors:
Camila P. S. Tautenhain,
Ana Paula Barbosa-Povoa,
Bruna Mota,
Mariá C. V. Nascimento
Abstract:
Sustainable Supply Chain (SSC) management aims at integrating economic, environmental and social goals to assist in the long-term planning of a company and its supply chains. There is no consensus in the literature as to whether social and environmental responsibilities are profit-compatible. However, the conflicting nature of these goals is explicit when considering specific assessment measures a…
▽ More
Sustainable Supply Chain (SSC) management aims at integrating economic, environmental and social goals to assist in the long-term planning of a company and its supply chains. There is no consensus in the literature as to whether social and environmental responsibilities are profit-compatible. However, the conflicting nature of these goals is explicit when considering specific assessment measures and, in this scenario, multi-objective optimization is a way to represent problems that simultaneously optimize the goals. This paper proposes a Lagrangian matheuristic method, called $AugMathLagr$, to solve a hard and relevant multi-objective problem found in the literature. $AugMathLagr$ was extensively tested using artificial instances defined by a generator presented in this paper. The results show a competitive performance of $AugMathLagr$ when compared with an exact multi-objective method limited by time and a matheuristic recently proposed in the literature and adapted here to address the studied problem. In addition, computational results on a case study are presented and analyzed, and demonstrate the outstanding performance of $AugMathLagr$.
△ Less
Submitted 7 January, 2021; v1 submitted 14 June, 2019;
originally announced June 2019.
-
An analysis of community structure in Brazilian political topic-based Twitter networks
Authors:
Camila P. S. Tautenhain,
Rodrigo Francisquini,
Mariá C. V. Nascimento
Abstract:
Online social networks such as Twitter are important platforms for spreading public opinion on a variety of subjects. The classification of users through the analysis of their posts on Twitter according to their opinion sharing can help marketing ads and political campaigns to focus on specific user groups. Community detection-based techniques are specially useful to classify Twitter users, as the…
▽ More
Online social networks such as Twitter are important platforms for spreading public opinion on a variety of subjects. The classification of users through the analysis of their posts on Twitter according to their opinion sharing can help marketing ads and political campaigns to focus on specific user groups. Community detection-based techniques are specially useful to classify Twitter users, as they do not require rule-based methods or labeled data to perform the clustering task. In this paper, we constructed networks using data related to political discussions in Brazil extracted from Twitter. We show that (i) these networks follow the power-law distribution, indicating that a few popular users are responsible for most of the "mentions" and "retweets"; (ii) the most popular tweets are viral and spread across the communities whereas most of the remaining tweets are trapped in the communities where they originated; and (iii) words associated with positive sentiments are predominant in network communities related to the Brazilian presidential elections and appear in viral tweets.
△ Less
Submitted 14 June, 2019;
originally announced June 2019.
-
An ensemble based on a bi-objective evolutionary spectral algorithm for graph clustering
Authors:
Camila P. S. Tautenhain,
Mariá C. V. Nascimento
Abstract:
Graph clustering is a challenging pattern recognition problem whose goal is to identify vertex partitions with high intra-group connectivity. This paper investigates a bi-objective problem that maximizes the number of intra-cluster edges of a graph and minimizes the expected number of inter-cluster edges in a random graph with the same degree sequence as the original one. The difference between th…
▽ More
Graph clustering is a challenging pattern recognition problem whose goal is to identify vertex partitions with high intra-group connectivity. This paper investigates a bi-objective problem that maximizes the number of intra-cluster edges of a graph and minimizes the expected number of inter-cluster edges in a random graph with the same degree sequence as the original one. The difference between the two investigated objectives is the definition of the well-known measure of graph clustering quality: the modularity. We introduce a spectral decomposition hybridized with an evolutionary heuristic, called MOSpecG, to approach this bi-objective problem and an ensemble strategy to consolidate the solutions found by MOSpecG into a final robust partition. The results of computational experiments with real and artificial LFR networks demonstrated a significant improvement in the results and performance of the introduced method in regard to another bi-objective algorithm found in the literature. The crossover operator based on the geometric interpretation of the modularity maximization problem to match the communities of a pair of individuals was of utmost importance for the good performance of MOSpecG. Hybridizing spectral graph theory and intelligent systems allowed us to define significantly high-quality community structures.
△ Less
Submitted 8 September, 2019; v1 submitted 8 October, 2018;
originally announced October 2018.
-
Hidden Phases Revealed at the Surface of Double-Layered Sr3(Ru1-xMnx)2O7
Authors:
Chen Chen,
Jisun Kim,
V. B. Nascimento,
Zhenyu Diao,
**g Teng,
Biao Hu,
Guorong Li,
Fangyang Liu,
Jiandi Zhang,
Rongying **,
E. W. Plummer
Abstract:
Double-layered Sr3Ru2O7 has received phenomenal consideration because it exhibits a plethora of exotic phases when perturbed. New phases emerge with the application of pressure, magnetic field, or do**. Here we show that creating a surface is an alternative and effective way to reveal hidden phases that are different from those seen in the bulk by investigating the surface properties of Sr3(Ru1-…
▽ More
Double-layered Sr3Ru2O7 has received phenomenal consideration because it exhibits a plethora of exotic phases when perturbed. New phases emerge with the application of pressure, magnetic field, or do**. Here we show that creating a surface is an alternative and effective way to reveal hidden phases that are different from those seen in the bulk by investigating the surface properties of Sr3(Ru1-xMnx)2O7. Driven by the tilt distortion of RuO6 octahedra, the surface of Sr3Ru2O7 is less metallic than the bulk. In contrast, because of the vanishing of tilt and enhanced rotation with Mn-do**, the surface of Sr3(Ru0.84Mn0.16)2O7 is metallic while the bulk is insulating. Our result demonstrates that the electronic and structural properties at the surface are intimately coupled and consistent with quasi two-dimensional character.
△ Less
Submitted 5 August, 2016;
originally announced August 2016.
-
Low-Complexity Quaternion Adaptive Filters
Authors:
Fernando G. Almeida Neto,
Vítor H. Nascimento
Abstract:
A general representation of the quaternion gradients presented in the literature is proposed, and an universal update equation for QLMS-like algorithms is obtained. The general update law is used to study the convergence of widely linear (WL) algorithms. It is proved that techniques obtained with a gradient similar to the i-gradient are the fastest-converging in two situations: 1) When the correla…
▽ More
A general representation of the quaternion gradients presented in the literature is proposed, and an universal update equation for QLMS-like algorithms is obtained. The general update law is used to study the convergence of widely linear (WL) algorithms. It is proved that techniques obtained with a gradient similar to the i-gradient are the fastest-converging in two situations: 1) When the correlation matrix contains elements only in 2 axis (1 and $i$, for instance), and 2) When the algorithms use a real data vector, obtained staking up the real and imaginary parts of the original quaternion input vector. The general update law is also used to study the convergence of WL-QLMS-based algorithms, and an accurate second-order model is developed for quaternion algorithms using real-data input. Based on the proposed analysis, we obtain the fastest-converging WL-QLMS algorithm with real-regressor vector, which is also less costly than the reduced-complexity WL-QLMS (RC-WL-QLMS) algorithm proposed in our previous work. It is shown that the new method corresponds to the four-channel LMS algorithm written in the quaternion domain, and that they have the same computational complexity. Simulations illustrate the performance of the new technique and the accuracy of the analysis.
△ Less
Submitted 10 October, 2014;
originally announced October 2014.
-
Joint Model-Order and Step-Size Adaptation using Convex Combinations of Adaptive Reduced-Rank Filters
Authors:
Rodrigo C. de Lamare,
Vitor H. Nascimento
Abstract:
In this work we propose schemes for joint model-order and step-size adaptation of reduced-rank adaptive filters. The proposed schemes employ reduced-rank adaptive filters in parallel operating with different orders and step sizes, which are exploited by convex combination strategies. The reduced-rank adaptive filters used in the proposed schemes are based on a joint and iterative decimation and in…
▽ More
In this work we propose schemes for joint model-order and step-size adaptation of reduced-rank adaptive filters. The proposed schemes employ reduced-rank adaptive filters in parallel operating with different orders and step sizes, which are exploited by convex combination strategies. The reduced-rank adaptive filters used in the proposed schemes are based on a joint and iterative decimation and interpolation (JIDF) method recently proposed. The unique feature of the JIDF method is that it can substantially reduce the number of coefficients for adaptation, thereby making feasible the use of multiple reduced-rank filters in parallel. We investigate the performance of the proposed schemes in an interference suppression application for CDMA systems. Simulation results show that the proposed schemes can significantly improve the performance of the existing reduced-rank adaptive filters based on the JIDF method.
△ Less
Submitted 16 May, 2013;
originally announced May 2013.
-
What can we expect of the heat in a thin plate ?
Authors:
Vanderlei Marcos do Nascimento,
Ricardo Parreira da Silva
Abstract:
We illustrate, with a simple example of domain perturbation problem, how Linear Algebra can be applied to determine the behavior of a family of partial differential equations posed in a thin rectangular domain. (In portuguese)
We illustrate, with a simple example of domain perturbation problem, how Linear Algebra can be applied to determine the behavior of a family of partial differential equations posed in a thin rectangular domain. (In portuguese)
△ Less
Submitted 25 November, 2011; v1 submitted 27 March, 2011;
originally announced March 2011.
-
Surface and Bulk Structural Properties of Single Crystalline Sr3Ru2O7
Authors:
Biao Hu,
Gregory T. McCandless,
Melissa Menard,
V. B. Nascimento,
Julia Y. Chan,
E. W. Plummer,
R. **
Abstract:
We report temperature and thermal-cycling dependence of surface and bulk structures of double-layered perovskite Sr3Ru2O7 single crystals. The surface and bulk structures were investigated using low-energy electron diffraction (LEED) and single-crystal X-ray diffraction (XRD) techniques, respectively. Single-crystal XRD data is in good agreement with previous reports for the bulk structure with Ru…
▽ More
We report temperature and thermal-cycling dependence of surface and bulk structures of double-layered perovskite Sr3Ru2O7 single crystals. The surface and bulk structures were investigated using low-energy electron diffraction (LEED) and single-crystal X-ray diffraction (XRD) techniques, respectively. Single-crystal XRD data is in good agreement with previous reports for the bulk structure with RuO6 octahedral rotation, which increases with decreasing temperature (~ 6.7(6)degrees at 300 K and ~ 8.1(2) degrees at 90 K). LEED results reveal that the octahedra at the surface are much more distorted with a higher rotation angle (~ 12 degrees between 300 and 80 K) and a slight tilt ((4.5\pm2.5) degrees at 300 K and (2.5\pm1.7) degrees at 80 K). While XRD data confirms temperature dependence of the unit cell height/width ratio (i.e. lattice parameter c divided by the average of parameters a and b) found in a prior neutron powder diffraction investigation, both bulk and surface structures display little change with thermal cycles between 300 and 80 K.
△ Less
Submitted 26 March, 2010;
originally announced March 2010.
-
Unveiling the Atomic and Electronic Structure at the Surface of the Parent Pnictide SrFe2As2
Authors:
F. C. Niestemski,
Von Braun Nascimento,
Biao Hu,
Ward Plummer,
J. Gillett,
Suchitra Sebastian,
Ziqiang Wang,
V. Madhavan
Abstract:
The parent compounds of the recently discovered iron-arsenic (pnictide) high temperature superconductors transition into an intriguing spin density wave (SDW) phase at low temperatures. Progress in understanding this SDW state has been complicated by a complex band structure and by the fact that the spin, electronic, and structural degrees of freedom are closely intertwined in these compounds. S…
▽ More
The parent compounds of the recently discovered iron-arsenic (pnictide) high temperature superconductors transition into an intriguing spin density wave (SDW) phase at low temperatures. Progress in understanding this SDW state has been complicated by a complex band structure and by the fact that the spin, electronic, and structural degrees of freedom are closely intertwined in these compounds. Scanning tunneling microscopy (STM) measurements have added to this complexity by revealing different topographies with no consensus on the surface structure. In this paper, we use a combination of high-resolution STM imaging and spectroscopy, and low energy electron diffraction (LEED) to determine the atomic and electronic structure of the parent pnictide SrFe2As2. Our data present a compelling picture of the existence of two coexisting homotopic structures on the surface. Based on this, we construct a simple model for the surface, which offers an explanation of the two classes of topographies seen by STM. STM spectroscopy shows that while the high energy density of states (DOS) profile is consistent with the Fe 3d and As 4p-electrons predicted by LDA it is in better agreement with calculations that include electron correlations beyond LDA. Importantly, we find a gap of ~15 meV in the low energy density of states on both structures which may be linked with the SDW or the observed surface reconstruction.
△ Less
Submitted 15 June, 2009;
originally announced June 2009.
-
Surface Geometric and Electronic Structure of BaFe2As2(001)
Authors:
V. B. Nascimento,
Ang Li,
Dilushan R. Jayasundara,
Yi Xuan,
Jared O'Neal,
Shuheng Pan,
T. Y. Chien,
Biao Hu,
X. B. He,
Guorong Li,
A. S. Sefat,
M. A. McGuire,
B. C. Sales,
D. Mandrus,
M. H. Pan,
Jiandi Zhang,
R. **,
E. W. Plummer
Abstract:
BaFe2As2 exhibits properties characteristic of the parent compounds of the newly discovered iron (Fe)-based high-TC superconductors. By combining the real space imaging of scanning tunneling microscopy/spectroscopy (STM/S) with momentum space quantitative Low Energy Electron Diffraction (LEED) we have identified the surface plane of cleaved BaFe2As2 crystals as the As terminated Fe-As layer - th…
▽ More
BaFe2As2 exhibits properties characteristic of the parent compounds of the newly discovered iron (Fe)-based high-TC superconductors. By combining the real space imaging of scanning tunneling microscopy/spectroscopy (STM/S) with momentum space quantitative Low Energy Electron Diffraction (LEED) we have identified the surface plane of cleaved BaFe2As2 crystals as the As terminated Fe-As layer - the plane where superconductivity occurs. LEED and STM/S data on the BaFe2As2(001) surface indicate an ordered arsenic (As) - terminated metallic surface without reconstruction or lattice distortion. It is surprising that the STM images the different Fe-As orbitals associated with the orthorhombic structure, not the As atoms in the surface plane.
△ Less
Submitted 19 May, 2009;
originally announced May 2009.
-
Manifestations of Broken Symmetry: The Surface Phases of Ca(2-x)Sr(x)RuO4
Authors:
R. G. Moore,
V. B. Nascimento,
Jiandi Zhang,
J. Rundgren,
R. **,
D. Mandrus,
E. W. Plummer
Abstract:
The surface structural phases of Ca(2-x)Sr(x)RuO(4) are investigated using quantitative Low Energy Electron Diffraction. The broken symmetry at the surface enhances the structural instability against the RuO6 rotational distortion while diminishing the instability against the RuO6 tilt distortion occurring within the bulk crystal. As a result, suppressed structural and electronic surface phase t…
▽ More
The surface structural phases of Ca(2-x)Sr(x)RuO(4) are investigated using quantitative Low Energy Electron Diffraction. The broken symmetry at the surface enhances the structural instability against the RuO6 rotational distortion while diminishing the instability against the RuO6 tilt distortion occurring within the bulk crystal. As a result, suppressed structural and electronic surface phase transition temperatures are observed, including the appearance of an inherent Mott metal-to-insulator transition for x = 0.1 and possible modifications of the surface quantum critical point near xc ~ 0.5.
△ Less
Submitted 21 November, 2007;
originally announced November 2007.