Abstract
Microscopic examination is the reference diagnostic method for several neglected tropical diseases. However, its quality and availability in rural endemic areas is often limited by the lack of trained personnel and adequate equipment. These drawbacks are closely related with the increasing interest in the development of computer-aided diagnosis systems, particularly distributed solutions that provide access to complex diagnosis in rural areas. In this work we present our most recent advances towards the development of a fully automated 3D-printed smartphone microscope with a motorized stage, termed mu SmartScope. The developed prototype allows autonomous acquisition of a pre-defined number of images at 1000x magnification, by using a motorized automated stage fully powered and controlled by a smartphone, without the need of manual focus. In order to validate the prototype as a reliable alternative to conventional microscopy, we evaluated the mu SmartScope performance in terms of: resolution; field of view; illumination; motorized stage performance (mechanical movement precision/resolution and power consumption); and automated focus. These results showed similar performances when compared with conventional microscopy, plus the advantage of being low-cost and easy to use, even for non-experts in microscopy. To extract these results, smears infected with blood parasites responsible for the most relevant neglected tropical diseases were used. The acquired images showed that it was possible to detect those agents through images acquired via the mu SmartScope, which clearly illustrate the huge potential of this device, specially in developing countries with limited access to healthcare services.

Abstract
The localization systems are becoming more and more required in the actual flexible manufacturing systems based on mobile robots. There are several approaches to localize a mobile robot such as laser scanners reflective beacons, image mapping, lightning based systems, Ultra-wideband time-of-flight trilateration, odometry and fusion sensor data algorithms. During the development phase of a localization methodology, it is necessary to evaluate the proposed system: it is used a ground truth system. Ground truth systems are precise (usually based on reflective beacons) but expensive. This paper presents a low-cost ground truth system based on a standard low-cost laser scanner that, coupled with the presented algorithm, allows to localize the robot in the field and thus evaluate other localization systems. Results of the precision of the developed system are presented and validates the approach. Copyright

Abstract
The security standard ISO/IEC 27001 provides orientations to support organizations to set adequate best practices in information security management, specifying requirements that enable the appropriate selection and implementation of security controls. This standard assists organizations to protect their information assets, achieve their adequate levels of security and thus help them to succeed their business goals. Currently, an increasing number of Portuguese organizations seek to comply ISO/IEC 27001:2013 standard and obtain the respective certification. This paper presents the result of a research conducted in order to detail the main difficulties and limitations evidenced by Portuguese organizations while meeting the ISO/IEC 27001:2013 standard. Moreover, this paper provides discussion on the results obtained, to better understand the progress and status quo of this standard implementation. From the research conducted it can be seen that organizations are becoming heavily concerned with information security issues, mainly due it to the recent cybersecurity incidents occurred. Additionally, certification is recognized as an important instrument to give confidence and demonstrate to all organizational' customers, suppliers and stakeholders that information security components are verified and organized within the organization.

Abstract

Abstract
It is known since the late 1960's that the dual of the category of compact Hausdoroff spaces and continuous maps is a variety - not finitary, but bounded by aleph(1). In this note we show that the dual of the category of partially ordered compact spaces and monotone continuous maps is an aleph(1)-ary quasivariety, and describe partially its algebraic theory. Based on this description, we extend these results to categories of Vietoris coalgebras and homomorphisms on ordered compact spaces. We also characterise the aleph(1)-copresentable partially ordered compact spaces.

Abstract
In this article we investigate the problem of generating electricity through an underwater kite power system (UKPS). For this problem, we develop the dynamical model for the UKPS and we formulate an optimal control problem to devise the trajectories and controls of the kite that maximize the total energy produced in a given time interval. This is a highly nonlinear problem for which the optimization is challenging. We also develop a numerical solution scheme for the optimal control problem based on direct methods and on adaptive time-mesh refinement. We report results that show that the problem can be quickly solved with a high level of accuracy when using our adaptive mesh refinement strategy. The results provide a set of output power values for different design choices and confirm that electrical energy that can be produced with such device.