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

Psychology, Technology and Knowledge Dissimination

Autores
Vasconcelos-Raposo, J;

Publicação
PSYCHTECH & HEALTH JOURNAL

Abstract

2018

Optimized Planning of Different Crops in a Field Using Optimal Control in Portugal

Autores
Pereira, RMS; Lopes, S; Caldeira, A; Fonte, V;

Publicação
SUSTAINABILITY

Abstract
Climate change is a proven fact. In the report of 2007 from IPCC, one can read that global warming is an issue to be dealt with urgently. In many parts of the world, the estimated rise of temperature (in a very near future) is significant. One of the most affected regions is the Iberian Peninsula, where the increasing need for water will very soon be a problem. Therefore, it is necessary that decision makers are able to decide on all issues related to water management. In this paper, we show a couple of mathematical models that can aid the decision making in the management of an agricultural field at a given location. Having a field, in which different crops can be produced, the solution of the first model indicates the area that should be used for each crop so that the profit is as large as possible, while the water spent is the smallest possible guaranteeing the water requirements of each crop. Using known data for these crops in Portugal, including costs of labour, machines, energy and water, as well as the estimated value of the products obtained, the first mathematical model developed, via optimal control theory, obtains the best management solution. It allows creating different scenarios, thus it can be a valuable tool to help the farmer/decision maker decide the crop and its area to be cultivated. A second mathematical model was developed. It improves the first one, in the sense that it allows considering that water from the rainfall can be collected in a reservoir with a given capacity. The contribution of the collected water from the rainfall in the profit obtained for some different scenarios is also shown.

2018

Explaining Spreadsheets with Spreadsheets (Short Paper)

Autores
Cunha, J; Dan, MH; Erwig, M; Fedorin, D; Grejuc, A;

Publicação
PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES (GPCE'18)

Abstract
Based on the concept of explanation sheets, we present an approach to make spreadsheets easier to understand and thus easier to use and maintain. We identify the notion of explanation soundness and show that explanation sheets which conform to simple rules of formula coverage provide sound explanations. We also present a practical evaluation of explanation sheets based on samples drawn from widely used spreadsheet corpora and based on a small user study. In addition to supporting spreadsheet understanding and maintenance, our work on explanation sheets has also uncovered several general principles of explanation languages that can help guide the design of explanations for other programming and domain-specific languages.

2018

Characterizing attentive behavior in intelligent environments

Autores
Durães, D; Carneiro, D; Jiménez, A; Novais, P;

Publicação
Neurocomputing

Abstract

2018

A Framework for Web Application Integrity

Autores
Fortuna, P; Pereira, N; Butun, I;

Publicação
ICISSP: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY

Abstract
Due to their universal accessibility, interactivity and scaling ease, Web applications relying on client-side code execution are currently the most common form of delivering applications and it is likely that they will continue to enter into less common realms such as IoT-based applications. We reason that modern Web applications should be able to exhibit advanced security protection mechanisms and review the research literature that points to useful partial solutions. Then, we propose a framework to support such characteristics and the features needed to implement them, providing a roadmap for a comprehensive solution to support Web application integrity.

2018

Consumo de Canábis: craving e a relação com ansiedade, stresse e depressão

Autores
Vasconcelos-Raposo, J; Couto, S; Formiga, N; Teixeira, CM;

Publicação
Actualidades en Psicología

Abstract
Cannabis is the most used illicit substance in Portugal and is the one, which presents, on average, an earlier onset of consumption. Craving is considered one of the fundamental factors linked to the cannabis use, associating anxiety, stress and depression. The sample consisted of 143 individuals from the northern area of the country and the data was gathered through two online questionnaires (DASS-21 and the MCQ-SF). The obtained results allow us to conclude that emotionality, purposefulness and compulsivity are positively associated with the level of craving and, combined, as well to stress and depression. The number of years of consumption presents a significant effect in anxiety, with a medium effect size.

  • 2145
  • 4496