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

2024

Exposing and Explaining Fake News On-the-Fly

Autores
Arriba Pérez, Fd; Méndez, SG; Leal, F; Malheiro, B; Burguillo, JC;

Publicação
CoRR

Abstract

2024

GRAVITY plus Wide: Towards hundreds of z ~ 2 AGN, larger throughput and improved vibrational control

Autores
Fabricius, M; Woillez, J; Abuter, R; Bourdarot, G; Bourget, P; Brandner, W; Brara, A; Defrère, D; Drescher, A; Eisenhauer, F; Feuchtgruber, H; Frahm, R; Genzel, R; Gillessen, S; Gonté, F; Gopinath, V; Graf, J; Hartl, M; Haussmann, F; Hönig, SF; Horrobin, M; Garcia, PJ; Jilg, T; Kreidberg, L; Laugier, R; Le Bouquin, JB; Bolzer, ML; Lutz, D; More, N; Ott, T; Özdemir, H; Paumard, T; Perraut, K; Perrin, G; Rau, C; Rehm, C; Sauter, J; Schuhler, N; Schuppe, D; Shangguan, JY; Shimizu, T; Straubmeier, C; Subroweit, M; Uysal, S; Wessely, P; Widmann, F; Wieprecht, E; Wimmer, L; Yazici, S; Prowatke, H; Böttcher, R;

Publicação
OPTICAL AND INFRARED INTERFEROMETRY AND IMAGING IX

Abstract
In the GRAVITY+ project, GRAVITY is presently undergoing a series of upgrades to enhance its performance, add wide field capability and thereby expand its sky coverage. Some aspects of these improvements have already been implemented and commissioned by the end of 2021, making them accessible to the community. The augmentation of sky coverage involves increasing the maximum angular separation between the celestial science object and the fringe tracking object from the previous 2 arcseconds (limited by the field of view of the VLTI) to 20 - 30 arcseconds (constrained by atmospheric conditions during observation). Phase 1 of GRAVITY+ Wide utilizes the earlier PRIMA Differential Delay Lines to compensate for the optical path length variation between the science and fringe tracking beams throughout an observation. In phase 2, we are upgrading the existing beam compressors (BC) to integrate optical path length difference compensation directly into the BC. This modification eliminates five optical reflections per beam, thereby enhancing the optical throughput of the VLTI-GRAVITY [GRAPHICS] system and the bandwidth of the vibrational control. We will present the implementation of phase 2 and share preliminary results from our testing activities for GRAVITY+ Wide.

2024

How are Contracts Used in Android Mobile Applications?

Autores
Ferreira, DR; Mendes, A; Ferreira, JF;

Publicação
2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION 2024

Abstract
Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. However, the adoption and impact of contracts in the context of mobile application development, particularly of Android applications, remain unexplored. We present the first large-scale empirical study on the presence and use of contracts in Android applications, written in Java or Kotlin. We consider 2,390 applications and five categories of contract elements: conditional runtime exceptions, APIs, annotations, assertions, and other. We show that most contracts are annotation-based and are concentrated in a small number of applications.

2024

Optimal gas subset selection for dissolved gas analysis in power transformers

Autores
Pinto, J; Esteves, V; Tavares, S; Sousa, R;

Publicação
PROGRESS IN ARTIFICIAL INTELLIGENCE

Abstract
The power transformer is one of the key components of any electrical grid, and, as such, modern day industrialization activities require constant usage of the asset. This increases the possibility of failures and can potentially diminish the lifespan of a power transformer. Dissolved gas analysis (DGA) is a technique developed to quantify the existence of hydrocarbon gases in the content of the power transformer oil, which in turn can indicate the presence of faults. Since this process requires different chemical analysis for each type of gas, the overall cost of the operation increases with number of gases. Thus said, a machine learning methodology was defined to meet two simultaneous objectives, identify gas subsets, and predict the remaining gases, thus restoring them. Two subsets of equal or smaller size to those used by traditional methods (Duval's triangle, Roger's ratio, IEC table) were identified, while showing potentially superior performance. The models restored the discarded gases, and the restored set was compared with the original set in a variety of validation tasks.

2024

Integrating Virtual Reality in Cognitive Training of Older Adults Without Cognitive Impairment: A Systematic Review of Randomized Controlled Trials

Autores
Pavão, J; Bastardo, R; da Rocha, NP;

Publicação
Proceedings of the 10th International Conference on Information and Communication Technologies for Ageing Well and e-Health, ICT4AWE 2024, Angers, France, April 28-30, 2024.

Abstract
This article aimed to analyse state-of-the-art empirical evidence of randomized controlled trials designed to assess preventive cognitive training interventions based on virtual reality for older adults without cognitive impairment, by identifying virtual reality setups and tasks, clinical outcomes and respective measurement instruments, and positive effects on outcome parameters. A systematic electronic search was performed, and six randomized controlled trials were included in the systematic review. In terms of results, the included studies pointed to significant positive impact of virtual reality-based cognitive training interventions on global cognition, memory, attention, information processing speed, walking variability, balance, muscle strength, and falls. However, further research is required to evaluate the adequacy of the virtual reality setups and tasks, to study the impact of the interventions’ duration and intensity, to understand how to tailor the interventions to the characteristics and needs of the individuals, and to compare face-to-face to remote interventions. © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

2024

Versatile method for grapevine row detection in challenging vineyard terrains using aerial imagery

Autores
Padua, L; Chojka, A; Morais, R; Peres, E; Sousa, JJ;

Publicação
COMPUTERS AND ELECTRONICS IN AGRICULTURE

Abstract
Accurate detection and differentiation of grapevine canopies from other vegetation, along with individual grapevine row identification, pose significant challenges in precision viticulture (PV), especially within irregularly structured vineyards shaped by natural terrain slopes. This study employs aerial imagery captured by unmanned aerial vehicles (UAVs) and introduces an image processing methodology that relies on the orthorectified raster data obtained through UAVs. The proposed method adopts a data-driven approach that combines visible indices and elevation data to achieve precise grapevine row detection. Thoroughly tested across various vineyard configurations, including irregular and terraced landscapes, the findings underscore the method's effectiveness in identifying grapevine rows of diverse shapes and configurations. This capability is crucial for accurate vineyard monitoring and management. Furthermore, the method enables clear differentiation between inter-row spaces and grapevine vegetation, representing a fundamental advancement for comprehensive vineyard analysis and PV planning. This study contributes to the field of PV by providing a reliable tool for grapevine row detection and vineyard feature classification. The proposed methodology is applicable to vineyards with varying layouts, offering a versatile solution for enhancing precision viticulture practices.

  • 105
  • 4201