Showing 1–49 of 49 results for author: Rezende, S

Unraveling the Spin-to-Charge Current Conversion Mechanism and Charge Transfer Dynamics at Interface of Graphene/WS$_2$ Heterostructures at Room Temperature

Authors: Rafael O. Cunha, Yunier Garcia-Basabe, Dunieskys G. Larrude, Matheus Gamino, Erika N. Lima, Felipe Crasto de Lima, Adalberto Fazzio, Sergio M. Rezende, Antonio Azevedo, Joaquim B. S. Mendes

Abstract: We report experimental investigations of spin-to-charge current conversion and charge transfer dynamics (CT) at the interface of graphene/WS$_2$ van der Waals heterostructure. Pure spin current was produced by the spin precession in the microwave-driven ferromagnetic resonance of a permalloy film (Py-Ni$_{81}$Fe$_{19}$) and injected into the graphene/WS$_2$ heterostructure through the spin pum**… ▽ More We report experimental investigations of spin-to-charge current conversion and charge transfer dynamics (CT) at the interface of graphene/WS$_2$ van der Waals heterostructure. Pure spin current was produced by the spin precession in the microwave-driven ferromagnetic resonance of a permalloy film (Py-Ni$_{81}$Fe$_{19}$) and injected into the graphene/WS$_2$ heterostructure through the spin pum** process. The observed spin-to-charge current conversion in the heterostructure is attributed to inverse Rashba-Edelstein effect (IREE) at the graphene/WS$_2$ interface. Interfacial CT dynamics in this heterostructure was investigated based on the framework of core-hole-clock (CHC) approach. The results obtained from spin pum** and CHC studies show that the spin-to-charge current conversion and charge transfer process are more efficient in the graphene/WS$_2$ heterostructure compared to isolated WS2 and graphene films. The results show that the presence of WS$_2$ flakes improves the current conversion efficiency. These experimental results are corroborated by density functional theory (DFT) calculations, which reveal (i) Rashba spin-orbit splitting of graphene orbitals and (ii) electronic coupling between graphene and WS$_2$ orbitals. This study provides valuable insights for optimizing the design and performance of spintronic devices. △ Less

Submitted 28 May, 2024; originally announced May 2024.

Comments: 25 pages, 7 figures

Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients

Authors: Susanna F. de Rezende, Aaron Potechin, Kilian Risse

Abstract: We prove that Sherali-Adams with polynomially bounded coefficients requires proofs of size $n^{Ω(d)}$ to rule out the existence of an $n^{Θ(1)}$-clique in Erdős-Rényi random graphs whose maximum clique is of size $d\leq 2\log n$. This lower bound is tight up to the multiplicative constant in the exponent. We obtain this result by introducing a technique inspired by pseudo-calibration which may be… ▽ More We prove that Sherali-Adams with polynomially bounded coefficients requires proofs of size $n^{Ω(d)}$ to rule out the existence of an $n^{Θ(1)}$-clique in Erdős-Rényi random graphs whose maximum clique is of size $d\leq 2\log n$. This lower bound is tight up to the multiplicative constant in the exponent. We obtain this result by introducing a technique inspired by pseudo-calibration which may be of independent interest. The technique involves defining a measure on monomials that precisely captures the contribution of a monomial to a refutation. This measure intuitively captures progress and should have further applications in proof complexity. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Comments: This is the full-length version of a paper with the title "Clique Is Hard on Average for Unary Sherali-Adams" that appeared in the Proceedings of the 64th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2023)

ACM Class: F.2.2; F.1.3; I.2.3; F.4.1

Weatherproofing Retrieval for Localization with Generative AI and Geometric Consistency

Authors: Yannis Kalantidis, Mert Bülent Sarıyıldız, Rafael S. Rezende, Philippe Weinzaepfel, Diane Larlus, Gabriela Csurka

Abstract: State-of-the-art visual localization approaches generally rely on a first image retrieval step whose role is crucial. Yet, retrieval often struggles when facing varying conditions, due to e.g. weather or time of day, with dramatic consequences on the visual localization accuracy. In this paper, we improve this retrieval step and tailor it to the final localization task. Among the several changes w… ▽ More State-of-the-art visual localization approaches generally rely on a first image retrieval step whose role is crucial. Yet, retrieval often struggles when facing varying conditions, due to e.g. weather or time of day, with dramatic consequences on the visual localization accuracy. In this paper, we improve this retrieval step and tailor it to the final localization task. Among the several changes we advocate for, we propose to synthesize variants of the training set images, obtained from generative text-to-image models, in order to automatically expand the training set towards a number of nameable variations that particularly hurt visual localization. After expanding the training set, we propose a training approach that leverages the specificities and the underlying geometry of this mix of real and synthetic images. We experimentally show that those changes translate into large improvements for the most challenging visual localization datasets. Project page: https://europe.naverlabs.com/ret4loc △ Less

Submitted 14 February, 2024; originally announced February 2024.

Comments: Accepted at ICLR 2024. Project Page: https://europe.naverlabs.com/ret4loc

Finite Element Modeling of Power Cables using Coordinate Transformations

Authors: Albert Piwonski, Julien Dular, Rodrigo Silva Rezende, Rolf Schuhmann

Abstract: Power cables have complex geometries in order to reduce their ac resistance. Although there are many different cable designs, most have in common that their inner conductors' cross-section is divided into several electrically insulated conductors, which are twisted over the cable's length (helicoidal symmetry). In previous works, we presented how to exploit this symmetry by means of dimensional re… ▽ More Power cables have complex geometries in order to reduce their ac resistance. Although there are many different cable designs, most have in common that their inner conductors' cross-section is divided into several electrically insulated conductors, which are twisted over the cable's length (helicoidal symmetry). In previous works, we presented how to exploit this symmetry by means of dimensional reduction within the $\mathbf{H}-\varphi$ formulation of the eddy current problem. Here, the dimensional reduction is based on a coordinate transformation from the Cartesian coordinate system to a helicoidal coordinate system. This contribution focuses on how this approach can be incorporated into the magnetic vector potential based $\mathbf{A}-v$ formulation. △ Less

Submitted 3 July, 2023; originally announced July 2023.

Comments: arXiv admin note: text overlap with arXiv:2301.03370

AToMiC: An Image/Text Retrieval Test Collection to Support Multimedia Content Creation

Authors: Jheng-Hong Yang, Carlos Lassance, Rafael Sampaio de Rezende, Krishna Srinivasan, Miriam Redi, Stéphane Clinchant, Jimmy Lin

Abstract: This paper presents the AToMiC (Authoring Tools for Multimedia Content) dataset, designed to advance research in image/text cross-modal retrieval. While vision-language pretrained transformers have led to significant improvements in retrieval effectiveness, existing research has relied on image-caption datasets that feature only simplistic image-text relationships and underspecified user models of… ▽ More This paper presents the AToMiC (Authoring Tools for Multimedia Content) dataset, designed to advance research in image/text cross-modal retrieval. While vision-language pretrained transformers have led to significant improvements in retrieval effectiveness, existing research has relied on image-caption datasets that feature only simplistic image-text relationships and underspecified user models of retrieval tasks. To address the gap between these oversimplified settings and real-world applications for multimedia content creation, we introduce a new approach for building retrieval test collections. We leverage hierarchical structures and diverse domains of texts, styles, and types of images, as well as large-scale image-document associations embedded in Wikipedia. We formulate two tasks based on a realistic user model and validate our dataset through retrieval experiments using baseline models. AToMiC offers a testbed for scalable, diverse, and reproducible multimedia retrieval research. Finally, the dataset provides the basis for a dedicated track at the 2023 Text Retrieval Conference (TREC), and is publicly available at https://github.com/TREC-AToMiC/AToMiC. △ Less

Submitted 4 April, 2023; originally announced April 2023.

A Perspective on Ferrons

Authors: G. E. W. Bauer, P. Tang, R. Iguchi, J. Xiao, K. Shen, Z. Zhong, T. Yu, S. M. Rezende, J. P. Heremans, K. Uchida

Abstract: The duality between electric and magnetic dipoles in electromagnetism only partly applies to condensed matter. In particular, the elementary excitations of the magnetic and ferroelectric orders, namely magnons and ferrons, respectively, have received asymmetric attention from the condensed matter community in the past. In this perspective, we introduce and summarize the current state of the buddin… ▽ More The duality between electric and magnetic dipoles in electromagnetism only partly applies to condensed matter. In particular, the elementary excitations of the magnetic and ferroelectric orders, namely magnons and ferrons, respectively, have received asymmetric attention from the condensed matter community in the past. In this perspective, we introduce and summarize the current state of the budding field of "ferronics" and speculate about its potential applications in thermal, information, and communication technology. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Comments: To be published as invited "Perspective" in Physical Review Applied

2D Eddy Current Boundary Value Problems for Power Cables with Helicoidal Symmetry

Authors: Albert Piwonski, Julien Dular, Rodrigo Silva Rezende, Rolf Schuhmann

Abstract: Power cables have complex geometries in order to reduce their AC resistance. The cross-section of a cable consists of several conductors that are electrically insulated from each other to counteract the current displacement caused by the skin effect. Furthermore, the individual conductors are twisted over the cable's length. This geometry has a non-standard symmetry - a combination of translation… ▽ More Power cables have complex geometries in order to reduce their AC resistance. The cross-section of a cable consists of several conductors that are electrically insulated from each other to counteract the current displacement caused by the skin effect. Furthermore, the individual conductors are twisted over the cable's length. This geometry has a non-standard symmetry - a combination of translation and rotation. Exploiting this property allows formulating a dimensionally reduced boundary value problem. Dimension reduction is desirable, otherwise the electromagnetic modeling of these cables becomes impracticable due to tremendous computational efforts. We investigate 2D eddy current boundary value problems which still allow the analysis of 3D effects, such as the twisting of conductor layers. △ Less

Submitted 9 January, 2023; originally announced January 2023.

Comments: 4 pages, 6 figures

Surface Ferron Excitations in Ferroelectrics and Their Directional Routing

Authors: Xi-Han Zhou, Chengyuan Cai, ** Tang, R. L. Rodríguez-Suárez, S. M. Rezende, G. E. W. Bauer, Tao Yu

Abstract: The duality between the electric and magnetic dipoles inspires recent comparisons between ferronics and magnonics. Here we predict surface polarization waves or ``ferrons" in ferroelectric insulators, taking the long-range dipolar interaction into account. We predict properties that are strikingly different from the magnetic counterpart, \textit{i.e.} the surface ``Damon-Eshbach" magnons in ferrom… ▽ More The duality between the electric and magnetic dipoles inspires recent comparisons between ferronics and magnonics. Here we predict surface polarization waves or ``ferrons" in ferroelectric insulators, taking the long-range dipolar interaction into account. We predict properties that are strikingly different from the magnetic counterpart, \textit{i.e.} the surface ``Damon-Eshbach" magnons in ferromagnets. The dipolar interaction pushes the ferron branch with locked circular polarization and momentum to the ionic plasma frequency. The low-frequency modes are on the other hand in-plane polarized normal to their wave vectors. The strong anisotropy of the lower branch renders directional emissions of electric polarization and chiral near fields when activated by a focused laser beam, allowing optical routing in ferroelectric devices. △ Less

Submitted 28 February, 2023; v1 submitted 2 December, 2022; originally announced December 2022.

Comments: 7 pages, 3 figures

Efficient spin-to-charge interconversion in Weyl semimetal TaP at room temperature

Authors: J. B. S. Mendes, R. O. Cunha, S. O. Ferreira, R. D. dos Reis, M. Schmidt, M. Nicklas, S. M. Rezende, A. Azevedo

Abstract: In this paper we present spin-to-charge current conversion properties in the Weyl semimetal TaP by means of the inverse Rashba-Edelstein effect (IREE) with the integration of this quantum material with the ferromagnetic metal Permalloy $(Py=Ni_{81}Fe_{19})$. The spin currents are generated in the Py layer by the spin pum** effect (SPE) from microwave-driven ferromagnetic resonance and are detect… ▽ More In this paper we present spin-to-charge current conversion properties in the Weyl semimetal TaP by means of the inverse Rashba-Edelstein effect (IREE) with the integration of this quantum material with the ferromagnetic metal Permalloy $(Py=Ni_{81}Fe_{19})$. The spin currents are generated in the Py layer by the spin pum** effect (SPE) from microwave-driven ferromagnetic resonance and are detected by a dc voltage along the TaP crystal, at room temperature. We observe a field-symmetric voltage signal without the contamination of asymmetrical lines due to spin rectification effects observed in studies using metallic ferromagnets. The observed voltage is attributed to spin-to-charge current conversion based on the IREE, made possible by the spin-orbit coupling induced intrinsically by the bulk band structure of Weyl semimetals. The measured IREE coefficient $λ_{IREE}=(0.30 \pm{0.01})$ nm is two orders of magnitude larger than in graphene and is comparable to or larger than the values reported for some metallic interfaces and for several topological insulators. △ Less

Submitted 10 August, 2022; originally announced August 2022.

Comments: 15 pages, 4 figures

Journal ref: Advanced Materials Interfaces 9, 2201716 (2022)

ARTEMIS: Attention-based Retrieval with Text-Explicit Matching and Implicit Similarity

Authors: Ginger Delmas, Rafael Sampaio de Rezende, Gabriela Csurka, Diane Larlus

Abstract: An intuitive way to search for images is to use queries composed of an example image and a complementary text. While the first provides rich and implicit context for the search, the latter explicitly calls for new traits, or specifies how some elements of the example image should be changed to retrieve the desired target image. Current approaches typically combine the features of each of the two e… ▽ More An intuitive way to search for images is to use queries composed of an example image and a complementary text. While the first provides rich and implicit context for the search, the latter explicitly calls for new traits, or specifies how some elements of the example image should be changed to retrieve the desired target image. Current approaches typically combine the features of each of the two elements of the query into a single representation, which can then be compared to the ones of the potential target images. Our work aims at shedding new light on the task by looking at it through the prism of two familiar and related frameworks: text-to-image and image-to-image retrieval. Taking inspiration from them, we exploit the specific relation of each query element with the targeted image and derive light-weight attention mechanisms which enable to mediate between the two complementary modalities. We validate our approach on several retrieval benchmarks, querying with images and their associated free-form text modifiers. Our method obtains state-of-the-art results without resorting to side information, multi-level features, heavy pre-training nor large architectures as in previous works. △ Less

Submitted 16 May, 2022; v1 submitted 15 March, 2022; originally announced March 2022.

Comments: Published in ICLR 2022

Proofs, Circuits, and Communication

Authors: Susanna F. de Rezende, Mika Göös, Robert Robere

Abstract: We survey lower-bound results in complexity theory that have been obtained via newfound interconnections between propositional proof complexity, boolean circuit complexity, and query/communication complexity. We advocate for the theory of total search problems (TFNP) as a unifying language for these connections and discuss how this perspective suggests a whole programme for further research. We survey lower-bound results in complexity theory that have been obtained via newfound interconnections between propositional proof complexity, boolean circuit complexity, and query/communication complexity. We advocate for the theory of total search problems (TFNP) as a unifying language for these connections and discuss how this perspective suggests a whole programme for further research. △ Less

Submitted 17 February, 2022; originally announced February 2022.

Journal ref: SIGACT News Complexity Theory Column, March 2022

Simple and Effective Balance of Contrastive Losses

Authors: Arnaud Sors, Rafael Sampaio de Rezende, Sarah Ibrahimi, Jean-Marc Andreoli

Abstract: Contrastive losses have long been a key ingredient of deep metric learning and are now becoming more popular due to the success of self-supervised learning. Recent research has shown the benefit of decomposing such losses into two sub-losses which act in a complementary way when learning the representation network: a positive term and an entropy term. Although the overall loss is thus defined as a… ▽ More Contrastive losses have long been a key ingredient of deep metric learning and are now becoming more popular due to the success of self-supervised learning. Recent research has shown the benefit of decomposing such losses into two sub-losses which act in a complementary way when learning the representation network: a positive term and an entropy term. Although the overall loss is thus defined as a combination of two terms, the balance of these two terms is often hidden behind implementation details and is largely ignored and sub-optimal in practice. In this work, we approach the balance of contrastive losses as a hyper-parameter optimization problem, and propose a coordinate descent-based search method that efficiently find the hyper-parameters that optimize evaluation performance. In the process, we extend existing balance analyses to the contrastive margin loss, include batch size in the balance, and explain how to aggregate loss elements from the batch to maintain near-optimal performance over a larger range of batch sizes. Extensive experiments with benchmarks from deep metric learning and self-supervised learning show that optimal hyper-parameters are found faster with our method than with other common search methods. △ Less

Submitted 22 December, 2021; originally announced December 2021.

Comments: 15 pages, 10 figures

Learning with Label Noise for Image Retrieval by Selecting Interactions

Authors: Sarah Ibrahimi, Arnaud Sors, Rafael Sampaio de Rezende, Stéphane Clinchant

Abstract: Learning with noisy labels is an active research area for image classification. However, the effect of noisy labels on image retrieval has been less studied. In this work, we propose a noise-resistant method for image retrieval named Teacher-based Selection of Interactions, T-SINT, which identifies noisy interactions, ie. elements in the distance matrix, and selects correct positive and negative i… ▽ More Learning with noisy labels is an active research area for image classification. However, the effect of noisy labels on image retrieval has been less studied. In this work, we propose a noise-resistant method for image retrieval named Teacher-based Selection of Interactions, T-SINT, which identifies noisy interactions, ie. elements in the distance matrix, and selects correct positive and negative interactions to be considered in the retrieval loss by using a teacher-based training setup which contributes to the stability. As a result, it consistently outperforms state-of-the-art methods on high noise rates across benchmark datasets with synthetic noise and more realistic noise. △ Less

Submitted 21 December, 2021; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: Accepted at WACV 2022. 13 pages, 5 figures

Nucleophilic substitution vs elimination reaction of bisulfide ions with substituted methanes: exploration of chiral selectivity by stereodirectional first-principles dynamics and transition state theory

Authors: Marcos Vinicius C. S. Rezende, Nayara D. Coutinho, Federico Palazzetti, Andrea Lombardi, Valter Henrique Carvalho-Silva

Abstract: Control of molecular orientation is emerging as crucial for the characterization of the stereodynamics of kinetics processes beyond structural stereochemistry. The special role played in chiral discrimination phenomena has been particularly emphasized by the authors after their extensive probes of experimental control of molecular alignment and orientation. In this work, the role of the orientatio… ▽ More Control of molecular orientation is emerging as crucial for the characterization of the stereodynamics of kinetics processes beyond structural stereochemistry. The special role played in chiral discrimination phenomena has been particularly emphasized by the authors after their extensive probes of experimental control of molecular alignment and orientation. In this work, the role of the orientation has been demonstrated for the first time in first-principles molecular dynamics simulations: stationary points characterized on potential energy surfaces have been calculated for the study of chemical reactions occurring between the bisulfide anion HS- and oriented prototypical chiral molecules CHFXY (where X = CH3 or CN and Y = Cl or I). The important reaction channels are those corresponding to bimolecular nucleophilic substitution (SN2) and to bimolecular elimination (E2): their relative role has been assessed and alternative pathways due to the mirror forms of the oriented chiral molecule are revealed by the different reactivity of the two enantiomers of CHFCNI in SN2 reaction. △ Less

Submitted 29 April, 2021; originally announced April 2021.

Comments: 23 pages, 3 figures

Journal ref: Journal of Molecular Modeling (2019) 25: 227

Probabilistic Embeddings for Cross-Modal Retrieval

Authors: Sanghyuk Chun, Seong Joon Oh, Rafael Sampaio de Rezende, Yannis Kalantidis, Diane Larlus

Abstract: Cross-modal retrieval methods build a common representation space for samples from multiple modalities, typically from the vision and the language domains. For images and their captions, the multiplicity of the correspondences makes the task particularly challenging. Given an image (respectively a caption), there are multiple captions (respectively images) that equally make sense. In this paper, w… ▽ More Cross-modal retrieval methods build a common representation space for samples from multiple modalities, typically from the vision and the language domains. For images and their captions, the multiplicity of the correspondences makes the task particularly challenging. Given an image (respectively a caption), there are multiple captions (respectively images) that equally make sense. In this paper, we argue that deterministic functions are not sufficiently powerful to capture such one-to-many correspondences. Instead, we propose to use Probabilistic Cross-Modal Embedding (PCME), where samples from the different modalities are represented as probabilistic distributions in the common embedding space. Since common benchmarks such as COCO suffer from non-exhaustive annotations for cross-modal matches, we propose to additionally evaluate retrieval on the CUB dataset, a smaller yet clean database where all possible image-caption pairs are annotated. We extensively ablate PCME and demonstrate that it not only improves the retrieval performance over its deterministic counterpart but also provides uncertainty estimates that render the embeddings more interpretable. Code is available at https://github.com/naver-ai/pcme △ Less

Submitted 14 June, 2021; v1 submitted 13 January, 2021; originally announced January 2021.

Comments: Accepted to CVPR 2021; Code is available at https://github.com/naver-ai/pcme

Clique Is Hard on Average for Regular Resolution

Authors: Albert Atserias, Ilario Bonacina, Susanna F. de Rezende, Massimo Lauria, Jakob Nordström, Alexander Razborov

Abstract: We prove that for $k \ll \sqrt[4]{n}$ regular resolution requires length $n^{Ω(k)}$ to establish that an Erdős-Rényi graph with appropriately chosen edge density does not contain a $k$-clique. This lower bound is optimal up to the multiplicative constant in the exponent, and also implies unconditional $n^{Ω(k)}$ lower bounds on running time for several state-of-the-art algorithms for finding maxim… ▽ More We prove that for $k \ll \sqrt[4]{n}$ regular resolution requires length $n^{Ω(k)}$ to establish that an Erdős-Rényi graph with appropriately chosen edge density does not contain a $k$-clique. This lower bound is optimal up to the multiplicative constant in the exponent, and also implies unconditional $n^{Ω(k)}$ lower bounds on running time for several state-of-the-art algorithms for finding maximum cliques in graphs. △ Less

Submitted 17 December, 2020; originally announced December 2020.

StacMR: Scene-Text Aware Cross-Modal Retrieval

Authors: Andrés Mafla, Rafael Sampaio de Rezende, Lluís Gómez, Diane Larlus, Dimosthenis Karatzas

Abstract: Recent models for cross-modal retrieval have benefited from an increasingly rich understanding of visual scenes, afforded by scene graphs and object interactions to mention a few. This has resulted in an improved matching between the visual representation of an image and the textual representation of its caption. Yet, current visual representations overlook a key aspect: the text appearing in imag… ▽ More Recent models for cross-modal retrieval have benefited from an increasingly rich understanding of visual scenes, afforded by scene graphs and object interactions to mention a few. This has resulted in an improved matching between the visual representation of an image and the textual representation of its caption. Yet, current visual representations overlook a key aspect: the text appearing in images, which may contain crucial information for retrieval. In this paper, we first propose a new dataset that allows exploration of cross-modal retrieval where images contain scene-text instances. Then, armed with this dataset, we describe several approaches which leverage scene text, including a better scene-text aware cross-modal retrieval method which uses specialized representations for text from the captions and text from the visual scene, and reconcile them in a common embedding space. Extensive experiments confirm that cross-modal retrieval approaches benefit from scene text and highlight interesting research questions worth exploring further. Dataset and code are available at http://europe.naverlabs.com/stacmr △ Less

Submitted 8 December, 2020; originally announced December 2020.

Magnon-mediated spin currents in Tm3Fe5O12/Pt with perpendicular magnetic anisotropy

Authors: G. L. S. Vilela, J. E. Abrao, E. Santos, Y. Yao, J. B. S. Mendes, R. L. Rodriguez-Suarez, S. M. Rezende, W. Han, A. Azevedo, J. S. Moodera

Abstract: The control of pure spin currents carried by magnons in magnetic insulator (MI) garnet films with a robust perpendicular magnetic anisotropy (PMA) is of great interest to spintronic technology as they can be used to carry, transport and process information. Garnet films with PMA present labyrinth domain magnetic structures that enrich the magnetization dynamics, and could be employed in more effic… ▽ More The control of pure spin currents carried by magnons in magnetic insulator (MI) garnet films with a robust perpendicular magnetic anisotropy (PMA) is of great interest to spintronic technology as they can be used to carry, transport and process information. Garnet films with PMA present labyrinth domain magnetic structures that enrich the magnetization dynamics, and could be employed in more efficient wave-based logic and memory computing devices. In MI/NM bilayers, where NM being a normal metal providing a strong spin-orbit coupling, the PMA benefits the spin-orbit torque (SOT) driven magnetization's switching by lowering the needed current and rendering the process faster, crucial for develo** magnetic random-access memories (SOT-MRAM). In this work, we investigated the magnetic anisotropies in thulium iron garnet (TIG) films with PMA via ferromagnetic resonance measurements, followed by the excitation and detection of magnon-mediated pure spin currents in TIG/Pt driven by microwaves and heat currents. TIG films presented a Gilbert dam** constant α~0.01, with resonance fields above 3.5 kOe and half linewidths broader than 60 Oe, at 300 K and 9.5 GHz. The spin-to-charge current conversion through TIG/Pt was observed as a micro-voltage generated at the edges of the Pt film. The obtained spin Seebeck coefficient was 0.54 μV/K, confirming also the high interfacial spin transparency. △ Less

Submitted 21 September, 2020; originally announced September 2020.

Unveiling the polarity of the spin-to-charge current conversion in $Bi_2Se_3$

Authors: J. B. S. Mendes, M. Gamino, R. O. Cunha, J. E. Abrão, S. M. Rezende, A. Azevedo

Abstract: We report an investigation of the spin- to charge-current conversion in sputter-deposited films of topological insulator $Bi_2Se_{3}$ onto single crystalline layers of YIG $(Y_{3}Fe_{5}O_{12})$ and polycrystalline films of Permalloy $(Py = Ni_{81}Fe_{19})$. Pure spin current was injected into the $Bi_{2}Se_{3}$ layer by means of the spin pum** process in which the spin precession is obtained by… ▽ More We report an investigation of the spin- to charge-current conversion in sputter-deposited films of topological insulator $Bi_2Se_{3}$ onto single crystalline layers of YIG $(Y_{3}Fe_{5}O_{12})$ and polycrystalline films of Permalloy $(Py = Ni_{81}Fe_{19})$. Pure spin current was injected into the $Bi_{2}Se_{3}$ layer by means of the spin pum** process in which the spin precession is obtained by exciting the ferromagnetic resonance of the ferromagnetic film. The spin-current to charge-current conversion, occurring at the $Bi_{2}Se_{3}/$ferromagnet interface, was attribute to the inverse Rashba-Edelstein effect (IREE). By analyzing the data as a function of the $Bi_{2}Se_{3}$ thickness we calculated the IREE length used to characterize the efficiency of the conversion process and found that 1.2 pm $\leq|λ_{IREE}|\leq$ 2.2 pm. These results support the fact that the surface states of $Bi_{2}Se_{3}$ have a dominant role in the spin-charge conversion process, and the mechanism based on the spin diffusion process plays a secondary role. We also discovered that the spin- to charge-current mechanism in $Bi_{2}Se_{3}$ has the same polarity as the one in Ta, which is the opposite to the one in Pt. The combination of the magnetic properties of YIG and Py, with strong spin-orbit coupling and dissipationless surface states topologically protected of $Bi_{2}Se_{3}$ might lead to spintronic devices with fast and efficient spin-charge conversion. △ Less

Submitted 28 August, 2020; originally announced August 2020.

Journal ref: Phys. Rev. Materials 5, 024206 (2021)

KRW Composition Theorems via Lifting

Authors: Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere

Abstract: One of the major open problems in complexity theory is proving super-logarithmic lower bounds on the depth of circuits (i.e., $\mathbf{P}\not\subseteq\mathbf{NC}^1$). Karchmer, Raz, and Wigderson (Computational Complexity 5(3/4), 1995) suggested to approach this problem by proving that depth complexity behaves "as expected" with respect to the composition of functions $f\diamond g$. They showed th… ▽ More One of the major open problems in complexity theory is proving super-logarithmic lower bounds on the depth of circuits (i.e., $\mathbf{P}\not\subseteq\mathbf{NC}^1$). Karchmer, Raz, and Wigderson (Computational Complexity 5(3/4), 1995) suggested to approach this problem by proving that depth complexity behaves "as expected" with respect to the composition of functions $f\diamond g$. They showed that the validity of this conjecture would imply that $\mathbf{P}\not\subseteq\mathbf{NC}^1$. Several works have made progress toward resolving this conjecture by proving special cases. In particular, these works proved the KRW conjecture for every outer function $f$, but only for few inner functions $g$. Thus, it is an important challenge to prove the KRW conjecture for a wider range of inner functions. In this work, we extend significantly the range of inner functions that can be handled. First, we consider the $\textit{monotone}$ version of the KRW conjecture. We prove it for every monotone inner function $g$ whose depth complexity can be lower bounded via a query-to-communication lifting theorem. This allows us to handle several new and well-studied functions such as the $s\textbf{-}t$-connectivity, clique, and generation functions. In order to carry this progress back to the $\textit{non-monotone}$ setting, we introduce a new notion of $\textit{semi-monotone}$ composition, which combines the non-monotone complexity of the outer function $f$ with the monotone complexity of the inner function $g$. In this setting, we prove the KRW conjecture for a similar selection of inner functions $g$, but only for a specific choice of the outer function $f$. △ Less

Submitted 27 January, 2021; v1 submitted 6 July, 2020; originally announced July 2020.

Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

Authors: Susanna F. de Rezende, Or Meir, Jakob Nordström, Robert Robere

Abstract: We establish an exactly tight relation between reversible pebblings of graphs and Nullstellensatz refutations of pebbling formulas, showing that a graph $G$ can be reversibly pebbled in time $t$ and space $s$ if and only if there is a Nullstellensatz refutation of the pebbling formula over $G$ in size $t+1$ and degree $s$ (independently of the field in which the Nullstellensatz refutation is made)… ▽ More We establish an exactly tight relation between reversible pebblings of graphs and Nullstellensatz refutations of pebbling formulas, showing that a graph $G$ can be reversibly pebbled in time $t$ and space $s$ if and only if there is a Nullstellensatz refutation of the pebbling formula over $G$ in size $t+1$ and degree $s$ (independently of the field in which the Nullstellensatz refutation is made). We use this correspondence to prove a number of strong size-degree trade-offs for Nullstellensatz, which to the best of our knowledge are the first such results for this proof system. △ Less

Submitted 8 January, 2020; originally announced January 2020.

Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity

Authors: Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere, Marc Vinyals

Abstract: We significantly strengthen and generalize the theorem lifting Nullstellensatz degree to monotone span program size by Pitassi and Robere (2018) so that it works for any gadget with high enough rank, in particular, for useful gadgets such as equality and greater-than. We apply our generalized theorem to solve two open problems: * We present the first result that demonstrates a separation in proo… ▽ More We significantly strengthen and generalize the theorem lifting Nullstellensatz degree to monotone span program size by Pitassi and Robere (2018) so that it works for any gadget with high enough rank, in particular, for useful gadgets such as equality and greater-than. We apply our generalized theorem to solve two open problems: * We present the first result that demonstrates a separation in proof power for cutting planes with unbounded versus polynomially bounded coefficients. Specifically, we exhibit CNF formulas that can be refuted in quadratic length and constant line space in cutting planes with unbounded coefficients, but for which there are no refutations in subexponential length and subpolynomial line space if coefficients are restricted to be of polynomial magnitude. * We give the first explicit separation between monotone Boolean formulas and monotone real formulas. Specifically, we give an explicit family of functions that can be computed with monotone real formulas of nearly linear size but require monotone Boolean formulas of exponential size. Previously only a non-explicit separation was known. An important technical ingredient, which may be of independent interest, is that we show that the Nullstellensatz degree of refuting the pebbling formula over a DAG G over any field coincides exactly with the reversible pebbling price of G. In particular, this implies that the standard decision tree complexity and the parity decision tree complexity of the corresponding falsified clause search problem are equal. △ Less

Submitted 7 January, 2020; originally announced January 2020.

ACM Class: F.2.2; F.2.3; F.4.1

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs

Authors: Susanna F. de Rezende, Jakob Nordström, Kilian Risse, Dmitry Sokolov

Abstract: We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson '01] and highly unbalanced, dense graphs as in [Raz '04] and [Razborov… ▽ More We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson '01] and highly unbalanced, dense graphs as in [Raz '04] and [Razborov '03, '04]. We obtain our results by revisiting Razborov's pseudo-width method for PHP formulas over dense graphs and extending it to sparse graphs. This further demonstrates the power of the pseudo-width method, and we believe it could potentially be useful for attacking also other longstanding open problems for resolution and other proof systems. △ Less

Submitted 1 December, 2019; originally announced December 2019.

MSC Class: F.2.2; F.1.3; I.2.3; F.4.1 ACM Class: F.2.2; F.1.3; I.2.3; F.4.1

BULNER: BUg Localization with word embeddings and NEtwork Regularization

Authors: Jacson Rodrigues Barbosa, Ricardo Marcondes Marcacini, Ricardo Britto, Frederico Soares, Solange Rezende, Auri M. R. Vincenzi, Marcio E. Delamaro

Abstract: Bug localization (BL) from the bug report is the strategic activity of the software maintaining process. Because BL is a costly and tedious activity, BL techniques information retrieval-based and machine learning-based could aid software engineers. We propose a method for BUg Localization with word embeddings and Network Regularization (BULNER). The preliminary results suggest that BULNER has bett… ▽ More Bug localization (BL) from the bug report is the strategic activity of the software maintaining process. Because BL is a costly and tedious activity, BL techniques information retrieval-based and machine learning-based could aid software engineers. We propose a method for BUg Localization with word embeddings and Network Regularization (BULNER). The preliminary results suggest that BULNER has better performance than two state-of-the-art methods. △ Less

Submitted 26 August, 2019; originally announced August 2019.

Comments: VII Workshop on Software Visualization, Evolution and Maintenance (VEM '19)

Learning with Average Precision: Training Image Retrieval with a Listwise Loss

Authors: Jerome Revaud, Jon Almazan, Rafael Sampaio de Rezende, Cesar Roberto de Souza

Abstract: Image retrieval can be formulated as a ranking problem where the goal is to order database images by decreasing similarity to the query. Recent deep models for image retrieval have outperformed traditional methods by leveraging ranking-tailored loss functions, but important theoretical and practical problems remain. First, rather than directly optimizing the global ranking, they minimize an upper-… ▽ More Image retrieval can be formulated as a ranking problem where the goal is to order database images by decreasing similarity to the query. Recent deep models for image retrieval have outperformed traditional methods by leveraging ranking-tailored loss functions, but important theoretical and practical problems remain. First, rather than directly optimizing the global ranking, they minimize an upper-bound on the essential loss, which does not necessarily result in an optimal mean average precision (mAP). Second, these methods require significant engineering efforts to work well, e.g. special pre-training and hard-negative mining. In this paper we propose instead to directly optimize the global mAP by leveraging recent advances in listwise loss formulations. Using a histogram binning approximation, the AP can be differentiated and thus employed to end-to-end learning. Compared to existing losses, the proposed method considers thousands of images simultaneously at each iteration and eliminates the need for ad hoc tricks. It also establishes a new state of the art on many standard retrieval benchmarks. Models and evaluation scripts have been made available at https://europe.naverlabs.com/Deep-Image-Retrieval/ △ Less

Submitted 18 June, 2019; originally announced June 2019.

Fuzzy neural networks to create an expert system for detecting attacks by SQL Injection

Authors: Lucas Oliveira Batista, Gabriel Adriano de Silva, Vanessa Souza Araújo, Vinícius Jonathan Silva Araújo, Thiago Silva Rezende, Augusto Junio Guimarães, Paulo Vitor de Campos Souza

Abstract: Its constant technological evolution characterizes the contemporary world, and every day the processes, once manual, become computerized. Data are stored in the cyberspace, and as a consequence, one must increase the concern with the security of this environment. Cyber-attacks are represented by a growing worldwide scale and are characterized as one of the significant challenges of the century. Th… ▽ More Its constant technological evolution characterizes the contemporary world, and every day the processes, once manual, become computerized. Data are stored in the cyberspace, and as a consequence, one must increase the concern with the security of this environment. Cyber-attacks are represented by a growing worldwide scale and are characterized as one of the significant challenges of the century. This article aims to propose a computational system based on intelligent hybrid models, which through fuzzy rules allows the construction of expert systems in cybernetic data attacks, focusing on the SQL Injection attack. The tests were performed with real bases of SQL Injection attacks on government computers, using fuzzy neural networks. According to the results obtained, the feasibility of constructing a system based on fuzzy rules, with the classification accuracy of cybernetic invasions within the margin of the standard deviation (compared to the state-of-the-art model in solving this type of problem) is real. The model helps countries prepare to protect their data networks and information systems, as well as create opportunities for expert systems to automate the identification of attacks in cyberspace. △ Less

Submitted 9 January, 2019; originally announced January 2019.

Journal ref: The International Journal of Forensic Computer Science, Volume 13, Number 1, pages 8-21, 2018

Regularized Fuzzy Neural Networks to Aid Effort Forecasting in the Construction and Software Development

Authors: Paulo Vitor de Campos Souza, Augusto Junio Guimaraes, Vanessa Souza Araujo, Thiago Silva Rezende, Vinicius Jonathan Silva Araujo

Abstract: Predicting the time to build software is a very complex task for software engineering managers. There are complex factors that can directly interfere with the productivity of the development team. Factors directly related to the complexity of the system to be developed drastically change the time necessary for the completion of the works with the software factories. This work proposes the use of a… ▽ More Predicting the time to build software is a very complex task for software engineering managers. There are complex factors that can directly interfere with the productivity of the development team. Factors directly related to the complexity of the system to be developed drastically change the time necessary for the completion of the works with the software factories. This work proposes the use of a hybrid system based on artificial neural networks and fuzzy systems to assist in the construction of an expert system based on rules to support in the prediction of hours destined to the development of software according to the complexity of the elements present in the same. The set of fuzzy rules obtained by the system helps the management and control of software development by providing a base of interpretable estimates based on fuzzy rules. The model was submitted to tests on a real database, and its results were promissory in the construction of an aid mechanism in the predictability of the software construction. △ Less

Submitted 4 December, 2018; originally announced December 2018.

Journal ref: Volume 9, Number 6, 2018

Direct detection of induced magnetic moment and efficient spin-to-charge conversion in graphene/ferromagnetic structures

Authors: J. B. S. Mendes, O. Alves Santos, T. Chagas, R. Magalhães-Paniago, T. J. A. Mori, J. Holanda, L. M. Meireles, R. G. Lacerda, A. Azevedo, S. M. Rezende

Abstract: This article shows that the spin-to-charge current conversion in single-layer graphene (SLG) by means of the inverse Rashba-Edelstein effect (IREE) is made possible with the integration of this remarkable 2D-material with the unique ferrimagnetic insulator yttrium iron garnet (YIG = $Y_{3}Fe_{5}O_{12}$) as well as with the ferromagnetic metal permalloy (Py = $Ni_{81}Sb_{19}$). By means of X-ray ab… ▽ More This article shows that the spin-to-charge current conversion in single-layer graphene (SLG) by means of the inverse Rashba-Edelstein effect (IREE) is made possible with the integration of this remarkable 2D-material with the unique ferrimagnetic insulator yttrium iron garnet (YIG = $Y_{3}Fe_{5}O_{12}$) as well as with the ferromagnetic metal permalloy (Py = $Ni_{81}Sb_{19}$). By means of X-ray absorption spectroscopy (XAS) and magnetic circular dichroism (XMCD) techniques, we show that the carbon atoms of the SLG acquires an induced magnetic moment due to the proximity effect with the magnetic layer. The spin currents are generated in the magnetic layer by spin pum** from microwave driven ferromagnetic resonance and are detected by a dc voltage along the graphene layer, at room temperature. The spin-to-charge current conversion, occurring at the graphene layer, is explained by the extrinsic spin-orbit interaction (SOI) induced by the proximity effect with the ferromagnetic layer. The results obtained for the SLG/YIG and SLG/Py systems confirm very similar values for the IREE parameter, which are larger than the values reported in previous studies for SLG. We also report systematic investigations of the electronic and magnetic properties of the SLG/YIG by means of scanning tunneling microscopy (STM). △ Less

Submitted 2 December, 2018; originally announced December 2018.

Comments: Main text: 12 pages and 6 figures, Supplemental Material: 4 pages and 4 figures

Journal ref: Phys. Rev. B 99, 214446 (2019)

An experimental comparison of label selection methods for hierarchical document clusters

Authors: Maria Fernanda Moura, Fabiano Fernandes dos Santos, Solange Oliveira Rezende

Abstract: The focus of this paper is on the evaluation of sixteen labeling methods for hierarchical document clusters over five datasets. All of the methods are independent from clustering algorithms, applied subsequently to the dendrogram construction and based on probabilistic dependence relations among labels and clusters. To reach a fair comparison as well as a standard benchmark, we rewrote and present… ▽ More The focus of this paper is on the evaluation of sixteen labeling methods for hierarchical document clusters over five datasets. All of the methods are independent from clustering algorithms, applied subsequently to the dendrogram construction and based on probabilistic dependence relations among labels and clusters. To reach a fair comparison as well as a standard benchmark, we rewrote and presented the labeling methods in a similar notation. The experimental results were analyzed through a proposed evaluation methodology based on: (i) data standardization before applying the cluster labeling methods and over the labeling results; (ii) a particular information retrieval process, using the obtained labels and their hierarchical relations to construct the search queries; (iii) evaluation of the retrieval process through precision, recall and F measure; (iv) variance analysis of the retrieval results to better understanding the differences among the labeling methods; and, (v) the emulation of a human judgment through the analysis of a topic observed coherence measure - normalized Pointwise Mutual Information (PMI). Applying the methodology, we are able to highlight the advantages of certain methods: to capture specific information; for a better document hierarchy comprehension at different levels of granularity; and, to capture the most coherent labels through the label selections. Finally, the experimental results demonstrated that the label selection methods which hardly consider hierarchical relations had the best results. △ Less

Submitted 24 May, 2018; originally announced May 2018.

Exposing Computer Generated Images by Using Deep Convolutional Neural Networks

Authors: Edmar R. S. de Rezende, Guilherme C. S. Ruppert, Antonio Theophilo, Tiago Carvalho

Abstract: The recent computer graphics developments have upraised the quality of the generated digital content, astonishing the most skeptical viewer. Games and movies have taken advantage of this fact but, at the same time, these advances have brought serious negative impacts like the ones yielded by fakeimages produced with malicious intents. Digital artists can compose artificial images capable of deceiv… ▽ More The recent computer graphics developments have upraised the quality of the generated digital content, astonishing the most skeptical viewer. Games and movies have taken advantage of this fact but, at the same time, these advances have brought serious negative impacts like the ones yielded by fakeimages produced with malicious intents. Digital artists can compose artificial images capable of deceiving the great majority of people, turning this into a very dangerous weapon in a timespan currently know as Fake News/Post-Truth" Era. In this work, we propose a new approach for dealing with the problem of detecting computer generated images, through the application of deep convolutional networks and transfer learning techniques. We start from Residual Networks and develop different models adapted to the binary problem of identifying if an image was or not computer generated. Differently from the current state-of-the-art approaches, we don't rely on hand-crafted features, but provide to the model the raw pixel information, achieving the same 0.97 of state-of-the-art methods with two main advantages: our methods show more stable results (depicted by lower variance) and eliminate the laborious and manual step of specialized features extraction and selection. △ Less

Submitted 28 November, 2017; originally announced November 2017.

Dirac-Surface-State-Dominated Spin to Charge Current Conversion in the Topological Insulator $(Bi_{0.22}Sb_{0.78})_2Te_3$ Films at Room Temperature

Authors: J. B. S. Mendes, O. Alves-Santos, J. Holanda, R. P. Loreto, C. I. L. de Araujo, Cui-Zu Chang, J. S. Moodera, A. Azevedo, S. M. Rezende

Abstract: We report the spin to charge current conversation in an intrinsic topological insulator (TI) $(Bi_{0.22}Sb_{0.78})_2Te_3$ film at room temperature. The spin currents are generated in a thin layer of permalloy (Py) by two different processes, spin pum** (SPE) and spin Seebeck effects (SSE). In the first we use microwave-driven ferromagnetic resonance of the Py film to generate a SPE spin current… ▽ More We report the spin to charge current conversation in an intrinsic topological insulator (TI) $(Bi_{0.22}Sb_{0.78})_2Te_3$ film at room temperature. The spin currents are generated in a thin layer of permalloy (Py) by two different processes, spin pum** (SPE) and spin Seebeck effects (SSE). In the first we use microwave-driven ferromagnetic resonance of the Py film to generate a SPE spin current that is injected into the TI $(Bi_{0.22}Sb_{0.78})_2Te_3$ layer in direct contact with Py. In the second we use the SSE in the longitudinal configuration in Py without contamination by the Nernst effect made possible with a thin NiO layer between the Py and $(Bi_{0.22}Sb_{0.78})_2Te_3$ layers. The spin-to-charge current conversion is attributed to the inverse Edelstein effect (IEE) made possible by the spin-momentum locking in the electron Fermi contours due to the Rashba field. The measurements by the two techniques yield very similar values for the IEE parameter, which are larger than the reported values in the previous studies on topological insulators. △ Less

Submitted 17 October, 2017; originally announced October 2017.

Comments: 18 pages and 7 figures

Journal ref: Phys. Rev. B 96, 180415 (2017)

SCNet: Learning Semantic Correspondence

Authors: Kai Han, Rafael S. Rezende, Bumsub Ham, Kwan-Yee K. Wong, Minsu Cho, Cordelia Schmid, Jean Ponce

Abstract: This paper addresses the problem of establishing semantic correspondences between images depicting different instances of the same object or scene category. Previous approaches focus on either combining a spatial regularizer with hand-crafted features, or learning a correspondence model for appearance only. We propose instead a convolutional neural network architecture, called SCNet, for learning… ▽ More This paper addresses the problem of establishing semantic correspondences between images depicting different instances of the same object or scene category. Previous approaches focus on either combining a spatial regularizer with hand-crafted features, or learning a correspondence model for appearance only. We propose instead a convolutional neural network architecture, called SCNet, for learning a geometrically plausible model for semantic correspondence. SCNet uses region proposals as matching primitives, and explicitly incorporates geometric consistency in its loss function. It is trained on image pairs obtained from the PASCAL VOC 2007 keypoint dataset, and a comparative evaluation on several standard benchmarks demonstrates that the proposed approach substantially outperforms both recent deep learning architectures and previous methods based on hand-crafted features. △ Less

Submitted 17 August, 2017; v1 submitted 11 May, 2017; originally announced May 2017.

Comments: ICCV 2017

PAMPO: using pattern matching and pos-tagging for effective Named Entities recognition in Portuguese

Authors: Conceição Rocha, Alípio Jorge, Roberta Sionara, Paula Brito, Carlos Pimenta, Solange Rezende

Abstract: This paper deals with the entity extraction task (named entity recognition) of a text mining process that aims at unveiling non-trivial semantic structures, such as relationships and interaction between entities or communities. In this paper we present a simple and efficient named entity extraction algorithm. The method, named PAMPO (PAttern Matching and POs tagging based algorithm for NER), relie… ▽ More This paper deals with the entity extraction task (named entity recognition) of a text mining process that aims at unveiling non-trivial semantic structures, such as relationships and interaction between entities or communities. In this paper we present a simple and efficient named entity extraction algorithm. The method, named PAMPO (PAttern Matching and POs tagging based algorithm for NER), relies on flexible pattern matching, part-of-speech tagging and lexical-based rules. It was developed to process texts written in Portuguese, however it is potentially applicable to other languages as well. We compare our approach with current alternatives that support Named Entity Recognition (NER) for content written in Portuguese. These are Alchemy, Zemanta and Rembrandt. Evaluation of the efficacy of the entity extraction method on several texts written in Portuguese indicates a considerable improvement on $recall$ and $F_1$ measures. △ Less

Submitted 30 December, 2016; originally announced December 2016.

Combining Privileged Information to Improve Context-Aware Recommender Systems

Authors: Camila V. Sundermann, Marcos A. Domingues, Ricardo M. Marcacini, Solange O. Rezende

Abstract: A recommender system is an information filtering technology which can be used to predict preference ratings of items (products, services, movies, etc) and/or to output a ranking of items that are likely to be of interest to the user. Context-aware recommender systems (CARS) learn and predict the tastes and preferences of users by incorporating available contextual information in the recommendation… ▽ More A recommender system is an information filtering technology which can be used to predict preference ratings of items (products, services, movies, etc) and/or to output a ranking of items that are likely to be of interest to the user. Context-aware recommender systems (CARS) learn and predict the tastes and preferences of users by incorporating available contextual information in the recommendation process. One of the major challenges in context-aware recommender systems research is the lack of automatic methods to obtain contextual information for these systems. Considering this scenario, in this paper, we propose to use contextual information from topic hierarchies of the items (web pages) to improve the performance of context-aware recommender systems. The topic hierarchies are constructed by an extension of the LUPI-based Incremental Hierarchical Clustering method that considers three types of information: traditional bag-of-words (technical information), and the combination of named entities (privileged information I) with domain terms (privileged information II). We evaluated the contextual information in four context-aware recommender systems. Different weights were assigned to each type of information. The empirical results demonstrated that topic hierarchies with the combination of the two kinds of privileged information can provide better recommendations. △ Less

Submitted 4 January, 2019; v1 submitted 6 November, 2015; originally announced November 2015.

Comments: The 12th National Meeting on Artificial and Computational Intelligence (ENIAC'15) collocated with the 4th Brazilian Conference on Intelligent Systems (BRACIS'15)

Mechanism of luminescent enhancement in Ba2GdNbO6:Eu3+ perovskite by Li+ co-do**

Authors: Marcos Vinicius dos Santos Rezende, Mario Ernesto Giroldo Valério, Rodolpho Mouta, Eduardo Moraes Diniz, Carlos William de Araújo Paschoal

Abstract: We investigated the Li+ ion incorporation in Ba2GdNbO6:Eu3+ perovskite by atomistic simulations based on energy minimization. We predicted the most probable sites occupied by Eu3+ and Li+ ions and the related charge-compensation mechanisms involved into these substitutions. The results show that the Eu3+ and Li+ ions are incorporated mainly at the Gd3+ site. In the Li+ ion case, there is a charge… ▽ More We investigated the Li+ ion incorporation in Ba2GdNbO6:Eu3+ perovskite by atomistic simulations based on energy minimization. We predicted the most probable sites occupied by Eu3+ and Li+ ions and the related charge-compensation mechanisms involved into these substitutions. The results show that the Eu3+ and Li+ ions are incorporated mainly at the Gd3+ site. In the Li+ ion case, there is a charge compensation by Nb_Gd antisite. The Crystal field parameters and the transition levels for the Eu3+ ion in the BGN:Eu3+ were calculated with basis on the simulated local symmetry of the Eu3+ site. The results show that the mechanism of luminescent properties enhancement is the symmetry distortion induced by the Li+ co-do**. △ Less

Submitted 4 March, 2014; originally announced March 2014.

Comments: 1 Figure, 17 pages

Magnetic relaxation in bilayers of yttrium iron garnet/platinum due to the dynamic coupling at the interface

Authors: S. M. Rezende, R. Rodríguez-Suárez, M. M. Soares, L. H. Vilela-Leão, A. Azevedo

Abstract: We show that in ferromagnetic (FM)/normal metal (NM) bilayers the dynamic coupling at the interface transfers an additional magnetic relaxation from the heavily damped motion of the conduction electron spins in the NM layer to the FM spins. While the FM relaxation rates due to two-magnon scattering and spin pum** decrease rapidly with increasing FM film thickness, the dam** due to the dynamic… ▽ More We show that in ferromagnetic (FM)/normal metal (NM) bilayers the dynamic coupling at the interface transfers an additional magnetic relaxation from the heavily damped motion of the conduction electron spins in the NM layer to the FM spins. While the FM relaxation rates due to two-magnon scattering and spin pum** decrease rapidly with increasing FM film thickness, the dam** due to the dynamic coupling does not depend on the FM film thickness. The proposed mechanism explains the very large broadening of ferromagnetic resonance lines in thick films of yttrium iron garnet after deposition of a Pt layer. △ Less

Submitted 13 July, 2012; originally announced July 2012.

Comments: 5 pages, 1 figure

Using Taxonomies to Facilitate the Analysis of the Association Rules

Authors: Marcos Aurélio Domingues, Solange Oliveira Rezende

Abstract: The Data Mining process enables the end users to analyze, understand and use the extracted knowledge in an intelligent system or to support in the decision-making processes. However, many algorithms used in the process encounter large quantities of patterns, complicating the analysis of the patterns. This fact occurs with association rules, a Data Mining technique that tries to identify intrinsic… ▽ More The Data Mining process enables the end users to analyze, understand and use the extracted knowledge in an intelligent system or to support in the decision-making processes. However, many algorithms used in the process encounter large quantities of patterns, complicating the analysis of the patterns. This fact occurs with association rules, a Data Mining technique that tries to identify intrinsic patterns in large data sets. A method that can help the analysis of the association rules is the use of taxonomies in the step of post-processing knowledge. In this paper, the GART algorithm is proposed, which uses taxonomies to generalize association rules, and the RulEE-GAR computational module, that enables the analysis of the generalized rules. △ Less

Submitted 7 December, 2011; originally announced December 2011.

Comments: ECML/PKDD'05 The Second International Workshop on Knowledge Discovery and Ontologies (KDO'05)

ACM Class: I.2.6

Trigger and Aperture of the Surface Detector Array of the Pierre Auger Observatory

Authors: J. Abraham, P. Abreu, M. Aglietta, C. Aguirre, E. J. Ahn, D. Allard, I. Allekotte, J. Allen, J. Alvarez-Muñiz, M. Ambrosio, L. Anchordoqui, S. Andringa, A. Anzalone, C. Aramo, E. Arganda, S. Argirò, K. Arisaka, F. Arneodo, F. Arqueros, T. Asch, H. Asorey, P. Assis, J. Aublin, M. Ave, G. Avila , et al. (447 additional authors not shown)

Abstract: The surface detector array of the Pierre Auger Observatory consists of 1600 water-Cherenkov detectors, for the study of extensive air showers (EAS) generated by ultra-high-energy cosmic rays. We describe the trigger hierarchy, from the identification of candidate showers at the level of a single detector, amongst a large background (mainly random single cosmic ray muons), up to the selection of re… ▽ More The surface detector array of the Pierre Auger Observatory consists of 1600 water-Cherenkov detectors, for the study of extensive air showers (EAS) generated by ultra-high-energy cosmic rays. We describe the trigger hierarchy, from the identification of candidate showers at the level of a single detector, amongst a large background (mainly random single cosmic ray muons), up to the selection of real events and the rejection of random coincidences. Such trigger makes the surface detector array fully efficient for the detection of EAS with energy above $3\times 10^{18}$ eV, for all zenith angles between 0$^\circ$ and 60$^\circ$, independently of the position of the impact point and of the mass of the primary particle. In these range of energies and angles, the exposure of the surface array can be determined purely on the basis of the geometrical acceptance. △ Less

Submitted 29 November, 2011; originally announced November 2011.

Comments: 29 pages, 12 figures

Journal ref: Nucl. Instrum. Methods A 613 (2010) 29-39

Spin Seebeck Effect: Amplification of Spin Waves by Thermal Torque

Authors: E. Padrón-Hernández, A. Azevedo, S. M. Rezende

Abstract: We observe amplification of spin-wave packets propagating along a film of yttrium iron garnet (YIG) subject to a transverse temperature gradient. The amplification is attributed to a spin-transfer thermal torque created by spin currents generated by means of the spin Seebeck effect that acts on the magnetization and opposes the relaxation. The experimental data are interpreted with a simple theore… ▽ More We observe amplification of spin-wave packets propagating along a film of yttrium iron garnet (YIG) subject to a transverse temperature gradient. The amplification is attributed to a spin-transfer thermal torque created by spin currents generated by means of the spin Seebeck effect that acts on the magnetization and opposes the relaxation. The experimental data are interpreted with a simple theoretical model using spin-wave theory that gives an amplification gain in very good agreement with measurements. △ Less

Submitted 13 July, 2011; v1 submitted 6 July, 2011; originally announced July 2011.

Comments: 8 pages, 8 figures This paper has been withdrawn by the author in order to be rewriten!

The Fluorescence Detector of the Pierre Auger Observatory

Authors: The Pierre Auger Collaboration, J. Abraham, P. Abreu, M. Aglietta, C. Aguirre, E. J. Ahn, D. Allard, I. Allekotte, J. Allen, P. Allison, J. Alvarez-Muñiz, M. Ambrosio, L. Anchordoqui, S. Andringa, A. Anzalone, C. Aramo, E. Arganda, S. Argirò, K. Arisaka, F. Arneodo, F. Arqueros, T. Asch, H. Asorey, P. Assis, J. Aublin , et al. (493 additional authors not shown)

Abstract: The Pierre Auger Observatory is a hybrid detector for ultra-high energy cosmic rays. It combines a surface array to measure secondary particles at ground level together with a fluorescence detector to measure the development of air showers in the atmosphere above the array. The fluorescence detector comprises 24 large telescopes specialized for measuring the nitrogen fluorescence caused by charg… ▽ More The Pierre Auger Observatory is a hybrid detector for ultra-high energy cosmic rays. It combines a surface array to measure secondary particles at ground level together with a fluorescence detector to measure the development of air showers in the atmosphere above the array. The fluorescence detector comprises 24 large telescopes specialized for measuring the nitrogen fluorescence caused by charged particles of cosmic ray air showers. In this paper we describe the components of the fluorescence detector including its optical system, the design of the camera, the electronics, and the systems for relative and absolute calibration. We also discuss the operation and the monitoring of the detector. Finally, we evaluate the detector performance and precision of shower reconstructions. △ Less

Submitted 24 July, 2009; originally announced July 2009.

Comments: 53 pages. Submitted to Nuclear Instruments and Methods in Physics Research Section A

Journal ref: Nucl.Instrum.Meth.A620:227-251,2010

Calibration and Monitoring of the Pierre Auger Observatory

Authors: The Pierre Auger Collaboration, J. Abraham, P. Abreu, M. Aglietta, C. Aguirre, E. J. Ahn, D. Allard, I. Allekotte, J. Allen, J. Alvarez-Muñiz, M. Ambrosio, L. Anchordoqui, S. Andringa, A. Anzalone, C. Aramo, E. Arganda, S. Argirò, K. Arisaka, F. Arneodo, F. Arqueros, T. Asch, H. Asorey, P. Assis, J. Aublin, M. Ave , et al. (448 additional authors not shown)

Abstract: Reports on the atmospheric monitoring, calibration, and other operating systems of the Pierre Auger Observatory. Contributions to the 31st International Cosmic Ray Conference, Lodz, Poland, July 2009. Reports on the atmospheric monitoring, calibration, and other operating systems of the Pierre Auger Observatory. Contributions to the 31st International Cosmic Ray Conference, Lodz, Poland, July 2009. △ Less

Submitted 12 June, 2009; originally announced June 2009.

Comments: Contributions to the 31st International Cosmic Ray Conference, Lodz, Poland, July 2009

Operations of and Future Plans for the Pierre Auger Observatory

Authors: The Pierre Auger Collaboration, J. Abraham, P. Abreu, M. Aglietta, C. Aguirre, E. J. Ahn, D. Allard, I. Allekotte, J. Allen, J. Alvarez-Muñiz, M. Ambrosio, L. Anchordoqui, S. Andringa, A. Anzalone, C. Aramo, E. Arganda, S. Argirò, K. Arisaka, F. Arneodo, F. Arqueros, T. Asch, H. Asorey, P. Assis, J. Aublin, M. Ave , et al. (447 additional authors not shown)

Abstract: Technical reports on operations and features of the Pierre Auger Observatory, including ongoing and planned enhancements and the status of the future northern hemisphere portion of the Observatory. Contributions to the 31st International Cosmic Ray Conference, Lodz, Poland, July 2009. Technical reports on operations and features of the Pierre Auger Observatory, including ongoing and planned enhancements and the status of the future northern hemisphere portion of the Observatory. Contributions to the 31st International Cosmic Ray Conference, Lodz, Poland, July 2009. △ Less

Submitted 10 July, 2009; v1 submitted 12 June, 2009; originally announced June 2009.

Comments: Contributions to the 31st ICRC, Lodz, Poland, July 2009

Astrophysical Sources of Cosmic Rays and Related Measurements with the Pierre Auger Observatory

Authors: The Pierre Auger Collaboration, J. Abraham, P. Abreu, M. Aglietta, C. Aguirre, E. J. Ahn, D. Allard, I. Allekotte, J. Allen, J. Alvarez-Muñiz, M. Ambrosio, L. Anchordoqui, S. Andringa, A. Anzalone, C. Aramo, E. Arganda, S. Argirò, K. Arisaka, F. Arneodo, F. Arqueros, T. Asch, H. Asorey, P. Assis, J. Aublin, M. Ave , et al. (447 additional authors not shown)

Abstract: Studies of the correlations of ultra-high energy cosmic ray directions with extra-Galactic objects, of general anisotropy, of photons and neutrinos, and of other astrophysical effects, with the Pierre Auger Observatory. Contributions to the 31st ICRC, Lodz, Poland, July 2009. Studies of the correlations of ultra-high energy cosmic ray directions with extra-Galactic objects, of general anisotropy, of photons and neutrinos, and of other astrophysical effects, with the Pierre Auger Observatory. Contributions to the 31st ICRC, Lodz, Poland, July 2009. △ Less

Submitted 10 July, 2009; v1 submitted 12 June, 2009; originally announced June 2009.

Comments: Submissions to the 31st International Cosmic Ray Conference, Lodz, Poland, July 2009

Studies of Cosmic Ray Composition and Air Shower Structure with the Pierre Auger Observatory

Authors: The Pierre Auger Collaboration, J. Abraham, P. Abreu, M. Aglietta, C. Aguirre, E. J. Ahn, D. Allard, I. Allekotte, J. Allen, J. Alvarez-Muñiz, M. Ambrosio, L. Anchordoqui, S. Andringa, A. Anzalone, C. Aramo, E. Arganda, S. Argirò, K. Arisaka, F. Arneodo, F. Arqueros, T. Asch, H. Asorey, P. Assis, J. Aublin, M. Ave , et al. (448 additional authors not shown)

Abstract: Studies of the composition of the highest energy cosmic rays with the Pierre Auger Observatory, including examination of hadronic physics effects on the structure of extensive air showers. Submissions to the 31st ICRC, Lodz, Poland (July 2009). Studies of the composition of the highest energy cosmic rays with the Pierre Auger Observatory, including examination of hadronic physics effects on the structure of extensive air showers. Submissions to the 31st ICRC, Lodz, Poland (July 2009). △ Less

Submitted 11 June, 2009; originally announced June 2009.

Comments: Submissions to the 31st International Cosmic Ray Conference, Lodz, Poland (July 2009)

The Cosmic Ray Energy Spectrum and Related Measurements with the Pierre Auger Observatory

Authors: The Pierre Auger Collaboration, J. Abraham, P. Abreu, M. Aglietta, C. Aguirre, E. J. Ahn, D. Allard, I. Allekotte, J. Allen, J. Alvarez-Muñiz, M. Ambrosio, L. Anchordoqui, S. Andringa, A. Anzalone, C. Aramo, E. Arganda, S. Argirò, K. Arisaka, F. Arneodo, F. Arqueros, T. Asch, H. Asorey, P. Assis, J. Aublin, M. Ave , et al. (447 additional authors not shown)

Abstract: Studies of the cosmic ray energy spectrum at the highest energies with the Pierre Auger Observatory. Studies of the cosmic ray energy spectrum at the highest energies with the Pierre Auger Observatory. △ Less

Submitted 10 July, 2009; v1 submitted 11 June, 2009; originally announced June 2009.

Comments: Submissions to the 31st International Cosmic Ray Conference

Upper limit on the cosmic-ray photon fraction at EeV energies from the Pierre Auger Observatory

Authors: The Pierre Auger Collaboration, J. Abraham, P. Abreu, M. Aglietta, C. Aguirre, E. J. Ahn, D. Allard, I. Allekotte, J. Allen, P. Allison, J. Alvarez-Muñiz, M. Ambrosio, L. Anchordoqui, S. Andringa, A. Anzalone, C. Aramo, S. Argiró, K. Arisaka, F. Arneodo, F. Arqueros, T. Asch, H. Asorey, P. Assis, J. Aublin, M. Ave , et al. (436 additional authors not shown)

Abstract: From direct observations of the longitudinal development of ultra-high energy air showers performed with the Pierre Auger Observatory, upper limits of 3.8%, 2.4%, 3.5% and 11.7% (at 95% c.l.) are obtained on the fraction of cosmic-ray photons above 2, 3, 5 and 10 EeV (1 EeV = 10^18 eV) respectively. These are the first experimental limits on ultra-high energy photons at energies below 10 EeV. Th… ▽ More From direct observations of the longitudinal development of ultra-high energy air showers performed with the Pierre Auger Observatory, upper limits of 3.8%, 2.4%, 3.5% and 11.7% (at 95% c.l.) are obtained on the fraction of cosmic-ray photons above 2, 3, 5 and 10 EeV (1 EeV = 10^18 eV) respectively. These are the first experimental limits on ultra-high energy photons at energies below 10 EeV. The results complement previous constraints on top-down models from array data and they reduce systematic uncertainties in the interpretation of shower data in terms of primary flux, nuclear composition and proton-air cross-section. △ Less

Submitted 20 April, 2009; v1 submitted 5 March, 2009; originally announced March 2009.

Comments: 20 pages, 7 figures, 2 tables. Minor changes. Accepted by Astroparticle Physics

Journal ref: Astropart.Phys.31:399-406,2009

Theory of coherence in Bose-Einstein condensation phenomena in a microwave driven interacting magnon gas

Authors: Sergio M. Rezende

Abstract: Strong experimental evidences of the formation of quasi-equilibrium Bose-Einstein condensation (BEC) of magnons at room temperature in a film of yttrium iron garnet (YIG) excited by microwave radiation have been recently reported. Here we present a theory for the magnon gas driven by a microwave field far out of equilibrium showing that the nonlinear magnetic interactions create cooperative mech… ▽ More Strong experimental evidences of the formation of quasi-equilibrium Bose-Einstein condensation (BEC) of magnons at room temperature in a film of yttrium iron garnet (YIG) excited by microwave radiation have been recently reported. Here we present a theory for the magnon gas driven by a microwave field far out of equilibrium showing that the nonlinear magnetic interactions create cooperative mechanisms for the onset of a phase transition leading to the spontaneous generation of quantum coherence and magnetic dynamic order in a macroscopic scale. The theory provides rigorous support for the formation of a BEC of magnons in a YIG film magnetized in the plane. We show that the system develops coherence only when the microwave driving power exceeds a threshold value and that the theoretical result for the intensity of the Brillouin light scattering from the BEC as a function of power agrees with the experimental data. The theory also explains quantitatively experimental measurements of microwave emission from the uniform mode generated by the confluence of BEC magnon pairs in a YIG film when the driving power exceeds a critical value. △ Less

Submitted 18 February, 2009; originally announced February 2009.

Comments: 26 pages, 9 figures, 46 references

On the Field Dependence of the Interface Energy in Af/FM Bilayers

Authors: J. R. L. de Almeida, J. R. Steiner, S. M. Rezende

Abstract: In the investigations of antiferromagnetic (AF)/ ferromagnetic (FM) bilayer samples, often distinct experimental techniques yield different values for the measured exchange anisotropy field (HE). We propose that the observed discrepancy may be accounted in part by the dependence of the unidirectional anisotropy with the value of the external applied field (h). Using a simple microscopic model fo… ▽ More In the investigations of antiferromagnetic (AF)/ ferromagnetic (FM) bilayer samples, often distinct experimental techniques yield different values for the measured exchange anisotropy field (HE). We propose that the observed discrepancy may be accounted in part by the dependence of the unidirectional anisotropy with the value of the external applied field (h). Using a simple microscopic model for representing the AF/FM interface, which incorporates the effect of interface roughness, we show that the interface energy between the AF and FM layer indeed varies with h, as recently observed in anisotropic magnetoresistance measurements, lending support to our proposal. △ Less

Submitted 23 September, 2003; originally announced September 2003.

Comments: 12 pages, 9 figures, submitted to Journ.Mag.Mag.Mater

Field Dependence of the Interface Energy in Af/FM Bilayers

Authors: J. R. L. de Almeida, J. R. Steiner, S. M. Rezende

Abstract: In the investigations of antiferromagnetic (AF)/ ferromagnetic (FM) bilayer samples, often distinct experimental techniques yield different values for the measured exchange anisotropy field (HE). Using a simple microscopic model for representing the AF/FM interface, which incorporates the effect of interface roughness, we propose that the observed discrepancy may be accounted for by the dependen… ▽ More In the investigations of antiferromagnetic (AF)/ ferromagnetic (FM) bilayer samples, often distinct experimental techniques yield different values for the measured exchange anisotropy field (HE). Using a simple microscopic model for representing the AF/FM interface, which incorporates the effect of interface roughness, we propose that the observed discrepancy may be accounted for by the dependence of the interface energy between the AF and FM layers with the value of the external applied field (H) as recently observed in anisotropic magnetoresistance measurements, lending support to our proposal. △ Less

Submitted 18 August, 2003; originally announced August 2003.

Comments: 2 pages, 3 figures, accepted for Journal of Applied Physics