Abstract
In this review the objective is to search for technologies that supervise the exercise or physical activity of people suffering from Peripheral Arterial Disease (PAD) at home or in the community. Patients with PAD have walking limitations and their quality of life progressively deteriorates. The regular practice of exercise can help mitigate these effects and even improve their health status. The methodology used was to search for scientific articles published since 2008, with the final result of 18 articles. The results show the most frequent technologies used are based on the accelerometer device, with the tests being performed on a treadmill at a hospital. The hospital tests are expensive, so a useful and viable alternative is the usage of mobile devices to help the health professionals record the exercise performed by their patients suffering with PAD. © Springer International Publishing AG, part of Springer Nature 2018.

Abstract
D-down arrow is a new dynamic logic combining regular modalities with the binder constructor typical of hybrid logic, which provides a smooth framework for the stepwise development of reactive systems. Actually, the logic is able to capture system properties at different levels of abstraction, from high-level safety and liveness requirements, to constructive specifications representing concrete processes. The paper discusses its semantics, given in terms of reachable transition systems with initial states, its expressive power and a proof system. The methodological framework is in debt to the landmark work of D. Sannella and A. Tarlecki, instantiating the generic concepts of constructor and abstractor implementations by standard operators on reactive components, e.g. relabelling and parallel composition, as constructors, and bisimulation for abstraction.

Abstract
The permutation flow shop scheduling problem is one of the most studied operations research related problems. Literally, hundreds of exact and approximate algorithms have been proposed to optimise several objective functions. In this paper we address the total tardiness criterion, which is aimed towards the satisfaction of customers in a make-to-order scenario. Although several approximate algorithms have been proposed for this problem in the literature, recent contributions for related problems suggest that there is room for improving the current available algorithms. Thus, our contribution is twofold: First, we propose a fast beam-search-based constructive heuristic that estimates the quality of partial sequences without a complete evaluation of their objective function. Second, using this constructive heuristic as initial solution, eight variations of an iterated-greedy-based algorithm are proposed. A comprehensive computational evaluation is performed to establish the efficiency of our proposals against the existing heuristics and metaheuristics for the problem.

Abstract

Abstract
Advances in Unmanned Aerial Systems (UAS) allowed them to become both flexible and cost-effective. When combined with computer vision data processing techniques they are a good way to obtain high-resolution imagery and 3D information. As such, UAS can be advantageous both for agriculture and forestry areas, where the need for data acquisition at specific times and within a specific time frame is crucial, enabling the extraction of several measurements from different crop types. In this study a low-cost UAS was used to survey an area mainly composed by chestnut trees (Castanea sativa Mill.). Flights were performed at different heights (ranging from 30 to 120 m), in single and double grid flight patterns, and photogrammetric processing was then applied. The obtained information consists of orthophoto mosaics and digital elevation models which enable the measurement of individual tree’s parameters such as tree crown diameter and tree height. Results demonstrate that despite its lower spatial resolution, data from single grid flights carried out at higher heights provided more reliable results than data acquired at lower flight heights. Higher number of images acquired in double grid flights also improved the results. Overall, the obtained results are encouraging, presenting a R2 higher than 0.9 and an overall root mean square error of 44 cm. © 2018 Association for Computing Machinery.

Abstract
The cost-effectiveness of unmanned aerial systems (UAS) makes them suitable platforms to survey cultural heritage sites. Developments in photogrammetry provide methods capable to generate accurate 3D models out of 2D aerial images. Considering the involved technologies, the purpose of this paper is to document the Chapel of Espiríto Santo: a very relevant monument for Vila Real (Portugal) that is currently located at the campus of the University of Trás-os-Montes and Alto Douro. The UAS-based aerial imagery survey approach is presented along with photogrammetric process to build chapel’s 3D model. Moreover, two photogrammetric software were compared – Pix4Dmapper Pro and Agisoft Photoscan – in terms of modelling accuracy and functionalities ease of use. © 2018 Association for Computing Machinery.