-
Transformer-based Ranking Approaches for Keyword Queries over Relational Databases
Authors:
Paulo Martins,
Altigran da Silva,
Johny Moreira,
Edleno de Moura
Abstract:
Relational Keyword Search (R-KwS) systems enable naive/informal users to explore and retrieve information from relational databases without requiring schema knowledge or query-language proficiency. Although numerous R-KwS methods have been proposed, most still focus on queries referring only to attribute values or primarily address performance enhancements, providing limited support for queries re…
▽ More
Relational Keyword Search (R-KwS) systems enable naive/informal users to explore and retrieve information from relational databases without requiring schema knowledge or query-language proficiency. Although numerous R-KwS methods have been proposed, most still focus on queries referring only to attribute values or primarily address performance enhancements, providing limited support for queries referencing schema elements. We previously introduced Lathe, a system that accommodates schema-based keyword queries and employs an eager CJN evaluation strategy to filter out spurious Candidate Joining Networks (CJNs). However, Lathe still faces challenges in accurately ranking CJNs when queries are ambiguous. In this work, we propose a new transformer-based ranking approach that provides a more context-aware evaluation of Query Matches (QMs) and CJNs. Our solution introduces a linearization process to convert relational structures into textual sequences suitable for transformer models. It also includes a data augmentation strategy aimed at handling diverse and ambiguous queries more effectively. Experimental results, comparing our transformer-based ranking to Lathe's original Bayesian-based method, show significant improvements in recall and R@k, demonstrating the effectiveness of our neural approach in delivering the most relevant query results.
△ Less
Submitted 24 March, 2025;
originally announced March 2025.
-
Probabilistic Entry Swapping Bijections for Non-Attacking Fillings
Authors:
Guilherme Zeus Dantas e Moura,
Olya Mandelshtam
Abstract:
Non-attacking fillings are combinatorial objects central to the theory of Macdonald polynomials. A probabilistic bijection for partition-shaped non-attacking fillings was introduced by Mandelshtam (2024) to prove a compact formula for symmetric Macdonald polynomials. In this work, we generalize this probabilistic bijection to composition-shaped non-attacking fillings. As an application, we provide…
▽ More
Non-attacking fillings are combinatorial objects central to the theory of Macdonald polynomials. A probabilistic bijection for partition-shaped non-attacking fillings was introduced by Mandelshtam (2024) to prove a compact formula for symmetric Macdonald polynomials. In this work, we generalize this probabilistic bijection to composition-shaped non-attacking fillings. As an application, we provide a bijective proof to extend a symmetry theorem for permuted-basement Macdonald polynomials established by Alexandersson (2019), proving a version with fewer assumptions.
△ Less
Submitted 7 March, 2025;
originally announced March 2025.
-
Transactional Dynamics in Hyperledger Fabric: A Stochastic Modeling and Performance Evaluation of Permissioned Blockchains
Authors:
Carlos Melo,
Glauber Gonçalves,
Francisco Airton Silva,
Iure Fé,
Ericksulino Moura,
André Soares,
Eunmi Choi,
Dugki Min,
Jae-Woo Lee,
Tuan Anh Nguyen
Abstract:
Blockchain, often integrated with distributed systems and security enhancements, has significant potential in various industries. However, environmental concerns and the efficiency of consortia-controlled permissioned networks remain critical issues. We use a Stochastic Petri Net model to analyze transaction flows in Hyperledger Fabric networks, achieving a 95% confidence interval for response tim…
▽ More
Blockchain, often integrated with distributed systems and security enhancements, has significant potential in various industries. However, environmental concerns and the efficiency of consortia-controlled permissioned networks remain critical issues. We use a Stochastic Petri Net model to analyze transaction flows in Hyperledger Fabric networks, achieving a 95% confidence interval for response times. This model enables administrators to assess the impact of system changes on resource utilization. Sensitivity analysis reveals major factors influencing response times and throughput. Our case studies demonstrate that block size can alter throughput and response times by up to 200%, underscoring the need for performance optimization with resource efficiency.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
An invitation to Fibonacci digits
Authors:
Justin Cheigh,
Guilherme Zeus Dantas e Moura,
Jacob Lehmann Duke,
Annika Mauro,
Zoe McDonald,
Anna Mello,
Kayla Miller,
Steven J. Miller,
Santiago Velazquez Iannuzzelli
Abstract:
The purpose of this short note is to show the interplay between math outreach and conducting original research, in particular how each can build off the other.
The purpose of this short note is to show the interplay between math outreach and conducting original research, in particular how each can build off the other.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
An Experimental Study on Data Augmentation Techniques for Named Entity Recognition on Low-Resource Domains
Authors:
Arthur Elwing Torres,
Edleno Silva de Moura,
Altigran Soares da Silva,
Mario A. Nascimento,
Filipe Mesquita
Abstract:
Named Entity Recognition (NER) is a machine learning task that traditionally relies on supervised learning and annotated data. Acquiring such data is often a challenge, particularly in specialized fields like medical, legal, and financial sectors. Those are commonly referred to as low-resource domains, which comprise long-tail entities, due to the scarcity of available data. To address this, data…
▽ More
Named Entity Recognition (NER) is a machine learning task that traditionally relies on supervised learning and annotated data. Acquiring such data is often a challenge, particularly in specialized fields like medical, legal, and financial sectors. Those are commonly referred to as low-resource domains, which comprise long-tail entities, due to the scarcity of available data. To address this, data augmentation techniques are increasingly being employed to generate additional training instances from the original dataset. In this study, we evaluate the effectiveness of two prominent text augmentation techniques, Mention Replacement and Contextual Word Replacement, on two widely-used NER models, Bi-LSTM+CRF and BERT. We conduct experiments on four datasets from low-resource domains, and we explore the impact of various combinations of training subset sizes and number of augmented examples. We not only confirm that data augmentation is particularly beneficial for smaller datasets, but we also demonstrate that there is no universally optimal number of augmented examples, i.e., NER practitioners must experiment with different quantities in order to fine-tune their projects.
△ Less
Submitted 21 November, 2024;
originally announced November 2024.
-
Efficient Spin-Adapted Implementation of Multireference Algebraic Diagrammatic Construction Theory. I. Core-Ionized States and X-Ray Photoelectron Spectra
Authors:
Carlos E. V. de Moura,
Alexander Yu. Sokolov
Abstract:
We present an efficient implementation of multireference algebraic diagrammatic construction theory (MR-ADC) for simulating core-ionized states and X-ray photoelectron spectra (XPS). Taking advantage of spin adaptation, automatic code generation, and density fitting, our implementation can perform calculations for molecules with more than 1500 molecular orbitals, incorporating static and dynamic c…
▽ More
We present an efficient implementation of multireference algebraic diagrammatic construction theory (MR-ADC) for simulating core-ionized states and X-ray photoelectron spectra (XPS). Taking advantage of spin adaptation, automatic code generation, and density fitting, our implementation can perform calculations for molecules with more than 1500 molecular orbitals, incorporating static and dynamic correlation in the ground and excited electronic states. We demonstrate the capabilities of MR-ADC methods by simulating the XPS spectra of substituted ferrocene complexes and azobenzene isomers. For the ground electronic states of these molecules, the XPS spectra computed using the extended second-order MR-ADC method (MR-ADC(2)-X) are in a very good agreement with available experimental results. We further show that MR-ADC can be used as a tool for interpreting or predicting the results of time-resolved XPS measurements by simulating the core ionization spectra of azobenzene along its photoisomerization, including the XPS signatures of excited states and the minimum energy conical intersection. This work is the first in a series of publications reporting the efficient implementations of MR-ADC methods.
△ Less
Submitted 17 June, 2024; v1 submitted 13 May, 2024;
originally announced May 2024.
-
Web Intelligence Journal in perspective: an analysis of its two decades trajectory
Authors:
Diogenes Ademir Domingos,
Victor Emanuel Santos Moura,
Antonio Fernando Lavareda Jacob Junior,
Fabio Manoel Franca Lobato
Abstract:
The evolution of a thematic area undergoes various changes of perspective and adopts new theoretical approaches that arise from the interactions of the community and a wide range of social needs. The advent of digital technologies, such as social networks, underlines this factor by spreading knowledge and forging links between different communities. Web intelligence is now on the verge of raising…
▽ More
The evolution of a thematic area undergoes various changes of perspective and adopts new theoretical approaches that arise from the interactions of the community and a wide range of social needs. The advent of digital technologies, such as social networks, underlines this factor by spreading knowledge and forging links between different communities. Web intelligence is now on the verge of raising questions that broaden the understanding of how artificial intelligence impacts the Web of People, Data, and Things, among other factors. To the best of our knowledge, there is no study that has conducted a longitudinal analysis of the evolution of this community. Thus, we investigate in this paper how Web intelligence has evolved in the last twenty years by carrying out a literature review and bibliometric analysis. Concerning the impact of this research study, increasing attention is devoted to determining which are the most influential papers in the community by referring to citation networks and discovering the most popular and pressing topics through a co-citation analysis and the keywords co-occurrence. The results obtained can guide the direction of new research projects in the area and update the scope and places of interest found in current trends and the relevant journals.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Cluster Monomials in Graph Laurent Phenomenon Algebras
Authors:
Guilherme Zeus Dantas e Moura,
Ramanuja Charyulu Telekicherla Kandalam,
Dora Woodruff
Abstract:
Laurent Phenomenon algebras, first introduced by Lam and Pylyavskyy, are a generalization of cluster algebras that still possess many salient features of cluster algebras. Linear Laurent Phenomenon algebras, defined by Lam and Pylyavskyy, are a subclass of Laurent Phenomenon algebras whose structure is given by the data of a directed graph. The main result of this paper is that the cluster monomia…
▽ More
Laurent Phenomenon algebras, first introduced by Lam and Pylyavskyy, are a generalization of cluster algebras that still possess many salient features of cluster algebras. Linear Laurent Phenomenon algebras, defined by Lam and Pylyavskyy, are a subclass of Laurent Phenomenon algebras whose structure is given by the data of a directed graph. The main result of this paper is that the cluster monomials of a linear Laurent Phenomenon algebra form a linear basis, conjectured by Lam and Pylyavskyy and analogous to a result for cluster algebras by Caldero and Keller.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Simulating Transient X-ray Photoelectron Spectra of Fe(CO)5 and Its Photodissociation Products With Multireference Algebraic Diagrammatic Construction Theory
Authors:
Nicholas P. Gaba,
Carlos E. V. de Moura,
Rajat Majumder,
Alexander Yu. Sokolov
Abstract:
Accurate simulations of transient X-ray photoelectron spectra (XPS) provide unique opportunities to bridge the gap between theory and experiment in understanding the photoactivated dynamics in molecules and materials. However, simulating X-ray photoelectron spectra along a photochemical reaction pathway is challenging as it requires accurate description of electronic structure incorporating core-h…
▽ More
Accurate simulations of transient X-ray photoelectron spectra (XPS) provide unique opportunities to bridge the gap between theory and experiment in understanding the photoactivated dynamics in molecules and materials. However, simulating X-ray photoelectron spectra along a photochemical reaction pathway is challenging as it requires accurate description of electronic structure incorporating core-hole screening, orbital relaxation, electron correlation, and spin-orbit coupling in excited states or at nonequilibrium ground-state geometries. In this work, we employ the recently developed multireference algebraic diagrammatic construction theory (MR-ADC) to investigate the core-ionized states and X-ray photoelectron spectra of Fe(CO)5 and its photodissociation products (Fe(CO)4, Fe(CO)3) following excitation with 266 nm light. The simulated transient Fe 3p and CO 3σ XPS spectra incorporating spin-orbit coupling and high-order electron correlation effects are shown to be in a good agreement with the experimental measurements by Leitner et al. [J. Chem. Phys. 149, 044307 (2018)]. Our calculations suggest that core-hole screening, spin-orbit coupling, and ligand-field splitting effects are similarly important in reproducing the experimentally observed chemical shifts in transient Fe 3p XPS spectra of iron carbonyl complexes. Our results also demonstrate that the MR-ADC methods can be very useful in interpreting the transient XPS spectra of transition metal compounds.
△ Less
Submitted 27 April, 2024; v1 submitted 23 February, 2024;
originally announced February 2024.
-
Outerplanar Turán number of a cycle
Authors:
Ervin Győri,
Guilherme Zeus Dantas e Moura,
Runtian Zhou
Abstract:
A graph is outerplanar if it has a planar drawing for which all vertices belong to the outer face of the drawing. Let $H$ be a graph. The outerplanar Turán number of $H$, denoted by $ex_\mathcal{OP}(n,H)$, is the maximum number of edges in an $n$-vertex outerplanar graph which does not contain $H$ as a subgraph. In 2021, L. Fang et al. determined the outerplanar Turán number of cycles and paths. I…
▽ More
A graph is outerplanar if it has a planar drawing for which all vertices belong to the outer face of the drawing. Let $H$ be a graph. The outerplanar Turán number of $H$, denoted by $ex_\mathcal{OP}(n,H)$, is the maximum number of edges in an $n$-vertex outerplanar graph which does not contain $H$ as a subgraph. In 2021, L. Fang et al. determined the outerplanar Turán number of cycles and paths. In this paper, we use techniques of dual graph to give a shorter proof for the sharp upperbound of $ex_\mathcal{OP}(n,C_k)\leq \frac{(2k - 5)(kn - k - 1)}{k^2 - 2k - 1}$.
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
On generic universal rigidity on the line
Authors:
Guilherme Zeus Dantas e Moura,
Tibor Jordán,
Corwin Silverman
Abstract:
A $d$-dimensional bar-and-joint framework $(G,p)$ with underlying graph $G$ is called universally rigid if all realizations of $G$ with the same edge lengths, in all dimensions, are congruent to $(G,p)$. A graph $G$ is said to be generically universally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is universally rigid.
In this paper we focus on the case $d=1$. We gi…
▽ More
A $d$-dimensional bar-and-joint framework $(G,p)$ with underlying graph $G$ is called universally rigid if all realizations of $G$ with the same edge lengths, in all dimensions, are congruent to $(G,p)$. A graph $G$ is said to be generically universally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is universally rigid.
In this paper we focus on the case $d=1$. We give counterexamples to a conjectured characterization of generically universally rigid graphs from R. Connelly (2011). We also introduce two new operations that preserve the universal rigidity of generic frameworks, and the property of being not universally rigid, respectively. One of these operations is used in the analysis of one of our examples, while the other operation is applied to obtain a lower bound on the size of generically universally rigid graphs. This bound gives a partial answer to a question from T. Jordán and V-H. Nguyen (2015).
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Towards the Gaussianity of Random Zeckendorf Games
Authors:
Justin Cheigh,
Guilherme Zeus Dantas e Moura,
Ryan Jeong,
Jacob Lehmann Duke,
Wyatt Milgrim,
Steven J. Miller,
Prakod Ngamlamai
Abstract:
Zeckendorf proved that any positive integer has a unique decomposition as a sum of non-consecutive Fibonacci numbers, indexed by $F_1 = 1, F_2 = 2, F_{n+1} = F_n + F_{n-1}$. Motivated by this result, Baird, Epstein, Flint, and Miller defined the two-player Zeckendorf game, where two players take turns acting on a multiset of Fibonacci numbers that always sums to $N$. The game terminates when no po…
▽ More
Zeckendorf proved that any positive integer has a unique decomposition as a sum of non-consecutive Fibonacci numbers, indexed by $F_1 = 1, F_2 = 2, F_{n+1} = F_n + F_{n-1}$. Motivated by this result, Baird, Epstein, Flint, and Miller defined the two-player Zeckendorf game, where two players take turns acting on a multiset of Fibonacci numbers that always sums to $N$. The game terminates when no possible moves remain, and the final player to perform a move wins. Notably, studied the setting of random games: the game proceeds by choosing an available move uniformly at random, and they conjecture that as the input $N \to \infty$, the distribution of random game lengths converges to a Gaussian.
We prove that certain sums of move counts is constant, and find a lower bound on the number of shortest games on input $N$ involving the Catalan numbers. The works Baird et al. and Cuzensa et al. determined how to achieve a shortest and longest possible Zeckendorf game on a given input $N$, respectively: we establish that for any input $N$, the range of possible game lengths constitutes an interval of natural numbers: every game length between the shortest and longest game lengths can be achieved.
We further the study of probabilistic aspects of random Zeckendorf games. We study two probability measures on the space of all Zeckendorf games on input $N$: the uniform measure, and the measure induced by choosing moves uniformly at random at any given position. Under both measures that in the limit $N \to \infty$, both players win with probability $1/2$. We also find natural partitions of the collection of all Zeckendorf games of a fixed input $N$, on which we observe weak convergence to a Gaussian in the limit $N \to \infty$. We conclude the work with many open problems.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Recurrence Relations for $S$-Legal Index Difference Sequences
Authors:
Guilherme Zeus Dantas e Moura,
Andrew Keisling,
Astrid Lilly,
Annika Mauro,
Steven J. Miller,
Matthew Phang,
Santiago Velazquez Iannuzzelli
Abstract:
Zeckendorf's Theorem implies that the Fibonacci number $F_n$ is the smallest positive integer that cannot be written as a sum of non-consecutive previous Fibonacci numbers. Catral et al. studied a variation of the Fibonacci sequence, the Fibonacci Quilt sequence: the plane is tiled using the Fibonacci spiral, and integers are assigned to the squares of the spiral such that each square contains the…
▽ More
Zeckendorf's Theorem implies that the Fibonacci number $F_n$ is the smallest positive integer that cannot be written as a sum of non-consecutive previous Fibonacci numbers. Catral et al. studied a variation of the Fibonacci sequence, the Fibonacci Quilt sequence: the plane is tiled using the Fibonacci spiral, and integers are assigned to the squares of the spiral such that each square contains the smallest positive integer that cannot be expressed as the sum of non-adjacent previous terms. This adjacency is essentially captured in the differences of the indices of each square: the $i$-th and $j$-th squares are adjacent if and only if $|i - j| \in \{1, 3, 4\}$ or $\{i, j\} = \{1, 3\}$.
We consider a generalization of this construction: given a set of positive integers $S$, the $S$-legal index difference ($S$-LID) sequence $(a_n)_{n=1}^\infty$ is defined by letting $a_n$ to be the smallest positive integer that cannot be written as $\sum_{\ell \in L} a_\ell$ for some set $L \subset [n-1]$ with $|i - j| \notin S$ for all $i, j \in L$. We discuss our results governing the growth of $S$-LID sequences, as well as results proving that many families of sets $S$ yield $S$-LID sequences which follow simple recurrence relations.
△ Less
Submitted 27 August, 2023; v1 submitted 19 October, 2022;
originally announced October 2022.
-
Sum and Difference Sets in Generalized Dihedral Groups
Authors:
Ruben Ascoli,
Justin Cheigh,
Guilherme Zeus Dantas e Moura,
Ryan Jeong,
Andrew Keisling,
Astrid Lilly,
Steven J. Miller,
Prakod Ngamlamai,
Matthew Phang
Abstract:
Given a group $G$, we say that a set $A \subseteq G$ has more sums than differences (MSTD) if $|A+A| > |A-A|$, has more differences than sums (MDTS) if $|A+A| < |A-A|$, or is sum-difference balanced if $|A+A| = |A-A|$. A problem of recent interest has been to understand the frequencies of these type of subsets.
The seventh author and Vissuet studied the problem for arbitrary finite groups $G$ an…
▽ More
Given a group $G$, we say that a set $A \subseteq G$ has more sums than differences (MSTD) if $|A+A| > |A-A|$, has more differences than sums (MDTS) if $|A+A| < |A-A|$, or is sum-difference balanced if $|A+A| = |A-A|$. A problem of recent interest has been to understand the frequencies of these type of subsets.
The seventh author and Vissuet studied the problem for arbitrary finite groups $G$ and proved that almost all subsets $A\subseteq G$ are sum-difference balanced as $|G|\to\infty$. For the dihedral group $D_{2n}$, they conjectured that of the remaining sets, most are MSTD, i.e., there are more MSTD sets than MDTS sets. Some progress on this conjecture was made by Haviland et al. in 2020, when they introduced the idea of partitioning the subsets by size: if, for each $m$, there are more MSTD subsets of $D_{2n}$ of size $m$ than MDTS subsets of size $m$, then the conjecture follows.
We extend the conjecture to generalized dihedral groups $D=\mathbb{Z}_2\ltimes G$, where $G$ is an abelian group of size $n$ and the nonidentity element of $\mathbb{Z}_2$ acts by inversion. We make further progress on the conjecture by considering subsets with a fixed number of rotations and reflections. By bounding the expected number of overlapping sums, we show that the collection $\mathcal S_{D,m}$ of subsets of the generalized dihedral group $D$ of size $m$ has more MSTD sets than MDTS sets when $6\le m\le c_j\sqrt{n}$ for $c_j=1.3229/\sqrt{111+5j}$, where $j$ is the number of elements in $G$ with order at most $2$. We also analyze the expectation for $|A+A|$ and $|A-A|$ for $A\subseteq D_{2n}$, proving an explicit formula for $|A-A|$ when $n$ is prime.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
Supporting Schema References in Keyword Queries over Relational Databases
Authors:
Paulo Martins,
Altigran da Silva,
João Cavalcanti,
Edleno de Moura
Abstract:
Relational Keyword Search (R-KwS) systems enable naive/informal users to explore and retrieve information from relational databases without knowing schema details or query languages. These systems take the keywords from the input query, locate the elements of the target database that correspond to these keywords, and look for ways to "connect" these elements using information on referential integr…
▽ More
Relational Keyword Search (R-KwS) systems enable naive/informal users to explore and retrieve information from relational databases without knowing schema details or query languages. These systems take the keywords from the input query, locate the elements of the target database that correspond to these keywords, and look for ways to "connect" these elements using information on referential integrity constraints, i.e., key/foreign key pairs. Although several such systems have been proposed in the literature, most of them only support queries whose keywords refer to the contents of the target database and just very few support queries in which keywords refer to elements of the database schema. This paper proposes LATHE, a novel R-KwS designed to support such queries. To this end, in our work, we first generalize the well-known concepts of Query Matches (QMs) and Candidate Joining Networks (CJNs) to handle keywords referring to schema elements and propose new algorithms to generate them. Then, we introduce an approach to automatically select the CJNs that are more likely to represent the user intent when issuing a keyword query. This approach includes two major innovations: a ranking algorithm for selecting better QMs, yielding the generation of fewer but better CJNs, and an eager evaluation strategy for pruning void useless CJNs. We present a comprehensive set of experiments performed with query sets and datasets previously used in experiments with state-of-the-art R-KwS systems and methods. Our results indicate that LATHE can handle a wider variety of keyword queries while remaining highly effective, even for large databases with intricate schemas.
△ Less
Submitted 11 March, 2022;
originally announced March 2022.
-
Effects of a Flexible Ion Gel as an Active Outer-Layer when in Contact with a Metallic Electrode
Authors:
Elton Alves de Moura,
Ana Cristina de Paula,
Adriano Reinaldo Viçoto Benvenho,
José Pedro Mansueto Serbena,
Keli Fabiana Seidel
Abstract:
In this work the effect of an ion gel outer-layer stuck on top of ITO/PBT/Sn devices was investigated towards its effects on the electrical properties. When this external electrolyte film is in contact with any top permeable electrode it produces a self-biasing effect and changes the charge carriers injection properties. The outer-layer promoted situations where the output current increases up to…
▽ More
In this work the effect of an ion gel outer-layer stuck on top of ITO/PBT/Sn devices was investigated towards its effects on the electrical properties. When this external electrolyte film is in contact with any top permeable electrode it produces a self-biasing effect and changes the charge carriers injection properties. The outer-layer promoted situations where the output current increases up to two orders of magnitude and others where the output current decreases one order of magnitude in comparison to the same samples without it. Admittance spectroscopy measurements were made and the proposed equivalent circuit model indicates that the interfacial electrical properties dominate charge injection face to the bulk properties when the outer-layer is present. All the changes observed here are reversible after the ion gel is detached and replaced, indicating that ions do not diffuse into the active layer. The observed results can contribute to improve the current density in certain sandwich structures as well as notify that electrolyte external films can behave as an active layer promoting electrical changes into sandwich devices and can be extended to cases where the electrolyte film is used as substrate.
△ Less
Submitted 17 January, 2022;
originally announced February 2022.
-
Simulating X-ray Photoelectron Spectra With Strong Electron Correlation Using Multireference Algebraic Diagrammatic Construction Theory
Authors:
Carlos E. V. de Moura,
Alexander Yu. Sokolov
Abstract:
We present a new theoretical approach for the simulations of X-ray photoelectron spectra of strongly correlated molecular systems that combines multireference algebraic diagrammatic construction theory (MR-ADC) [J. Chem. Phys., 2018, 149, 204113] with core-valence separation (CVS) technique. The resulting CVS-MR-ADC approach has a low computational cost while overcoming many challenges of the conv…
▽ More
We present a new theoretical approach for the simulations of X-ray photoelectron spectra of strongly correlated molecular systems that combines multireference algebraic diagrammatic construction theory (MR-ADC) [J. Chem. Phys., 2018, 149, 204113] with core-valence separation (CVS) technique. The resulting CVS-MR-ADC approach has a low computational cost while overcoming many challenges of the conventional multireference theories associated with the calculations of excitations from inner-shell and core molecular orbitals. Our results demonstrate that the CVS-MR-ADC methods are as accurate as single-reference ADC approximations for predicting core ionization energies of weakly-correlated molecules, but are more accurate and reliable for systems with multireference character, such as stretched nitrogen molecule, ozone, and isomers of benzyne diradical. We also highlight the importance of multireference effects for the description of core-hole screening that determines the relative spacing and order of peaks in the XPS spectra of strongly correlated systems.
△ Less
Submitted 25 February, 2022; v1 submitted 1 December, 2021;
originally announced December 2021.
-
On the Performance of Hybrid Search Strategies for Systematic Literature Reviews in Software Engineering
Authors:
Erica Mourão,
João Felipe Pimentel,
Leonardo Murta,
Marcos Kalinowski,
Emilia Mendes,
Claes Wohlin
Abstract:
Context: When conducting a Systematic Literature Review (SLR), researchers usually face the challenge of designing a search strategy that appropriately balances result quality and review effort. Using digital library (or database) searches or snowballing alone may not be enough to achieve high-quality results. On the other hand, using both digital library searches and snowballing together may incr…
▽ More
Context: When conducting a Systematic Literature Review (SLR), researchers usually face the challenge of designing a search strategy that appropriately balances result quality and review effort. Using digital library (or database) searches or snowballing alone may not be enough to achieve high-quality results. On the other hand, using both digital library searches and snowballing together may increase the overall review effort.
Objective: The goal of this research is to propose and evaluate hybrid search strategies that selectively combine database searches with snowballing.
Method: We propose four hybrid search strategies combining database searches in digital libraries with iterative, parallel, or sequential backward and forward snowballing. We simulated the strategies over three existing SLRs in SE that adopted both database searches and snowballing. We compared the outcome of digital library searches, snowballing, and hybrid strategies using precision, recall, and F-measure to investigate the performance of each strategy.
Results: Our results show that, for the analyzed SLRs, combining database searches from the Scopus digital library with parallel or sequential snowballing achieved the most appropriate balance of precision and recall.
Conclusion: We put forward that, depending on the goals of the SLR and the available resources, using a hybrid search strategy involving a representative digital library and parallel or sequential snowballing tends to represent an appropriate alternative to be used when searching for evidence in SLRs.
△ Less
Submitted 20 April, 2020;
originally announced April 2020.
-
Microstructure identification via detrended fluctuation analysis of ultrasound signals
Authors:
Paulo G. Normando,
Romao S. Nascimento,
Elineudo P. Moura,
Andre P. Vieira
Abstract:
We describe an algorithm for simulating ultrasound propagation in random one-dimensional media, mimicking different microstructures by choosing physical properties such as domain sizes and mass densities from probability distributions. By combining a detrended fluctuation analysis (DFA) of the simulated ultrasound signals with tools from the pattern-recognition literature, we build a Gaussian clas…
▽ More
We describe an algorithm for simulating ultrasound propagation in random one-dimensional media, mimicking different microstructures by choosing physical properties such as domain sizes and mass densities from probability distributions. By combining a detrended fluctuation analysis (DFA) of the simulated ultrasound signals with tools from the pattern-recognition literature, we build a Gaussian classifier which is able to associate each ultrasound signal with its corresponding microstructure with a very high success rate. Furthermore, we also show that DFA data can be used to train a multilayer perceptron which estimates numerical values of physical properties associated with distinct microstructures.
△ Less
Submitted 21 December, 2012; v1 submitted 9 August, 2012;
originally announced August 2012.
-
Log-Lipschitz continuity of the vector field on the attractor of certain parabolic equations
Authors:
Eleonora Pinto de Moura,
James C. Robinson
Abstract:
We discuss various issues related to the finite-dimensionality of the asymptotic dynamics of solutions of parabolic equations. In particular, we study the regularity of the vector field on the global attractor associated with these equations. We show that certain dissipative partial differential equations possess a linear term that is log-Lipschitz continuous on the attractor. We then prove that t…
▽ More
We discuss various issues related to the finite-dimensionality of the asymptotic dynamics of solutions of parabolic equations. In particular, we study the regularity of the vector field on the global attractor associated with these equations. We show that certain dissipative partial differential equations possess a linear term that is log-Lipschitz continuous on the attractor. We then prove that this property implies that the associated global attractor $\mathcal A$ lies within a small neighbourhood of a smooth manifold, given as a Lipschitz graph over a finite number of Fourier modes. Consequently, the global attractor $\mathcal A$ has zero Lipschitz deviation and, therefore, there are linear maps $L$ into finite-dimensional spaces, whose inverses restricted to $L\mathcal A$ are Hölder continuous with an exponent arbitrarily close to one.
△ Less
Submitted 29 August, 2010;
originally announced August 2010.
-
Embedding of global attractors and their dynamics
Authors:
Eleonora Pinto de Moura,
James C. Robinson,
Jaime J. Sánchez-Gabites
Abstract:
Using shape theory and the concept of cellularity, we show that if $A$ is the global attractor associated with a dissipative partial differential equation in a real Hilbert space $H$ and the set $A-A$ has finite Assouad dimension $d$, then there is an ordinary differential equation in ${\mathbb R}^{m+1}$, with $m >d$, that has unique solutions and reproduces the dynamics on $A$. Moreover, the dyna…
▽ More
Using shape theory and the concept of cellularity, we show that if $A$ is the global attractor associated with a dissipative partial differential equation in a real Hilbert space $H$ and the set $A-A$ has finite Assouad dimension $d$, then there is an ordinary differential equation in ${\mathbb R}^{m+1}$, with $m >d$, that has unique solutions and reproduces the dynamics on $A$. Moreover, the dynamical system generated by this new ordinary differential equation has a global attractor $X$ arbitrarily close to $LA$, where $L$ is a homeomorphism from $A$ into ${\mathbb R}^{m+1}$.
△ Less
Submitted 13 August, 2010;
originally announced August 2010.
-
Characterization of welding defects by fractal analysis of ultrasonic signals
Authors:
A. P. Vieira,
E. P. de Moura,
L. L. Goncalves,
J. M. A. Rebello
Abstract:
In this work we apply tools developed for the study of fractal properties of time series to the problem of classifying defects in welding joints probed by ultrasonic tecniques. We employ the fractal tools in a preprocessing step, producing curves with a considerably smaller number of points than in the original signals. These curves are then used in the classification step, which is realized by…
▽ More
In this work we apply tools developed for the study of fractal properties of time series to the problem of classifying defects in welding joints probed by ultrasonic tecniques. We employ the fractal tools in a preprocessing step, producing curves with a considerably smaller number of points than in the original signals. These curves are then used in the classification step, which is realized by applying an extension of the Karhunen-Loeve linear transformation. We show that our approach leads to small error rates, comparable with those obtained by using more time-consuming methods based on non-linear classifiers.
△ Less
Submitted 15 December, 2006;
originally announced December 2006.
-
Quantum Dissipative Effects and Neutrinos : current constraints and future perspectives
Authors:
A. M. Gago,
E. M. Moura,
W. J. C. Teves,
R. Zukanovich Funchal
Abstract:
We establish the most stringent experimental constraints coming from recent terrestrial neutrino experiments on quantum mechanical decoherence effects in neutrino systems. Taking a completely phenomenological approach, we probe vacuum oscillations plus quantum decoherence between two neutrino species in the channels $ν_μ\to ν_τ$, $ν_μ\to ν_e$ and $ν_e \to ν_τ$, admitting that the quantum decoher…
▽ More
We establish the most stringent experimental constraints coming from recent terrestrial neutrino experiments on quantum mechanical decoherence effects in neutrino systems. Taking a completely phenomenological approach, we probe vacuum oscillations plus quantum decoherence between two neutrino species in the channels $ν_μ\to ν_τ$, $ν_μ\to ν_e$ and $ν_e \to ν_τ$, admitting that the quantum decoherence parameter $γ$ is related to the neutrino energy $E_ν$ as : $γ=γ_0 (E_ν/\text{GeV})^{n}$, with $n=-1,0,1$ and 2. Our bounds are valid for a neutrino mass squared difference compatible with the atmospheric, the solar and, in many cases, the LSND scale. We also qualitatively discuss the perspectives of the future long baseline neutrino experiments to further probe quantum dissipation.
△ Less
Submitted 5 June, 2001; v1 submitted 19 September, 2000;
originally announced September 2000.
