Abstract
Low voltage actuators based on poly(vinylidene fluoride) (PVDF) with 10, 25 and 40% 1-hexyl-3-methylimidazolium chloride ([C(6)mim][Cl]) and 1-hexyl-3-methylimidazolium bis(trifluoromethylsulfonyl)imide ([C(6)mim][NTf2]) are prepared by solvent casting in order to evaluate the effect of anion size in the bending properties. Independently of the ionic liquid type and content, its presence leads to the crystallization of PVDF in the beta-phase. The addition of ionic liquid into the polymer matrix decreases significantly its degree of crystallinity and the elastic modulus. It is also confirmed the good miscibility between PVDF and IL, determined by the interaction of the CF2 groups from the PVDF chains with the imidazolium ring in the ionic liquid (IL). The AC conductivity of the composites depends both on the amount of ionic liquid content and anion size. The bending movement of the IL/PVDF composites is correlated to their degree of crystallinity, mechanical properties and ionic conductivity value and the best value of bending response (0.53%) being found for IL/PVDF composite with 40 wt of [C(6)min][Cl] at an applied voltage of 10 V square signal.

Abstract
In this paper we introduce a bilinear repetitive process and present an iterative subspace algorithm for its identification. The advantage of the proposed approach is that it overcomes the "curse of dimensionality", a hurdle commonly encountered with classical bilinear subspace identification algorithms. Simulation results show that the algorithm converges quickly and provides new alternatives for modeling/identifying nonlinear repetitive processes.

Abstract
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration. © Springer International Publishing Switzerland 2016.

Abstract
This paper presents how the ICT infrastructure developed in the European ENCOURAGE project, centered around a message oriented middleware, enabled energy savings in buildings and households. The components of the middleware, as well as the supervisory control strategy, are overviewed, to support the presentation of the results and how they could be achieved. The main results are presented on three of the pilots of the project, a first one consisting of a single household, a second one of a residential neighborhood, and a third one in a university campus. © 2016 IEEE.

Abstract
Optics is probably one on the most exciting topics in physics. However, it also contains some of the less understood phenomena by students - the light spectra obtained from the diffraction of light. The experimental study of light spectra for studying radiating bodies, usually requests sophisticated and expensive equipment that is not normaly affordable for schools, and only a few teachers know how to measure the wavelength of light in a spectrum. In this work we present a simple and inexpensive setup, with enough accuracy for measuring light spectra to be used both in physics and chemistry classes. We show how freeware software Tracker, commonly used for teaching mechanics, can serve to measure wavelengths with about 2 nm of resolution. Several approaches to the calibration of different setups are also provided, depending on the degree of accuracy demanded. © 2016 IOP Publishing Ltd.

Abstract
This paper addresses the problem of decision making in Unit Commitment in systems with a significant penetration of wind power. Traditional approaches to Unit Commitment are inadequate to fully deal with the uncertainties associated to wind, represented by scenarios of forecasted wind power qualified by probabilities. Departing from a critique of planning paradigms, the paper argues that a stochastic programming approach, while a step in the good direction, is insufficient to model all aspects of the decision process and therefore proposes the adoption of models based on a Risk Analysis paradigm. A case study is worked out reinforcing this perspective. In a multi-objective context, the properties of the cost vs. risk Pareto-optimal fronts are analyzed, where risk may be represented by aversion to a worst scenario or a worst event. It is shown that the Pareto-optimal front may not be convex, which precludes a simplistic use of tradeoff concepts. It is also shown that decisions based on stochastic programming may in fact put the system at risk. An evaluation of risk levels and cost of hedging against undesired events is proposed as the paradigm to be followed in Unit Commitment decision making. (C) 2016 Published by Elsevier Ltd.