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

2023

CharM - Evaluating a model for characterizing service-based architectures

Autores
Rosa, TD; Guerra, EM; Correia, FF; Goldman, A;

Publicação
JOURNAL OF SYSTEMS AND SOFTWARE

Abstract
Service-based architecture is an approach that emerged to overcome software development challenges such as difficulty to scale, low productivity, and strong dependence between elements. Microservice, an architectural style that follows this approach, offers advantages such as scalability, agility, resilience, and reuse. This architectural style has been well accepted and used in industry and has been the target of several academic studies. However, analyzing the state-of-the-art and -practice, we can notice a fuzzy limit when trying to classify and characterize the architecture of service-based systems. Furthermore, it is possible to realize that it is difficult to analyze the trade-offs to make decisions regarding the design and evolution of this kind of system. Some concrete examples of these decisions are related to how big the services should be, how they communicate, and how the data should be divided/shared. Based on this context, we developed the CharM, a model for characterizing the architecture of service-based systems that adopts microservices guidelines. To achieve this goal, we followed the guidelines of the Design Science Research in five iterations, composed of an ad-hoc literature review, discussions with experts, two case studies, and a survey. As a contribution, the CharM is an easily understandable model that helps professionals with different profiles to understand, document, and maintain the architecture of service-based systems.& COPY; 2023 Elsevier Inc. All rights reserved.

2023

A Complete V-Equational System for Graded lambda-Calculus

Autores
Dahlqvist, F; Neves, R;

Publicação
MFPS

Abstract

2023

Clinical model for Hereditary Transthyretin Amyloidosis age of onset prediction

Autores
Pedroto, M; Coelho, T; Jorge, A; Mendes Moreira, J;

Publicação
FRONTIERS IN NEUROLOGY

Abstract
IntroductionHereditary transthyretin amyloidosis (ATTRv amyloidosis) is a rare neurological hereditary disease clinically characterized as severe, progressive, and life-threatening while the age of onset represents the moment in time when the first symptoms are felt. In this study, we present and discuss our results on the study, development, and evaluation of an approach that allows for time-to-event prediction of the age of onset, while focusing on genealogical feature construction. Materials and methodsThis research was triggered by the need to answer the medical problem of when will an asymptomatic ATTRv patient show symptoms of the disease. To do so, we defined and studied the impact of 77 features (ranging from demographic and genealogical to familial disease history) we studied and compared a pool of prediction algorithms, namely, linear regression (LR), elastic net (EN), lasso (LA), ridge (RI), support vector machines (SV), decision tree (DT), random forest (RF), and XGboost (XG), both in a classification as well as a regression setting; we assembled a baseline (BL) which corresponds to the current medical knowledge of the disease; we studied the problem of predicting the age of onset of ATTRv patients; we assessed the viability of predicting age of onset on short term horizons, with a classification framing, on localized sets of patients (currently symptomatic and asymptomatic carriers, with and without genealogical information); and we compared the results with an out-of-bag evaluation set and assembled in a different time-frame than the original data in order to account for data leakage. ResultsCurrently, we observe that our approach outperforms the BL model, which follows a set of clinical heuristics and represents current medical practice. Overall, our results show the supremacy of SV and XG for both the prediction tasks although impacted by data characteristics, namely, the existence of missing values, complex data, and small-sized available inputs. DiscussionWith this study, we defined a predictive model approach capable to be well-understood by medical professionals, compared with the current practice, namely, the baseline approach (BL), and successfully showed the improvement achieved to the current medical knowledge.

2023

Computer Vision Based Quality Control for Additive Manufacturing Parts

Autores
Nascimento, R; Martins, I; Dutra, TA; Moreira, L;

Publicação
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY

Abstract
This work presents a novel methodology for the quality assessment of material extrusion parts through AI-based Computer Vision. To this end, different techniques are integrated using inspection methods that are applied to other areas in additive manufacturing field. The system is divided into four main points: (1) pre-processing, (2) color analysis, (3) shape analysis, and (4) defect location. The color analysis is performed in CIELAB color space, and the color distance between the part under analysis and the reference surface is calculated using the color difference formula CIE2000. The shape analysis consists of the binarization of the image using the Canny edge detector. Then, the Hu moments are calculated for images from the part under analysis and the results are compared with those from the reference part. To locate defects, the image of the part to be analyzed is first processed with a median filter, and both the original and filtered image are subtracted. Then, the resulting image is binarized, and the defects are located through a blob detector. In the training phase, a subset of parts was used to evaluate the performance of different methods and to set the values of parameters. Later, in a testing and validation phase, the performance of the system was evaluated using a different set of parts. The results show that the proposed system is able to classify parts produced by additive manufacturing, with an overall accuracy of 86.5%, and to locate defects on their surfaces in a more effective manner.

2023

Impact of Fire Recurrence and Induced Water Stress on Seed Germination and Root Mitotic Cell Cycle of Pinus pinaster Aiton

Autores
Ribeiro, S; Gaspar, MJ; Lima-Brito, J; Fonseca, T; Soares, P; Cerveira, A; Fernandes, PM; Louzada, J; Carvalho, A;

Publicação
FORESTS

Abstract
Climate change will increase the frequency of drought, heat waves, and wildfires. We intended to analyse how fire recurrence and/or induced water stress can affect seed germination and root cell division in Pinus pinaster Aiton. Seeds from stands with no prior fire history and from post-fire regeneration (in areas burnt once, twice, and thrice) in northern Portugal were germinated in distilled water (control) and polyethylene glycol (PEG) to simulate water stress for four weeks, followed by a recovery period. Roots were analysed cytogenetically. The germination index of the Pinus pinaster seeds was not statistically influenced by the induction of osmotic stress, nor by the fire recurrence of the stands. The mean germination time (MGT) was 10-29 days and 1-36 days for the stress and recovery periods, respectively, and increased with PEG concentration. The 20% PEG treatment inhibited root growth after germination. The 10% PEG treatment induced a high frequency of cytogenetic anomalies, mostly in the sites which experienced fire exposure. While fire recurrence did not affect the germination rate, it seemed to reduce the water stress response, negatively impacting cell division and impair root growth.

2023

How Much Presence is Enough? Qualitative Scales for Interpreting the Igroup Presence Questionnaire Score

Autores
Melo, M; Gonçalves, G; Vasconcelos Raposo, J; Bessa, M;

Publicação
IEEE ACCESS

Abstract
Presence is often used to evaluate Virtual Reality (VR) applications. However, the raw scores are hard to interpret and need to be compared to other data to be meaningful. This paper leverages a database of 1909 responses to the Igroup Presence Questionnaire (IPQ) in different contexts to put forward a scale that qualitatively interprets raw Presence scores for VR experiences. The qualitative grading encompasses the acceptability dimension and analogous academic grading scales ranging from A to F and the adjective of such scores in a scale from Excellent to Unacceptable. Furthermore, the qualitative grading system encompasses Presence and its subscales Spatial Presence, Involvement, and Experienced Realism as defined by the IPQ. Adopting this grading system, supported by a robust dataset of Presence scores, enables practitioners to evaluate and interpret individual IPQ scores, allowing them to gain insights regarding the evaluated applications' effectiveness.

  • 603
  • 4504