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

Coordination for Multi-robot Exploration Using Topological Maps

Autores
Pereira, T; Moreira, AP; Veloso, M;

Publicação
CONTROLO'2014 - PROCEEDINGS OF THE 11TH PORTUGUESE CONFERENCE ON AUTOMATIC CONTROL

Abstract
This paper addresses the problem of decentralized exploration and mapping of unknown environment by a multiple robot team. The exploration methodology relies on individual decision rules and communication of topological maps to achieve efficient and fast mapping, minimizing overlap of explored space. This distributed solution allows scalability of the proposed methods. Each robot broadcasts a graph representing the topological map, with information of exploration status of each region. Therefore, this kind of information can be transmitted to robots that are not in the communication range, through other robots in a multi-hop network. This work has been tested in simulation, and the results demonstrate the performance improvements and robustness that arise from our multirobot approach to exploration.

2015

Modelling and Verifying Smell-Free Architectures with the ARCHERY Language

Autores
Sanchez, A; Barbosa, LS; Madeira, A;

Publicação
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014

Abstract
Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smell-free using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

2015

AFINA-te - A Healthy Lifestyle Information Website, Online Food Diary and Exercise Log Directly Towards Children

Autores
Guimarães, N; Lebres, VF; Ribeiro, J;

Publicação
CSEDU (1)

Abstract
Childhood obesity is according to the World Health Organization one of the most concerning problems today. Educating children to a healthier lifestyle is a difficult task due to the lack of interest or concern that they demonstrate. The interest that children have in technology and the time they spent online in games or simply surfing the web may be seen as an opportunity to instill knowledge about healthy eating and healthy lifestyle. There are already several online health counseling websites but it seems to exist a lack of such platforms directly towards to children. Afina-te website is an online platform that aims to monitor and educate children to a healthier lifestyle through the exposition of information, interactive applications and educational games. It is also capable of provide feedback about what users eat and the exercise they practice. This paper describes the development and resulting health counseling website.

2015

Classifying Urban Sounds using Time Series Motifs

Autores
Gomes, EF; Batista, F;

Publicação

Abstract

2015

Cost-effective and Lightweight Mobile Units for MixAR: A Comparative Trial among Different Setups

Autores
Pádua, L; Narciso, D; Adão, T; Cunha, A; Peres, E; Magalhães, L;

Publicação
CENTERIS/ProjMAN/HCist

Abstract

2015

Phase Interrogated Plasmonic Optical Fiber Optrode with Bimetallic Layers

Autores
Moayyed, H; Leite, IT; Coelho, L; Santos, JL; Viegas, D;

Publicação
24TH INTERNATIONAL CONFERENCE ON OPTICAL FIBRE SENSORS

Abstract
Optical fiber optrodes are attractive sensing devices due to their ability to perform point measurement in remote locations. Mostly, they are oriented to biochemical sensing, quite often relying on fluorescent and spectroscopic techniques, but with the refractometric approach being also considered when the objective is high measurement performance, particularly when focusing on measurand resolution. In this work, we address this subject proposing and theoretically analyzing the characteristics of a fiber optic optrode relying on plasmonic interaction. The optrode structure is a fiber optic tapered tip layout incorporating a lateral bimetallic layer (silver + gold) and operating in reflection.

  • 2577
  • 4364