Abstract
With the liberalization of the electricity markets, price forecasting has become crucial for the decision-making process of market agents. The unique features of electricity price, such as non-stationary, non-linearity and high volatility make this a very difficult task. For this reason, rather than a simple point forecast, market participants are more interested in a probabilistic forecast that is essential to estimate the uncertainty involved in the price. By focusing on this issue, the aim of this paper is to analyze the impact of external factors in the electricity price and present a methodology for probabilistic forecasting of day-ahead electricity prices from the Iberian electricity market. The models are built using regression techniques and aim to obtain, for each hour, the quantiles of 5% to 95% by steps of 5%.

Abstract
Underwater imaging is being increasingly helpful for the autonomous robots to reconstruct and map the marine environments which is fundamental for searching for pipelines or wreckages in depth waters. In this context, the accuracy of the information obtained from the environment is of extremely importance. This work presents a study about the accuracy of a reconfigurable stereo vision system while determining a dense disparity estimation for underwater imaging. The idea is to explore the advantage of this kind of system for underwater autonomous vehicles (AUV) since varying parameters like the baseline and the pose of the cameras make possible to extract accurate 3D information at different distances between the AUV and the scene. Therefore, the impact of these parameters is analyzed using a metric error of the point cloud acquired by a stereoscopic system. Furthermore, results obtained directly from an underwater environment proved that a reconfigurable stereo system can have some advantages for autonomous vehicles since, in some trials, the error was reduced by 0.05m for distances between 1.125 and 2.675 m.

Abstract

Abstract
This work describes a formalization effort, using the Coq proof assistant, of fundamental results related to the classical theory of context-free grammars and languages. These include closure properties (union, concatenation and Kleene star), grammar simplification (elimination of useless symbols, inaccessible symbols, empty rules and unit rules), the existence of a Chomsky Normal Form for context-free grammars and the Pumping Lemma for context-free languages. The result is an important set of libraries covering the main results of context-free language theory, with more than 500 lemmas and theorems fully proved and checked. This is probably the most comprehensive formalization of the classical context-free language theory in the Coq proof assistant done to the present date, and includes the important result that is the formalization of the Pumping Lemma for context-free languages.

Abstract
In this paper we assess the influence of the conductivity of the medium on the radiation characteristics and input impedance of a loop antenna designed for underwater communications. The initial study is based on simulation of the antenna characteristics using FEKO electromagnetic (EM) software. Additionally, an equivalent circuit model of the antenna is also obtained and simulation of the input impedance on ADS software shows good agreement with the EM simulator. It is found that the radiation pattern, of the loop antenna changes significantly with the conductivity of the medium, from freshwater to seawater. The loop antennas were built with baluns and tested in freshwater, where the insertion loss between two identical antennas and the radiation pattern of one of them were also measured. The results show good agreement with the simulations.

Abstract
From social networks to health and fitness, everyday a lot of mobile devices applications (apps) are being developed. The variety and availability is such that people start to think that indeed "there's an app for everything". Many of these apps address either problems or characteristics that affect older people and that are related with the ageing process (e.g. memory and visual aids apps). They can effectively help people and are under constant evolution. However, the lack of knowledge about these available technological aids can undermine its dissemination and consequently the help that people really receive, especially those who need it the most: older people. As such, a methodological search for available aid apps was made both in Google Play and in iTunes: 536 were selected, their classification analysed and the kind of help that they provide identified. It was noted that either in Google Play or in iTunes the apps' categories are similar. Furthermore, it is not easily perceived what the type of help that each app can provide is and how is it provided. Hence, based on the results from the aforementioned methodological search, this paper proposes a new scalable tree-based classification methodology for aid apps, which is considered more suited to perceive what the available aid apps for mobile devices are. The existing apps were then characterized based on the proposed classification, to determine what the main aid that they provide is. (C) 2016 The Authors. Published by Elsevier BAT.