Eumenio Ancochea Soto, María José Huertas, F. Hernán, J.L. Brändle,
... on those of an ordinary composite volcano (the Madeiral–Monte Cara Formation). A giant landslide event, the ...
Tópico(s): earthquake and tectonic studies
2010 - Elsevier BV | Journal of Volcanology and Geothermal Research
Produção Nacional
Revisado por pares
Aline Castilho de Almeida, Aryane Flauzino Machado, Maíra Campos de Albuquerque, Lara Madeiral Netto, Franciele Marques Vanderlei, Luiz Carlos Marques Vanderlei, Jayme Netto, Carlos Marcelo Pastre,
Objectives The aim of the present study was to investigate the effects of cold water immersion during post-exercise recovery, with different durations and temperatures, on heart rate variability indices. Design Hundred participants performed a protocol of jumps and a Wingate test, and immediately afterwards were immersed in cold water, according to the characteristics of each group (CG: control; G1: 5′ at 9 ± 1 °C; G2: 5′ at 14 ± 1 °C; G3: 15′ at 9 ± 1 °C; G4: 15′ at 14 ± 1 °C). Methods Analyses were performed ...
Tópico(s): Non-Invasive Vital Sign Monitoring
2015 - Elsevier BV | Journal of science and medicine in sport
Produção Nacional
Revisado por pares
Fernanda Madeiral, Klérisson V. R. Paixão, Damien Cassou, Marcelo de Almeida Maia,
Software libraries and frameworks play an important role in software system development. The appropriate usage of their functionalities/components through their APIs, however, is a challenge for developers. Usually, API documentation, when it exists, is insufficient to assist them in their programming tasks. There are few API documentation writers for the many potential readers, resulting in the lack of explanations and examples concerning different scenarios and perspectives. The interaction of ...
Tópico(s): Mobile Crowdsensing and Crowdsourcing
2016 - Springer Science+Business Media | Journal of the Brazilian Computer Society
Produção Nacional
Revisado por pares
Lucas B. L. de Souza, Eduardo C. Campos, Fernanda Madeiral, Klérisson V. R. Paixão, Adriano M. Rocha, Marcelo de Almeida Maia,
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 ...
Tópico(s): Advanced Malware Detection Techniques
2019 - Elsevier BV | Information and Software Technology
Khashayar Etemadi, Nicolas Harrand, S. Larsen, Haris Adzemovic, Henry Luong Phu, Ashutosh Verma, Fernanda Madeiral, Douglas Wikström, Martin Monperrus,
Previous work has shown that early resolution of issues detected by static code analyzers can prevent major costs later on. However, developers often ignore such issues for two main reasons. First, many issues should be interpreted to determine if they correspond to actual flaws in the program. Second, static analyzers often do not present the issues in a way that is actionable. To address these problems, we present Sorald: a novel system that devise metaprogramming templates to transform the abstract ...
Tópico(s): Advanced Malware Detection Techniques
2022 - IEEE Computer Society | IEEE Transactions on Dependable and Secure Computing
Benjamin Loriot, Fernanda Madeiral, Martin Monperrus,
Ensuring the consistent usage of formatting conventions is an important aspect of modern software quality assurance. While formatting convention violations can be automatically detected by format checkers implemented in linters, there is no satisfactory solution for repairing them. Manually fixing formatting convention violations is a waste of developer time and code formatters do not take into account the conventions adopted and configured by developers for the used linter. In this paper, we present ...
Tópico(s): Advanced Malware Detection Techniques
2022 - Springer Science+Business Media | Empirical Software Engineering
Produção Nacional
Revisado por pares
Delano Oliveira, Reydne Santos, Fernanda Madeiral, Hidehiko Masuhara, Fernando Castor,
Context: Software programs can be written in different but functionally equivalent ways. Even though previous research has compared specific formatting elements to find out which alternatives affect code legibility, seeing the bigger picture of what makes code more or less legible is challenging. Goal: We aim to find which formatting elements have been investigated in empirical studies and which alternatives were found to be more legible for human subjects. Method: We conducted a systematic literature ...
Tópico(s): Software Engineering Techniques and Practices
2023 - Elsevier BV | Journal of Systems and Software
Khashayar Etemadi, Aman Sharma, Fernanda Madeiral, Martin Monperrus,
Source code diffs are used on a daily basis as part of code review, inspection, and auditing. To facilitate understanding, they are typically accompanied by explanations that describe the essence of what is changed in the program. As manually crafting high-quality explanations is a cumbersome task, researchers have proposed automatic techniques to generate code diff explanations. Existing explanation generation methods solely focus on static analysis, i.e., they do not take advantage of runtime ...
Tópico(s): Software Reliability and Analysis Research
2023 - IEEE Computer Society | IEEE Transactions on Software Engineering
Produção Nacional
Revisado por pares
Lorena Madeiral Netto, Rebecca Ravelli, Ilza Lígia Biceglia,
O presente artigo apresenta o trabalho referente ao desenvolvimento de uma proposta de intervenção no estágio supervisionado em Psicologia do Esporte no último ano da graduação em Psicologia.Um dos objetivos é investigar e intervir sobre os processos de comunicação interpessoal entre atletas e, entre atletas e treinadores, relativos aos fenômenos psicossociais da dinâmica do esporte em questão e que, podem interferir nas condições psicológicas dos atletas e, consequentemente
Tópico(s): Physical Education and Sports Studies
2011 - UNIVERSIDADE DO OESTE PAULISTA | Colloquium humanarum
Produção Nacional
Revisado por pares
Lorena Madeiral Netto, Rebecca Ravelli, Ilza Lígia Biceglia,
This article presents the work about the development of an intervention proposal for supervised internship in Sports Psychology in the last year of undergraduate psychology. The objective of work is to investigate and intervene on the processes of interpersonal communication between athletes and between athletes and coaches, for the psychologists phenomenon of the dynamics of the sport in question and that can interfere with psychological condition of athletes and thus results in performance and ...
Tópico(s): Psychological Testing and Assessment
2011 - UNIVERSIDADE DO OESTE PAULISTA | Colloquium humanarum
Produção Nacional
Revisado por pares
Aline Castilho de Almeida, Aryane Flauzino Machado, Lara Madeiral Netto, Luiz Carlos Marques Vanderlei, Jayme Netto, Carlos Marcelo Pastre,
The photonic nanojet shaping effect in the dielectric non-spherical microparticles is reported. The specific spatial electromagnetic field is studied by using finite-difference time-domain calculation which constitutes the so-called photonic nanojet. The dielectric non-spherical microparticle is truncated by the cutting thickness. The latitudinal and longitudinal dimensions of the photonic nanojet and its peak intensity depending on the variation of cutting thickness are numerically researched. ...
Tópico(s): Infrared Thermography in Medicine
2014 - Elsevier BV | Physical Therapy in Sport
Tópico(s): Business Process Modeling and Analysis
2013 - | Aleph UCLA Undergraduate Research Journal for the Humanities and Social Sciences
Produção Nacional
Revisado por pares
Delano Oliveira, Reydne Santos, Benedito de Oliveira, Martin Monperrus, Fernando Castor, Fernanda Madeiral,
Motivation: Code understandability is crucial in software development, as developers spend 58% to 70% of their time reading source code. Improving it can improve productivity and reduce maintenance costs. Problem: Experimental studies often identify factors influencing code understandability in controlled settings but overlook real-world influences like project culture, guidelines, and developers' backgrounds. Ignoring these factors may yield results with limited external validity. Objective: This ...
Tópico(s): Software System Performance and Reliability
2024 - IEEE Computer Society | IEEE Transactions on Software Engineering
Delano Oliveira, Reyde Bruno, Fernanda Madeiral, Hidehiko Masuhara, Fernando Castor,
Software programs can be written in different but functionally equivalent ways. Even though previous research has compared specific formatting elements to find out which alternatives affect code legibility, seeing the bigger picture of what makes code more or less legible is challenging.We aim to find which formatting elements have been investigated in empirical studies and which ones were found to be more legible for human subjects.We conduct a systematic literature review and identify 12 papers ...
Tópico(s): Behavioral and Psychological Studies
2022 - RELX Group (Netherlands) | SSRN Electronic Journal