Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2020

The Structure of Climate Variability Across Scales

Autores
Franzke, CLE; Barbosa, S; Blender, R; Fredriksen, HB; Laepple, T; Lambert, F; Nilsen, T; Rypdal, K; Rypdal, M; Scotto, MG; Vannitsem, S; Watkins, NW; Yang, LC; Yuan, NM;

Publicação
REVIEWS OF GEOPHYSICS

Abstract
One of the most intriguing facets of the climate system is that it exhibits variability across all temporal and spatial scales; pronounced examples are temperature and precipitation. The structure of this variability, however, is not arbitrary. Over certain spatial and temporal ranges, it can be described by scaling relationships in the form of power laws in probability density distributions and autocorrelation functions. These scaling relationships can be quantified by scaling exponents which measure how the variability changes across scales and how the intensity changes with frequency of occurrence. Scaling determines the relative magnitudes and persistence of natural climate fluctuations. Here, we review various scaling mechanisms and their relevance for the climate system. We show observational evidence of scaling and discuss the application of scaling properties and methods in trend detection, climate sensitivity analyses, and climate prediction.

2020

The ProcessPAIR Method for Automated Software Process Performance Analysis

Autores
Raza, M; Faria, JP;

Publicação
IEEE ACCESS

Abstract
High-maturity software development processes and development environments with automated data collection can generate significant amounts of data that can be periodically analyzed to identify performance problems, determine their root causes, and devise improvement actions. However, conducting the analysis manually is challenging because of the potentially large amount of data to analyze, the effort and expertise required, and the lack of benchmarks for comparison. In this article, we present ProcessPAIR, a novel method with tool support designed to help developers analyze their performance data with higher quality and less effort. Based on performance models structured manually by process experts and calibrated automatically from the performance data of many process users, it automatically identifies and ranks performance problems and potential root causes of individual subjects, so that subsequent manual analysis for the identification of deeper causes and improvement actions can be appropriately focused. We also show how ProcessPAIR was successfully instantiated and used in software engineering education and training, helping students analyze their performance data with higher satisfaction (by 25%), better quality of analysis outcomes (by 7%), and lower effort (by 4%), as compared to a traditional approach (with reduced tool support).

2020

Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework

Autores
Paulino, N; Ferreira, JC; Bispo, J; Cardoso, JMP;

Publicação
2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL)

Abstract
Performance and power efficiency in edge and embedded systems can benefit from specialized hardware. To avoid the effort of manual hardware design, we explore the generation of accelerator circuits from binary instruction traces for several Instruction Set Architectures.

2020

Combined Image-Based Approach for Monitoring the Adherence to Inhaled Medications

Autores
Vieira Marques, P; Teixeira, JF; Valente, J; Pinho, B; Guedes, R; Almeida, R; Jacome, C; Pereira, A; Jacinto, T; Amaral, R; Goncalves, I; Sousa, AS; Couto, M; Pereira, M; Magalhaes, M; Bordalo, D; Silva, LN; Fonseca, JA;

Publicação
XV MEDITERRANEAN CONFERENCE ON MEDICAL AND BIOLOGICAL ENGINEERING AND COMPUTING - MEDICON 2019

Abstract
The adherence to inhaled controller medications is of critical importance to achieve good clinical results in patients with chronic respiratory diseases. To objectively verify the adherence, a detection tool was previously developed and integrated in the mobile application InspirerMundi, based on image processing methods. In this work, a new approach for enhanced adherence verification was developed. In a first phase template matching is employed to confirm the inhaler positioning and to locate the dose counter. In a second phase Google ML Kit framework is used for the detection of each numerical dose in the dose counter. The proposed approach was validated through a new detection tool pilot implementation, using a set of images collected by patients using the application in their daily life. Performance of each of the two phases was evaluated for a set of commonly used inhaler devices. Promising results were achieved showing the potential of mobile embedded sensors without the need for external devices.

2020

Measuring the Degree of Academic Satisfaction: The Case of a Brazilian National Institute

Autores
Walter, CE; Veloso, CM; Au Yong Oliveira, M;

Publicação
EDUCATION SCIENCES

Abstract
The Brazilian National Institutes are strategic elements for the growth and development of Brazilian society since they have the purpose of meeting social and economic demands. However, for this purpose to be materialized, it is essential to develop strategies and mechanisms that consider the current educational context, marked in large part by the transformation of education into a product and the increased awareness of students who expect to have their own needs met in terms of achievement and satisfaction. Based on this premise, this research aims to present an indicator for measuring student satisfaction of students from the Federal Institute of Education, Science and Technology of Piaui-Campus Oeiras (FIEPI-Campus Oeiras), in order to provide evidence of how satisfaction has presented itself in relation to the different educational profiles present in the institution. The study was conducted with a sample of 290 students from FIEPI-Campus Oeiras. The instrument used for data collection was a questionnaire structured in two sections, in which the first was intended to obtain information to characterize the sample and the second section, composed of 14 items, aimed at measuring students' satisfaction with the institution. Descriptive, exploratory, and inferential statistical techniques were used for the data treatment and for the validation of the results. The results indicate that the students are slightly satisfied with the institution and that the average satisfaction is different in relation to the courses and technological axes.

2020

MARTINE: Multi-Agent based Real-Time INfrastructure for Energy

Autores
Pinto, T; Gomes, L; Faria, P; Sousa, F; Vale, ZA;

Publicação
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020

Abstract

  • 1147
  • 4201