Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2025

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny

Authors
Carreira, C; Silva, AF; Abreu, A; Mendes, A;

Publication
CoRR

Abstract

2025

Multi-domain indoor environmental quality and worker health, well-being, and productivity: Objective and subjective assessments in modern office buildings

Authors
Felgueiras, F; Mourao, Z; Moreira, A; Gabriel, MF;

Publication
BUILDING AND ENVIRONMENT

Abstract
It is widely recognized that the well-being, health, and productivity of office workers can be influenced by indoor environmental quality (IEQ) conditions in the workplace. This study aimed to investigate associations between multi-domain IEQ in offices and workers' well-being, health, productivity, and perceived IEQ in 30 open office spaces (6 buildings) located in the urban area of Porto, Portugal. This cross-sectional study included 277 office workers and used a combination of methods to assess their perceptions and physiological responses. Data were collected through questionnaires (covering self-reported well-being, health, productivity, and IEQ satisfaction), pupillometry (autonomic nervous system activity), and concurrent monitoring of IEQ. Correlation, comparative, and regression methods were used to explore associations and differences between IEQ indicators and participants' outcomes. The findings showed that offices typically met acceptable IEQ standards. However, a higher prevalence of health problems and symptoms was observed in offices with higher levels of carbon dioxide (CO2), ozone (O3), particulate matter (PM10), and ultrafine particles (UFP). Interestingly, offices with higher COQ, PM2.5, and volatile organic compounds concentrations were linked to a reduced likelihood of participants reporting asthma, dry cough, and allergies. Additionally, thermal discomfort due to high temperatures, increased PM2.5, UFP, CO2, and O3, and low illuminance appear to reduce eye response in office workers. Higher CO2 and noise levels, and temperatures outside the comfortable range, were linked to lower productivity. The multi-domain analysis showed that perception of multiple IEQ factors significantly explained both self-reported productivity and overall satisfaction with work environment. Overall, ensuring proper IEQ and enhancing workers' satisfaction are essential for creating healthy and productive workplaces.

2025

A Pipeline for AI-Based Quantitative Studies of Science Enhanced by Crowdsourced Inferential Modelling

Authors
António Correia; Tommi Kärkkäinen; Shoaib Jameel; Daniel Schneider; Pedro Antunes; Benjamim Fonseca; Andrea Grover;

Publication
Lecture notes in networks and systems

Abstract

2025

MedLink: Retrieval and Ranking of Case Reports to Assist Clinical Decision Making

Authors
Cunha, LF; Guimarães, N; Mendes, A; Campos, R; Jorge, A;

Publication
Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V

Abstract
In healthcare, diagnoses usually rely on physician expertise. However, complex cases may benefit from consulting similar past clinical reports cases. In this paper, we present MedLink (http://medlink.inesctec.pt), a tool that given a free-text medical report, retrieves and ranks relevant clinical case reports published in health conferences and journals, aiming to support clinical decision-making, particularly in challenging or complex diagnoses. To this regard, we trained two BERT models on the sentence similarity task: a bi-encoder for retrieval and a cross-encoder for reranking. To evaluate our approach, we used 10 medical reports and asked a physician to rank the top 10 most relevant published case reports for each one. Our results show that MedLink’s ranking model achieved NDCG@10 of 0.747. Our demo also includes the visualization of clinical entities (using a NER model) and the production of a textual explanation (using a LLM) to ease comparison and contrasting between reports. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

2025

Forecasting electric vehicle trips to support planning for the installation of charging stations using artificial intelligence techniques

Authors
Santos, F; Pinto, T; Baptista, J;

Publication
2025 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT Europe)

Abstract

2025

Introduction to the special issue on application of multi-agent systems, AI and blockchain in smart energy systems (VSI-sea)

Authors
Zamani, M; Prieta Pintado, Fdl; Pinto, T;

Publication
Comput. Electr. Eng.

Abstract
[No abstract available]

  • 87
  • 4375