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

2025

From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges

Autores
Carreira, C; Saavedra, N; Mendes, A; Ferreira, JF;

Publicação
CoRR

Abstract

2025

Swin Transformer Applied to Breast MRI Super-Resolution in a Cross-Cohort Dataset

Autores
Sousa, P; Sousa, H; Pereira, T; Batista, E; Gouveia, P; Oliveira, HP;

Publicação
38th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2025, Madrid, Spain, June 18-20, 2025

Abstract
Advancements in the care for patients with breast cancer have demanded the development of biomechanical breast models for the planning and risk mitigation of such invasive surgical procedures. However, these approaches require large amounts of high-quality magnetic resonance imaging (MRI) training data that is of difficult acquisition and availability. Although this can be solved using synthetic data, generating high resolution images comes at the price of very high computational constraints and tipically low performances. On the other hand, producing lower resolution samples yields better results and efficiency but falls short of meeting health professional standards. Therefore, this work aims to validate a joint approach between lower resolution generative models and the proposed superresolution architecture, titled Shifted Window Image Restoration (SWinIR), which was used to achieve a 4x increase in image size of breast cancer patient MRI samples. Results prove to be promising and to further expand upon the super-resolution state-of-the-art, achieving good maximum peak signal-to-noise ratio of 41.36 and structural similarity index values of 0.962 and thus beating traditional methods and other machine learning architectures. © 2025 IEEE.

2025

Are Users More Willing to Use Formally Verified Password Managers?

Autores
Carreira, C; Ferreira, JF; Mendes, A; Christin, N;

Publicação
CoRR

Abstract

2025

A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges

Autores
Carreira, C; Mendes, A; Ferreira, JF; Christin, N;

Publicação
CoRR

Abstract

2025

Context-aware Rate Adaptation for Predictive Flying Networks using Contextual Bandits

Autores
Queirós, R; Kaneko, M; Fontes, H; Campos, R;

Publicação
CoRR

Abstract

2025

Learning from the aggregated optimum: Managing port wine inventory in the face of climate risks

Autores
Pahr, A; Grunow, M; Amorim, P;

Publicação
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
Port wine stocks ameliorate during storage, facilitating product differentiation according to age. This induces a trade-off between immediate revenues and further maturation. Varying climate conditions in the limited supply region lead to stochastic purchase prices for wine grapes. Decision makers must integrate recurring purchasing, production, and issuance decisions. Because stocks from different age classes can be blended to create final products, the solution space increases exponentially in the number of age classes. We model the problem of managing port wine inventory as a Markov decision process, considering decay as an additional source of uncertainty. For small problems, we derive general management strategies from the long-run behavior of the optimal policy. Our solution approach for otherwise intractable large problems, therefore, first aggregates age classes to create a tractable problem representation. We then use machine learning to train tree-based decision rules that reproduce the optimal aggregated policy and the enclosed management strategies. The derived rules are scaled back to solve the original problem. Learning from the aggregated optimum outperforms benchmark rules by 21.4% in annual profits (while leaving a 2.8%-gap to an upper bound). For an industry case, we obtain a 17.4%-improvement over current practices. Our research provides distinct strategies for how producers can mitigate climate risks. The purchasing policy dynamically adapts to climate-dependent price fluctuations. Uncertainties are met with lower production of younger products, whereas strategic surpluses of older stocks ensure high production of older products. Moreover, a wide spread in the age classes used for blending reduces decay risk exposure.

  • 2
  • 4235