Showing 1–13 of 13 results for author: Batista, L

Deep Learning Mixture-of-Experts Approach for Cytotoxic Edema Assessment in Infants and Children

Authors: Henok Ghebrechristos, Stence Nicholas, David Mirsky, Gita Alaghband, Manh Huynh, Zackary Kromer, Ligia Batista, Brent ONeill, Steven Moulton, Daniel M. Lindberg

Abstract: This paper presents a deep learning framework for image classification aimed at increasing predictive performance for Cytotoxic Edema (CE) diagnosis in infants and children. The proposed framework includes two 3D network architectures optimized to learn from two types of clinical MRI data , a trace Diffusion Weighted Image (DWI) and the calculated Apparent Diffusion Coefficient map (ADC). This wor… ▽ More This paper presents a deep learning framework for image classification aimed at increasing predictive performance for Cytotoxic Edema (CE) diagnosis in infants and children. The proposed framework includes two 3D network architectures optimized to learn from two types of clinical MRI data , a trace Diffusion Weighted Image (DWI) and the calculated Apparent Diffusion Coefficient map (ADC). This work proposes a robust and novel solution based on volumetric analysis of 3D images (using pixels from time slices) and 3D convolutional neural network (CNN) models. While simple in architecture, the proposed framework shows significant quantitative results on the domain problem. We use a dataset curated from a Childrens Hospital Colorado (CHCO) patient registry to report a predictive performance F1 score of 0.91 at distinguishing CE patients from children with severe neurologic injury without CE. In addition, we perform analysis of our systems output to determine the association of CE with Abusive Head Trauma (AHT) , a type of traumatic brain injury (TBI) associated with abuse , and overall functional outcome and in hospital mortality of infants and young children. We used two clinical variables, AHT diagnosis and Functional Status Scale (FSS) score, to arrive at the conclusion that CE is highly correlated with overall outcome and that further study is needed to determine whether CE is a biomarker of AHT. With that, this paper introduces a simple yet powerful deep learning based solution for automated CE classification. This solution also enables an indepth analysis of progression of CE and its correlation to AHT and overall neurologic outcome, which in turn has the potential to empower experts to diagnose and mitigate AHT during early stages of a childs life. △ Less

Submitted 6 October, 2022; originally announced October 2022.

Comments: 7 figures

Heterogeneous Federated CubeSat System: problems, constraints and capabilities

Authors: Carlos L G Batista, Fatima Mattiello-Francisco, Andras Pataricza

Abstract: Different arguments were being presented in the last decade about CubeSats and their applications. Some of them address wireless communication (5G and 6G technologies) trying to achieve better characteristics as coverage and connectivity. Some arrived with terms as IoST (Internet of Space Things), Internet of Satellites (IoSat), DSS (Distributed Space Systems), and FSS (Federated Satellite Systems… ▽ More Different arguments were being presented in the last decade about CubeSats and their applications. Some of them address wireless communication (5G and 6G technologies) trying to achieve better characteristics as coverage and connectivity. Some arrived with terms as IoST (Internet of Space Things), Internet of Satellites (IoSat), DSS (Distributed Space Systems), and FSS (Federated Satellite Systems). All of them aim to use Small/NanoSatellites as constellations/swarms is to provide specific services, share unused resources, and evolve the concept of satellites-as-a-service (SaS). This paper aims to emophasize performance attributes of such cyber-physical systems, model their inherent operational constraints and at the very end, evaluate the quality of service in terms of figures of merit for the entering/leaving of new heterogeneous constituent systems, a.k.a satellites, to the constellation. This "whitepaper"-styled work focuses on presenting the definitions of this heterogeneous constellation problem, aims at its main capabilities and constraints, and proposes modeling approaches for this system representation and evaluation. △ Less

Submitted 8 March, 2022; originally announced March 2022.

Comments: 4 pages, 4 figures

EISPY2D: An Open-Source Python Library for the Development and Comparison of Algorithms in Two-Dimensional Electromagnetic Inverse Scattering Problems

Authors: André Costa Batista, Ricardo Adriano, Lucas S. Batista

Abstract: Microwave Imaging is an essential technique for reconstructing the electrical properties of an inaccessible medium. Many approaches have been proposed employing algorithms to solve the Electromagnetic Inverse Scattering Problem associated with this technique. In addition to the algorithm, one needs to implement adequate structures to represent the problem domain, the input data, the results of the… ▽ More Microwave Imaging is an essential technique for reconstructing the electrical properties of an inaccessible medium. Many approaches have been proposed employing algorithms to solve the Electromagnetic Inverse Scattering Problem associated with this technique. In addition to the algorithm, one needs to implement adequate structures to represent the problem domain, the input data, the results of the adopted metrics, and experimentation routines. We introduce an open-source Python library that offers a modular and standardized framework for implementing and evaluating the performance of algorithms for the problem. Based on the implementation of fundamental components for the execution of algorithms, this library aims to facilitate the development and discussion of new methods. Through a modular structure organized into classes, researchers can design their case studies and benchmarking experiments relying on features such as test randomization, specific metrics, and statistical comparison. To the best of the authors' knowledge, it is the first time that such tools for benchmarking and comparison are introduced for microwave imaging algorithms. In addition, two new metrics for location and shape recovery are presented. In this work, we introduce the principles for the design of the problem components and provide studies to exemplify the main aspects of this library. It is freely distributed through a Github repository that can be accessed from https://andre-batista.github.io/eispy2d/. △ Less

Submitted 12 January, 2022; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: 30 pages, 10 figures. Submitted to IOP Inverse Problems on January 2022

Dynamic inference of user context through social tag embedding for music recommendation

Authors: Diego Sánchez-Moreno, Álvaro Lozano Murciego, Vivian F. López Batista, María Dolores Muñoz Vicente, María N. Moreno-García

Abstract: Music listening preferences at a given time depend on a wide range of contextual factors, such as user emotional state, location and activity at listening time, the day of the week, the time of the day, etc. It is therefore of great importance to take them into account when recommending music. However, it is very difficult to develop context-aware recommender systems that consider these factors, b… ▽ More Music listening preferences at a given time depend on a wide range of contextual factors, such as user emotional state, location and activity at listening time, the day of the week, the time of the day, etc. It is therefore of great importance to take them into account when recommending music. However, it is very difficult to develop context-aware recommender systems that consider these factors, both because of the difficulty of detecting some of them, such as emotional state, and because of the drawbacks derived from the inclusion of many factors, such as sparsity problems in contextual pre-filtering. This work involves the proposal of a method for the detection of the user contextual state when listening to music based on the social tags of music items. The intrinsic characteristics of social tagging that allow for the description of items in multiple dimensions can be exploited to capture many contextual dimensions in the user listening sessions. The embeddings of the tags of the first items played in each session are used to represent the context of that session. Recommendations are then generated based on both user preferences and the similarity of the items computed from tag embeddings. Social tags have been used extensively in many recommender systems, however, to our knowledge, they have been hardly used to dynamically infer contextual states. △ Less

Submitted 23 September, 2021; originally announced September 2021.

Comments: 15th ACM Conference on Recommender Systems-Workshop on Context-Aware Recommender Systems (RECSYS 2021-CARS)

On the Compression of Neural Networks Using $\ell_0$-Norm Regularization and Weight Pruning

Authors: Felipe Dennis de Resende Oliveira, Eduardo Luiz Ortiz Batista, Rui Seara

Abstract: Despite the growing availability of high-capacity computational platforms, implementation complexity still has been a great concern for the real-world deployment of neural networks. This concern is not exclusively due to the huge costs of state-of-the-art network architectures, but also due to the recent push towards edge intelligence and the use of neural networks in embedded applications. In thi… ▽ More Despite the growing availability of high-capacity computational platforms, implementation complexity still has been a great concern for the real-world deployment of neural networks. This concern is not exclusively due to the huge costs of state-of-the-art network architectures, but also due to the recent push towards edge intelligence and the use of neural networks in embedded applications. In this context, network compression techniques have been gaining interest due to their ability for reducing deployment costs while kee** inference accuracy at satisfactory levels. The present paper is dedicated to the development of a novel compression scheme for neural networks. To this end, a new form of $\ell_0$-norm-based regularization is firstly developed, which is capable of inducing strong sparseness in the network during training. Then, targeting the smaller weights of the trained network with pruning techniques, smaller yet highly effective networks can be obtained. The proposed compression scheme also involves the use of $\ell_2$-norm regularization to avoid overfitting as well as fine tuning to improve the performance of the pruned network. Experimental results are presented aiming to show the effectiveness of the proposed scheme as well as to make comparisons with competing approaches. △ Less

Submitted 18 December, 2023; v1 submitted 10 September, 2021; originally announced September 2021.

Comments: 34 pages, 9 figures, 7 tables

ACM Class: I.2.6

Modelling a CubeSat-based Space Mission and its Operation

Authors: Carlos Leandro Gomes Batista, Fátima Mattiello-Francisco

Abstract: Since the early 2000' years, the CubeSats have been growing and getting more and more "space" in the Space industry. Their short development schedule, low cost equipment and piggyback launches create a new way to access the space, provide new services and enable the development of new technologies for processes and applications. That is the case of the Verification and Validation of these missions… ▽ More Since the early 2000' years, the CubeSats have been growing and getting more and more "space" in the Space industry. Their short development schedule, low cost equipment and piggyback launches create a new way to access the space, provide new services and enable the development of new technologies for processes and applications. That is the case of the Verification and Validation of these missions. As they are cheaper to launch than traditional space missions, CubeSats win by numbers. With more than 1000 CubeSats launched they still achieve less than 50% rate of successful missions and that is caused mainly by poor V&V processes. Model Based approaches are trying to help in these problems as they help software developers along the last years. As complex systems, space products can be helped by the introduction of models in different levels. Operational goals can be achieved by modeling behavioral scenarios and simulating operational procedures. Here, we present a possible modeling solution using a tool that integrates the functionalities of FSM and Statechartes, the ATOM SysVAP (System for Validation of Finite Automatons and Execution Plans). With this tool we are able to model the behaviour of a space mission, from its top level (i.e. system and segments) to its low level (subsystems) and simulate their interactions (operation). With the help of Lua Programming Language, it is possible to generate analysis files, specific scenarios and control internal variables. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Comments: 4 pages, 28th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics

Using Fault Injection on the Nanosatellite Subsystems Integration Testing

Authors: Carlos Leandro Gomes Batista, André Corsetti, Fátima Mattiello-Francisco

Abstract: Since the 2000's, an increased number of nanosatellites have accessed space. However, studies show that the number of unsuccessful nanosatellite missions is very expressive. Moreover, these statistics are correlated to poor verification and validation processes used by hobbyists satellite developers because major space agencies keep high successful ratings even with small/nano satellites missions… ▽ More Since the 2000's, an increased number of nanosatellites have accessed space. However, studies show that the number of unsuccessful nanosatellite missions is very expressive. Moreover, these statistics are correlated to poor verification and validation processes used by hobbyists satellite developers because major space agencies keep high successful ratings even with small/nano satellites missions due to its rigorous V\&V processes. Aiming to improve payloads integration testing of NanosatC-BR-2, a 2-U Cubesat based nanosatellite under development by INPE, the fault injection technique has been used. It is very useful technique to test systems prototypes. We present the design and implementation of a Failure Emulator Mechanism (FEM) on I2C communication bus for testing the interaction among the NCBR2 subsystems, supporting interoperability and robustness requirements verification. The FEM is modelled to work at the communication bus emulating eventual faults of the communicating subsystems in the messages exchanged. Using an Arduino board for the FEM and NI LabView environment it is possible to program the mechanism to inject different faults at the I2C bus during different operation modes. Based on a serial architecture, the FEM will be able to intercept all messages and implement different faults as service and timing faults. The FEM interface with the tester is designed in LabView environment. Control and observation facilities are available to generate and upload the faultload script to FEM Arduino board. The proposed FEM architecture and its implementation are validated using two subsystems under testing prototypes: the OnBoard Data Handling Computer and the Langmuir Probe NCBR2 payload. For this analysis purpose, the prototypes simulate in two different Arduinos boards the expected behavior of each subsystem in the communication. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Comments: 8 pages, 8 figures, 1st IAA Latin American Symposium on Small Satellites

Impacts of the Space Technology Evolution in the V\&V of Embedded Software-Intensive Systems

Authors: Carlos Leandro Gomes Batista, Tania Basso, Fátima Mattiello-Francisco, Regina Moraes

Abstract: CubeSat-based nanosatellites are composed of COTS components and rely on its structure and standardized interfaces. A challenge in the nanosatellites context is to adapt the V\&V (Verification and Validation) process to answer to the increase importance of the embedded software, to reduce the artefacts to be delivered aiming at cutting cost and time and still complying with international standards… ▽ More CubeSat-based nanosatellites are composed of COTS components and rely on its structure and standardized interfaces. A challenge in the nanosatellites context is to adapt the V\&V (Verification and Validation) process to answer to the increase importance of the embedded software, to reduce the artefacts to be delivered aiming at cutting cost and time and still complying with international standards. This work presents an analysis of the strategy adopted in a real nanosatellite for the development of the OBDH software embedded in NanosatC-BR2 mission. The goal is to discuss the impact that the standardization of the structure and interfaces of the CubeSat impose on the V\&V process of the SiS and to highlight the challenges of ``New Space Age`` for the use of existing V\&V techniques and methods. △ Less

Submitted 26 November, 2020; originally announced November 2020.

Comments: 7 pages, 7 figures 2020 International Conference on Computational Science and Computational Intelligence (CSCI)

The Cone epsilon-Dominance: An Approach for Evolutionary Multiobjective Optimization

Authors: Lucas S. Batista, Felipe Campelo, Frederico G. Guimarães, Jaime A. Ramírez

Abstract: We propose the cone epsilon-dominance approach to improve convergence and diversity in multiobjective evolutionary algorithms (MOEAs). A cone-eps-MOEA is presented and compared with MOEAs based on the standard Pareto relation (NSGA-II, NSGA-II*, SPEA2, and a clustered NSGA-II) and on the epsilon-dominance (eps-MOEA). The comparison is performed both in terms of computational complexity and on four… ▽ More We propose the cone epsilon-dominance approach to improve convergence and diversity in multiobjective evolutionary algorithms (MOEAs). A cone-eps-MOEA is presented and compared with MOEAs based on the standard Pareto relation (NSGA-II, NSGA-II*, SPEA2, and a clustered NSGA-II) and on the epsilon-dominance (eps-MOEA). The comparison is performed both in terms of computational complexity and on four performance indicators selected to quantify the quality of the final results obtained by each algorithm: the convergence, diversity, hypervolume, and coverage of many sets metrics. Sixteen well-known benchmark problems are considered in the experimental section, including the ZDT and the DTLZ families. To evaluate the possible differences amongst the algorithms, a carefully designed experiment is performed for the four performance metrics. The results obtained suggest that the cone-eps-MOEA is capable of presenting an efficient and balanced performance over all the performance metrics considered. These results strongly support the conclusion that the cone-eps-MOEA is a competitive approach for obtaining an efficient balance between convergence and diversity to the Pareto front, and as such represents a useful tool for the solution of multiobjective optimization problems. △ Less

Submitted 14 July, 2020; originally announced August 2020.

Comments: 42 pages, 18 figures

Report number: Report-no: 2013/01 MSC Class: 90-08 ACM Class: I.2.8

A session-based song recommendation approach involving user characterization along the play power-law distribution

Authors: Diego Sánchez-Moreno, Vivian F. López Batista, M. Dolores Muñoz Vicente, Ana B. Gil González, María N. Moreno-García

Abstract: In recent years, streaming music platforms have become very popular mainly due to the huge number of songs these systems make available to users. This enormous availability means that recommendation mechanisms that help users to select the music they like need to be incorporated. However, develo** reliable recommender systems in the music field involves dealing with many problems, some of which… ▽ More In recent years, streaming music platforms have become very popular mainly due to the huge number of songs these systems make available to users. This enormous availability means that recommendation mechanisms that help users to select the music they like need to be incorporated. However, develo** reliable recommender systems in the music field involves dealing with many problems, some of which are generic and widely studied in the literature, while others are specific to this application domain and are therefore less well-known. This work is focused on two important issues that have not received much attention: managing gray-sheep users and obtaining implicit ratings. The first one is usually addressed by resorting to content information that is often difficult to obtain. The other drawback is related to the sparsity problem that arises when there are obstacles to gather explicit ratings. In this work, the referred shortcomings are addressed by means of a recommendation approach based on the users' streaming sessions. The method is aimed at managing the well-known power-law probability distribution representing the listening behavior of users. This proposal improves the recommendation reliability of collaborative filtering methods while reducing the complexity of the procedures used so far to deal with the gray-sheep problem. △ Less

Submitted 25 April, 2020; originally announced April 2020.

Comments: Accepted in Complexity (ISSN: 1099-0526)

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

The MOEADr Package - A Component-Based Framework for Multiobjective Evolutionary Algorithms Based on Decomposition

Authors: Felipe Campelo, Lucas S. Batista, Claus Aranha

Abstract: Multiobjective Evolutionary Algorithms based on Decomposition (MOEA/D) represent a widely used class of population-based metaheuristics for the solution of multicriteria optimization problems. We introduce the MOEADr package, which offers many of these variants as instantiations of a component-oriented framework. This approach contributes for easier reproducibility of existing MOEA/D variants from… ▽ More Multiobjective Evolutionary Algorithms based on Decomposition (MOEA/D) represent a widely used class of population-based metaheuristics for the solution of multicriteria optimization problems. We introduce the MOEADr package, which offers many of these variants as instantiations of a component-oriented framework. This approach contributes for easier reproducibility of existing MOEA/D variants from the literature, as well as for faster development and testing of new composite algorithms. The package offers an standardized, modular implementation of MOEA/D based on this framework, which was designed aiming at providing researchers and practitioners with a standard way to discuss and express MOEA/D variants. In this paper we introduce the design principles behind the MOEADr package, as well as its current components. Three case studies are provided to illustrate the main aspects of the package. △ Less

Submitted 17 July, 2018; originally announced July 2018.

Comments: 41 pages. 5 figures. Submitted to the Journal of Statistical Software

How Many Nodes are Effectively Accessed in Complex Networks?

Authors: Matheus P. Viana, João L. B. Batista, Luciano da F. Costa

Abstract: The measurement called accessibility has been proposed as a means to quantify the efficiency of the communication between nodes in complex networks. This article reports important results regarding the properties of the accessibility, including its relationship with the average minimal time to visit all nodes reachable after $h$ steps along a random walk starting from a source, as well as the numb… ▽ More The measurement called accessibility has been proposed as a means to quantify the efficiency of the communication between nodes in complex networks. This article reports important results regarding the properties of the accessibility, including its relationship with the average minimal time to visit all nodes reachable after $h$ steps along a random walk starting from a source, as well as the number of nodes that are visited after a finite period of time. We characterize the relationship between accessibility and the average number of walks required in order to visit all reachable nodes (the exploration time), conjecture that the maximum accessibility implies the minimal exploration time, and confirm the relationship between the accessibility values and the number of nodes visited after a basic time unit. The latter relationship is investigated with respect to three types of dynamics, namely: traditional random walks, self-avoiding random walks, and preferential random walks. △ Less

Submitted 1 October, 2011; v1 submitted 27 January, 2011; originally announced January 2011.

Comments: 8 pages and 7 figures

MSC Class: 05C82