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

2015

Thread-Aware Logic Programming for Data-Driven Parallel Programs

Autores
Cruz, F; Rocha, R; Goldstein, SC;

Publicação
ICLP (Technical Communications)

Abstract
Declarative programming in the style of functional and logic programming has been hailed as an alternative parallel programming style where computer programs are automatically parallelized without programmer control. Although this approach removes many pitfalls of explicit parallel programming, it hides important information about the underlying parallel architecture that could be used to improve the scalability and efficiency of programs. In this paper, we present a novel programming model that allows the programmer to reason about thread state in data-driven declarative programs. This abstraction has been implemented on top of Linear Meld, a linear logic programming language that is designed for writing graphbased programs. Wepresent several programs that show theflavorofour new programming model, including graph algorithms and a machine learning algorithm. Our goal is to show thatitis possible to take advantage of architectural details without losing the key advantages of logic programming.

2015

An information system for the cutting stock problem with optimization of retail materials in stock

Autores
Mendes, J; Fernandes, P; Pereira, CS;

Publicação
2015 10th Iberian Conference on Information Systems and Technologies, CISTI 2015

Abstract
Considering the new paradigm in the industry, where clients request small amounts of a growing range of products, the times of crisis and the fierce competition for businesses survival, it is crucial for Organizations to be able to reduce the waste of raw materials. In the manufacturing industry, the waste of materials could be minimized with the introduction of decision support systems in the process. In this paper we propose an information system that enables the optimization of purchases and consumption of materials, promoting waste reduction and boosting profitability. © 2015 AISTI.

2015

Fabry-Perot cavity based on silica tube for strain sensing at high temperatures

Autores
Ferreira, MS; Roriz, P; Bierlich, J; Kobelke, J; Wondraczek, K; Aichele, C; Schuster, K; Santos, JL; Frazao, O;

Publicação
OPTICS EXPRESS

Abstract
In this work, a Fabry-Perot cavity based on a new silica tube design is proposed. The tube presents a cladding with a thickness of similar to 14 mu m and a hollow core. The presence of four small rods, of similar to 20 mu m diameter each, placed in diametrically opposite positions ensure the mechanical stability of the tube. The cavity, formed by splicing a section of the silica tube between two sections of single mode fiber, is characterized in strain and temperature (from room temperature to 900 degrees C). When the sensor is exposed to high temperatures, there is a change in the response to strain. The influence of the thermal annealing is investigated in order to improve the sensing head performance. (C)2015 Optical Society of America

2015

Gaze-Based Personalized Multi-View Experiences

Autores
Andrade, MT; Costa, TSd;

Publicação
JMMC - Journal of Media & Mass Communication

Abstract
This paper describes a solution for delivering andpresenting stereoscopic video content to users in aninnovative way. It adopts the multi-view paradigm of theH.264-MVC video coding standard and the emergentMPEG DASH specification to provide users inheterogeneous network environments multiple and varyingperspectives of stereoscopic video sequences. Unlike existing3D systems based on multi-view technology, which requirehigh transmission bandwidth and high processing power onthe terminal device to achieve the same objective, theproposed solution is able to make an efficient use of networkresources whilst being cost-effective. It offers users a higherquality of experience by seamlessly adapting the quality ofthe delivered video content according to the networkconditions, whilst providing a more realistic sense ofimmersion by offering stereoscopic views of the scene,dynamically switching the perspective to match the interestsof the user. A non-intrusive head-tracking system using anoff-the-shelf Web camera detects the focus of attention ofthe user, transmitting this information to the server thatselects the most appropriate view to send to the client.Additionally, the system is able to generate the multipleperspective stereoscopic scenes using 2D cameras.

2015

Convergent Evolution at the Gametophytic Self-Incompatibility System in Malus and Prunus

Autores
Aguiar, B; Vieira, J; Cunha, AE; Fonseca, NA; Iezzoni, A; van Nocker, S; Vieira, CP;

Publicação
PLOS ONE

Abstract
S-RNase-based gametophytic self-incompatibility (GSI) has evolved once before the split of the Asteridae and Rosidae. This conclusion is based on the phylogenetic history of the S-RNase that determines pistil specificity. In Rosaceae, molecular characterizations of Prunus species, and species from the tribe Pyreae (i.e., Malus, Pyrus, Sorbus) revealed different numbers of genes determining S-pollen specificity. In Prunus only one pistil and pollen gene determine GSI, while in Pyreae there is one pistil but multiple pollen genes, implying different specificity recognition mechanisms. It is thus conceivable that within Rosaceae the genes involved in GSI in the two lineages are not orthologous but possibly paralogous. To address this hypothesis we characterised the S-RNase lineage and S-pollen lineage genes present in the genomes of five Rosaceae species from three genera: M. x domestica (apple, self-incompatible (SI); tribe Pyreae), P. persica (peach, self-compatible (SC); Amygdaleae), P. mume (mei, SI; Amygdaleae), Fragaria vesca (strawberry, SC; Potentilleae), and F. nipponica (mori-ichigo, SI; Potentilleae). Phylogenetic analyses revealed that the Malus and Prunus S-RNase and S-pollen genes belong to distinct gene lineages, and that only Prunus S-RNase and SFB-lineage genes are present in Fragaria. Thus, S-RNase based GSI system of Malus evolved independently from the ancestral system of Rosaceae. Using expression patterns based on RNA-seq data, the ancestral S-RNase lineage gene is inferred to be expressed in pistils only, while the ancestral S-pollen lineage gene is inferred to be expressed in tissues other than pollen.

2015

Methods for coastal monitoring and erosion risk assessment: Two Portuguese case studies

Autores
Bio, A; Bastos, L; Granja, H; Pinho, JLS; Goncalves, JA; Henriques, R; Madeira, S; Magalhaes, A; Rodrigues, D;

Publicação
Journal of Integrated Coastal Zone Management

Abstract
Coastal zones are naturally dynamic and mobile systems exposed to natural factors (river flows, waves and storms) as well as human interventions that continuously reshape their morphology. Erosion phenomena related to extreme weather events and sediment scarcity are common, threatening buildings and infrastructures, as well as beaches, ecosystems and valuable wetland; conditions that pose challenges to coastal security and defence. Regular monitoring of coastal areas, assessment of their morphodynamics and identification of the processes influencing sediment transport are thus increasingly important for a better understanding of changes and evolutionary trends in coastal systems. This demands a multi-disciplinary approach involving researchers with expertise in coastal processes and state- of-the-art observation technologies. In this paper state-of-the-art surveying methods for an efficient quantification of changes in coastal environments are described and evaluated, and two NW-Portuguese case studies are presented. Survey methods included: topographic surveys based on terrestrial videogrammetric mobile mapping and aerial photogrammetry; sub-tidal bathymetry with sonar imagery using an Autonomous Surface Vehicle (ASV); as well as field observations, with sediment sampling and beach characterisation. In the first case study, erosion/accretion patterns in the Douro estuary sand spit were analysed, considering its breakwater, river flow, wave and wind effects. Prior to the construction of a detached breakwater, the spit's morphodynamics was related to extreme river flow events, wave and wind conditions; afterwards the spit stabilized its shape and increased its area and volume. In the second case study the coast of Vila Nova de Gaia was broadly analysed, including the shoreface, foreshore and dunes, the characterization of major features and a short-period analysis of installed dynamics. Results obtained from field data, topographical surveys and numerical wave models were combined for an erosion risk assessment, using a methodology specifically developed for the study area. Both monitoring programs achieved their proposed objectives and provided valuable information to the local authorities, as gathered and processed information constitutes a valuable database for coastal planning and for ICZM purposes. They demonstrate the potential of several approaches, supported by advanced technologies, for the study of complex coastal morphodynamic processes.

  • 2531
  • 4363