Showing 1–50 of 77 results for author: Maia, D

PASO -- Astronomy and Space Situational Awareness in a Dark Sky Destination

Authors: Domingos Barbosa, Bruno Coelho, Miguel Bergano, Constança Alves, Alexandre C. M. Correia, Luís Cupido, José Freitas, Luís Gonçalves, Bruce Grossan, Anna Guerman, Allan K. de Almeida Jr., Dalmiro Maia, Bruno Morgado, João Pandeirada, Valério Ribeiro, Gonçalo Rosa, George Smoot, Timothée Vaillant, Thyrso Villela, Carlos Alexandre Wuensche

Abstract: The Pampilhosa da Serra Space Observatory (PASO) is located in the center of the continental Portuguese territory, in the heart of a certified Dark Sky destination by the Starlight Foundation (Aldeias do Xisto) and has been an instrumental asset to advance science, education and astrotourism certifications. PASO hosts astronomy and Space Situational Awareness (SSA) activities including a node of t… ▽ More The Pampilhosa da Serra Space Observatory (PASO) is located in the center of the continental Portuguese territory, in the heart of a certified Dark Sky destination by the Starlight Foundation (Aldeias do Xisto) and has been an instrumental asset to advance science, education and astrotourism certifications. PASO hosts astronomy and Space Situational Awareness (SSA) activities including a node of the Portuguese Space Surveillance \& Tracking (SST) infrastructure network, such as a space radar currently in test phase using GEM radiotelescope, a double Wide Field of View Telescope system, a EUSST optical sensor telescope. These instruments allow surveillance of satellite and space debris in LEO, MEO and GEO orbits. The WFOV telescope offers spectroscopy capabilities enabling light curve analysis and cosmic sources monitoring. Instruments for Space Weather are being considered for installation to monitor solar activities and expand the range of SSA services. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 9 pages, 2 figures, Keywords: Dark Sky, radioastronomy, space, space debris, space situational awareness; Draft from Talk presented at Astronomy and Satellite Constellations: Pathways Forward, IAU Symposium 385, October 2023, Ed. C. Walker, D.Turnshek, P.Grimley, D.Galadi-Enriquez & M.Aubé, International Astronomical Union Proceedings Series, Cambridge University Press, 2024

Tangent Velocity constraint for orbital maneuvers with Theory of Functional Connections

Authors: A. K. de Almeida Jr., T. Vaillant, V. M. de Oliveira, D. Barbosa, D. Maia, S. Aljbaae, B. Coelho, M. Bergano, J. Pandeirada, A. F. B. A. Prado, A. Guerman, A. C. M. Correia

Abstract: Maneuvering a spacecraft in the cislunar space is a complex problem, since it is highly perturbed by the gravitational influence of both the Earth and the Moon, and possibly also the Sun. Trajectories minimizing the needed fuel are generally preferred in order to decrease the mass of the payload. A classical method to constrain maneuvers is mathematically modelling them using the Two Point Boundar… ▽ More Maneuvering a spacecraft in the cislunar space is a complex problem, since it is highly perturbed by the gravitational influence of both the Earth and the Moon, and possibly also the Sun. Trajectories minimizing the needed fuel are generally preferred in order to decrease the mass of the payload. A classical method to constrain maneuvers is mathematically modelling them using the Two Point Boundary Value Problem (TPBVP), defining spacecraft positions at the start and end of the trajectory. Solutions to this problem can then be obtained with optimization techniques like the nonlinear least squares conjugated with the Theory of Functional Connections (TFC) to embed the constraints, which recently became an effective method for deducing orbit transfers. In this paper, we propose a tangential velocity (TV) type of constraints to design orbital maneuvers. We show that the technique presented in this paper can be used to transfer a spacecraft (e.g. from the Earth to the Moon) and perform rendezvous maneuvers (e.g. a swing-by with the Moon). In comparison with the TPBVP, solving the TV constraints via TFC offers several advantages, leading to a significant reduction in computational time. Hence, it proves to be an efficient technique to design these maneuvers. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: Submitted to Scientific Reports

Journal ref: Scientific Reports 14, 7479 (2024)

Deep Learning Brasil at ABSAPT 2022: Portuguese Transformer Ensemble Approaches

Authors: Juliana Resplande Santanna Gomes, Eduardo Augusto Santos Garcia, Adalberto Ferreira Barbosa Junior, Ruan Chaves Rodrigues, Diogo Fernandes Costa Silva, Dyonnatan Ferreira Maia, Nádia Félix Felipe da Silva, Arlindo Rodrigues Galvão Filho, Anderson da Silva Soares

Abstract: Aspect-based Sentiment Analysis (ABSA) is a task whose objective is to classify the individual sentiment polarity of all entities, called aspects, in a sentence. The task is composed of two subtasks: Aspect Term Extraction (ATE), identify all aspect terms in a sentence; and Sentiment Orientation Extraction (SOE), given a sentence and its aspect terms, the task is to determine the sentiment polarit… ▽ More Aspect-based Sentiment Analysis (ABSA) is a task whose objective is to classify the individual sentiment polarity of all entities, called aspects, in a sentence. The task is composed of two subtasks: Aspect Term Extraction (ATE), identify all aspect terms in a sentence; and Sentiment Orientation Extraction (SOE), given a sentence and its aspect terms, the task is to determine the sentiment polarity of each aspect term (positive, negative or neutral). This article presents we present our participation in Aspect-Based Sentiment Analysis in Portuguese (ABSAPT) 2022 at IberLEF 2022. We submitted the best performing systems, achieving new state-of-the-art results on both subtasks. △ Less

Submitted 8 November, 2023; originally announced November 2023.

Comments: 11 pages, 3 figures, In Proceedings of the Iberian Languages Evaluation Forum (IberLEF 2022), Online. CEUR. org

Report number: urn:nbn:de:0074-3202-9

When Layers Play the Lottery, all Tickets Win at Initialization

Authors: Artur Jordao, George Correa de Araujo, Helena de Almeida Maia, Helio Pedrini

Abstract: Pruning is a standard technique for reducing the computational cost of deep networks. Many advances in pruning leverage concepts from the Lottery Ticket Hypothesis (LTH). LTH reveals that inside a trained dense network exists sparse subnetworks (tickets) able to achieve similar accuracy (i.e., win the lottery - winning tickets). Pruning at initialization focuses on finding winning tickets without… ▽ More Pruning is a standard technique for reducing the computational cost of deep networks. Many advances in pruning leverage concepts from the Lottery Ticket Hypothesis (LTH). LTH reveals that inside a trained dense network exists sparse subnetworks (tickets) able to achieve similar accuracy (i.e., win the lottery - winning tickets). Pruning at initialization focuses on finding winning tickets without training a dense network. Studies on these concepts share the trend that subnetworks come from weight or filter pruning. In this work, we investigate LTH and pruning at initialization from the lens of layer pruning. First, we confirm the existence of winning tickets when the pruning process removes layers. Leveraged by this observation, we propose to discover these winning tickets at initialization, eliminating the requirement of heavy computational resources for training the initial (over-parameterized) dense network. Extensive experiments show that our winning tickets notably speed up the training phase and reduce up to 51% of carbon emission, an important step towards democratization and green Artificial Intelligence. Beyond computational benefits, our winning tickets exhibit robustness against adversarial and out-of-distribution examples. Finally, we show that our subnetworks easily win the lottery at initialization while tickets from filter removal (the standard structured LTH) hardly become winning tickets. △ Less

Submitted 19 March, 2024; v1 submitted 25 January, 2023; originally announced January 2023.

Comments: Published at International Conference on Computer Vision Workshop (ICCV), 2023

LegalNLP -- Natural Language Processing methods for the Brazilian Legal Language

Authors: Felipe Maia Polo, Gabriel Caiaffa Floriano Mendonça, Kauê Capellato J. Parreira, Lucka Gianvechio, Peterson Cordeiro, Jonathan Batista Ferreira, Leticia Maria Paz de Lima, Antônio Carlos do Amaral Maia, Renato Vicente

Abstract: We present and make available pre-trained language models (Phraser, Word2Vec, Doc2Vec, FastText, and BERT) for the Brazilian legal language, a Python package with functions to facilitate their use, and a set of demonstrations/tutorials containing some applications involving them. Given that our material is built upon legal texts coming from several Brazilian courts, this initiative is extremely he… ▽ More We present and make available pre-trained language models (Phraser, Word2Vec, Doc2Vec, FastText, and BERT) for the Brazilian legal language, a Python package with functions to facilitate their use, and a set of demonstrations/tutorials containing some applications involving them. Given that our material is built upon legal texts coming from several Brazilian courts, this initiative is extremely helpful for the Brazilian legal field, which lacks other open and specific tools and language models. Our main objective is to catalyze the use of natural language processing tools for legal texts analysis by the Brazilian industry, government, and academia, providing the necessary tools and accessible material. △ Less

Submitted 5 October, 2021; originally announced October 2021.

On the Interplay of Smells Large Class, Complex Class and Duplicate Code

Authors: Elder Vicente de Paulo Sobrinho, Marcelo de Almeida Maia

Abstract: Bad smells have been defined to describe potential problems in code, possibly pointing out refactoring opportunities. Several empirical studies have highlighted that smells have a negative impact on comprehension and maintainability. Consequently, several approaches have been proposed to detect and restructure them. However, studies on the inter-relationship of occurrence of different types of sme… ▽ More Bad smells have been defined to describe potential problems in code, possibly pointing out refactoring opportunities. Several empirical studies have highlighted that smells have a negative impact on comprehension and maintainability. Consequently, several approaches have been proposed to detect and restructure them. However, studies on the inter-relationship of occurrence of different types of smells in source code are still lacking, especially those focused on the quantification of this inter-relationship. In this work, we aim at understand and quantify the possible the inter-relation of smells Large Class - LC, Complex Class - CC and Duplicate Code - DC. In particular, we investigate patterns of LC and CC regarding the presence or absence of duplicate code. We conduct a quantitative study on five open source projects, and also a qualitative analysis to measure and understand the association of specific smells. As one of the main results, we highlight that there are "occurrence patterns" among these smells, for example: either in Complex Class or in the co-occurrence of Large Class and Complex Class, clones tend to be more prevalent in highly complex classes than less complex classes. The found patterns could be used to improve the performance of detection tools or even help in refactoring tasks. △ Less

Submitted 20 July, 2021; originally announced July 2021.

Comments: 10 pages

Journal ref: Brazilian Symposium on Software Engineering (SBES '21), September 27-October 1, 2021, Joinville, Brazil

Radio astronomy and Space science in Azores: enhancing the Atlantic VLBI infrastructure cluster

Authors: Domingos Barbosa, Bruno Coelho, Sonia Antón, Miguel Bergano, Tjarda Boekholt, Alexandre C. M. Correia, Dalmiro Maia, João Pandeirada, Valério Ribeiro, Jason Adams, João Paulo Barraca, Diogo Gomes, Bruno Morgado

Abstract: Radio astronomy and Space Infrastructures in the Azores have a great scientific and industrial interest because they benefit from a unique geographical location in the middle of the North Atlantic allowing a vast improvement in the sky coverage. This fact obviously has a very high added value for: i) the establishment of space tracking and communications networks for the emergent global small sate… ▽ More Radio astronomy and Space Infrastructures in the Azores have a great scientific and industrial interest because they benefit from a unique geographical location in the middle of the North Atlantic allowing a vast improvement in the sky coverage. This fact obviously has a very high added value for: i) the establishment of space tracking and communications networks for the emergent global small satellite fleets ii) it is invaluable to connect the radio astronomy infrastructure networks in Africa, Europe and America continents using Very Large Baseline Interferometry (VLBI) techniques, iii) it allows excellent potential for monitoring space debris and Near Earth Objects (NEOs). There is in S. Miguel island a 32-metre SATCOM antenna that could be integrated in advanced VLBI networks and be capable of additional Deep Space Network ground support. This paper explores the space science opportunities offered by the upgrade of the S. Miguel 32-metre SATCOM antenna into a world-class infrastructure for radio astronomy and space exploration: it would enable a Deep Space Network mode and would constitute a key space facility for data production, promoting local digital infrastructure investments and the testing of cutting-edge information technologies. Its Atlantic location also enables improvements in angular resolution, provides many baseline in East-West and North-South directions connecting the emergent VLBI stations in America to Europe and Africa VLBI arrays therefore contributing for greater array imaging capabilities especially for sources or well studied fields close to or below the celestial equator, where ESO facilities, ALMA, SKA and its precursors do or will operate and observe in the coming decades. △ Less

Submitted 7 July, 2021; originally announced July 2021.

Comments: 14 pages, 7 figures, 3 tables. Accepted for Publication at Advances in Space Research, COSPAR, Elsevier

Towards a question answering assistant for software development using a transformer-based language model

Authors: Liliane do Nascimento Vale, Marcelo de Almeida Maia

Abstract: Question answering platforms, such as Stack Overflow, have impacted substantially how developers search for solutions for their programming problems. The crowd knowledge content available from such platforms has also been used to leverage software development tools. The recent advances on Natural Language Processing, specifically on more powerful language models, have demonstrated ability to enhan… ▽ More Question answering platforms, such as Stack Overflow, have impacted substantially how developers search for solutions for their programming problems. The crowd knowledge content available from such platforms has also been used to leverage software development tools. The recent advances on Natural Language Processing, specifically on more powerful language models, have demonstrated ability to enhance text understanding and generation. In this context, we aim at investigating the factors that can influence on the application of such models for understanding source code related data and produce more interactive and intelligent assistants for software development. In this preliminary study, we particularly investigate if a how-to question filter and the level of context in the question may impact the results of a question answering transformer-based model. We suggest that fine-tuning models with corpus based on how-to questions can impact positively in the model and more contextualized questions also induce more objective answers. △ Less

Submitted 16 March, 2021; originally announced March 2021.

Square Kilometre Array Science Data Challenge 1: analysis and results

Authors: A. Bonaldi, T. An, M. Bruggen, S. Burkutean, B. Coelho, H. Goodarzi, P. Hartley, P. K. Sandhu, C. Wu, L. Yu, M. H. Zhoolideh Haghighi, S. Anton, Z. Bagheri, D. Barbosa, J. P. Barraca, D. Bartashevich, M. Bergano, M. Bonato, J. Brand, F. de Gasperin, A. Giannetti, R. Dodson, P. Jain, S. Jaiswal, B. Lao , et al. (20 additional authors not shown)

Abstract: As the largest radio telescope in the world, the Square Kilometre Array (SKA) will lead the next generation of radio astronomy. The feats of engineering required to construct the telescope array will be matched only by the techniques developed to exploit the rich scientific value of the data. To drive forward the development of efficient and accurate analysis methods, we are designing a series of… ▽ More As the largest radio telescope in the world, the Square Kilometre Array (SKA) will lead the next generation of radio astronomy. The feats of engineering required to construct the telescope array will be matched only by the techniques developed to exploit the rich scientific value of the data. To drive forward the development of efficient and accurate analysis methods, we are designing a series of data challenges that will provide the scientific community with high-quality datasets for testing and evaluating new techniques. In this paper we present a description and results from the first such Science Data Challenge (SDC1). Based on SKA MID continuum simulated observations and covering three frequencies (560 MHz, 1400MHz and 9200 MHz) at three depths (8 h, 100 h and 1000 h), SDC1 asked participants to apply source detection, characterization and classification methods to simulated data. The challenge opened in November 2018, with nine teams submitting results by the deadline of April 2019. In this work we analyse the results for 8 of those teams, showcasing the variety of approaches that can be successfully used to find, characterise and classify sources in a deep, crowded field. The results also demonstrate the importance of building domain knowledge and expertise on this kind of analysis to obtain the best performance. As high-resolution observations begin revealing the true complexity of the sky, one of the outstanding challenges emerging from this analysis is the ability to deal with highly resolved and complex sources as effectively as the unresolved source population. △ Less

Submitted 28 September, 2020; originally announced September 2020.

Comments: 18 pages, 11 figures, accepted by MNRAS

MineReduce: an approach based on data mining for problem size reduction

Authors: Marcelo Rodrigues de Holanda Maia, Alexandre Plastino, Puca Huachi Vaz Penna

Abstract: Hybrid variations of metaheuristics that include data mining strategies have been utilized to solve a variety of combinatorial optimization problems, with superior and encouraging results. Previous hybrid strategies applied mined patterns to guide the construction of initial solutions, leading to more effective exploration of the solution space. Solving a combinatorial optimization problem is usua… ▽ More Hybrid variations of metaheuristics that include data mining strategies have been utilized to solve a variety of combinatorial optimization problems, with superior and encouraging results. Previous hybrid strategies applied mined patterns to guide the construction of initial solutions, leading to more effective exploration of the solution space. Solving a combinatorial optimization problem is usually a hard task because its solution space grows exponentially with its size. Therefore, problem size reduction is also a useful strategy in this context, especially in the case of large-scale problems. In this paper, we build upon these ideas by presenting an approach named MineReduce, which uses mined patterns to perform problem size reduction. We present an application of MineReduce to improve a heuristic for the heterogeneous fleet vehicle routing problem. The results obtained in computational experiments show that this proposed heuristic demonstrates superior performance compared to the original heuristic and other state-of-the-art heuristics, achieving better solution costs with shorter run times. △ Less

Submitted 22 May, 2020; v1 submitted 15 May, 2020; originally announced May 2020.

Portuguese SKA White Book

Authors: Domingos Barbosa, Sonia Antón, João Paulo Barraca, Miguel Bergano, Alexandre C. M. Correia, Dalmiro Maia, Valério A. R. M. Ribeiro

Abstract: This white book stems from the contributions presented at the Portuguese SKA Days, held on the 6th and 7th February 2018 with the presence of the SKA Deputy Director General Alistair McPherson and the SKA Science Director Robert Braun. This initiative was held to promote the Square Kilometer Array (SKA) - the world's largest radio telescope - among the Portuguese scientific and business communitie… ▽ More This white book stems from the contributions presented at the Portuguese SKA Days, held on the 6th and 7th February 2018 with the presence of the SKA Deputy Director General Alistair McPherson and the SKA Science Director Robert Braun. This initiative was held to promote the Square Kilometer Array (SKA) - the world's largest radio telescope - among the Portuguese scientific and business communities with support from the Portuguese Science and Technology Foundation (FCT) with the contribution of Portuguese policy makers and researchers. The meeting was very successful in providing a detailed overview of the SKA status, vision and goals and describes most of the Portuguese contributions to science, technology and the related industry aspirations △ Less

Submitted 3 May, 2020; originally announced May 2020.

Comments: 210 pages, UA Editora, Preface in Portuguese, contains arXiv:1607.02415, arXiv:1809.08663

Report number: UA Editora, April 2020, ISBN 978-972-789-637-0

The Laser Gravitational Compass

Authors: Ivan S. Ferreira, C. Frajuca, Nadja S. Magalhaes, M. D. Maia, Claudio M. G. Sousa

Abstract: Using the observational properties of Einstein's gravitational field it is shown that a minimum of four non-coplanar mass probes are necessary for the Michelson and Morley interferometer to detect gravitational waves within the context of General Relativity. With fewer probes, some alternative theories of gravitation can also explain the observations. The conversion of the existing gravitational w… ▽ More Using the observational properties of Einstein's gravitational field it is shown that a minimum of four non-coplanar mass probes are necessary for the Michelson and Morley interferometer to detect gravitational waves within the context of General Relativity. With fewer probes, some alternative theories of gravitation can also explain the observations. The conversion of the existing gravitational wave detectors to four probes is also suggested. △ Less

Submitted 21 October, 2019; originally announced October 2019.

Comments: Latex, four pages, no figures

On an electron in an elastic medium with a spiral dislocation

Authors: A. V. D. M. Maia, K. Bakke

Abstract: Topological effects of a spiral dislocation on an electron are investigated when it is confined to a hard-wall confining potential. Besides, it is analysed the influence of the topology of the spiral dislocation on the interaction of the electron with a non-uniform radial electric field and a uniform axial magnetic field. It is shown that a discrete spectrum of energy can be obtained in all these… ▽ More Topological effects of a spiral dislocation on an electron are investigated when it is confined to a hard-wall confining potential. Besides, it is analysed the influence of the topology of the spiral dislocation on the interaction of the electron with a non-uniform radial electric field and a uniform axial magnetic field. It is shown that a discrete spectrum of energy can be obtained in all these cases. Moreover, it is shown that there is one case where an analogue of the Aharonov-Bohm effect for bound states is yielded by the topology of the spiral dislocation. △ Less

Submitted 17 July, 2019; originally announced July 2019.

Comments: 12 pages, no figure. arXiv admin note: text overlap with arXiv:1906.11000

Journal ref: Int. J. Mod. Phys. A 34, 1950153 (2019)

Topological and rotating effects on the Dirac field in the spiral dislocation spacetime

Authors: A. V. D. M. Maia, K. Bakke

Abstract: By considering a spacetime with a spiral dislocation, we analyse the behaviour of the Dirac field subject to a hard-wall confining potential. In search of relativistic bound states solutions, we discuss the influence of the topology of the spiral dislocation spacetime on the energy levels. Further, we analyse the effects of rotation on the Dirac field in the spiral dislocation spacetime. We show t… ▽ More By considering a spacetime with a spiral dislocation, we analyse the behaviour of the Dirac field subject to a hard-wall confining potential. In search of relativistic bound states solutions, we discuss the influence of the topology of the spiral dislocation spacetime on the energy levels. Further, we analyse the effects of rotation on the Dirac field in the spiral dislocation spacetime. We show that both rotation and the topology of the spacetime impose a restriction on the values of the radial coordinate. Thus, we analyse the effects of rotation and the topology of the spiral dislocation spacetime on the Dirac field subject to a hard-wall confining potential by searching for relativistic bound states solutions. △ Less

Submitted 26 June, 2019; originally announced June 2019.

Comments: 15 pages, no figure

Journal ref: Eur. Phys. J. C (2019) 79: 551

Bootstrap** Cookbooks for APIs from Crowd Knowledge on Stack Overflow

Authors: Lucas B. L. Souza, Eduardo C. Campos, Fernanda Madeiral, Klérisson Paixão, Adriano M. Rocha, Marcelo de Almeida Maia

Abstract: Well established libraries typically have API documentation. However, they frequently lack examples and explanations, possibly making difficult their effective reuse. Stack Overflow is a question-and-answer website oriented to issues related to software development. Despite the increasing adoption of Stack Overflow, the information related to a particular topic (e.g., an API) is spread across the… ▽ More Well established libraries typically have API documentation. However, they frequently lack examples and explanations, possibly making difficult their effective reuse. Stack Overflow is a question-and-answer website oriented to issues related to software development. Despite the increasing adoption of Stack Overflow, the information related to a particular topic (e.g., an API) is spread across the website. Thus, Stack Overflow still lacks organization of the crowd knowledge available on it. Our target goal is to address the problem of the poor quality documentation for APIs by providing an alternative artifact to document them based on the crowd knowledge available on Stack Overflow, called crowd cookbook. A cookbook is a recipe-oriented book, and we refer to our cookbook as crowd cookbook since it contains content generated by a crowd. The cookbooks are meant to be used through an exploration process, i.e. browsing. In this paper, we present a semi-automatic approach that organizes the crowd knowledge available on Stack Overflow to build cookbooks for APIs. We have generated cookbooks for three APIs widely used by the software development community: SWT, LINQ and QT. We have also defined desired properties that crowd cookbooks must meet, and we conducted an evaluation of the cookbooks against these properties with human subjects. The results showed that the cookbooks built using our approach, in general, meet those properties. As a highlight, most of the recipes were considered appropriate to be in the cookbooks and have self-contained information. We concluded that our approach is capable to produce adequate cookbooks automatically, which can be as useful as manually produced cookbooks. This opens an opportunity for API designers to enrich existent cookbooks with the different points of view from the crowd, or even to generate initial versions of new cookbooks. △ Less

Submitted 21 March, 2019; originally announced March 2019.

Comments: Accepted at Information and Software Technology - Journal - Elsevier. 16 pages

Recommending Comprehensive Solutions for Programming Tasks by Mining Crowd Knowledge

Authors: Rodrigo F. G. Silva, Chanchal K. Roy, Mohammad Masudur Rahman, Kevin A. Schneider, Klerisson Paixao, Marcelo de Almeida Maia

Abstract: Developers often search for relevant code examples on the web for their programming tasks. Unfortunately, they face two major problems. First, the search is impaired due to a lexical gap between their query (task description) and the information associated with the solution. Second, the retrieved solution may not be comprehensive, i.e., the code segment might miss a succinct explanation. These pro… ▽ More Developers often search for relevant code examples on the web for their programming tasks. Unfortunately, they face two major problems. First, the search is impaired due to a lexical gap between their query (task description) and the information associated with the solution. Second, the retrieved solution may not be comprehensive, i.e., the code segment might miss a succinct explanation. These problems make the developers browse dozens of documents in order to synthesize an appropriate solution. To address these two problems, we propose CROKAGE (Crowd Knowledge Answer Generator), a tool that takes the description of a programming task (the query) and provides a comprehensive solution for the task. Our solutions contain not only relevant code examples but also their succinct explanations. Our proposed approach expands the task description with relevant API classes from Stack Overflow Q&A threads and then mitigates the lexical gap problems. Furthermore, we perform natural language processing on the top quality answers and then return such programming solutions containing code examples and code explanations unlike earlier studies. We evaluate our approach using 48 programming queries and show that it outperforms six baselines including the state-of-art by a statistically significant margin. Furthermore, our evaluation with 29 developers using 24 tasks (queries) confirms the superiority of CROKAGE over the state-of-art tool in terms of relevance of the suggested code examples, benefit of the code explanations and the overall solution quality (code + explanation). △ Less

Submitted 20 March, 2019; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: Accepted at ICPC, 12 pages, 2019

Scalar field propagation in braneworld black hole scenario obtained from Nash theorem

Authors: Rodrigo Dal Bosco Fontana, Clovis Achy Soares Maia, Marcos D. Maia, Suzana A. Silva

Abstract: We determine the scalar field evolution of a braneworld localized black hole with both dark matter and dark energy components, obtained within a dynamical and continuous embedding formalism by use of Nash's theorem. We further extract the associated quasinormal modes for both de Sitter-Schwarzschild-Dark matter and anti-de Sitter-Schwarzschild-Dark matter solutions, for the different causal struct… ▽ More We determine the scalar field evolution of a braneworld localized black hole with both dark matter and dark energy components, obtained within a dynamical and continuous embedding formalism by use of Nash's theorem. We further extract the associated quasinormal modes for both de Sitter-Schwarzschild-Dark matter and anti-de Sitter-Schwarzschild-Dark matter solutions, for the different causal structures (one, two or three horizon spacetimes) given by the space of parameters. By comparison with standard General Relativity solutions, we infer possible observable astrophysical differences, and remark on modifications to previous AdS/CFT correspondence scenarios. △ Less

Submitted 21 September, 2018; originally announced September 2018.

Comments: 12 pages, 15 figures

Built to Last: Functional and structural mechanisms in the moth olfactory network mitigate effects of neural injury

Authors: Charles B Delahunt, Pedro D Maia, J. Nathan Kutz

Abstract: Most organisms suffer neuronal damage throughout their lives, which can impair performance of core behaviors. Their neural circuits need to maintain function despite injury, which in particular requires preserving key system outputs. In this work, we explore whether and how certain structural and functional neuronal network motifs act as injury mitigation mechanisms. Specifically, we examine how (… ▽ More Most organisms suffer neuronal damage throughout their lives, which can impair performance of core behaviors. Their neural circuits need to maintain function despite injury, which in particular requires preserving key system outputs. In this work, we explore whether and how certain structural and functional neuronal network motifs act as injury mitigation mechanisms. Specifically, we examine how (i) Hebbian learning, (ii) high levels of noise, and (iii) parallel inhibitory and excitatory connections contribute to the robustness of the olfactory system in the Manduca sexta moth. We simulate injuries on a detailed computational model of the moth olfactory network calibrated to in vivo data. The injuries are modeled on focal axonal swellings, a ubiquitous form of axonal pathology observed in traumatic brain injuries and other brain disorders. Axonal swellings effectively compromise spike train propagation along the axon, reducing the effective neural firing rate delivered to downstream neurons. All three of the network motifs examined significantly mitigate the effects of injury on readout neurons, either by reducing injury's impact on readout neuron responses or by restoring these responses to pre-injury levels. These motifs may thus be partially explained by their value as adaptive mechanisms to minimize the functional effects of neural injury. More generally, robustness to injury is a vital design principle to consider when analyzing neural systems. △ Less

Submitted 11 September, 2020; v1 submitted 3 August, 2018; originally announced August 2018.

Comments: 17 pages, 10 figures

Harmonic oscillator in an elastic medium with a spiral dislocation

Authors: A. V. D. M. Maia, K. Bakke

Abstract: We investigate the behaviour of a two-dimensional harmonic oscillator in an elastic medium that possesses a spiral dislocation (an edge dislocation). We show that the Schrödinger equation for harmonic oscillator in the presence of a spiral dislocation can be solved analytically. Further, we discuss the effects of this topological defect on the confinement to a hard-wall confining potential. In bot… ▽ More We investigate the behaviour of a two-dimensional harmonic oscillator in an elastic medium that possesses a spiral dislocation (an edge dislocation). We show that the Schrödinger equation for harmonic oscillator in the presence of a spiral dislocation can be solved analytically. Further, we discuss the effects of this topological defect on the confinement to a hard-wall confining potential. In both cases, we analyse if the effects of the topology of the spiral dislocation gives rise to an Aharonov-Bohm-type effect for bound states. △ Less

Submitted 16 January, 2018; originally announced January 2018.

Journal ref: Physica B: Condensed Matter 531, 213 (2018)

Synchronization in Networks with Strongly Delayed Couplings

Authors: Daniel M. N. Maia, Elbert E. N. Macau, Tiago Pereira, Serhiy Yanchuk

Abstract: We investigate the stability of synchronization in networks of dynamical systems with strongly delayed connections. We obtain strict conditions for synchronization of periodic and equilibrium solutions. In particular, we show the existence of a critical coupling strength $κ_{c}$, depending only on the network structure, isolated dynamics and coupling function, such that for large delay and couplin… ▽ More We investigate the stability of synchronization in networks of dynamical systems with strongly delayed connections. We obtain strict conditions for synchronization of periodic and equilibrium solutions. In particular, we show the existence of a critical coupling strength $κ_{c}$, depending only on the network structure, isolated dynamics and coupling function, such that for large delay and coupling strength $κ<κ_{c}$, the network possesses stable synchronization. The critical coupling $κ_{c}$ can be chosen independently of the delay for the case of equilibria, while for the periodic solution, $κ_{c}$ depends essentially on the delay and vanishes as the delay increases. We observe that, for random networks, the synchronization interval is maximal when the network is close to the connectivity threshold. We also derive scaling of the coupling parameter that allows for a synchronization of large networks for different network topologies. △ Less

Submitted 9 November, 2017; originally announced November 2017.

Comments: Submitted to DCDS-B

Optical Polarimetric and Near-Infrared Photometric Study of the RCW95 Galactic HII Region

Authors: Jaime Vargas-González, Alexandre Roman-Lopes, Fabio Pereira Santos, Gabriel Armando Pellegatti Franco, Joao Francisco Coelho dos Santos Junior, Francisco Ferreira de Souza Maia, David Sanmartim

Abstract: We carried out an optical polarimetric study in the direction of the RCW95 star forming region in order to probe the sky-projected magnetic field structure by using the distribution of linear polarization segments which seem to be well aligned with the more extended cloud component. A mean polarization angle of $θ=49.8^o\pm7.7^o$ was derived. Through the spectral dependence analysis of polarizatio… ▽ More We carried out an optical polarimetric study in the direction of the RCW95 star forming region in order to probe the sky-projected magnetic field structure by using the distribution of linear polarization segments which seem to be well aligned with the more extended cloud component. A mean polarization angle of $θ=49.8^o\pm7.7^o$ was derived. Through the spectral dependence analysis of polarization it was possible to obtain the total-to-selective extinction ratio ($R_V$) by fitting the Serkowski function, resulting in a mean value of $R_V=2.93\pm0.47$. The foreground polarization component was estimated and is in agreement with previous studies in this direction of the Galaxy. Further, near-infrared images from Vista Variables in the Via Láctea (VVV) survey were collected to improve the study of the stellar population associated with the HII region. The Automated Stellar Cluster Analysis (ASteCA) algorithm was employed to derive structural parameters for two clusters in the region, and a set of PAdova and TRieste Stellar Evolution Code (PARSEC) isochrones was superimposed on the decontaminated colour-magnitude diagrams (CMDs) to estimate an age of about 3 Myr for both clusters. Finally, from the near-infrared photometry study combined with spectra obtained with the Ohio State Infrared Imager and Spectrometer (OSIRIS) mounted at the Southern Astrophysics Research Telescope (SOAR) we derived the spectral classification of the main ionizing sources in the clusters associated with IRAS 15408$-$5356 and IRAS 15412$-$5359, both objects classified as O4 V stars. △ Less

Submitted 23 October, 2017; originally announced October 2017.

Comments: 14 pages, 16 figures

Journal ref: MNRAS, Volume 474, Issue 1, 11 February 2018, Page 55

Mid-infrared observations of O-type stars: spectral morphology

Authors: Wagner L. F. Marcolino, Jean-Claude Bouret, Thierry Lanz, Donavan S. Maia, Marc Audard

Abstract: We present mid-infrared observations for a sample of 16 O-type stars. The data were acquired with the NASA Spitzer Space Telescope, using the IRS instrument at moderate resolution (R $\sim$ 600), covering the range $\sim 10-37$ microns. Our sample includes early, mid and late O supergiants and dwarfs. We explore for the first time their mid-IR spectral morphology in a quantitative way. We use NLTE… ▽ More We present mid-infrared observations for a sample of 16 O-type stars. The data were acquired with the NASA Spitzer Space Telescope, using the IRS instrument at moderate resolution (R $\sim$ 600), covering the range $\sim 10-37$ microns. Our sample includes early, mid and late O supergiants and dwarfs. We explore for the first time their mid-IR spectral morphology in a quantitative way. We use NLTE expanding atmosphere models to help with line identifications, analyze profile contributions and line-formation regions. The O supergiants present a rich emission line spectra. The most intense features are from hydrogen - $6α$, 7$α$, and $8α$ - which have non-negligible contributions of HeI or HeII lines, depending on the spectral type. The spectrum of early O supergiants is a composite of HI and HeII lines, HeI lines being absent. On the other hand, late O supergiants present features composed mainly by HI and HeI lines. All emission lines are formed throughout the stellar wind. We found that O dwarfs exhibit a featureless mid-IR spectrum. Two stars of our sample exhibit very similar mid-IR features, despite having a very different optical spectral classification. The analysis of O-type stars based on mid-IR spectra alone to infer spectral classes or to estimate physical parameters may thus be prone to substantial errors. Our results may therefore inform spectroscopic observations of massive stars located in heavily obscured regions and help establish an initial framework for observations of massive stars using the Mid-Infrared Instrument on the James Webb Space Telescope. △ Less

Submitted 11 May, 2017; originally announced May 2017.

Comments: 16 pages, 9 figures, accepted for publication in MNRAS

On the Interplay between Non-Functional Requirements and Builds on Continuous Integration

Authors: Klérisson V. R. Paixão, Crícia Z. Felício, Fernanda M. Delfim, Marcelo de A. Maia

Abstract: Continuous Integration (CI) implies that a whole developer team works together on the mainline of a software project. CI systems automate the builds of a software. Sometimes a developer checks in code, which breaks the build. A broken build might not be a problem by itself, but it has the potential to disrupt co-workers, hence it affects the performance of the team. In this study, we investigate t… ▽ More Continuous Integration (CI) implies that a whole developer team works together on the mainline of a software project. CI systems automate the builds of a software. Sometimes a developer checks in code, which breaks the build. A broken build might not be a problem by itself, but it has the potential to disrupt co-workers, hence it affects the performance of the team. In this study, we investigate the interplay between nonfunctional requirements (NFRs) and builds statuses from 1,283 software projects. We found significant differences among NFRs related-builds statuses. Thus, tools can be proposed to improve CI with focus on new ways to prevent failures into CI, specially for efficiency and usability related builds. Also, the time required to put a broken build back on track indicates a bimodal distribution along all NFRs, with higher peaks within a day and lower peaks in six weeks. Our results suggest that more planned schedule for maintainability for Ruby, and for functionality and reliability for Java would decrease delays related to broken builds. △ Less

Submitted 29 March, 2017; v1 submitted 28 March, 2017; originally announced March 2017.

Comments: 4 pages, accepted in MSR 2017 Mining Challenge Track

The Impact of the Higgs on Einstein's Gravity

Authors: M. D. Maia, Valdir B. Bezerra

Abstract: We present an updated review of Kraichnan's derivation of Einstein's equations from quantum field theory, including the period after the discovery of the Higgs mechanism. Gravitation in the Einstein sense is seen to be renormalizable and consistent with the Standard Model of Fundamental Interactions. We present an updated review of Kraichnan's derivation of Einstein's equations from quantum field theory, including the period after the discovery of the Higgs mechanism. Gravitation in the Einstein sense is seen to be renormalizable and consistent with the Standard Model of Fundamental Interactions. △ Less

Submitted 28 October, 2019; v1 submitted 23 February, 2017; originally announced February 2017.

Comments: 4 pages two column revtex, no figures. Improved arguments over previous version

Modeling cognitive deficits following neurodegenerative diseases and traumatic brain injuries with deep convolutional neural networks

Authors: Bethany Lusch, Jake Weholt, Pedro D. Maia, J. Nathan Kutz

Abstract: The accurate diagnosis and assessment of neurodegenerative disease and traumatic brain injuries (TBI) remain open challenges. Both cause cognitive and functional deficits due to focal axonal swellings (FAS), but it is difficult to deliver a prognosis due to our limited ability to assess damaged neurons at a cellular level in vivo. We simulate the effects of neurodegenerative disease and TBI using… ▽ More The accurate diagnosis and assessment of neurodegenerative disease and traumatic brain injuries (TBI) remain open challenges. Both cause cognitive and functional deficits due to focal axonal swellings (FAS), but it is difficult to deliver a prognosis due to our limited ability to assess damaged neurons at a cellular level in vivo. We simulate the effects of neurodegenerative disease and TBI using convolutional neural networks (CNNs) as our model of cognition. We utilize biophysically relevant statistical data on FAS to damage the connections in CNNs in a functionally relevant way. We incorporate energy constraints on the brain by pruning the CNNs to be less over-engineered. Qualitatively, we demonstrate that damage leads to human-like mistakes. Our experiments also provide quantitative assessments of how accuracy is affected by various types and levels of damage. The deficit resulting from a fixed amount of damage greatly depends on which connections are randomly injured, providing intuition for why it is difficult to predict impairments. There is a large degree of subjectivity when it comes to interpreting cognitive deficits from complex systems such as the human brain. However, we provide important insight and a quantitative framework for disorders in which FAS are implicated. △ Less

Submitted 13 December, 2016; originally announced December 2016.

Comments: 13 pages, 11 figures

Associative Memory Impairments arising from Neurodegenerative Diseases and Traumatic Brain Injuries in a Hopfield Network Model

Authors: Melanie Weber, Pedro D. Maia, J. Nathan Kutz

Abstract: Neurodegenerative diseases and traumatic brain injuries (TBI) are among the main causes of cognitive dysfunction in humans. Both manifestations exhibit the extensive presence of focal axonal swellings (FAS). FAS compromises the information encoded in spike trains, thus leading to potentially severe functional deficits. Complicating our understanding of the impact of FAS is our inability to access… ▽ More Neurodegenerative diseases and traumatic brain injuries (TBI) are among the main causes of cognitive dysfunction in humans. Both manifestations exhibit the extensive presence of focal axonal swellings (FAS). FAS compromises the information encoded in spike trains, thus leading to potentially severe functional deficits. Complicating our understanding of the impact of FAS is our inability to access small scale injuries with non-invasive methods, the overall complexity of neuronal pathologies, and our limited knowledge of how networks process biological signals. Building on Hopfield's pioneering work, we extend a model for associative memory to account for FAS and its impact on memory encoding. We calibrate all FAS parameters from biophysical observations of their statistical distribution and size, providing a framework to simulate the effects of brain disorders on memory recall performance. A face recognition example is used to demonstrate and validate the functionality of the novel model. Our results link memory recall ability to observed FAS statistics, allowing for a description of different stages of brain disorders within neuronal networks. This provides a first theoretical model to bridge experimental observations of FAS in neurodegeneration and TBI with compromised memory recall, thus closing the large gap between theory and experiment on how biological signals are processed in damaged, high-dimensional functional networks. The work further lends new insight into positing diagnostic tools to measure cognitive deficits. △ Less

Submitted 24 September, 2016; originally announced September 2016.

Comments: 23 pages, 6 figures. Submitted

MSC Class: 92B20

Omnidirectional Gravitational Wave Detector with a Laser-Interferometric Gravitational Compass

Authors: M. D. Maia, Ivan S. Ferreira, Claudio M. G. Sousa, Nadja S. Magalhaes, Carlos Frajuca

Abstract: Based on the Szekeres-Pirani gravitational compass we suggest the addition of a fourth, non-coplanar mass/mirror to the presently existing laser based gravitational wave observatories, enabling them to operate omnidirectionally, to filter out ambiguous interpretations and to point out the direction of the gravitational wave source. Based on the Szekeres-Pirani gravitational compass we suggest the addition of a fourth, non-coplanar mass/mirror to the presently existing laser based gravitational wave observatories, enabling them to operate omnidirectionally, to filter out ambiguous interpretations and to point out the direction of the gravitational wave source. △ Less

Submitted 20 September, 2016; originally announced September 2016.

Comments: 6 pages 2 figures

Reaction time impairments in decision-making networks as a diagnostic marker for traumatic brain injuries and neurodegenerative diseases

Authors: Pedro D. Maia, J. Nathan Kutz

Abstract: The presence of diffuse Focal Axonal Swellings (FAS) is a hallmark cellular feature in many neurodegenerative diseases and traumatic brain injury. Among other things, the FAS have a significant impact on spike-train encodings that propagate through the affected neurons, leading to compromised signal processing on a neuronal network level. This work merges, for the first time, three fields of study… ▽ More The presence of diffuse Focal Axonal Swellings (FAS) is a hallmark cellular feature in many neurodegenerative diseases and traumatic brain injury. Among other things, the FAS have a significant impact on spike-train encodings that propagate through the affected neurons, leading to compromised signal processing on a neuronal network level. This work merges, for the first time, three fields of study: (i) signal processing in excitatory-inhibitory (EI) networks of neurons via population codes, (ii) decision-making theory driven by the production of evidence from stimulus, and (iii) compromised spike-train propagation through FAS. As such, we demonstrate a mathematical architecture capable of characterizing compromised decision-making driven by cellular mechanisms. The computational model also leads to several novel predictions and diagnostics for understanding injury level and cognitive deficits, including a key finding that decision-making reaction times, rather than accuracy, are indicative of network level damage. The results have a number of translational implications, including that the level of network damage can be characterized by the reaction times in simple cognitive and motor tests. △ Less

Submitted 20 August, 2016; originally announced August 2016.

Comments: 18 pages, 10 figures

MSC Class: 92C20

Power Monitoring and Control for Large Scale projects: SKA, a case study

Authors: Domingos Barbosa, João Paulo Barraca, Dalmiro Maia, Bruno Carvalho, Jorge Vieira, Paul Swart, Gerhard Le Roux, Swaminathan Natarajan, Arnold van Ardenne, Luis Seca

Abstract: Large sensor-based science infrastructures for radio astronomy like the SKA will be among the most intensive data-driven projects in the world, facing very high demanding computation, storage, management, and above all power demands. The geographically wide distribution of the SKA and and its associated processing requirements in the form of tailored High Performance Computing (HPC) facilities, re… ▽ More Large sensor-based science infrastructures for radio astronomy like the SKA will be among the most intensive data-driven projects in the world, facing very high demanding computation, storage, management, and above all power demands. The geographically wide distribution of the SKA and and its associated processing requirements in the form of tailored High Performance Computing (HPC) facilities, require a Greener approach towards the Information and Communications Technologies (ICT) adopted for the data processing to enable operational compliance to potentially strict power budgets. Addressing the reduction of electricity costs, improve system power monitoring and the generation and management of electricity at system level is paramount to avoid future inefficiencies and higher costs and enable fulfillments of Key Science Cases. Here we outline major characteristics and innovation approaches to address power efficiency and long-term power sustainability for radio astronomy projects, focusing on Green ICT for science and Smart power monitoring and control. △ Less

Submitted 8 July, 2016; originally announced July 2016.

Comments: 11 pages, 3 figures, 3 tables, in press Proceedings of SPIE Astronomical Telescopes + Instrumentation 2016 (9910-25). arXiv admin note: text overlap with arXiv:1402.2783

A Cyber Infrastructure for the SKA Telescope Manager

Authors: Domingos Barbosa, Joao Paulo Barracaa, Bruno Carvalho, Dalmiro Maia, Yashwant Gupta, Swaminathan Natarajan, Gerhard Le Roux, Paul Swart

Abstract: The Square Kilometre Array Telescope Manager (SKA TM) will be responsible for assisting the SKA Operations and Observation Management, carrying out System diagnosis and collecting Monitoring & Control data from the SKA sub-systems and components. To provide adequate compute resources, scalability, operation continuity and high availability, as well as strict Quality of Service, the TM cyber-infras… ▽ More The Square Kilometre Array Telescope Manager (SKA TM) will be responsible for assisting the SKA Operations and Observation Management, carrying out System diagnosis and collecting Monitoring & Control data from the SKA sub-systems and components. To provide adequate compute resources, scalability, operation continuity and high availability, as well as strict Quality of Service, the TM cyber-infrastructure (embodied in the Local Infrastructure - LINFRA) consists of COTS hardware and infrastructural software (for example: server monitoring software, host operating system, virtualization software, device firmware), providing a specially tailored Infrastructure as a Service (IaaS) and Platform as a Service (PaaS) solution. The TM infrastructure provides services in the form of computational power, software defined networking, power, storage abstractions, and high level, state of the art IaaS and PaaS management interfaces. This cyber platform will be tailored to each of the two SKA Phase 1 telescopes (SKA_MID in South Africa and SKA_LOW in Australia) instances, each presenting different computational and storage infrastructures and conditioned by location. This cyber platform will provide a compute model enabling TM to manage the deployment and execution of its multiple components (observation scheduler, proposal submission tools, M&C components, Forensic tools and several Databases, etc). In this sense, the TM LINFRA is primarily focused towards the provision of isolated instances, mostly resorting to virtualization technologies, while defaulting to bare hardware if specifically required due to performance, security, availability, or other requirement. △ Less

Submitted 8 July, 2016; originally announced July 2016.

Comments: 11 pages, 4 figures, in press in Proceedings of the SPIE Astronomical Telescopes + Instrumentation 2016 (9913-20)

Interplanetary Consequences of Coronal Mass Ejection Events occurred during 18--25 June 2015

Authors: P. K. Manoharan, D. Maia, A. Johri, M. S. Induja

Abstract: In this paper, we review the preliminary results on the propagation effects and interplanetary consequences of fast and wide coronal mass ejection (CME) events, occurred during 18--25 June 2015, in the Sun-Earth distance range. The interplanetary scintillation (IPS) images reveal that the large-scale structures of CME-driven disturbances filled nearly the entire inner heliosphere with a range of s… ▽ More In this paper, we review the preliminary results on the propagation effects and interplanetary consequences of fast and wide coronal mass ejection (CME) events, occurred during 18--25 June 2015, in the Sun-Earth distance range. The interplanetary scintillation (IPS) images reveal that the large-scale structures of CME-driven disturbances filled nearly the entire inner heliosphere with a range of speeds, $\sim$300--1000 {\kmps}. The comparison of speed data sets, from IPS technique results in the inner heliosphere and {\it in-situ} measurements at 1 AU, indicates that the drag force imposed by the low-speed wind dominated heliosphere on the propagation of CMEs may not be effective. The arrival of shocks at 1 AU suggests that a shock can be driven in the interplanetary medium by the central part of the moving CME and also by a different part away from its centre. The increased flux of proton at energies $>$10 MeV is consistent with the acceleration of particles by the shock ahead of the CME. △ Less

Submitted 11 March, 2016; originally announced March 2016.

Comments: 8 pages, 5 figures; Accepted for publication in ASP Conference Series

Persistence of Network Synchronization under Nonidentical Coupling Functions

Authors: Daniel M. N. Maia, Tiago Pereira, Elbert E. N. Macau

Abstract: We investigate the persistence of synchronization in networks of diffusively coupled oscillators when the coupling functions are nonidentical. Under mild conditions, we uncover the influence of the network interaction structure on the mismatches of the coupling function. We show that Erdös-Rényi random graphs support large perturbations in the coupling function. In contrast scale-free graphs do no… ▽ More We investigate the persistence of synchronization in networks of diffusively coupled oscillators when the coupling functions are nonidentical. Under mild conditions, we uncover the influence of the network interaction structure on the mismatches of the coupling function. We show that Erdös-Rényi random graphs support large perturbations in the coupling function. In contrast scale-free graphs do not allow large perturbations in the coupling function, that is, as the network size n goes to infinity it forces the coupling functions to be identical. △ Less

Submitted 25 November, 2015; originally announced November 2015.

Comments: 15 pages, 4 figures, submitted to SIAM Journal on Applied Dynamical Systems (SIADS)

Cosmology of Spin-2 Fields

Authors: M. D. Maia

Abstract: The Cauchy-Kowalevski theorem is applied to the solutions of Einstein's equations and to cosmology. Three fundamental requirements of the theorem: the use of analytic series; the existence of the boundary surfaces; and the setting of the independent initial data are revised, using methods of geometric analysis. It is shown that during its relativistic phase, the standard model of the universe is g… ▽ More The Cauchy-Kowalevski theorem is applied to the solutions of Einstein's equations and to cosmology. Three fundamental requirements of the theorem: the use of analytic series; the existence of the boundary surfaces; and the setting of the independent initial data are revised, using methods of geometric analysis. It is shown that during its relativistic phase, the standard model of the universe is governed by Einstein's gravitation described as a massless spin-2 field, but it is necessarily complemented by massive spin-2 field, which responds for the dark sector of the universe. On the other hand, at the inflationary phase, the exponential growth of the volume of the universe is shown to be consistent with a thermal, non-relativistic expansion. These two phases are separated by the last inflationary surface. △ Less

Submitted 5 November, 2015; v1 submitted 16 September, 2015; originally announced September 2015.

Comments: 9 pages, no figures, Latex. Several typos were corrected, some arguments have been simplified, new references and one acknowledgement added

Solar and Heliospheric Physics with the Square Kilometre Array

Authors: Valery M. Nakariakov, Mario M. Bisi, Philippa K. Browning, Dalmiro Maia, Eduard P. Kontar, Divya Oberoi, Peter T. Gallagher, Iver H. Cairns, Heather Ratcliffe

Abstract: The fields of solar radiophysics and solar system radio physics, or radio heliophysics, will benefit immensely from an instrument with the capabilities projected for SKA. Potential applications include interplanetary scintillation (IPS), radio-burst tracking, and solar spectral radio imaging with a superior sensitivity. These will provide breakthrough new insights and results in topics of fundamen… ▽ More The fields of solar radiophysics and solar system radio physics, or radio heliophysics, will benefit immensely from an instrument with the capabilities projected for SKA. Potential applications include interplanetary scintillation (IPS), radio-burst tracking, and solar spectral radio imaging with a superior sensitivity. These will provide breakthrough new insights and results in topics of fundamental importance, such as the physics of impulsive energy releases, magnetohydrodynamic oscillations and turbulence, the dynamics of post-eruptive processes, energetic particle acceleration, the structure of the solar wind and the development and evolution of solar wind transients at distances up to and beyond the orbit of the Earth. The combination of the high spectral, time and spatial resolution and the unprecedented sensitivity of the SKA will radically advance our understanding of basic physical processes operating in solar and heliospheric plasmas and provide a solid foundation for the forecasting of space weather events. △ Less

Submitted 2 July, 2015; originally announced July 2015.

Comments: 15 pages, Proceedings of Advancing Astrophysics with the Square Kilometre Array (AASKA14). 9 -13 June, 2014. Giardini Naxos, Italy. Online at http://pos.sissa.it/cgi-bin/reader/conf.cgi?confid=215, id.169

Sync: Persistence in Two Diffusively Coupled Oscillators

Authors: Marcos D. N. Maia, Tiago Pereira

Abstract: We address the problem of stability of synchronization in two diffu- sively coupled oscillators under small perturations. We have two cases, namely, when the perturation becomes of a linear operator and the case of non-linear operator. We use the Lyapunov second method to guar- antee the global analysis for the first case. For the second, we use the Hartman-Grobman theorem, providing local analysi… ▽ More We address the problem of stability of synchronization in two diffu- sively coupled oscillators under small perturations. We have two cases, namely, when the perturation becomes of a linear operator and the case of non-linear operator. We use the Lyapunov second method to guar- antee the global analysis for the first case. For the second, we use the Hartman-Grobman theorem, providing local analysis. △ Less

Submitted 5 March, 2015; v1 submitted 13 December, 2014; originally announced December 2014.

Comments: This paper has been withdrawn by the author because this paper is incomplete and contains several crucial errors

Massive Kaluza-Klein Gravity

Authors: D. C. N. Cunha, M. D. Maia

Abstract: The non-Abelian Kaluza-Klein unification of gravitation with gauge fields theory is reformulated, with the inclusion of a massive spin-2 field defined by the extrinsic curvature. The internal space is non-compact, characterized by the group of rotations of vectors orthogonal to the space-time. The non-compactness of the internal space warrants the solution of the fermion chirality problem of the o… ▽ More The non-Abelian Kaluza-Klein unification of gravitation with gauge fields theory is reformulated, with the inclusion of a massive spin-2 field defined by the extrinsic curvature. The internal space is non-compact, characterized by the group of rotations of vectors orthogonal to the space-time. The non-compactness of the internal space warrants the solution of the fermion chirality problem of the original Kaluza-Klein theory and makes it closer to the more recent Brane World paradigm, in special to the so called DGP model. However, the access of gravitation to the extra dimensions is defined by the mentioned massive spin-2 field obeying the Fierz-Pauli equation. The existence of a short range gravitational component makes possible to apply the modified Kaluza-Klein unification to the Tev scale of energies. △ Less

Submitted 31 October, 2013; originally announced October 2013.

Comments: 22 pages

Sincronização em Redes Complexas: Estabilidade e Persistência

Authors: Marcos D. N. Maia

Abstract: We investigate emergence of the global collective behavior in networks of diffusively coupled identical oscillators, which in the established model is an invariant manifold of the motion equations. The interaction is modeled with the graph theory and dynamical systems theory. We use the uniform contractions theory in non-autonomous linear differential equations to address the criterion under the g… ▽ More We investigate emergence of the global collective behavior in networks of diffusively coupled identical oscillators, which in the established model is an invariant manifold of the motion equations. The interaction is modeled with the graph theory and dynamical systems theory. We use the uniform contractions theory in non-autonomous linear differential equations to address the criterion under the global coupling parameter, which it turns defines the synchronized motion and it stability under small linear and non-linear perturbations. The critical global interaction parameter is given only by the isolated dynamics, by the spectral properties of the coupling function and the second eigenvalue network laplacian. △ Less

Submitted 12 March, 2013; originally announced March 2013.

Comments: 72 pages, 13 figures, text in Portuguese

On The Topological Nature of the Cosmological Constant

Authors: M. D. Maia

Abstract: It is shown that topological changes in space-time are necessary to make General Relativity compatible with the Newtonian limit and to solve the hierarchy of the fundamental interactions. We detail how topology and topological changes appear in General Relativity and how it leaves an observable footprint in space-time. In cosmology we show that such topological observable is the cosmic radiation p… ▽ More It is shown that topological changes in space-time are necessary to make General Relativity compatible with the Newtonian limit and to solve the hierarchy of the fundamental interactions. We detail how topology and topological changes appear in General Relativity and how it leaves an observable footprint in space-time. In cosmology we show that such topological observable is the cosmic radiation produced by the acceleration of the universe. The cosmological constant is a very particular case which occurs when the expansion of the universe into the vacuum occurs only in the direction of the cosmic time flow. △ Less

Submitted 29 November, 2012; originally announced November 2012.

Comments: 5 pages Latex no figures

Journal ref: International Journal of Modern Physics: Conference Series. Vol. 18, 109-114, 2012

Power Challenges of Large Scale Research Infrastructures: the Square Kilometer Array and Solar Energy Integration; Towards a zero-carbon footprint next generation telescope

Authors: Domingos Barbosa, Gonzalo Lobo Márquez, Valeriano Ruiz, Manuel Silva, Lourdes Verdes-Montenegro, Juande Santander-Vela, Dalmiro Maia, Sonia Antón, Arnold van Ardenne, Matthias Vetter, Michael Kramer, Reinhard Keller, Nuno Pereira, Vitor Silva, The BIOSTIRLING Consortium

Abstract: The Square Kilometer Array (SKA) will be the largest Global science project of the next two decades. It will encompass a sensor network dedicated to radioastronomy, covering two continents. It will be constructed in remote areas of South Africa and Australia, spreading over 3000Km, in high solar irradiance latitudes. Solar Power supply is therefore an option to power supply the SKA and contribute… ▽ More The Square Kilometer Array (SKA) will be the largest Global science project of the next two decades. It will encompass a sensor network dedicated to radioastronomy, covering two continents. It will be constructed in remote areas of South Africa and Australia, spreading over 3000Km, in high solar irradiance latitudes. Solar Power supply is therefore an option to power supply the SKA and contribute to a zero carbon footprint next generation telescope. Here we outline the major characteristics of the SKA and some innovation approaches on thermal solar energy Integration with SKA prototypes. △ Less

Submitted 17 October, 2012; originally announced October 2012.

Comments: 4 pages; 3 figures. Paper accepted for presentation at Proceedings of the 2nd International Workshop on Integration on Solar Power into Power Systems; 12th-13th November, 2012, Lisbon, Portugal

The Poincare Conjecture and the Cosmological Constant

Authors: M. D. Maia

Abstract: The concept of deformation of Riemannian geometry is reviewed, with applications to gravitation and cosmology. Starting with an analysis of the cosmological constant problem, it is shown that space-times are deformable in the sense of local change of shape. These deformations leave an observable signature in the space-time, characterized by a conserved tensor, associated with a tangent acceleratio… ▽ More The concept of deformation of Riemannian geometry is reviewed, with applications to gravitation and cosmology. Starting with an analysis of the cosmological constant problem, it is shown that space-times are deformable in the sense of local change of shape. These deformations leave an observable signature in the space-time, characterized by a conserved tensor, associated with a tangent acceleration, defined by the extrinsic curvature of the space-time. In the applications to cosmology, we find that the accelerated expansion of the universe is the observable effect of the deformation, dispensing with the cosmological constant and its problems. △ Less

Submitted 14 July, 2011; originally announced July 2011.

Comments: 9 pages, Latex, presented at the 8th Friedmann Seminar, Rio de Janeiro, May-June 2011

The Deformable Universe

Authors: M. D. Maia, A. J. S. Capistrano, J. S. Alcaniz, Edmundo M. Monte

Abstract: The concept of smooth deformations of a Riemannian manifolds, recently evidenced by the solution of the Poincaré conjecture, is applied to Einstein's gravitational theory and in particular to the standard FLRW cosmology. We present a brief review of the deformation of Riemannian geometry, showing how such deformations can be derived from the Einstein-Hilbert dynamical principle. We show that such… ▽ More The concept of smooth deformations of a Riemannian manifolds, recently evidenced by the solution of the Poincaré conjecture, is applied to Einstein's gravitational theory and in particular to the standard FLRW cosmology. We present a brief review of the deformation of Riemannian geometry, showing how such deformations can be derived from the Einstein-Hilbert dynamical principle. We show that such deformations of space-times of general relativity produce observable effects that can be measured by four-dimensional observers. In the case of the FLRW cosmology, one such observable effect is shown to be consistent with the accelerated expansion of the universe. △ Less

Submitted 20 January, 2011; originally announced January 2011.

Comments: 20 pages, LaTeX, 3 figures

Journal ref: Gen.Rel.Grav.43:2685-2700,2011

Gravitational Waves from Coalescing Binary Sources

Authors: M. D. Maia

Abstract: Coalescing binary systems (eg pulsars, neutron stars and black holes) are the most likely sources of gravitational radiation, yet to be detected on or near Earth, where the local gravitational field is negligible and the Poincaré symmetry rules. On the other hand, the general theory of gravitational waves emitted by axially symmetric rotating sources predicts the existence of a non-vanishing news… ▽ More Coalescing binary systems (eg pulsars, neutron stars and black holes) are the most likely sources of gravitational radiation, yet to be detected on or near Earth, where the local gravitational field is negligible and the Poincaré symmetry rules. On the other hand, the general theory of gravitational waves emitted by axially symmetric rotating sources predicts the existence of a non-vanishing news function. The existence of such function implies that, for a distant observer, the asymptotic group of isometries, the BMS group, has a translational symmetry that depends on the orbit periodicity of the source, thus breaking the isotropy o the Poincaré translations. These results suggest the application of the asymptotic BMS-covariant wave equation to obtain a proper theoretical basis for the gravitational waves observations. △ Less

Submitted 8 July, 2010; originally announced July 2010.

Comments: 4 pages, awarded a honorable mention from the Gravity Research Foundation 2010

Journal ref: Int.J.Mod.Phys.D19:2295-2298,2010

Perturbations of Dark Matter Gravity

Authors: M. D. Maia, A. J. S. Capistrano, D. Muller

Abstract: Until recently the study of the gravitational field of dark matter was primarily concerned with its local effects on the motion of stars in galaxies and galaxy clusters. On the other hand, the WMAP experiment has shown that the gravitational field produced by dark matter amplifies the higher acoustic modes of the CMBR power spectrum, more intensely than the gravitational field of baryons. Such a… ▽ More Until recently the study of the gravitational field of dark matter was primarily concerned with its local effects on the motion of stars in galaxies and galaxy clusters. On the other hand, the WMAP experiment has shown that the gravitational field produced by dark matter amplifies the higher acoustic modes of the CMBR power spectrum, more intensely than the gravitational field of baryons. Such a wide range of experimental evidences from cosmology to local gravity suggests the necessity of a comprehensive analysis of the dark matter gravitational field per se, regardless of any other attributes that dark matter may eventually possess. In this paper we introduce and apply Nash's theory of perturbative geometry to the study of the dark matter gravitational field alone, in a higher-dimensional framework. It is shown that the dark matter gravitational perturbations in the early universe can be explained by the extrinsic curvature of the standard cosmology. Together with the estimated presence of massive neutrinos, such geometric perturbation is compatible not only with the observed power spectrum in the WMAP experiment but also with the most recent data on the accelerated expansion of the universe. It is possible that the same structure formation exists locally, such as in the cases of young galaxies or in cluster collisions. In most other cases it seems to have ceased when the extrinsic curvature becomes negligible, leading to Einstein's equations in four dimensions. The slow motion of stars in galaxies and the motion of plasma substructures in nearly colliding clusters are calculated with the geodesic equation for a slowly moving object in a gravitational field of arbitrary strength. △ Less

Submitted 25 September, 2009; originally announced September 2009.

Comments: 10 pages, 5 figures

Journal ref: Int.J.Mod.Phys.D18:1273-1289,2009

Geometry of Dark Energy

Authors: M. D. Maia, A. J. S. Capistrano, J. S. Alcaniz, E. M. Monte

Abstract: The acceleration of the universe is described as a dynamical effect of the extrinsic curvature of space-time. By extending previous results, the extrinsic curvature is regarded as an independent spin-2 field, determined by a set of non-linear equations similar to Einstein's equations. In this framework, we investigate some cosmological consequences of this class of scenarios and test its observa… ▽ More The acceleration of the universe is described as a dynamical effect of the extrinsic curvature of space-time. By extending previous results, the extrinsic curvature is regarded as an independent spin-2 field, determined by a set of non-linear equations similar to Einstein's equations. In this framework, we investigate some cosmological consequences of this class of scenarios and test its observational viability by performing a statistical analysis with current type Ia Supernova data. △ Less

Submitted 26 May, 2009; originally announced May 2009.

Comments: 10 pages, 3 figures, LaTeX

On the Nature of the Cosmological Constant Problem

Authors: M. D. Maia, A. J. S. Capistrano, E. M. Monte

Abstract: General relativity postulates the Minkowski space-time to be the standard flat geometry against which we compare all curved space-times and the gravitational ground state where particles, quantum fields and their vacuum states are primarily conceived. On the other hand, experimental evidences show that there exists a non-zero cosmological constant, which implies in a deSitter space-time, not com… ▽ More General relativity postulates the Minkowski space-time to be the standard flat geometry against which we compare all curved space-times and the gravitational ground state where particles, quantum fields and their vacuum states are primarily conceived. On the other hand, experimental evidences show that there exists a non-zero cosmological constant, which implies in a deSitter space-time, not compatible with the assumed Minkowski structure. Such inconsistency is shown to be a consequence of the lack of a application independent curvature standard in Riemann's geometry, leading eventually to the cosmological constant problem in general relativity. We show how the curvature standard in Riemann's geometry can be fixed by Nash's theorem on locally embedded Riemannian geometries, which imply in the existence of extra dimensions. The resulting gravitational theory is more general than general relativity, similar to brane-world gravity, but where the propagation of the gravitational field along the extra dimensions is a mathematical necessity, rather than being a a postulate. After a brief introduction to Nash's theorem, we show that the vacuum energy density must remain confined to four-dimensional space-times, but the cosmological constant resulting from the contracted Bianchi identity is a gravitational contribution which propagates in the extra dimensions. Therefore, the comparison between the vacuum energy and the cosmological constant in general relativity ceases to be. Instead, the geometrical fix provided by Nash's theorem suggests that the vacuum energy density contributes to the perturbations of the gravitational field. △ Less

Submitted 10 June, 2009; v1 submitted 22 May, 2009; originally announced May 2009.

Comments: LaTex, 5 pages no figutres. Correction on author list

Journal ref: Int.J.Mod.Phys.A24:1545-1548,2009

Inhomogeneus Inflation and Cosmic no-Hair Conjecture

Authors: M. A. S. Nobre, M. R. de Garcia Maia, J. C. Carvalho, J. A. S. Lima

Abstract: The cosmic no hair conjecture is tested for a large class of inhomogeneous cosmologies with a positive cosmological constant. Firstly, we derive a new class of exact inhomogeneous cosmological solutions whose matter content of the models is formed by a mixture of two interacting simple fluids plus a cosmological Lambda-term. These models generalize the de Sitter spacetime and the inhomogeneous t… ▽ More The cosmic no hair conjecture is tested for a large class of inhomogeneous cosmologies with a positive cosmological constant. Firstly, we derive a new class of exact inhomogeneous cosmological solutions whose matter content of the models is formed by a mixture of two interacting simple fluids plus a cosmological Lambda-term. These models generalize the de Sitter spacetime and the inhomogeneous two-fluid Szekeres-type cosmologies derived by Lima and Tiomno. Finally, we show that the late time behaviour of our solutions is in agreement with the "cosmic no hair theorem" of Hawking and Moss. △ Less

Submitted 20 March, 2009; originally announced March 2009.

Comments: 8 pages, no figue

Applications of Nash's Theorem to Cosmology

Authors: M. D. Maia

Abstract: The cosmological constant problem is seen as a symptom of the ambiguity of the Riemann curvature in general relativity. The solution of that ambiguity provided by Nash's theorem on gravitational perturbations along extra dimensions eliminate the direct comparison between the vacuum energy density and Einstein's cosmological constant, besides being compatible with the formation of structures and… ▽ More The cosmological constant problem is seen as a symptom of the ambiguity of the Riemann curvature in general relativity. The solution of that ambiguity provided by Nash's theorem on gravitational perturbations along extra dimensions eliminate the direct comparison between the vacuum energy density and Einstein's cosmological constant, besides being compatible with the formation of structures and the accelerated expansion of the universe. △ Less

Submitted 24 November, 2008; originally announced November 2008.

Comments: 7 pages, Latex 0ne figure, Talk Presented at the II Indo-Brazilian Workshop on Gravitation and Cosmology

Quaternion-Loop Quantum Gravity

Authors: M. D. Maia, S. S. e Almeida Silva, F. S. Carvalho

Abstract: It is shown that the Riemannian curvature of the 3-dimensional hypersurfaces in space-time, described by the Wilson loop integral, can be represented by a quaternion quantum operator induced by the SU(2) gauge potential, thus providing a justification for quaternion quantum gravity at the Tev energy scale. It is shown that the Riemannian curvature of the 3-dimensional hypersurfaces in space-time, described by the Wilson loop integral, can be represented by a quaternion quantum operator induced by the SU(2) gauge potential, thus providing a justification for quaternion quantum gravity at the Tev energy scale. △ Less

Submitted 24 September, 2009; v1 submitted 17 September, 2008; originally announced September 2008.

Comments: 5 pages, latex, no figures. Improved pdf. To appear in the Foundations of Physics

Journal ref: Found.Phys.39:1273-1279,2009

On the Stability of Black Holes at the LHC

Authors: M. D. Maia, E. M. Monte

Abstract: The eventual production of mini black holes by proton-proton collisions at the LHC is predicted by theories with large extra dimensions resolvable at the Tev scale of energies. It is expected that these black holes evaporate shortly after its production as a consequence of the Hawking radiation. We show that for theories based on the ADS/CFT correspondence, the produced black holes may have an u… ▽ More The eventual production of mini black holes by proton-proton collisions at the LHC is predicted by theories with large extra dimensions resolvable at the Tev scale of energies. It is expected that these black holes evaporate shortly after its production as a consequence of the Hawking radiation. We show that for theories based on the ADS/CFT correspondence, the produced black holes may have an unstable horizon, which grows proportionally to the square of the distance to the collision point. △ Less

Submitted 19 August, 2008; originally announced August 2008.

Comments: 3 pages

Journal ref: J.Phys.Conf.Ser.314:012124,2011

Geant4 applications in the heliospheric radiation environment

Authors: Pedro Brogueira, Patrícia Gonçalves, Ana Keating, Dalmiro Maia, Mário Pimenta, Bernardo Tomé

Abstract: The high energy ionizing radiation environment in the solar system consists of three main sources: the radiation belts, galactic cosmic rays and solar energetic particles. Geant4 is a Monte Carlo radiation transport simulation toolkit, with applications in areas as high energy physics, nuclear physics, astrophysics or medical physics research. In this poster, Geant4 applications to model and stu… ▽ More The high energy ionizing radiation environment in the solar system consists of three main sources: the radiation belts, galactic cosmic rays and solar energetic particles. Geant4 is a Monte Carlo radiation transport simulation toolkit, with applications in areas as high energy physics, nuclear physics, astrophysics or medical physics research. In this poster, Geant4 applications to model and study the effects of the heliospheric radiation environment are presented. Specific applications are being developed to study the effect of the radiation environment on detector components, to describe the response and to optimise the design of radiation monitors for future space missions and to predict the radiation environment in Mars surface, orbits and moons. △ Less

Submitted 11 September, 2007; originally announced September 2007.

Comments: 4 pages, 4 figures, proceedings to the 30TH International Cosmic Ray Conference, ICRC07, Mérida, Mexico