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

Definition of a Model Based on Bibliometric Indicators for Assessing Applicants to Academic Positions

Autores
Vieira, ES; Cabral, JAS; Gomes, JANF;

Publicação
JOURNAL OF THE ASSOCIATION FOR INFORMATION SCIENCE AND TECHNOLOGY

Abstract
A model based on a set of bibliometric indicators is proposed for the prediction of the ranking of applicants to an academic position as produced by a committee of peers. The results show that a very small number of indicators may lead to a robust prediction of about 75% of the cases. We start with 12 indicators to build a few composite indicators by factor analysis. Following a discrete choice model, we arrive at 3 comparatively good predicative models. We conclude that these models have a surprisingly good predictive power and may help peers in their selection process.

2014

Marsupial teams of robots: deployment of miniature robots for swarm exploration under communication constraints

Autores
Couceiro, MS; Portugal, D; Rocha, RP; Ferreira, NMF;

Publicação
ROBOTICA

Abstract
Mobile Ad hoc Networks have attracted much attention in the last years, since they allow the coordination and cooperation between agents belonging to a multi-robot system. However, initially deploying autonomously a wireless sensor robot network in a real environment has not taken the proper attention. Moreover, maintaining the connectivity between agents in real and complex environments is an arduous task since the strength of the connection between two nodes (i.e., robots) can change rapidly in time or even disappear. This paper compares two autonomous and realistic marsupial strategies for initial deployment in unknown scenarios, in the context of swarm exploration: Random and Extended Spiral of Theodorus. These are based on a hierarchical approach, in which exploring agents, named scouts, are autonomously deployed through explicit cooperation with supporting agents, denoted as rangers. Experimental results with a team of heterogeneous robots are conducted using both real and virtual robots. Results show the effectiveness of the methods, using a performance metric based on dispersion. Conclusions drawn in this work pave the way for a whole series of possible new approaches.

2014

Energy management in municipal solid waste treatment: A case study of a mechanical biological treatment facility

Autores
Bernardo, H; Oliveira, F; Quintal, E;

Publicação
Eceee Industrial Summer Study Proceedings

Abstract
Over the last few years, mechanical biological treatment systems for municipal solid waste have been introduced in many European countries. In most cases, this was driven by the European Union Landfill Directive, which requires the diversion of biodegradable municipal waste from landfill to alternative processes. Although this type of treatment allows energy recovery from municipal solid waste, the process of mechanical biological treatment appears to be an intensive energy consumer, due to high demand of electricity consumed by process equipment. This paper presents the main results of an energy audit performed to a Mechanical Biological Treatment facility in Portugal, which due to the amount of energy consumed must comply with the Portuguese Program called Intensive Energy Consumption Management System – SGCIE. The program was created in 2008 to promote energy efficiency and energy consumption monitoring in intensive energy facilities (energy consumption higher than 500 toe per year). Facilities operators are required to perform energy audits and take actions to draw up an action plan for energy efficiency, establishing targets for energy consumption reduction and greenhouse gases emissions indexes. To implement actions that improve energy efficiency, it is necessary for the facilities operation to be associated with an effective energy management methodology, as well as an efficient facilities management procedure. The implementation of any energy management system should start with an energy audit, which was carried out to identify potential energy conservation measures for improving energy efficiency, and also typical energy consumption patterns and sector/equipment load profiles. This tool gives managers the information to support decision making on improving energy performance and reducing greenhouse gas emissions. Results shown that there is a considerable potential for reducing energy consumption and greenhouse gases emissions on Mechanical Biological Treatment units. Here, as elsewhere in the industrial sector, energy efficiency can only be achieved through a continuous energy monitoring and management system.

2014

Analysis of Phase Interrogated SPR Fiber Optic Sensors With Bimetallic Layers

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

Publicação
IEEE SENSORS JOURNAL

Abstract
An effective analytical model combining geometrical optics with the transfer-matrix theory for stratified optical media is applied to investigate the sensing properties of tapered optical fiber surface plasmon resonance (SPR) sensors incorporating Ag-Au bimetallic layers, particularly in the context of phase interrogation. The performance of the sensing structures is studied as a function of the tapering parameters and thickness of the metallic layers. It is shown that the Ag-Au bimetallic combination is capable of improving the resolution and tuning working region of SPR fiber-optic sensors and that by tapering the sensing structures enhanced sensitivity can be achieved when phase interrogation is considered.

2014

Experimental Setup for Electromagnetically Induced Transparency Observation in Hollow-Core Fibers

Autores
Tiburcio, BD; Fernandes, GM; Monteiro, JM; Rodrigues, S; Carvalho, MI; Facao, M; Ferreira, M; Pinto, AN;

Publicação
SECOND INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS

Abstract
We developed a system to investigate resonant nonlinear optical interactions in acetylene molecules, confined in a hollow-core photonic crystal fiber (HC-PCF), using light injection through a low-loss splice from one end of the fiber, allowing us to work at low power. Electromagnetically induced transparency (EIT) was observed in the 1500 nm telecommunications window.

2014

Bounded Model Checking of Temporal Formulas with Alloy

Autores
Cunha, A;

Publicação
ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014

Abstract
Alloy is a formal modeling language based on first-order relational logic, with no native support for specifying reactive systems. We propose an extension of Alloy to allow the specification of temporal formulas using LTL, and show how they can be verified by bounded model checking with the Alloy Analyzer.

  • 2710
  • 4201