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.

Abstract
In this paper, multiarea economic dispatch (MAED) problems are solved by a novel straightforward process. The solved MAED problems include transmission losses, tie-line constraints, multiple fuels, valve-point effects, and prohibited operating zones in which small, medium, and large scale test systems are involved. The methodology of tackling the problems consists in a new hybrid combination of JAYA and TLBO algorithms simultaneously to take the advantages of both to solve even nonsmooth and non-convex MAED problems. In addition, a new and simple process is used to tackle with the interaction between areas. The objective is to economically supply demanded loads in all areas while satisfying all of the constraints. Indeed, by combining JAYA and TLBO algorithms, the convergence speed and the robustness have been improved. The computational results on small, medium, and large-scale test systems indicate the effectiveness of our proposed algorithm in terms of accuracy, robustness, and convergence speed. The obtained results of the proposed JAYA-TLBO algorithm are compared with those obtained from ten well-known algorithms. The results depict the capability of the proposed JAYA-TLBO based approach to provide a better solution.

Abstract
The context of the fourth industrial revolution brings companies numerous challenges. Agility, flexibility, and responsiveness are necessary characteristics in this business ecosystem, with the deep insertion of digital technologies in manufacturing. Therefore, this work has the objective of developing a model of measurement of the maturity and readiness of the industry 4.0 so that companies can visualize their positioning in this new reality. Qualitative and quantitative methods were used for the development of the model that contemplates 6 (six) dimensions. It was applied in the Industrial Pole of Manaus (PIM), in a multinational manufacturing company. The results obtained are adherent to the reality of the company in relation to the industry 4.0. © 2019, IEOM Society International.