Abstract
Manufacturing companies are being pushed to their limits due to an increase of production complexity guided by a growing standards demand by the costumers. To respond properly to this, manufacturing companies must adopt innovative control architectures that are able to handle better the occurrence of disturbances at shop-floor level (e.g. workstation breakdown, orders cancellation or modification). Additionally, the selection of a proper scheduling algorithms assumes a crucial point, in the sense that the increase of optimization levels depend on this. This paper presents a Genetic Algorithm (GA) based technique to be embedded into the supervisor entity present at the ADACOR(2) aiming to improve the existing fast and non-optimal scheduling technique, improving the overall system processing execution. The main requirements of the GA is to be fast enough to be usable in demanding environments improving the optimization output. The proposed algorithm is tested using a Flexible Manufacturing System using different configurations of transportation and batch sizes. Results show that despite the presented GA technique increased the optimization calculation time it performs better considering the sum of this time with the gain in the optimization output.

Abstract
Ambient intelligence (AmI) paradigm has been the catalyst for the creation of several types of smart spaces, and the smart meeting rooms (SMR) is one of them. One of the main aims of AmI spaces is the development of middleware able to provide context aware computing specifically in SMR face-to-face, and distributed/asynchronous meeting settings are envisaged. This paper describes OLAVAmIa context aware middleware system which was tested in LAID environment, a smart meeting room. OLAVAmI allows video production focusing on the speaker, an audio-to-text conversion service, and a multimedia database of meetings produced in an autonomous way. To experiment OLAVAmI usage and functionalities, two tools present in LAID test bed were used. These AmI intelligent layer tools cover two application scenarios: a ubiquitous group decision-making and a service reposition in power systems. The results and insights are presented in this article.

Abstract

Abstract
PVSio-web is a graphical environment for facilitating the design and evaluation of interactive (human-computer) systems. Using PVSio-web, one can generate and evaluate realistic interactive prototypes from formal models. PVSio-web has been successfully used over the last two years for analyzing commercial, safety-critical medical devices. It has been used to create training material for device developers and device users. It has also been used for medical device design, by both formal methods experts and non-technical end users. This paper presents the latest release of PVSio-web 2.0, which will be part of the next PVS distribution. The new tool architecture is discussed, and the rationale behind its design choices are presented. © Springer International Publishing Switzerland 2015.

Abstract
Agents involved in a conflicting claims problem may be concerned with the proportion of their claims that is satisfied, or with the total amount they get. In order to relate both perspectives, we associate to each conflicting claims problem a bargaining-in-proportions set. Then, we obtain a correspondence between classical bargaining solutions and usual claims rules. In particular, we show that the constrained equal losses, the truncated constrained equal losses and the contested garment (Babylonian Talmud) rules can be obtained throughout the Nash bargaining solution. © 2015 by the authors.

Abstract
Encontrar pessoas com interesses semelhantes dentro de um domínio pode fornecer um importante auxílio na gestão de centros de investigação. Como a produção académica é facilmente obtida em bases de dados bibliográficas e académicas, estas podem ser usadas para descobrir as afinidades entre os investigadores que não estejam já evidenciadas pela co-autoria. Este processo de descoberta dá-se com a ajuda de técnicas de análise de texto, na base dos termos utilizados nos respectivos documentos. A afinidade pode ser representada em forma de rede, em que os nós representam os artigos de cada investigador e as ligações representam similaridade entre os diferentes investigadores. Cada nó pode ser caracterizado através de diversas medidas de centralidade na rede e algoritmos de detecção de comunidades permitem identificar grupos com interesses semelhantes. Cada nó é ainda caracterizado por um conjunto de palavras-chave e resumos descobertos automaticamente com a ajuda de técnicas avançadas. Este artigo fornece mais detalhes sobre os métodos adoptados e/ou desenvolvidos, alguns dos quais foram implementados no nosso protótipo. Os métodos descritos são gerais e aplicáveis a muitos domínios diferentes, incluindo documentos que descrevem projetos de I&D, documentos associados a legislação, processos judiciais ou procedimentos médicos. Acreditamos deste modo que este trabalho pode ser útil para um público relativamente amplo.