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

2017

Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Autores
Cunha, Jacome; Fernandes, JoaoPaulo; Lämmel, Ralf; Saraiva, Joao; Zaytsev, Vadim;

Publicação
GTTSE

Abstract

2017

On Applying Probabilistic Logic Programming to Breast Cancer Data

Autores
Real, JC; Dutra, I; Rocha, R;

Publicação
Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Abstract
Medical data is particularly interesting as a subject for relational data mining due to the complex interactions which exist between different entities. Furthermore, the ambiguity of medical imaging causes interpretation to be complex and error-prone, and thus particularly amenable to improvement through automated decision support. Probabilistic Inductive Logic Programming (PILP) is a particularly well-suited tool for this task, since it makes it possible to combine the relational nature of this field with the ambiguity inherent in human interpretation of medical imaging. This work presents a PILP setting for breast cancer data, where several clinical and demographic variables were collected retrospectively, and new probabilistic variables and rules reflecting domain knowledge were introduced. A PILP predictive model was built automatically from this data and experiments show that it can not only match the predictions of a team of experts in the area, but also consistently reduce the error rate of malignancy prediction, when compared to other non-relational techniques. © Springer International Publishing AG, part of Springer Nature 2018.

2017

Trade and FDI between the Czech Republic and Portugal: Analysis of the 2000-2015 period

Autores
Novotná, L; Martins, I; Moreira, AC;

Publicação
Outward Foreign Direct Investment (FDI) in Emerging Market Economies

Abstract
With the collapse of communism, some former communist States of Eastern Europe managed to muddle through their way to a market economy and entered the European Union. This brought about the acceleration of Foreign Direct Investment (FDI) among the European economies and accelerated the globalization process. Although there is plenty of research on FDI and trade among countries, the aim of this chapter is to analyze how trade between Portugal and the Czech Republic have evolved over form 2000 until 2015. The chapter seeks to complement previous studies on FDI and trade as Portugal and the Czech Republic are part of the European Union, but have had different historical, cultural, and economic paths. The main conclusion of the chapter is that trade between both countries has grown significantly. The main reason affecting trade between both countries is the economic unrest Portugal has been through since 2008. © 2017 by IGI Global.

2017

Underwater navigation sensors calibration in inland water spaces

Autores
Matias, B; Almeida, J; Ferreira, A; Martins, A; Ferreira, H; Silva, E;

Publicação
OCEANS 2017 - ABERDEEN

Abstract
This paper describes the calibration of an underwater navigation system in enclosed scenarios. The work was performed in the context of the VAMOS project addressing the development of robotic solutions for flooded open pit mine exploration. An algorithm for calibration of extrinsic parameters for DVL and USBL systems is presented. Field experiments were performed with the ROAZ autonomous surface vehicle equipped with the underwater sensors and using precision IMU/GNSS fused data as groundtruth. The tests were performed in Douro River and in the Bejanca open pit mine, one of the VAMOS test sites, both in northern Portugal. The procedure was validated in the operational scenarios and results are presented showing the error correction and navigation quality improvement.

2017

The Impact of Ageing and the Speed of Ageing on the Economic Growth of Least Developed, Emerging and Developed Countries, 1990-2013

Autores
Teixeira, AAC; Renuga Nagarajan, NR; Silva, ST;

Publicação
REVIEW OF DEVELOPMENT ECONOMICS

Abstract
Studies relating ageing and countries' economic performance address mostly developed economies. However, extant studies demonstrate that less developed countries (LDC) and emerging economies (EE) are reaching the transition process faster than those from developed regions, which renders the speed of ageing, besides ageing, a critical variable to explore in this context. Comparing system dynamic panel data estimations for 40 LDC, 19 EE and 28 developed countries (DC), between 1990 and 2013, we uncovered that ageing is detrimental to countries' economic growth, with noticeable nuances depending on countries' development level. The current level of ageing significantly and negatively impacts on DC's growth but not on that of LDC or EE. For these latter groups, the most relevant issue is the speed of ageing. The current annual growth of old age dependency ratio significantly diminishes EE's growth prospects whereas the lagged annual growth of the ageing index and the old age dependency ratio significantly curtails LDC's growth. Such results emphasize the need for urgent public policies that might mitigate the imbalance in LDCs' age structure before the speed of ageing leads LDCs to become even much poorer.

2017

Systematic Spreadsheet Construction Processes

Autores
Mendes, J; Cunha, J; Duarte, F; Engels, G; Saraiva, J; Sauer, S;

Publicação
2017 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC)

Abstract
Spreadsheets are used in professional business contexts to make decisions based on collected data. Usually, these spreadsheets are developed by end users in an ad-hoc way. Thus, the business logic of a concrete spreadsheet is not explicit to end users, making its correctness hard to assess and users have to trust. We present an approach where structure and computational behavior of a spreadsheet are specified by a model with a process-like notation based on pre-defined functional spreadsheet services with typed interfaces. This enables a consistent construction process of a spreadsheet that comprises defining its structure and computational behavior as well as filling it with data and executing the defined computational behavior. Thus, concrete spreadsheets are equipped with a specification of their construction process. This supports their understanding and correct usage, even in case of legacy spreadsheets. The approach has been developed in cooperation with an industrial partner.

  • 1921
  • 4198