-
Novel community data in ecology -- properties and prospects
Authors:
Florian Hartig,
Nerea Abrego,
Alex Bush,
Jonathan M. Chase,
Gurutzeta Guillera-Arroita,
Mathew A. Leibold,
Otso Ovaskainen,
Loïc Pellissier,
Maximilian Pichler,
Giovanni Poggiato,
Laura Pollock,
Sara Si-Moussi,
Wilfried Thuiller,
Duarte S. Viana,
David I. Warton,
Damaris Zurell,
Douglas W. Yu
Abstract:
New technologies for acquiring biological information such as eDNA, acoustic or optical sensors, make it possible to generate spatial community observations at unprecedented scales. The potential of these novel community data to standardize community observations at high spatial, temporal, and taxonomic resolution and at large spatial scale ('many rows and many columns') has been widely discussed,…
▽ More
New technologies for acquiring biological information such as eDNA, acoustic or optical sensors, make it possible to generate spatial community observations at unprecedented scales. The potential of these novel community data to standardize community observations at high spatial, temporal, and taxonomic resolution and at large spatial scale ('many rows and many columns') has been widely discussed, but so far, there has been little integration of these data with ecological models and theory. Here, we review these developments and highlight emerging solutions, focusing on statistical methods for analyzing novel community data, in particular joint species distribution models; the new ecological questions that can be answered with these data; and the potential implications of these developments for policy and conservation.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Software Ecosystems: A Tertiary Study and a Thematic Model
Authors:
Paulo Malcher,
Olavo Barbosa,
Davi Viana,
Rodrigo Santos
Abstract:
A software ecosystem (SECO) is an interaction, communication, cooperation, and synergy among a set of players. Depending on the actors type of interaction with others, each one can play a different role. These interactions provide a set of positive relationships (symbiosis) between actors who work together around a common technology platform or a service. SECO has been explored in several studies,…
▽ More
A software ecosystem (SECO) is an interaction, communication, cooperation, and synergy among a set of players. Depending on the actors type of interaction with others, each one can play a different role. These interactions provide a set of positive relationships (symbiosis) between actors who work together around a common technology platform or a service. SECO has been explored in several studies, some related to their general characteristics and others focusing on a specific topic (e.g., requirements, governance, open-source, mobile). There are many literature reviews of different natures (e.g., systematic literature reviews and systematic mapping studies). This study presents the status of the SECO field motivated by analyzing several secondary studies published over the years. To do so, we conducted a tertiary study. From an initial set of 518 studies on the subject, we selected 22 studies. We identified the theoretical foundations used by researchers and their influences and relationships with other ecosystems. We performed a thematic synthesis and identified one high-order theme, 5 themes, 10 subthemes, and 206 categories. As a result, we proposed a thematic model for SECO containing five themes, namely: social, technical, business, management, and an evaluation theme named Software Ecosystems Assessment Models (SEAM). Our main conclusion is that relationships between SECO themes should not be seen in isolation, and it must be interpreted in a holistic approach, given the number of implications to other themes mainly related to the distinction of governance and management activities in the SECO interactions. Finally, this work provides an overview of the field and points out areas for future research, such as the need of SECO community to further investigate the results from other ecosystems, mainly from the Digital Ecosystem and Digital Business Ecosystem communities.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Enhancing entanglement and total correlations dynamics via local unitaries
Authors:
Joab Morais Varela,
Ranieri Nery,
George Moreno,
Alice Caroline de Oliveira Viana,
Gabriel Landi,
Rafael Chaves
Abstract:
The interaction with the environment is one of the main obstacles to be circumvented in practical implementations of quantum information tasks. The use of local unitaries, while not changing the initial entanglement present in a given state, can enormously change its dynamics through a noisy channel, and consequently its ability to be used as a resource. This way, local unitaries provide an easy a…
▽ More
The interaction with the environment is one of the main obstacles to be circumvented in practical implementations of quantum information tasks. The use of local unitaries, while not changing the initial entanglement present in a given state, can enormously change its dynamics through a noisy channel, and consequently its ability to be used as a resource. This way, local unitaries provide an easy and accessible way to enhance quantum correlations in a variety of different experimental platforms. Given an initial entangled state and a certain noisy channel, what are the local unitaries providing the most robust dynamics? In this paper we solve this question considering two qubits states, together with paradigmatic and relevant noisy channels, showing its consequences for teleportation protocols and identifying cases where the most robust states are not necessarily the ones imprinting the least information about themselves into the environment. We also derive a general law relating the interplay between the total correlations in the system and environment with their mutual information built up over the noisy dynamics. Finally, we employ the IBM Quantum Experience to provide a proof-of-principle experimental implementation of our results.
△ Less
Submitted 18 August, 2021;
originally announced August 2021.
-
Expanding Frontiers: Settling an Understanding of Systems-of-Information Systems
Authors:
Valdemar Vicente Graciano Neto,
Bruno Gabriel Araújo Lebtag,
Paulo Gabriel Teixeira,
Priscilla Batista,
Vinícius Carvalho Lopes,
Jamal El-Hachem,
Jérémy Buisson,
Flavio Oquendo,
Juliana Fernandes,
Francisco Ferreira,
Rodrigo Peireira dos Santos,
Davi Viana,
Everton Cavalcante,
Mohamad Kassab,
Ahmad Mohsin,
Roberto Oliveira,
Vânia Neves,
Maria Istela Cagnin,
Elisa Yumi Nakagawa
Abstract:
System-of-Systems (SoS) has consolidated itself as a special type of software-intensive systems. As such, subtypes of SoS have also emerged, such as Cyber-Physical SoS (CPSoS) that are formed essentially of cyber-physical constituent systems and Systems-of-Information Systems (SoIS) that contain information systems as their constituents. In contrast to CPSoS that have been investigated and covered…
▽ More
System-of-Systems (SoS) has consolidated itself as a special type of software-intensive systems. As such, subtypes of SoS have also emerged, such as Cyber-Physical SoS (CPSoS) that are formed essentially of cyber-physical constituent systems and Systems-of-Information Systems (SoIS) that contain information systems as their constituents. In contrast to CPSoS that have been investigated and covered in the specialized literature, SoIS still lack critical discussion about their fundamentals. The main contribution of this paper is to present those fundamentals to set an understanding of SoIS. By offering a discussion and examining literature cases, we draw an essential settlement on SoIS definition, basics, and practical implications. The discussion herein presented results from research conducted on SoIS over the past years in interinstitutional and multinational research collaborations. The knowledge gathered in this paper arises from several scientific discussion meetings among the authors. As a result, we aim to contribute to the state of the art of SoIS besides paving the research avenues for the forthcoming years.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
A Unifying Model for Locally Constrained Spanning Tree Problems
Authors:
Luiz Alberto do Carmo Viana,
Manoel Campêlo,
Ignasi Sau,
Ana Silva
Abstract:
Given a graph $G$ and a digraph $D$ whose vertices are the edges of $G$, we investigate the problem of finding a spanning tree of $G$ that satisfies the constraints imposed by $D$. The restrictions to add an edge in the tree depend on its neighborhood in $D$. Here, we generalize previously investigated problems by also considering as input functions $\ell$ and $u$ on $E(G)$ that give a lower and a…
▽ More
Given a graph $G$ and a digraph $D$ whose vertices are the edges of $G$, we investigate the problem of finding a spanning tree of $G$ that satisfies the constraints imposed by $D$. The restrictions to add an edge in the tree depend on its neighborhood in $D$. Here, we generalize previously investigated problems by also considering as input functions $\ell$ and $u$ on $E(G)$ that give a lower and an upper bound, respectively, on the number of constraints that must be satisfied by each edge. The produced feasibility problem is denoted by \texttt{G-DCST}, while the optimization problem is denoted by \texttt{G-DCMST}. We show that \texttt{G-DCST} is NP-complete even under strong assumptions on the structures of $G$ and $D$, as well as on functions $\ell$ and $u$. On the positive side, we prove two polynomial results, one for \texttt{G-DCST} and another for \texttt{G-DCMST}, and also give a simple exponential-time algorithm along with a proof that it is asymptotically optimal under the Ð. Finally, we prove that other previously studied constrained spanning tree (\textsc{CST}) problems can be modeled within our framework, namely, the \textsc{Conflict CST}, the \textsc{Forcing CS, the \textsc{At Least One/All Dependency CST}, the \textsc{Maximum Degree CST}, the \textsc{Minimum Degree CST}, and the \textsc{Fixed-Leaves Minimum Degree CST}.
△ Less
Submitted 20 May, 2020;
originally announced May 2020.
-
A neural attention model for speech command recognition
Authors:
Douglas Coimbra de Andrade,
Sabato Leo,
Martin Loesener Da Silva Viana,
Christoph Bernkopf
Abstract:
This paper introduces a convolutional recurrent network with attention for speech command recognition. Attention models are powerful tools to improve performance on natural language, image captioning and speech tasks. The proposed model establishes a new state-of-the-art accuracy of 94.1% on Google Speech Commands dataset V1 and 94.5% on V2 (for the 20-commands recognition task), while still keepi…
▽ More
This paper introduces a convolutional recurrent network with attention for speech command recognition. Attention models are powerful tools to improve performance on natural language, image captioning and speech tasks. The proposed model establishes a new state-of-the-art accuracy of 94.1% on Google Speech Commands dataset V1 and 94.5% on V2 (for the 20-commands recognition task), while still keeping a small footprint of only 202K trainable parameters. Results are compared with previous convolutional implementations on 5 different tasks (20 commands recognition (V1 and V2), 12 commands recognition (V1), 35 word recognition (V1) and left-right (V1)). We show detailed performance results and demonstrate that the proposed attention mechanism not only improves performance but also allows inspecting what regions of the audio were taken into consideration by the network when outputting a given category.
△ Less
Submitted 27 August, 2018;
originally announced August 2018.
-
On a conjecture in second-order optimality conditions
Authors:
R. Behling,
G. Haeser,
A. Ramos,
D. S. Viana
Abstract:
In this paper we deal with optimality conditions that can be verified by a nonlinear optimization algorithm, where only a single Lagrange multiplier is avaliable. In particular, we deal with a conjecture formulated in [R. Andreani, J.M. Martinez, M.L. Schuverdt, "On second-order optimality conditions for nonlinear programming", Optimization, 56:529--542, 2007], which states that whenever a local m…
▽ More
In this paper we deal with optimality conditions that can be verified by a nonlinear optimization algorithm, where only a single Lagrange multiplier is avaliable. In particular, we deal with a conjecture formulated in [R. Andreani, J.M. Martinez, M.L. Schuverdt, "On second-order optimality conditions for nonlinear programming", Optimization, 56:529--542, 2007], which states that whenever a local minimizer of a nonlinear optimization problem fulfills the Mangasarian-Fromovitz Constraint Qualification and the rank of the set of gradients of active constraints increases at most by one in a neighborhood of the minimizer, a second-order optimality condition that depends on one single Lagrange multiplier is satisfied. This conjecture generalizes previous results under a constant rank assumption or under a rank deficiency of at most one. In this paper we prove the conjecture under the additional assumption that the Jacobian matrix has a smooth singular value decomposition, which is weaker than previously considered assumptions. We also review previous literature related to the conjecture.
△ Less
Submitted 23 June, 2017;
originally announced June 2017.
-
Self-similar solutions for a superdiffusive heat equation with gradient nonlinearity
Authors:
Marcelo Fernandes de Almeida,
Arlúcio da Cruz Viana
Abstract:
This paper is devoted to global well-posedness, self-similarity and symmetries of solutions for a superdiffusive heat equation with superlinear and gradient nonlinear terms with initial data in new homogeneous Besov-Morrey type spaces. Unlike the heat equation, we need to develop an appropriate decomposition of the two-parametric Mittag-Leffler function in order to obtain Mikhlin-type estimates ge…
▽ More
This paper is devoted to global well-posedness, self-similarity and symmetries of solutions for a superdiffusive heat equation with superlinear and gradient nonlinear terms with initial data in new homogeneous Besov-Morrey type spaces. Unlike the heat equation, we need to develop an appropriate decomposition of the two-parametric Mittag-Leffler function in order to obtain Mikhlin-type estimates get our well-posedness theorem. To the best of our knowledge, the present work is the first one concerned with a well-posedness theory for a time-fractional partial differential equations of order $α\in(1,2)$ with non null initial velocity.
△ Less
Submitted 5 May, 2016; v1 submitted 25 October, 2015;
originally announced October 2015.
-
Topological cutoff frequency in a slab waveguide: Penetration length in topological insulator walls
Authors:
Thiago M. Melo,
Davidson R. Viana,
Winder A. Moura-Melo,
Jackson M. Fonseca,
Afranio R. Pereira
Abstract:
We study the propagation of electromagnetic (EM) waves in a slab-type waveguide which walls consist of three-dimensional topological insulator (3D TI). The results show that a cutoff frequency with topological stability limits the spectrum that propagates along the waveguide and are in agreement with experimental observations. Our approach also provides a way to measure the penetration length of s…
▽ More
We study the propagation of electromagnetic (EM) waves in a slab-type waveguide which walls consist of three-dimensional topological insulator (3D TI). The results show that a cutoff frequency with topological stability limits the spectrum that propagates along the waveguide and are in agreement with experimental observations. Our approach also provides a way to measure the penetration length of surface metallic states in 3D TI.
△ Less
Submitted 23 October, 2015; v1 submitted 14 July, 2015;
originally announced July 2015.
-
Klein Tunneling of Spin Polarized Currents in HgTe Quantum Wells
Authors:
Davidson R. Viana,
Thiago M. Melo,
Jakson M. Fonseca,
Daniel S. Souza,
Winder A. Moura-Melo,
Afranio R. Pereira
Abstract:
We investigate the behavior of spin polarized currents in two-dimensional topological insulators (TI). Stationary solutions inside a HgTe/CdTe quantum well (QW) were obtained by Bernevig-Hughes-Zhang (BHZ) model modified by a electric and magnetic barrier inside a non-completely insulating bulk. An attenuated quantum spin Hall (QSH) effect occurs in the gaped region with an apparent Klein-like par…
▽ More
We investigate the behavior of spin polarized currents in two-dimensional topological insulators (TI). Stationary solutions inside a HgTe/CdTe quantum well (QW) were obtained by Bernevig-Hughes-Zhang (BHZ) model modified by a electric and magnetic barrier inside a non-completely insulating bulk. An attenuated quantum spin Hall (QSH) effect occurs in the gaped region with an apparent Klein-like paradox. Even more interesting, for strong potential regime, the interaction between the quasiparticles and the barriers allows spin inversion of this electronic states in a distinct channel conduction. Thus, our findings suggest a mechanism to manipulated spin polarized currents in this system.
△ Less
Submitted 29 December, 2017; v1 submitted 14 July, 2015;
originally announced July 2015.
