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

2022

Computing equilibria for integer programming games

Autores
Carvalho, M; Lodi, A; Pedroso, JP;

Publicação
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
The recently-defined class of integer programming games (IPG) models situations where multiple self-interested decision makers interact, with their strategy sets represented by a finite set of linear constraints together with integer requirements. Many real-world problems can suitably be cast in this way, hence anticipating IPG outcomes is of crucial value for policy makers. Nash equilibria have been widely accepted as the solution concept of a game. Thus, their computation provides a reasonable prediction of games outcome. In this paper, we start by showing the computational complexity of deciding the existence of a Nash equilibrium for an IPG. Then, using sufficient conditions for their existence, we develop a general algorithmic approach that is guaranteed to return a Nash equilibrium when the game is finite and to approximate an equilibrium when payoff functions are Lipschitz continuous. We also showcase how our methodology can be changed to determine other types of equilibria. The performance of our methods is analyzed through computational experiments on knapsack, kidney exchange and a competitive lot-sizing games. To the best of our knowledge, this is the first time that equilibria computation methods for general IPGs have been designed and computationally tested.

2022

Data Matrix Based Low Cost Autonomous Detection of Medicine Packages

Autores
Lima, J; Rocha, C; Rocha, L; Costa, P;

Publicação
APPLIED SCIENCES-BASEL

Abstract
Counterfeit medicine is still a crucial problem for healthcare systems, having a huge impact in worldwide health and economy. Medicine packages can be traced from the moment of their production until they are delivered to the costumers through the use of Data Matrix codes, unique identifiers that can validate their authenticity. Currently, many practitioners at hospital pharmacies have to manually scan such codes one by one, a very repetitive and burdensome task. In this paper, a system which can simultaneously scan multiple Data Matrix codes and autonomously introduce them into an authentication database is proposed for the Hospital Pharmacy of the Centro Hospitalar de Vila Nova de Gaia/Espinho, E.P.E. Relevant features are its low cost and its seamless integration in their infrastructure. The results of the experiments were encouraging, and with upgrades such as real-time feedback of the code's validation and increased robustness of the hardware system, it is expected that the system can be used as a real support to the pharmacists.

2022

Optimization approach for planning hybrid electrical energy system: a Brazilian case

Autores
Kitamura, DT; Rocha, KP; Oliveira, LW; Oliveira, JG; Dias, BH; Soares, TA;

Publicação
ELECTRICAL ENGINEERING

Abstract
The continuous proliferation of distributed generation is leading end users to look for new tools that help to design hybrid electrical energy systems (HEES). Thus, this work proposes a novel approach for optimal planning of HEES, which comprises the optimization of the type and capacity of distributed generation connected to the end user. The main objective is to minimize the project's total cost, considering the net metering scheme. To this end, the bioinspired meta-heuristic artificial immune system is proposed to optimally determine the number and type of photovoltaic panels. In addition, a nonlinear programming model is proposed to optimize the diesel generator and BESS capacity, considering the energy supply to the consumer by the HEES and the main distribution grid. Case studies involving commercial and residential customers in Brazil are introduced considering the normative resolutions from ANEEL, the Brazilian Regulatory Agency. Comparative analyses are made concerning an exhaustive search procedure and the commercial software Homer Pro, designed to optimize the operation of HEES systems. An important conclusion is that the proposed approach is as effective as the cutting-edge tools, with reasonable computational effort.

2022

Sound Classification and Processing of Urban Environments: A Systematic Literature Review

Autores
Nogueira, AFR; Oliveira, HS; Machado, JJM; Tavares, JMRS;

Publicação
SENSORS

Abstract
Audio recognition can be used in smart cities for security, surveillance, manufacturing, autonomous vehicles, and noise mitigation, just to name a few. However, urban sounds are everyday audio events that occur daily, presenting unstructured characteristics containing different genres of noise and sounds unrelated to the sound event under study, making it a challenging problem. Therefore, the main objective of this literature review is to summarize the most recent works on this subject to understand the current approaches and identify their limitations. Based on the reviewed articles, it can be realized that Deep Learning (DL) architectures, attention mechanisms, data augmentation techniques, and pretraining are the most crucial factors to consider while creating an efficient sound classification model. The best-found results were obtained by Mushtaq and Su, in 2020, using a DenseNet-161 with pretrained weights from ImageNet, and NA-1 and NA-2 as augmentation techniques, which were of 97.98%, 98.52%, and 99.22% for UrbanSound8K, ESC-50, and ESC-10 datasets, respectively. Nonetheless, the use of these models in real-world scenarios has not been properly addressed, so their effectiveness is still questionable in such situations.

2022

Stream-based explainable recommendations via blockchain profiling

Autores
Leal, F; Veloso, B; Malheiro, B; Burguillo, JC; Chis, AE; González Vélez, H;

Publicação
INTEGRATED COMPUTER-AIDED ENGINEERING

Abstract
Explainable recommendations enable users to understand why certain items are suggested and, ultimately, nurture system transparency, trustworthiness, and confidence. Large crowdsourcing recommendation systems ought to crucially promote authenticity and transparency of recommendations. To address such challenge, this paper proposes the use of stream-based explainable recommendations via blockchain profiling. Our contribution relies on chained historical data to improve the quality and transparency of online collaborative recommendation filters - Memory-based and Model-based - using, as use cases, data streamed from two large tourism crowdsourcing platforms, namely Expedia and TripAdvisor. Building historical trust-based models of raters, our method is implemented as an external module and integrated with the collaborative filter through a post-recommendation component. The inter-user trust profiling history, traceability and authenticity are ensured by blockchain, since these profiles are stored as a smart contract in a private Ethereum network. Our empirical evaluation with HotelExpedia and Tripadvisor has consistently shown the positive impact of blockchain-based profiling on the quality (measured as recall) and transparency (determined via explanations) of recommendations.

2022

Mapping Cashew Orchards in Cantanhez National Park (Guinea-Bissau)

Autores
Pereira, SC; Lopes, C; Pedroso, JP;

Publicação
REMOTE SENSING APPLICATIONS-SOCIETY AND ENVIRONMENT

Abstract
The forests and woodlands of Guinea-Bissau are a biodiversity hotspot under threat, which are progressively being replaced by cashew tree orchards. While the exports of cashew nuts significantly contribute to the gross domestic product and support local livelihoods, the country's natural capital is under significant pressure due to unsustainable land use. In this context, official entities strive to counter deforestation, but the problem persists, and there are currently no systematic or automated means for objectively monitoring and reporting the situation. Furthermore, previous remote sensing approaches failed to distinguish cashew orchards from forests and woodlands due to the significant spectral overlap between the land cover types and the highly intertwined structure of the cashew tree patches. This work contributes to overcoming such difficulty. It develops an affordable, reliable, and easy-to-use procedure based on machine learning models and Sentinel-2 images, automatically detecting cashew orchards with a dice coefficient of 82.54%. The results of this case study designed for the Cantanhez National Park are proof of concept and demonstrate the viability of mapping cashew orchards. Therefore, the work is a stepping stone towards wall-to-wall operational monitoring in the region.

  • 883
  • 4387