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

2014

LAYSTREAM: composing standard gossip protocols for live video streaming

Autores
Matos, M; Schiavoni, V; Riviere, E; Felber, P; Oliveira, R;

Publicação
14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P)

Abstract
Gossip-based live streaming is a popular topic, as attested by the vast literature on the subject. Despite the particular merits of each proposal, all need to implement and deal with common challenges such as membership management, topology construction and video packets dissemination. Well-principled gossip-based protocols have been proposed in the literature for each of these aspects. Our goal is to assess the feasibility of building a live streaming system, LAYSTREAM, as a composition of these existing protocols, to deploy the resulting system on real testbeds, and report on lessons learned in the process. Unlike previous evaluations conducted by simulations and considering each protocol independently, we use real deployments. We evaluate protocols both independently and as a layered composition, and unearth specific problems and challenges associated with deployment and composition. We discuss and present solutions for these, such as a novel topology construction mechanism able to cope with the specificities of a large-scale and delay-sensitive environment, but also with requirements from the upper layer. Our implementation and data are openly available to support experimental reproducibility.

2014

On the Automatic Normalization of Plaque Regions in Ultrasound Images of the Carotid

Autores
Rouco, J; Novo, J; Campilho, A; Campilho, A;

Publicação
IMAGE ANALYSIS AND RECOGNITION, ICIAR 2014, PT II

Abstract
In order to assess the atherosclerotic plaque disruption risk from B-mode ultrasound images of the carotid, an appropriate normalization of the plaque regions is required. This is usually achieved through the manual selection of two sample regions in the image containing blood and adventitia tissues, which are used as reference. In this work, we propose a new plaque region normalization method that takes advantage of multiple blood and adventitia reference samples per image, and a method for the automatic selection of these reference samples. Several preliminary results are provided in order to demonstrate the possible capabilities of the proposed methods.

2014

Allocation of PEVs' Parking Lots in Renewable-Based Distribution System

Autores
Neyestani, N; Damavandi, MY; Shafie Khah, M; Catalao, JPS; Contreras, J;

Publicação
2014 Australasian Universities Power Engineering Conference (AUPEC)

Abstract
Emerging trends in electric vehicles both in science and industry, as well as increasing popularity of these devices among end-users have laid serious issues in front of a system operator or planner. Higher deployment of available resources in the system will lead to higher flexibility for system operator in its interactions, besides to higher level of user satisfaction. In this study, various states of a 13 bus radial distribution network have been considered for allocation of Plug-in Electric Vehicles' (PEVs') parking lots. As Renewable Energy Resources (RERs) are becoming a main element of power systems, it is investigated how the future distribution network planning has to be organized by employing both RERs and PEV parking lots. Also, it is investigated how the allocation of parking lots varies in the system where these resources exist. Moreover, the costs and revenues obtained by the system operator in such systems are also studied.

2014

The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks

Autores
Ferreira, JF; Mendes, A;

Publicação
ITiCSE

Abstract
We describe our experience using magic card tricks to teach algorithmic skills to first-year Computer Science undergraduates. We illustrate our approach with a detailed discussion on a card trick that is typically presented as a test to the psychic abilities of an audience. We use the trick to discuss concepts like problem decomposition, pre- and post-conditions, and invariants. We discuss pedagogical issues and analyse feedback collected from students. The feedback has been very positive and encouraging. © 2014 ACM.

2014

Adaptive system for control of active ankle-foot orthosisand gait analysis

Autores
Veneva, I; Ferreira, N;

Publicação
Mathematical Methods in Engineering

Abstract
The main aim of this research is the development of an autonomous adaptive system for actuation, data acquisition and control of activeankle-foot orthosis. In this paper the design ofa control unit composed by microcontroller, driver and sensor system, and its application to theactuation and position of the foot orthotic segment is presented. The research work combines hardware and software design of the intelligent control device with graphical interface for representation and analysis of the data acquired duringhuman motion. The dynamic system simulation is done in Matlab Simulink and SimMechanics. A laboratory model of the proposed system was implemented to demonstrate its autonomy and verify experimentally its functionality.The proposed control device can be used in several applications involving human motion analysis and control of different types of orthoses or functional electrical stimulation used for gait correction. © Springer Science+Business Media Dordrecht 2014.

2014

Link Community Detection Using Generative Model and Nonnegative Matrix Factorization

Autores
He, DX; Jin, D; Baquero, C; Liu, DY;

Publicação
PLOS ONE

Abstract
Discovery of communities in complex networks is a fundamental data analysis problem with applications in various domains. While most of the existing approaches have focused on discovering communities of nodes, recent studies have shown the advantages and uses of link community discovery in networks. Generative models provide a promising class of techniques for the identification of modular structures in networks, but most generative models mainly focus on the detection of node communities rather than link communities. In this work, we propose a generative model, which is based on the importance of each node when forming links in each community, to describe the structure of link communities. We proceed to fit the model parameters by taking it as an optimization problem, and solve it using nonnegative matrix factorization. Thereafter, in order to automatically determine the number of communities, we extend the above method by introducing a strategy of iterative bipartition. This extended method not only finds the number of communities all by itself, but also obtains high efficiency, and thus it is more suitable to deal with large and unexplored real networks. We test this approach on both synthetic benchmarks and real-world networks including an application on a large biological network, and compare it with two highly related methods. Results demonstrate the superior performance of our approach over competing methods for the detection of link communities.

  • 2965
  • 4387