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

2016

A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra

Autores
Ferreira, JF; Mendes, A;

Publicação
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Abstract
This paper proposes a calculational approach to prove properties of two well-known binary trees used to enumerate the rational numbers: the Stern-Brocot tree and the Eisenstein-Stern tree (also known as Calkin-Wilf tree). The calculational style of reasoning is enabled by a matrix formulation that is well-suited to naturally formulate path-based properties, since it provides a natural way to refer to paths in the trees. Three new properties are presented. First, we show that nodes with palindromic paths contain the same rational in both the Stern-Brocot and Eisenstein-Stern trees. Second, we show how certain numerators and denominators in these trees can be written as the sum of two squares x(2) and y(2), with the rational x/y appearing in specific paths. Finally, we show how we can construct Sierpifiski's triangle from these trees of rationals. (C) 2015 Published by Elsevier Inc.

2016

The breast cancer conservative treatment. Cosmetic results - BCCT.core - Software for objective assessment of esthetic outcome in breast cancer conservative treatment: A narrative review

Autores
Cardoso, MJ; Cardoso, JS; Oliveira, HP; Gouveia, P;

Publicação
COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE

Abstract
Background and objective: Cosmetic outcome of breast cancer conservative treatment (BCCT) remains without a standard evaluation method. Subjective methods, in spite of their low reproducibility, continue to be the most frequently used. Objective methods, although more reproducible, seem unable to translate all the subtleties involved in cosmetic outcome. The breast cancer conservative treatment cosmetic results (BCCT. core) software was developed in 2007 to try to overcome these pitfalls. The software is a semi-automatic objective tool that evaluates asymmetry, color differences and scar visibility using patient's digital pictures. The purpose of this work is to review the use of the BCCT. core software since its availability in 2007 and to put forward future developments. Methods: All the online requests for BCCT. core use were registered from June 2007 to December 2014. For each request the department, city and country as well as user intention (clinical use/research or both) were questioned. A literature search was performed in Medline, Google Scholar and ISI Web of Knowledge for all publications using and citing "BCCT.core". Results: During this period 102 centers have requested the software essentially for clinical use. The BCCT. core software was used in 19 full published papers and in 29 conference abstracts. Conclusions: The BCCT. core is a user friendly semi-automatic method for the objective evaluation of BCCT. The number of online requests and publications have been steadily increasing turning this computer program into the most frequently used tool for the objective cosmetic evaluation of BCCT.

2016

In vino veritas: Cultura, educazione e enoturismo nel contesto d'innovazione

Autores
Schlemmer, E; Chagas, WdS; Portal, C; Cisilotto, B;

Publicação
BIO Web of Conferences

Abstract

2016

A modular traffic sampling architecture for flexible network measurements

Autores
Silva, JMC;

Publicação

Abstract

2016

A Speech-to-Text Interface for MammoClass

Autores
Roche, RS; Ferreira, P; Dutra, I; Correia, R; Salvini, R; Burnside, E;

Publicação
2016 IEEE 29TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS)

Abstract
Mammoclass is a web tool that allows users to enter a small set of variable values that describe a finding in a mammography, and produces a probability of this finding being malignant or benign. The tool requires that the user types in every variable a value in order to perform a prediction. In this work, we present a speech-to-text interface integrated to MammoClass that allows radiologists to speak up a mammography report instead of typing it in. This new MammoClass module can take audio content, transcribe it into written words, and automatically extract the variable values by applying a parser to the recognized text. Results of spoken mammography reports show that the same variables are extracted for both types of input: typed in or dictated text.

2016

HDR video on mobile devices Unlocker of new opportunities for digital business

Autores
Melo, M; Barbosa, L; Meira, C; Branco, F; Bessa, M;

Publicação
2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)

Abstract
Prior to having available the High Dynamic Range (HDR) techniques, certain levels of luminance could only by captured by the human eye. Currently, HDR technology overcomes the limitations of conventional imaging technology (also referred as Low Dynamic Range or LDR) and allows the capture and delivery of contents that can match the dynamic range of the real world. However, the state of the art of HDR video focus mainly on conventional sized displays typical of TVs or PCs. As the usage of mobile devices for multimedia consumption is increasing considerably, there is a need for studying the impact of the viewing of HDR video on such devices. This will allow to take full advantage of HDR technology, creating a set of opportunities for the digital business as it allows, among others, the presentation of products in a much more efficient and captivating way. On this paper it is presented a study that evaluates the impact of the HDR video delivery on mobile devices and compares it with the impact of Low Dynamic Range (LDR) content. Results show that the delivery of HDR video on mobiles is possible without requiring much more resources when comparing the delivery of LDR video.

  • 2609
  • 4503