Abstract
São diversos os benefícios da utilização de indicadores e métricas de sustentabilidade organizacional,e referem-se à possível antecipação de condições e tendências, fornecimento de avisos de possíveis ocorrências e situações que evitem danos aos aspectos econômico, social e ambiental e auxílio nos processos de gestão. O objetivo deste estudo foi analisar as métricas de sustentabilidade organizacional, identificadas na literatura acadêmica nos últimos cinco anos. Seguindo a metodologia PRISMA, foram relacionadas sete pesquisas relevantes e enquadradas nos critérios de seleção. As principais contribuições, por meio da revisão sistemática, apontaram para estudos compostos de diferentes aspectos (empresas, cidades, regiões) ligados à sustentabilidade. Foram diversas métricas identificadas, algumas focando mais aspectos sociais da população e ou funcionários e outras mais os aspectos ambientais e seus impactos na sociedade e nas organizações. As limitações do estudo são decorrentes do método escolhido que considerou os últimos cinco anos na base Scopus e artigos completos em inglês.

Abstract
Fuzzy programming languages, such as the Fuzzy Arden Syntax (FAS), are used to describe behaviours which evolve in a fuzzy way and thus cannot be characterized neither by a Boolean outcome nor by a probability distribution. This paper introduces a semantics for FAS, focusing on the weighted parallel interpretation of its conditional statement. The proposed construction is based on the notion of a fuzzy multirelation which associates with each state in a program a fuzzy set of weighted possible evolutions. The latter is parametric on a residuated lattice which models the underlying semantic 'truth space'. Finally, a family of dynamic logics, equally parametric on the residuated lattice, is introduced to reason about FAS programs.

Abstract

Abstract
Robots are increasingly present in our lives, sharing the workspace and tasks with human co-workers. However, existing interfaces for human-robot interaction / cooperation (HRI/C) have limited levels of intuitiveness to use and safety is a major concern when humans and robots share the same workspace. Many times, this is due to the lack of a reliable estimation of the human pose in space which is the primary input to calculate the human-robot minimum distance (required for safety and collision avoidance) and HRI/C featuring machine learning algorithms classifying human behaviours / gestures. Each sensor type has its own characteristics resulting in problems such as occlusions (vision) and drift (inertial) when used in an isolated fashion. In this paper, it is proposed a combined system that merges the human tracking provided by a 3D vision sensor with the pose estimation provided by a set of inertial measurement units (IMUs) placed in human body limbs. The IMUs compensate the gaps in occluded areas to have tracking continuity. To mitigate the lingering effects of the IMU offset we propose a continuous online calculation of the offset value. Experimental tests were designed to simulate human motion in a human-robot collaborative environment where the robot moves away to avoid unexpected collisions with de human. Results indicate that our approach is able to capture the human's position, for example the forearm, with a precision in the millimetre range and robustness to occlusions.

Abstract
Along with the use of cloud-based services, infrastructure, and storage, the use of application logs in business critical applications is a standard practice. Application logs must be stored in an accessible manner in order to be used whenever needed. The debugging of these applications is a common situation where such access is required. Frequently, part of the information contained in logs records is sensitive. In this paper, we evaluate the possibility of storing critical logs in a remote storage while maintaining its confidentiality and server-side search capabilities. To the best of our knowledge, the designed search algorithm is the first to support full Boolean searches combined with field searching and nested queries. We demonstrate its feasibility and timely operation with a prototype implementation that never requires access, by the storage provider, to plain text information. Our solution was able to perform search and decryption operations at a rate of, approximately, 0.05 ms per line. A comparison with the related work allows us to demonstrate its feasibility and conclude that our solution is also the fastest one in indexing operations, the most frequent operations performed.

Abstract
In recent years, traditional power systems have undergone a significant transition, mainly related to the massive penetration of renewable generation. More specifically, the transformation of residential consumers into prosumers has been challenging the existing operation of the electricity market. This transition brings new challenges and opportunities to the power system, leading to new business models. One widely discussed change is related to a consumer-centric or prosumer-driven approach, promoting increased participation of small consumers in power systems. The present paper aims at discussing the recent business models as enablers of the increasing prosumers' role. To do so, it defines the main features of prosumers and their related regulation as well as possible market designs within power systems. In addition, it discusses enabling technologies to properly create the conditions that sustain new prosumer-driven markets. Then, it presents a comprehensive review of existing and innovative business models and a discussion on their future roles in modern power systems. Moreover, a set of recommendations for promoting these business models in the power system is provided. An important conclusion is that, even though economically possible, not all innovative business models can spread around the world due to regulatory obstacles.