Abstract
Commercial off-the-shelf devices and applications are expected to be pivotal in the coming massive deployment of pervasive computing technology in home settings. The integration of these devices and applications in the same household may result in unplanned interactions involving users and entertainment, communication, and health-related devices and applications. These unplanned interactions are a serious concern when, for example, communication or entertainment applications interfere with the behavior of health-related devices. This paper presents a novel graph-based approach for representing the expected behavior of commercial off-the-shelf devices and applications, their interactions, and for detecting interference in pervasive computing systems. A set of home care scenarios is used to assess the applicability of this approach. We then provide two setups where this approach can be applied: (i) in a pre-deployment setup, where simulation is used to detect possible instances of interference, and (ii) at run-time, collecting observations from devices and applications and detecting interference as it occurs. For pre-deployment and simulation we use Opensim to recreate a home household. For run-time, we use Simple Network Management Protocol for systems state introspection and a sliding window mechanism to process the collected data-stream. Crown Copyright

Abstract
The impact of large-scale Electric Vehicles (EVs) deployment in electric power systems is a current issue under study by the scientific community. The integration of this type of electric component requires robust planning solutions to mitigate possible consequences from such integration. This paper explores the quantification of the amount of renewable sources, namely wind and hydro power, which can be safely integrated into power systems in a scenario of a mass integration of EVs. The increase of renewable power in the generation portfolio is analyzed under the framework of generating system adequacy assessment considering several EVs deployment scenarios and an adequate charging strategy. The analysis is carried for the planning configurations of the Portuguese and Spanish generating systems and the results are focused on the potential benefits of EV integration in terms of hydro and wind power usage.

Abstract
This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics.

Abstract
Two simulated astronomical objects (a star cluster, and a young stellar object) were mock observed with the VLTI for different array configurations and instruments, and their images reconstructed and compared. The aim of the work is to infer when/if phase referencing with less telescopes is a better choice over closure phases with more telescopes. Three scenarios were put under scrutiny: Phase Referencing (PhR) with 2 telescopes vs Closure Phase (CPh) with 3 telescopes, PhR with 3 telescopes vs CPh with 4 telescopes, and PhR with 4 telescopes vs CPh with 6 telescopes. The number of nights is kept fixed for a given PhR vs CPh configuration. The UV-coverage was improved for the PhR case, by uniformly paving the (u, v) plane while keeping fixed the total number of sampled spatial frequencies. For the majority of the configurations, the results point to comparable performances of phase referencing and closure phases, when the UV-space is judiciously chosen.

Abstract
.Abstract algebra has the power to unify seemingly disparate theories once they are encoded into the same abstract formalism. This paper shows how a relation-algebraic rendering of both database dependency theory and Hoare programming logic purports one such unification, in spite of the latter being an algorithmic theory and the former a data theory. The approach equips relational data with functional types and an associated type system which is useful for database operation type checking and optimization. The prospect of a generic, unified approach to both programming and data theories on top of libraries already available in automated deduction systems is envisaged.

Abstract
Service innovation represents a challenge that has to be supported by specific actions of the higher education professionals. At European level, it was promoted by platforms developed under the Europe INNOVA and other initiatives, and it is now an important priority of the Europe 2020 strategy. Therefore, the academic environment should get aligned to this trend and prepare students for the complex character of the future service systems. This paper presents best practices and platforms to support an action programme for getting aligned to the European trends in service innovation, undertaken within the ESF / POSDRU project INSEED (Strategic Programme for promoting Innovation in Services by Open and Continuous Education). The programme has five main objectives, described here through their specific actions and their applied practices, like comprehending the strategies, programmes and organisms related to the European Commission, or analyzing the knowledge gaps. An important result of this programme is the Service Engineering Master (SEM) from the Automation and Computer Science Faculty, University Politehnica of Bucharest, which is related to other educational programmes on service science from Europe. As support for creating a global educational environment, the paper also presents the INSER@SPACE collaborative platform developed by INSEED, with its three components: (i) a learning management system dedicated to educational courses concerning services; (ii) a semantic wild on service science for creating an international community based on a clearly defined knowledge environment; (iii) educational resources provided as a service, with configurations dedicated to learning new technologies for service innovation.