-
Boosting Memory Access Locality of the Spectral Element Method with Hilbert Space-Filling Curves
Authors:
Roger R. F. Araújo,
Lutz Gross,
Samuel Xavier-de-Souza
Abstract:
We propose an algorithm based on Hilbert space-filling curves to reorder mesh elements in memory for use with the Spectral Element Method, aiming to attain fewer cache misses, better locality of data reference and faster execution. We present a technique to numerically simulate acoustic wave propagation in 2D domains using the Spectral Element Method, and discuss computational performance aspects…
▽ More
We propose an algorithm based on Hilbert space-filling curves to reorder mesh elements in memory for use with the Spectral Element Method, aiming to attain fewer cache misses, better locality of data reference and faster execution. We present a technique to numerically simulate acoustic wave propagation in 2D domains using the Spectral Element Method, and discuss computational performance aspects of this procedure. We reorder mesh-related data via Hilbert curves to achieve sizable reductions in execution time under several mesh configurations in shared-memory systems. Our experiments show that the Hilbert curve approach works well with meshes of several granularities and also with small and large variations in element sizes, achieving reductions between 9% and 25% in execution time when compared to three other ordering schemes.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Communities of attention networks: introducing qualitative and conversational perspectives for altmetrics
Authors:
Ronaldo Ferreira Araujo
Abstract:
We propose to analyze the level of recommendation and spreading in the sharing of scientific papers on Twitter to understand the interactions of communities around papers and to develop the "Community of Attention Network" (CAN). In this paper, a pilot case study was conducted for the paper 'Pharmacological Treatment of Obesity' authored by Mancini & Halpern (2002), an extensive review of the crit…
▽ More
We propose to analyze the level of recommendation and spreading in the sharing of scientific papers on Twitter to understand the interactions of communities around papers and to develop the "Community of Attention Network" (CAN). In this paper, a pilot case study was conducted for the paper 'Pharmacological Treatment of Obesity' authored by Mancini & Halpern (2002), an extensive review of the criteria for evaluating the efficacy of anti-obesity treatments and derived pharmacological agents. The altmetric data was collected from Altmetric.com and the description information for each tweeter was extracted from their Twitter profiles. The data were analyzed with Microanalysis Of Online Data perspective to investigate the formation of a CAN around this focal paper and the context of its formation. The studied article received 736 tweets from 134 different users with a combined exposure of more than 459,018 followers and a high level of spreading (67.26%) and recommendation (28.53%). The user's bios information analysis of who shares the article indicate individual profiles focused on personal issues and strong civic and political engagement. Personal-professional and institutional tweeters of the national political scene are often mentioned in the tweets. In analyzing the content of the tweets, we note that the altmetric score of the paper is a result of its strategic use as an online activism resource and a digital advocacy tool used to mobilize stakeholders for awareness and support activities. This study and the contextual and network perspective it introduces may help to understand the social impact of publications by using altmetrics.
△ Less
Submitted 14 June, 2020;
originally announced June 2020.
-
The altmetric performance of publications authored by Brazilian researchers: analysis of CNPq productivity scholarship holders
Authors:
Ronaldo Ferreira Araujo,
Marcelo Alves
Abstract:
The present work seeks to analyse the altmetric performance of Brazilian publications authored by researchers who are productivity scholarship holders (PQ) of the National Council of Scientific and Technological Development (CNPq). It was considered, within the scope of this research, the PQs in activity in October, 2017 (n = 14.609). The scientific production registered on Lattes was collected vi…
▽ More
The present work seeks to analyse the altmetric performance of Brazilian publications authored by researchers who are productivity scholarship holders (PQ) of the National Council of Scientific and Technological Development (CNPq). It was considered, within the scope of this research, the PQs in activity in October, 2017 (n = 14.609). The scientific production registered on Lattes was collected via GetLattesData and filtered by articles from academic journals published between 2016 and October 2017 that hold the Digital Object Identifier (n = 99064). The online attention data are analysed according to their distribution by density and variation; language of the publication and field of knowledge; and by average performance of the type of source that has provided its altmetric values. The density evidences the long tail behavior of the variable, with most part of the articles with altmetrics score = 0, while few articles have a high index. The average of the online attention indicates a better performance of articles written in English and belonging to the Health and Biological Sciences field of knowledge. As for the sources, there was a good performance from Mendeley, followed by Twitter and a low coverage from Facebook
△ Less
Submitted 17 July, 2018;
originally announced July 2018.
-
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)
Authors:
Rodrigo F. Araújo,
Alexandre Ribeiro,
Iury V. Bessa,
Lucas C. Cordeiro,
João E. C. Filho
Abstract:
We describe and evaluate a novel optimization-based off-line path planning algorithm for mobile robots based on the Counterexample-Guided Inductive Optimization (CEGIO) technique. CEGIO iteratively employs counterexamples generated from Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers, in order to guide the optimization process and to ensure global optimization. This p…
▽ More
We describe and evaluate a novel optimization-based off-line path planning algorithm for mobile robots based on the Counterexample-Guided Inductive Optimization (CEGIO) technique. CEGIO iteratively employs counterexamples generated from Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers, in order to guide the optimization process and to ensure global optimization. This paper marks the first application of CEGIO for planning mobile robot path. In particular, CEGIO has been successfully applied to obtain optimal two-dimensional paths for autonomous mobile robots using off-the-shelf SAT and SMT solvers.
△ Less
Submitted 14 August, 2017;
originally announced August 2017.
-
Counterexample Guided Inductive Optimization
Authors:
Rodrigo F. Araujo,
Higo F. Albuquerque,
Iury V. de Bessa,
Lucas C. Cordeiro,
Joao Edgar C. Filho
Abstract:
This paper describes three variants of a counterexample guided inductive optimization (CEGIO) approach based on Satisfiability Modulo Theories (SMT) solvers. In particular, CEGIO relies on iterative executions to constrain a verification procedure, in order to perform inductive generalization, based on counterexamples extracted from SMT solvers. CEGIO is able to successfully optimize a wide range…
▽ More
This paper describes three variants of a counterexample guided inductive optimization (CEGIO) approach based on Satisfiability Modulo Theories (SMT) solvers. In particular, CEGIO relies on iterative executions to constrain a verification procedure, in order to perform inductive generalization, based on counterexamples extracted from SMT solvers. CEGIO is able to successfully optimize a wide range of functions, including non-linear and non-convex optimization problems based on SMT solvers, in which data provided by counterexamples are employed to guide the verification engine, thus reducing the optimization domain. The present algorithms are evaluated using a large set of benchmarks typically employed for evaluating optimization techniques. Experimental results show the efficiency and effectiveness of the proposed algorithms, which find the optimal solution in all evaluated benchmarks, while traditional techniques are usually trapped by local minima.
△ Less
Submitted 11 April, 2017;
originally announced April 2017.
