Abstract
How to visualize recorded production data in Virtual Reality? How to use state of the art Augmented Reality displays that can show robot data? This paper introduces an open-source ICT framework approach for combining Unity-based Mixed Reality applications with robotic production equipment using ROS Industrial. This publication gives details on the implementation and demonstrates the use as a data analysis tool in the context of scientific exchange within the area of Mixed Reality enabled human-robot co-production.

Abstract
In this paper, we advance an enhanced method for computing Harte et al.’s (2006) Harmonic Change Detection Function (HCDF), which aims to detect harmonic transitions in musical audio signals. Each of the HCDF component blocks is revisited in light of recent advances in harmonic description and transformation. To evaluate our proposal, we compute an exhaustive grid search to compare the multiple proposed algorithms and a large set of parameterizations across four large style-specific musical datasets. Our results show that the newly proposed methods and parameter optimization improve the detection of harmonic changes by 5.57% (f-score) with respect to previous methods. Furthermore, while guaranteeing recall values at >99%, our other method improves precision by 6.28%.

Abstract
Artificial Bee Colony (ABC) is a Swarm Intelligence optimization algorithm well known for its versatility. The selection of decision variables to update is purely stochastic, incurring several issues to the local search capability of the ABC. To address these issues, a self-adaptive decision variable selection mechanism is proposed with the goal of balancing the degree of exploration and exploitation throughout the execution of the algorithm. This selection, named Adaptive Decision Variable Matrix (A-DVM), represents both stochastic and deterministic parameter selection in a binary matrix and regulates the extent of how much each selection is employed based on the estimation of the sparsity of the solutions in the search space. The influence of the proposed approach to performance and robustness of the original algorithm is validated by experimenting on 15 highly multimodal benchmark optimization problems. Numerical comparison on those problems is made against the ABC and their variants and prominent population-based algorithms (e.g., Particle Swarm Optimization and Differential Evolution). Results show an improvement in the performance of the algorithms with the A-DVM in the most challenging instances.

Abstract
<p>The WATER4EVER Project (http://water4ever.eu/) was built on the premise that agriculture is by far the largest consumer of water, with about 70% of the diverted water being used in irrigation. Agriculture is also considered as a key source of diffuse pollution with inefficient practices resulting in high water and nutrient (particularly N and P) surpluses that are transferred to water bodies through diffuse processes (runoff and leaching), promoting eutrophication, with associated biodiversity loss. WATER4EVER aims thus to develop new monitoring strategies at the plot and catchment scales to provide detailed information of water and nutrient flow, and gain new insights on the connectivity between both scales. New monitoring strategies were developed and tested in agricultural fields in Portugal, Spain, Italy and Turkey and included: (i) crop physiological indicators assessment using static sensors for defining improved deficit irrigation strategies for woody crops; (ii) crop stress and productivity maps from measurements taken with a smart sensor mounted on a tractor and equipped with LIDAR 2D, normalized difference vegetation index (NDVI) and thermal cameras, and a GNSS receiver; (iii) leaf area index maps at 30 m resolution derived from ATCOR and Landsat 8 imagery data using the NDVI and the Soil Adjusted Vegetation Index (SAVI); (iv) soil moisture maps at 100 m resolution by combining the 10 m resolution synthetic-aperture radar (SAR) images from Sentinel 1 with the 10 m resolution NDVI computed from Sentinel 2 images, averaged into 100 m cells, and then by considering the backscatter difference with the driest day, or alternatively the backscatter difference between two consecutive dates; (v) soil moisture maps at 1 km resolution created with the DISaggregation based on a Physical And Theoretical scale CHange (DISPATCH) algorithm for the downscaling of the 40 km SMOS (Soil Moisture and Ocean Salinity) soil moisture data using land surface temperature (LST) and NDVI data; (vi) conventional monitoring techniques combined with modeling tools for assessing the impact of different soil managements (conventional tillage, tillage with grass trips, grass cover) on soil infiltration, soil water content, runoff and soil erosion of hillslope vineyards; (vii) an improved deterministic model for irrigation and fertigation management at the plot scale; and (viii) a decision support system for irrigation water management at the plot scale which integrated a deterministic model for irrigation scheduling and the NDVI computed from Sentinel 2 imagery data for crop growth monitoring. Preliminary results derived from the use of the innovative monitoring and mapping strategies, besides model applications are presented. The remote sensing products described above were also applied for catchment modeling validation of streamflow, which results fall outside the scope of this communication. WATER4EVER activities were thus wide and diverse, aimed at optimizing crop management practices which will help to promote the sustainability of different Mediterranean production systems.</p><p> </p><p>WATER4EVER is funded by the European Commission under the framework of the ERA-NET COFUND WATERWORKS 2015 Programme</p>

Abstract
HPC Shelf is a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification on HPC Shelf. Certification is aimed at providing higher confidence that components of parallel computing systems of HPC Shelf behave as expected according to one or more requirements expressed in their contracts. To this end, new abstractions are introduced, starting with certifier components. They are designed to inspect other components and verify them for different types of functional, non-functional and behavioral requirements. The certification framework is naturally based on parallel computing techniques to speed up verification tasks.

Abstract
Energy management systems (EMSs) play an important role in the optimal operation of prosumers. As an essential segment of each EMS, the load forecasting (LF) block enhances the optimal utilization of renewable energy sources (RESs) and battery energy storage systems (BESSs). In this paper, a new optimal day-ahead scheduling and operation of the prosumer is proposed based on the two-level corrective LF. The proposed two-level corrective LF actions are developed through a very precise short-term LF. In the first level, a time-series LF is applied using multi-layer perceptron artificial neural networks (MLP-ANNs). In order to improve the accuracy of the forecasted load data at the first level, the second level corrective LF is applied using feed-forward (FF) ANNs. The second stage prediction is initiated when the LF results violate the pre-defined criteria. The proposed method is applied to a prosumer under different cases (based on the consideration of BESS operation behaviors and cost) and various scenarios (based on the accuracy of the load data). The obtained optimal day-ahead operation results illustrate the advantages of the proposed method and its corrective forecasting process. The comparison of the obtained results and those of other available ones show the effectiveness of the proposed optimal operation of the prosumers. The advantages of the proposed method are highlighted while the BESS costs are considered.