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

2018

A Conceptual Research Model Proposal of Digital Marketing Adoption and Impact on Low Density Tourism Regions

Autores
Jorge, F; Teixeira, MS; Correia, RJ; Gonçalves, R; Martins, J; Bessa, M;

Publicação
Trends and Advances in Information Systems and Technologies - Volume 1 [WorldCIST'18, Naples, Italy, March 27-29, 2018].

Abstract
Nowadays, tourism faces the technology progress challenge. Tourists are changing the way they search for information and the way they buy tourism products and services. Therefore, becomes important to analyze the influence of relevant digital marketing tools on low density tourism regions success, measured through destination image, tourists’ satisfaction and loyalty. The main aim of this article is to demonstrate the theoretical support of a model about the impact of digital marketing tools technologies on low density tourism region. To achieve this purpose, a literature review will be used as a methodological basis. This study also intends to contribute to the scientific debate through the improvement of knowledge in digital marketing tools applied to tourism and for this industry stakeholders. © 2018, Springer International Publishing AG, part of Springer Nature.

2018

Model Predictive Control Home Energy Management and Optimization Strategy with Demand Response

Autores
Godina, R; Rodrigues, EMG; Pouresmaeil, E; Matias, JCO; Catalao, JPS;

Publicação
APPLIED SCIENCES-BASEL

Abstract
The growing demand for electricity is a challenge for the electricity sector as it not only involves the search for new sources of energy, but also the increase of generation capacity of the existing electrical infrastructure and the need to upgrade the existing grid. Therefore, new ways to reduce the consumption of energy are necessary to be implemented. When comparing an average house with an energy efficient house, it is possible to reduce annual energy bills up to 40%. Homeowners and tenants should consider developing an energy conservation plan in their homes. This is both an ecological and economically rational action. With this goal in mind, the need for the energy optimization arises. However, this has to be made by ensuring a fair level of comfort in the household, which in turn spawns a few control challenges. In this paper, the ON/OFF, proportional-integral- derivative (PID) and Model Predictive Control (MPC) control methods of an air conditioning (AC) of a room are compared. The model of the house of this study has a PV domestic generation. The recorded climacteric data for this case study are for Evora, a pilot Portuguese city in an ongoing demand response (DR) project. Six Time-of- Use (ToU) electricity rates are studied and compared during a whole week of summer, typically with very high temperatures for this period of the year. The overall weekly expense of each studied tariff option is compared for every control method and in the end the optimal solution is reached.

2018

Dynamic graph summarization: a tensor decomposition approach

Autores
Fernandes, S; Fanaee T, H; Gama, J;

Publicação
DATA MINING AND KNOWLEDGE DISCOVERY

Abstract
Due to the scale and complexity of todays' social networks, it becomes infeasible to mine them with traditional approaches. A possible solution to reduce such scale and complexity is to produce a compact (lossy) version of the network that represents its major properties. This task is known as graph summarization, which is the subject of this research. Our focus is on time-evolving graphs, a more complex scenario where the dynamics of the network also should be taken into account. We address this problem using tensor decomposition, which enables us to capture the multi-way structure of the time-evolving network. This property is unique and is impossible to obtain with other approaches such as matrix factorization. Experimental evaluation on five real world networks implies promising results demonstrating that tensor decomposition is quite useful for summarizing dynamic networks.

2018

Indifferentiable Authenticated Encryption

Autores
Barbosa, M; Farshim, P;

Publicação
ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT I

Abstract
We study Authenticated Encryption with Associated Data (AEAD) from the viewpoint of composition in arbitrary (single-stage) environments. We use the indifferentiability framework to formalize the intuition that a "good" AEAD scheme should have random ciphertexts subject to decryptability. Within this framework, we can then apply the indifferentiability composition theorem to show that such schemes offer extra safeguards wherever the relevant security properties are not known, or cannot be predicted in advance, as in general-purpose crypto libraries and standards. We show, on the negative side, that generic composition (in many of its configurations) and well-known classical and recent schemes fail to achieve indifferentiability. On the positive side, we give a provably indifferentiable Feistel-based construction, which reduces the round complexity from at least 6, needed for blockciphers, to only 3 for encryption. This result is not too far off the theoretical optimum as we give a lower bound that rules out the indifferentiability of any construction with less than 2 rounds.

2018

Three controversies in health data science

Autores
Peek, N; Rodrigues, PP;

Publicação
I. J. Data Science and Analytics

Abstract

2018

An Intercontinental Replenishment Problem: A Hybrid Approach

Autores
Silva, E; Ramos, AG; Lopes, M; Magalhaes, P; Oliveira, JF;

Publicação
OPERATIONAL RESEARCH

Abstract
This work addresses a case study in an intercontinental supply chain. The problem emerges in a company in Angola dedicated to the trade of consumable goods for construction building and industrial maintenance. The company in Angola sends the replenishment needs to a Portuguese company, which takes the decision of which products and in which quantities will be sent by shipping container to the company in Angola. The replenishment needs include the list of products that reached the corresponding reorder point. The decision of which products and in which quantity should take into consideration a set of practical constraints: the maximum weight of the cargo, the maximum volume the cargo and financial constraints related with the minimum value that guarantees the profitability of the business and a maximum value associated with shipping insurance. A 2-stage hybrid method is proposed. In the first stage, an integer linear programming model is used to select the products that maximise the sales potential. In the second stage, a Container Loading Algorithm is used to effectively pack the selected products in the shipping container ensuring the geometrical constraints, and safety constraints such as weight limit and stability. A new set of problem instances was generated with the 2DCPackGen problem generator, using as inputs the data collected in the company. Computational results for the algorithm are presented and discussed. Good results were obtained with the solution approach proposed, with an average occupation ratio of 92% of the container and an average gap of 4% for the solution of the integer linear programming model.

  • 1805
  • 4184