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

Guest Editorial Special Section on Smart Agents and Cyber-Physical Systems for Future Industrial Systems

Autores
Leitao, P; Ribeiro, L; Lee, J;

Publicação
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

Abstract

2017

Improving Diagram Assessment in Mooshak

Autores
Correia, H; Leal, JP; Paiva, JC;

Publicação
TEA

Abstract
Mooshak is a web system with support for assessment in computer science. It was originally developed for programming contest management but evolved to be used also as a pedagogical tool, capitalizing on its programming assessment features. The current version of Mooshak supports other forms of assessment used in computer science, such as diagram assessment. This form of assessment is supported by a set of new features, including a diagram editor, a graph comparator, and an environment for integration of pedagogical activities. The first attempt to integrate these features to support diagram assessment revealed a number of shortcomings, such as the lack of support for multiple diagrammatic languages, ineffective feedback, and usability issues. These shortcomings were addressed by the creation of a diagrammatic language definition language, the introduction of a new component for feedback summarization and a redesign of the diagram editor. This paper describes the design and implementation of these features, as well as their validation.

2017

A cost-effective instrumented walkway for measuring ground reaction forces in rats to assess gait pattern

Autores
Silva, N; Sousa, JJ; Peres, E; Sousa, A; Ruiz Armenteros, AM; Varejao, A; Morais, R;

Publicação
MEASUREMENT

Abstract
Animal experiments have gained importance in human diseases studies, namely neurological diseases and its biomechanical and physiological aspects. As a model of human disease, the rat offers many advantages over other organisms. For the biomechanical aspects of locomotion these studies are based on the analysis of animals' kinetic parameters, accessed through a locomotion measurement system. However, these systems are not yet thoroughly developed, are still scarce and are also very expensive when developed for studies using small rodents. In this paper, a system capable of measuring contact forces of small rodents is presented. The platform hardware is based on a 5 x 3 matrix of ultra-sensitive force sensors that produce a set of signals acquired in a LabVIEW (TM) environment, used for data acquisition and processing. The post processing steps include the removal of null data, curve normalization related to the rat's weight and expressed as percentage of passage, resulting in a gait pattern. The proposed cost-effective system has achieved excellent results regarding the locomotion profile of healthy animals.

2017

Surface plasmon resonance sensor based on D-type fiber with a gold wire

Autores
Santos, DF; Guerreiro, A; Baptista, JM;

Publicação
OPTIK

Abstract
We propose a refractive index sensor based on surface plasmon resonance (SPR) in a gold wire partially incrusted on the surface of a D-type fiber and in contact with the external medium for increased sensitivity and roughness. The sensor is studied using numerical simulations based on the finite element method (FEM) and is compared with a more conventional D-type fiber SPR where the wire is replaced with a gold film. The numerical work estimates the sensitivity and resolution for different analytic refractive indexes (RI) in the range of 1.30-1.40, for a sensor based on the wavelength interrogation method. The results indicate that the use of the gold wire provides a better sensitivity when compared with the gold film, while supporting multiple peaks in different wavelengths, each with distinct values of sensitivity and resolution.

2017

Overview of the AO calibration strategies in the ELT context

Autores
Heritier C.T.; Fusco T.; Neichel B.; Esposito S.; Oberti S.; Correia C.; Sauvage J.F.; Bond C.; Fauvarque O.; Pinna E.; Agapito G.; Puglisi A.; Kolb J.; Madec P.Y.; Bechet C.;

Publicação
Adaptive Optics for Extremely Large Telescopes, 2017 AO4ELT5

Abstract
The scientific potential of the ELT will rely on the performance of its AO systems that will require to be perfectly calibrated before and during the operations. The actual design of the ELT will provide a constraining environment for the calibration and new strategies have to be developed to overcome these constraints. This will be particularly true concerning the Interaction Matrix of the system with no calibration source upward M4 and moving elements in the telescope. After a brief presentation of the ELT specificities for the calibration, this communication focuses on the different strategies that have already been developed to get/measure the Interaction Matrix of the system, either based on synthetic models or using on-sky measurements. First tests of these methods have been done using numerical simulations for a simple AO system and a proposition for a calibration strategy of the ELT will be presented.

2017

Self-interest and equity concerns: A behavioural allocation rule for operational problems

Autores
Osório, A;

Publicação
European Journal of Operational Research

Abstract
In many economic situations, individuals with different bargaining power must agree on how to divide a given resource. For instance, in the dictator game the proposer has all the bargaining power. In spite of it, the majority of controlled experiments show that she shares an important amount of the resource with the receiver. In the present paper I consider how behavioural and psychological internal conflicting aspects, such as self-interest and equity concerns, determine the split of the resource. The individual allocation proposals are aggregated in terms of altruism and value for the resource under dispute to obtain a single allocation. The resulting allocation rule is generalized to the n-individuals case through efficiency and consistency. Finally, I show that it satisfies a set of desirable properties. The obtained results are of practical interest for a number of situations, such as river sharing problems, sequential allocation and rationing problems. © 2017 Elsevier B.V.

  • 2192
  • 4362