-
Hardware Architecture Proposal for TEDA algorithm to Data Streaming Anomaly Detection
Authors:
Lucileide M. D. da Silva,
Maria G. F. Coutinho,
Carlos E. B. Santos,
Mailson R. Santos,
Luiz Affonso Guedes,
M. Dolores Ruiz,
Marcelo A. C. Fernandes
Abstract:
The amount of data in real-time, such as time series and streaming data, available today continues to grow. Being able to analyze this data the moment it arrives can bring an immense added value. However, it also requires a lot of computational effort and new acceleration techniques. As a possible solution to this problem, this paper proposes a hardware architecture for Typicality and Eccentricity…
▽ More
The amount of data in real-time, such as time series and streaming data, available today continues to grow. Being able to analyze this data the moment it arrives can bring an immense added value. However, it also requires a lot of computational effort and new acceleration techniques. As a possible solution to this problem, this paper proposes a hardware architecture for Typicality and Eccentricity Data Analytic (TEDA) algorithm implemented on Field Programmable Gate Arrays (FPGA) for use in data streaming anomaly detection. TEDA is based on a new approach to outlier detection in the data stream context. In order to validate the proposals, results of the occupation and throughput of the proposed hardware are presented. Besides, the bit accurate simulation results are also presented. The project aims to Xilinx Virtex-6 xc6vlx240t-1ff1156 as the target FPGA.
△ Less
Submitted 8 March, 2020;
originally announced March 2020.
-
Multimedia Search and Temporal Reasoning
Authors:
Marcio Ferreira Moreno,
Rodrigo Costa Mesquita Santos,
Wallas Henrique Sousa dos Santos,
Sandro Rama Fiorini,
Reinaldo Mozart da Gama Silva
Abstract:
Properly modelling dynamic information that changes over time still is an open issue. Most modern knowledge bases are unable to represent relationships that are valid only during a given time interval. In this work, we revisit a previous extension to the hyperknowledge framework to deal with temporal facts and propose a temporal query language and engine. We validate our proposal by discussing a q…
▽ More
Properly modelling dynamic information that changes over time still is an open issue. Most modern knowledge bases are unable to represent relationships that are valid only during a given time interval. In this work, we revisit a previous extension to the hyperknowledge framework to deal with temporal facts and propose a temporal query language and engine. We validate our proposal by discussing a qualitative analysis of the modelling of a real-world use case in the Oil & Gas industry.
△ Less
Submitted 19 November, 2019;
originally announced November 2019.
-
GRM: Group Regularity Mobility Model
Authors:
Ivan O. Nunes,
Clayson Celes,
Michael D. Silva,
Pedro O. S. Vaz de Melo,
Antonio A. F. Loureiro
Abstract:
In this work we propose, implement, and evaluate GRM, a novel mobility model that accounts for the role of group meeting dynamics and regularity in human mobility. Specifically, we show that existing mobility models for humans do not capture the regularity of human group meetings which is present in real mobility traces. Next, we characterize the statistical properties of such group meetings in re…
▽ More
In this work we propose, implement, and evaluate GRM, a novel mobility model that accounts for the role of group meeting dynamics and regularity in human mobility. Specifically, we show that existing mobility models for humans do not capture the regularity of human group meetings which is present in real mobility traces. Next, we characterize the statistical properties of such group meetings in real mobility traces and design GRM accordingly. We show that GRM maintains the typical pairwise contact properties of real traces, such as contact duration and inter-contact time distributions. In addition, GRM accounts for the role of group mobility, presenting group meetings regularity and social communities' structure. Finally, we evaluate state-of-art social-aware protocols for opportunistic routing using a synthetic contact trace generated by our model. The results show that the behavior of such protocols in our model is similar to their behavior in real mobility traces.
△ Less
Submitted 24 June, 2017;
originally announced June 2017.
-
Parameterized mixed cluster editing via modular decomposition
Authors:
Maise Dantas da Silva,
Fábio Protti,
Jayme Luiz Szwarcfiter
Abstract:
In this paper we introduce a natural generalization of the well-known problems Cluster Editing and Bicluster Editing, whose parameterized versions have been intensively investigated in the recent literature. The generalized problem, called Mixed Cluster Editing or ${\cal M}$-Cluster Editing, is formulated as follows. Let ${\cal M}$ be a family of graphs. Given a graph $G$ and a nonnegative integer…
▽ More
In this paper we introduce a natural generalization of the well-known problems Cluster Editing and Bicluster Editing, whose parameterized versions have been intensively investigated in the recent literature. The generalized problem, called Mixed Cluster Editing or ${\cal M}$-Cluster Editing, is formulated as follows. Let ${\cal M}$ be a family of graphs. Given a graph $G$ and a nonnegative integer $k$, transform $G$, through a sequence of at most $k$ edge editions, into a target graph $G'$ with the following property: $G'$ is a vertex-disjoint union of graphs $G_1, G_2, \ldots$ such that every $G_i$ is a member of ${\cal M}$. The graph $G'$ is called a mixed cluster graph or ${\cal M}$-cluster graph. Let ${\cal K}$ denote the family of complete graphs, ${\cal KL}$ the family of complete $l$-partite graphs ($l \geq 2$), and $Ł={\cal K} \cup {\cal KL}$. In this work we focus on the case ${\cal M} = {\cal L}$. Using modular decomposition techniques previously applied to Cluster/Bicluster Editing, we present a linear-time algorithm to construct a problem kernel for the parameterized version of ${\cal L}$-Cluster Editing. Keywords: bicluster graphs, cluster graphs, edge edition problems, edge modification problems, fixed-parameter tractability, NP-complete problems.
△ Less
Submitted 2 June, 2015;
originally announced June 2015.
-
Revisiting the Complexity of And/Or Graph Solution
Authors:
Maise Dantas da Silva,
Fábio Protti,
Uéverton dos Santos Souza
Abstract:
This paper presents a study on two data structures that have been used to model several problems in computer science: and/or graphs and x-y graphs. An and/or graph is an acyclic digraph containing a source, such that every vertex v has a label f(v) \in {and,or} and edges represent dependency relations between vertices: a vertex labeled and depends on all of its out-neighbors, while a vertex labele…
▽ More
This paper presents a study on two data structures that have been used to model several problems in computer science: and/or graphs and x-y graphs. An and/or graph is an acyclic digraph containing a source, such that every vertex v has a label f(v) \in {and,or} and edges represent dependency relations between vertices: a vertex labeled and depends on all of its out-neighbors, while a vertex labeled or depends on only one of its out-neighbors. X-y graphs are defined as a natural generalization of and/or graphs: every vertex vi of an x-y graph has a label xi-yi to mean that vi depends on xi of its yi out-neighbors. We analyze the complexity of the optimization problems Min-and/or and Min-x-y, which consist of finding solution subgraphs of optimal weight for and/or and x-y graphs, respectively. Motivated by the large applicability as well as the hardness of Min-and/or and Min-x-y, we study new complexity aspects of such problems, both from a classical and a parameterized point of view. We prove that Min-and/or remains NP-hard even for a very restricted family of and/or graphs where edges have weight one and or-vertices have out-degree at most two (apart from other property related to some in-degrees), and that deciding whether there is a solution subtree with weight exactly k of a given x-y tree is also NP-hard. We also show that: (i) the parameterized problem Min-and/or(k, r), which asks whether there is a solution subgraph of weight at most k where every or-vertex has at most r out-edges with the same weight, is FPT; (ii) the parameterized problem Min-and/or0(k), whose domain includes and/or graphs allowing zero-weight edges, is W[2]-hard; (iii) the parameterized problem Min-x-y(k) is W[1]-hard.
△ Less
Submitted 14 March, 2012;
originally announced March 2012.