Abstract
The K framework is a rewrite logic-based framework for defining programming language semantics suitable for formal reasoning about programs and programming languages. In this paper, we present K-Taint, a rewriting logic-based executable semantics in the K framework for taint analysis of an imperative programming language. Our K semantics can be seen as a sound approximation of programs semantics in the corresponding security type domain. More specifically, as a foundation to this objective, we extend to the case of taint analysis the semantically sound flow-sensitive security type system by Hunt and Sands's, considering a support to the interprocedural analysis as well. With respect to the existing methods, K-Taint supports context- and flow-sensitive analysis, reduces false alarms, and provides a scalable solution. Experimental evaluation on several benchmark codes demonstrates encouraging results as an improvement in the precision of the analysis.

Abstract
The peripheral arterial disease (PAD) is characterized by leg pain during walking, and a recommended treatment for this disease is to perform supervised physical activity. In this chapter, a system that monitories the physical activity containing one application for smartwatch, one application for smartphone, and a back-end webservice is presented. The applications collect heart rate, GPS locations, step count, and altitude data. The methodology used for the development of the system was based on the agile method with the production of prototypes. In this chapter, four development cycles, which cover the users' and researchers' needs, are presented. In this work, the main objective is to evaluate the current mobile technologies on the physical activity data collection and the development of a system that assists the users to maintain an active life. © 2018, IGI Global.

Abstract
A large quantity of variable renewable energy sources (RESs), most notably wind and solar, is now connected to the Portuguese network system, which makes it somehow unique. Yet, in the coming years, the network is expected to accommodate more of these and other technologies of "clean" power productions. The deployment and efficient utilization of various flexibility options are certainly required in a system experiencing such levels of dynamic changes so as to ensure a standard level of service provision in terms of security, stability and reliability. Among these is a battery energy storage system (BESS), which is emerging as one of the most viable and effective options of increasing the much-needed flexibility in power systems. This work aims to assess the impact of deploying BESSs on the operational performance of the Portuguese transmission grid, mainly in terms operational flexibility and variable RES power support. In particular, the potential benefits of strategically placed BESSs are investigated using a stochastic optimization framework. Numerical results show that integrating BESSs leads to a more efficient use of renewable power by considerably minimizing curtailments, and a 10% reduction in system-wide cost. Energy losses are moderately increased as a result of the BESS deployment. But this is offset by the savings in operation and emission costs.

Abstract
The present work aims at the development of a new heuristic approach named Direct-DRRT . This new algorithm is an improvement of the DRRT* method, which is the fusion between RRT * and DRRT. This improvement aims at the mobile robot autonomous planning considering less memory and computational time for a route design. The results show the efficiency of our approach compared to the other methods, presenting less processing time and a signification reduced number of nodes and paths. © 2018 IEEE.

Abstract
There is a set of important selection criteria in the design of fiber optic sensors that determine the compromise between design complexity and performance. Optical fiber sensors not only withstand high temperatures, but they can also operate in different chemical and aqueous media allowing measurements in areas not otherwise accessible. A Fabry-Perot cavity based on an air bubble created in a multimode fiber section is proposed. The air bubble is formed using only cleaving and fusion splicing techniques. The parameters used to produce the microcavities were found empirically. Two different configurations are explored: an inline cavity formed between two sections of MMF, and a fiber tip sensor. In the last, after the air bubble is created, a cleave is made near the cavity, after which the sensor is subjected to several electrical arcs to reshape the cavity and obtain a thin diaphragm. The inline sensor, with a length of similar to 297 mu m, was used to measure strain and presented a sensitivity of 6.48 pm/mu epsilon. Regarding the fiber tip sensor, it was subjected to glycerin/water mixture variations, by immerging the sensing head in several solutions with different concentrations of water in glycerin. In this case, the sensor had a length of similar to 167 mu m and a diaphragm thickness of similar to 20 mu m. As expected, with the increase of the external medium refractive index, the sensor visibility decreased. Furthermore, a wavelength shift towards red was observed, with a sensitivity of 7.81 pm/%wt. Both devices exhibited low dependence to temperature (<1.8 pm/degrees C).

Abstract
Quizzes are a widely used form of assessment, supported in many e-learning systems. Mooshak is a web system which supports automated assessment in computer science. This paper presents Moozz, a quiz assessment environment for Mooshak 2.0, with its own XML definition for describing quizzes. This definition is used for: interoperability with different e-learning systems, generating HTML-based forms, storing student answers, marking final submissions and generating feedback. Furthermore, Moozz also includes an authoring tool for creating quizzes. The paper describes Moozz, its quiz definition language and architecture, and details its implementation. © Hélder Correia, José Paulo Leal and José Carlos Paiva.