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
Sobre

Sobre


Ana Viana é Doutorada em Engenharia Electrotécnica e de Computadores pela Universidade do Porto (2004).

É investigadora do Centro de Engenharia e Gestão Industrial do INESC TEC e Professora Coordenadora do Instituto Superior de Engenharia do Porto.

A sua principal área de investigação é Investigação Operacional, com foco em problemas de optimização combinatória. Como técnicas de resolução deste tipo de problemas explora quer abordagens baseadas em técnicas exactas, quer heurísticas.

Liderou vários projectos financiados por fundos públicos nas áreas de Saúde, Logística e Energia e publica regularmente em revistas científicas de referência, na sua área de actividade.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Ana Viana
  • Cargo

    Investigador Coordenador
  • Desde

    09 dezembro 1997
014
Publicações

2025

Local stability in kidney exchange programs

Autores
Baratto, M; Crama, Y; Pedroso, JP; Viana, A;

Publicação
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
When each patient of a kidney exchange program has a preference ranking over its set of compatible donors, questions naturally arise surrounding the stability of the proposed exchanges. We extend recent work on stable exchanges by introducing and underlining the relevance of a new concept of locally stable, or L-stable, exchanges. We show that locally stable exchanges in a compatibility digraph are exactly the so-called local kernels (L-kernels) of an associated blocking digraph (whereas the stable exchanges are the kernels of the blocking digraph), and we prove that finding a nonempty L-kernel in an arbitrary digraph is NP-complete. Based on these insights, we propose several integer programming formulations for computing an L-stable exchange of maximum size. We conduct numerical experiments to assess the quality of our formulations and to compare the size of maximum L-stable exchanges with the size of maximum stable exchanges. It turns out that nonempty L-stable exchanges frequently exist in digraphs which do not have any stable exchange. All the above results and observations carry over when the concept of (locally) stable exchanges is extended to the concept of (locally) strongly stable exchanges.

2024

Shapley-Scarf Housing Markets: Respecting Improvement, Integer Programming, and Kidney Exchange

Autores
Biró, P; Klijn, F; Klimentova, X; Viana, A;

Publicação
MATHEMATICS OF OPERATIONS RESEARCH

Abstract
In a housing market of Shapley and Scarf, each agent is endowed with one indivisible object and has preferences over all objects. An allocation of the objects is in the (strong) core if there exists no (weakly) blocking coalition. We show that, for strict preferences, the unique strong core allocation respects improvement-if an agent's object becomes more desirable for some other agents, then the agent's allotment in the unique strong core allocation weakly improves. We extend this result to weak preferences for both the strong core (conditional on nonemptiness) and the set of competitive allocations (using probabilistic allocations and stochastic dominance). There are no counterparts of the latter two results in the two-sided matching literature. We provide examples to show how our results break down when there is a bound on the length of exchange cycles. Respecting improvements is an important property for applications of the housing markets model, such as kidney exchange: it incentivizes each patient to bring the best possible set of donors to the market. We conduct computer simulations using markets that resemble the pools of kidney exchange programs. We compare the game-theoretical solutions with current techniques (maximum size and maximum weight allocations) in terms of violations of the respecting improvement property. We find that game-theoretical solutions fare much better at respecting improvements even when exchange cycles are bounded, and they do so at a low efficiency cost. As a stepping stone for our simulations, we provide novel integer programming formulations for computing core, competitive, and strong core allocations.

2023

Stochastic crowd shipping last-mile delivery with correlated marginals and probabilistic constraints

Autores
Silva, M; Pedroso, JP; Viana, A;

Publicação
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
In this work, we study last-mile delivery with the option of crowd shipping. A company uses occasional drivers to complement its fleet in the activity of delivering products to its customers. We model it as a variant of the stochastic capacitated vehicle routing problem. Our approach is data-driven, where not only customer orders but also the availability of occasional drivers are uncertain. It is assumed that marginal distributions of the uncertainty vector are known, but the joint distribution is difficult to estimate. We optimize considering a worst-case joint distribution and model with a strategic planning perspective, where we calculate an optimal a priori solution before the uncertainty is revealed. A limit on the infea-sibility of the routes due to the capacity is imposed using probabilistic constraints. We propose an extended formulation for the problem using column-dependent rows and implement a branch-price-and-cut algorithm to solve it. We also develop a heuristic approximation to cope with larger instances of the problem. Through computational experiments, we analyze the solution and performance of the implemented algorithms.

2023

Preface to the Special Issue on Operations Research in Healthcare

Autores
Viana, A; Marques, I; Dias, JM;

Publicação
INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH

Abstract

2023

A data-driven compensation scheme for last-mile delivery with crowdsourcing

Autores
Barbosa, M; Pedroso, JP; Viana, A;

Publicação
COMPUTERS & OPERATIONS RESEARCH

Abstract
A recent relevant innovation in last-mile delivery is to consider the possibility of goods being delivered by couriers appointed through crowdsourcing. In this paper we focus on the setting of in-store customers delivering goods, ordered by online customers, on their way home. We assume that not all the proposed delivery tasks will necessarily be accepted, and use logistic regression to model the crowd agents' willingness to undertake a delivery. This model is then used to build a novel compensation scheme that determines reward values, based on the current plan for the professional fleet's routes and on the couriers' probabilities of acceptance, by employing a direct search algorithm that seeks to minimise the expected cost.

Teses
supervisionadas

2023

Implementação de um sistema fotovoltaico para autoconsumo

Autor
SOFIA MENDES FERREIRA

Instituição
IPP-ISEP

2021

Production Planning and scheduling in the Footwear Industry

Autor
CARLOS ANDRÉ VAZ MOREIRA

Instituição
IPP-ISEP

2019

A data-driven compensation scheme for last-mile delivery with crowdsourcing

Autor
Miguel Moreira da Silva Lima Barbosa

Instituição
IPP-ISEP

2018

ANÁLISE DA REDE LOGÍSTICA E POLÍTICAS DE APROVISIONAMENTO NUMA EMPRESA DE DISTRIBUIÇÃO DE CONTADORES ELÉTRICOS

Autor
VÍTOR NETO MAGALHÃES

Instituição
IPP-ISEP

2017

Otimização do posicionamento de PMUs numa rede elétrica

Autor
TIAGO RAFAEL PINTO MONTEIRO

Instituição
IPP-ISEP