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.

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

Abstract

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.