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

Building up a verified page on facebook using information transparency guidelines

Autores
Pinheiro, A; Cappelli, C; Maciel, C;

Publicação
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
Online credibility is a quality pursued by users, business and brands on Internet. Having a verified page on Facebook means improvement of the social web presence, reliability and reinforcement of security against impersonations of identity, unwanted fake pages and spams. Since the Facebook’s page verification request has become more complex and the requirements to receive a verified page badge are uncertain, this paper describes the use of foundations of transparency on information systems to fulfill the data on the forms of the application for verification to improve the success in receiving the verified page status. © Springer International Publishing AG 2017.

2017

Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Autores
Proença, J; Lumpe, M;

Publicação
FACS

Abstract

2017

Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces

Autores
Paulino, NMC; Ferreira, JC; Cardoso, JMP;

Publicação
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS

Abstract
Many embedded applications process large amounts of data using regular computational kernels, amenable to acceleration by specialized hardware coprocessors. To reduce the significant design effort, the dedicated hardware may be automatically generated, usually starting from the application's source or binary code. This paper presents a moduloscheduled loop accelerator capable of executing multiple loops and a supporting toolchain. A generation/scheduling procedure, which fully relies on MicroBlaze instruction traces, produces accelerator instances, customized in terms of functional units and interconnections. The accelerators support integer and single-precision floating-point arithmetic, and exploit instruction-level parallelism, loop pipelining, and memory access parallelism via two read/write ports. A complete implementation of the proposed architecture is evaluated in a Virtex-7 device. Augmenting a MicroBlaze processor with a tailored accelerator achieves a geometric mean speedup, over software-only execution, of 6.61x for 13 floating-point kernels from the Livermore Loops set, and of 4.08x for 11 integer kernels from Texas Instruments' IMGLIB. The proposed customized accelerators are compared with ALU-based ones. The average specialized accelerator requires only 0.47x the number of field-programmable gate array slices of an accelerator with four ALUs. A geometric mean speedup of 1.78x over a four-issue very long instruction word (without floating-point support) was obtained for the integer kernels.

2017

Web application for the training of the correct pronunciation of words in Portuguese for people with speech and language disorders - preliminary usability study

Autores
Rocha, T; Marques, A; Brito, JP; Cardoso, L; Martins, P; Barroso, J;

Publicação
2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)

Abstract
In this paper, a Web application that allows people with speech impairments to train and amend pronunciation of words by repeating words presented in a interface with visual and auditory stimuli, is presented. With this app, we aim at present a training assistive tool to be used by the user, in a daily situation, where the main asset is the feedback about the rate of correct pronunciation, thus allowing users to train, autonomously, at home. Additionally, we present a preliminary user study to assess usability of the proposed application. For that, we invited a group of people with speech impairments to perform training tasks with the application. In the assessment, we register the following parameters: effectiveness (successful conclusion of the training tasks and percentage of pronouncing success); efficiency (number of errors made, number and type of difficulties found); and, satisfaction (the acceptance and comfort to complete the training tasks). Overall, the preliminary results showed that participants achieved an efficiency rate of 53.4% in the accomplishment of the proposed tasks. On average, for each image, participants missed at least 2 times, where the most registered difficulty was the pronunciation of words with accents. Regarding satisfaction, we noticed that they like it as they ask not only to repeat the test but also the addition of more pictures to perform more tests with the proposed web application.

2017

Tourism recommendation system based in user functionality and points-of-interest accessibility levels

Autores
Santos, F; Almeida, A; Martins, C; Oliveira, P; Gonçalves, R;

Publicação
Advances in Intelligent Systems and Computing

Abstract
This paper describes a proposal to develop a Tourism Recommendation System based in Users and Points-of-Interest (POI) profiles The main focus of this work is to evaluate if gathered user’s physical and psychological functionality levels will return more accurate recommendation results. This work also aims to contribute with a different way to classify (POI) considering their capacity measured in accessibility levels to receive tourists with certain levels of physical and psychological issues that will be described in this paper sections. © Springer International Publishing AG 2017.

2017

Metabolic constraints and quantitative design principles in gene expression during adaption of yeast to heat shock

Autores
Pereira, T; Vilaprinyo, E; Belli, G; Herrero, E; Salvado, B; Sorribas, A; Altés, G; Alves, R;

Publicação

Abstract
AbstractMicroorganisms evolved adaptive responses that enable them to survive stressful challenges in ever changing environments by adjusting metabolism through the modulation of gene expression, protein levels and activity, and flow of metabolites. More frequent challenges allow natural selection ampler opportunities to select from a larger number of phenotypes that are compatible with survival. Understanding the causal relationships between physiological and metabolic requirements that are needed for cellular stress adaptation and gene expression changes that are used by organisms to achieve those requirements may have a significant impact in our ability to interpret and/or guide evolution.Here, we study those causal relationships during heat shock adaptation in the yeastSaccharomyces cerevisiae. We do so by combining dozens of independent experiments measuring whole genome gene expression changes during stress response with a nonlinear simplified kinetic model of central metabolism.This combination is used to create a quantitative, multidimensional, genotype-to-phenotype mapping of the metabolic and physiological requirements that enable cell survival to the feasible changes in gene expression that modulate metabolism to achieve those requirements. Our results clearly show that the feasible changes in gene expression that enable survival to heat shock are specific for this stress. In addition, they suggest that genetic programs for adaptive responses to desiccation/rehydration and to pH shifts might be selected by physiological requirements that are qualitatively similar, but quantitatively different to those for heat shock adaptation. In contrast, adaptive responses to other types of stress do not appear to be constrained by the same qualitative physiological requirements. Our model also explains at the mechanistic level how evolution might find different sets of changes in gene expression that lead to metabolic adaptations that are equivalent in meeting physiological requirements for survival. Finally, our results also suggest that physiological requirements for heat shock adaptation might be similar between unicellular ascomycetes that live in similar environments. Our analysis is likely to be scalable to other adaptive response and might inform efforts in developing biotechnological applications to manipulate cells for medical, biotechnological, or synthetic biology purposes.

  • 2260
  • 4362