Abstract
This work proposes a biased random key genetic algorithm (BRKGA) for the integrated scheduling of manufacturing, transport, and storage/retrieval operations in flexible manufacturing systems (FMSs). Only recently, research on this problem has been reported; however, no heuristic approaches have yet been reported. The computational results show the BRKGA to be capable of finding good quality solutions quickly.

Abstract
The big number of Internet of Things (IoT) devices, the lack of interoperability and the low accessibility of many of them in a vast heterogenous landscape will make it very hard to design specific monitor, manage and security measures and apply specific mechanism to IoT networks. Administration tasks like reporting, performance analysis, and anomaly detection also depend on monitoring for decision making. For that purpose, a solution used in IoT networks must be scalable and interoperable. In this work, we are concerned with the design of a real time monitoring system for IoT networks. To do this, after studying the various traditional network monitoring solutions, we concluded that there are still several developments to be made to this type of mechanism. The design proposed will consider the specific architecture of an IoT network, the scalability and heterogeneity of this type of environment, and the minimization of the use of resources. To do so, we considered the various network monitoring methods available and select a flow monitoring solution in an IoT network. After the presentation of a workflow for flow monitoring on IoT networks, the workflow was tested. By doing analysis of flows, rather than packets, we concluded that this type of solution could be more scalable and interoperable than traditional packet-based network monitoring, make it suitable in an IoT environment. © Springer Nature Switzerland AG 2019.

Abstract
Dynamic logic is a powerful framework for reasoning about imperative programs. This paper extends previous work [9] on the systematic generation of dynamic logics from the propositional to the equational case, to capture ‘full-fledged’ imperative programs. The generation process is parametric on a structure specifying a notion of ‘weight’ assigned to programs. The paper introduces also a notion of bisimilarity on models of the generated logics, which is shown to entail modal equivalence with respect to the latter. © 2019, Springer Nature Switzerland AG.

Abstract
In this paper, a method for estimation of human pose is proposed, making use of ToF (Time of Flight) cameras. For this, a YOLO based object detection method was used, to develop a top-down method. In the first stage, a network was developed to detect people in the image. In the second stage, a network was developed to estimate the joints of each person, using the image result from the first stage. We show that a deep learning network trained from scratch with ToF images yields better results than taking a deep neural network pretrained on RGB data and retraining it with ToF data. We also show that a top-down detector, with a person detector and a joint detector works better than detecting the body joints over the entire image.

Abstract
The provision of gerontological care in rural areas represents an added challenge when applied to rural scenarios. This paper discusses the role of technology in gerontology and specifically how technology-based solutions can be developed to assist the elderly population in rural areas. It is also characterized the Northeast Portuguese region exposing its rural characteristics and presented some demographic numbers. Finally, a conceptual model and a prototype supported by mobile devices are presented to assist and monitor the elderly. The developed prototype allows not only to assist the elderly in a set of typical elderly population routines - such as those related to health - but also to improve the interaction between the elderly and their relatives and / or caregivers. This work is part of a more extensive effort that has been made in the search for effective solutions to assist the elderly population in rural areas, typically distant from the main health and / or support services; contributing to relieve these deficits.

Abstract
In the past few years, important supply chain decisions have captured managerial interest. One of these decisions is the design of the supply chain network incorporating financial considerations, based on the idea that establishment and operating costs have a direct effect on the company’s financial performance. However, works on supply chain network design (SCND) incorporating financial decisions are scarce. In this work, we address a SCND problem in which operational and investment decisions are made in order to maximize the company value, measured by the Economic Value Added, while respecting the usual operational constraints, as well as financial ratios and constraints. This work extends current research by considering debt repayments and new capital entries as decision variables, improving on the calculation of some financial values, as well as introducing infrastructure dynamics; which together lead to greater value creation. © 2019, Springer Nature Switzerland AG.