Abstract
Runtime verification is an emerging discipline that investigates methods and tools to enable the verification of program properties during the execution of the application. The goal is to complement static analysis approaches, in particular when static verification leads to the explosion of states. Non-functional properties, such as the ones present in real-time systems are an ideal target for this kind of verification methodology, as are usually out of the range of the power and expressiveness of classic static analyses. In this paper, we present a framework that allows real-time programs written in Ada to be augmented with runtime verification capabilities. Our framework provides the infrastructures which is needed to instrument the code with runtime monitors. These monitors are responsible for observing the system and reaching verdicts about whether its behavior is compliant with its non-functional properties. We also sketch a contract language to extend the one currently provided by Ada, with the long term goal of having an elegant way in which runtime monitors can be automatically synthesized and instrumented into the target systems. The usefulness of the proposed approach is demonstrated by showing its use for an application scenario.

Abstract
Current manufacturing scheduling has still difficulties to deal with real-world situations and, hence, human intervention is required to maintain real-time adaptation and optimization, to efficiently adapt to the inherent complex system dynamics. In this paper the prototype of an Adaptive Decision Support System for Interactive Scheduling with MetaCognition and User Modeling Experience (ADSyS) is proposed. A preliminary usability evaluation was streamlined to collect user's opinion about the system performance and interaction model.

Abstract
Joint implant-related infections, namely by Staphylococci, are a worldwide problem, whose consequences are dramatic Various methods are studied to fight against these infections. Here, the proposed solution consists in grafting a bioactive polymer on joint implant surfaces in order to allow the control of the interactions with the living system. In this study, sodium styrene sulfonate, bearing sulfonate groups, was grafted on the surface of titanium alloys. Scanning Electron Microscopy, colorimetric method, Fourier-transformed infrared spectroscopy and contact angle measurements were applied to characterize the surfaces. Bacterial adhesion studies were studied on poly(sodium styrene sulfonate) grafted Ti6Al4V and Ti6Al4V surfaces previously adsorbed by proteins involved in the bacteria adhesion process. Fibrinogen and fibronectin were demonstrated to increase staphylococcal adhesion on Ti6Al6V surfaces. Ti6Al4V grafted sodium styrene sulfonate surfaces inhibited the adhesion of Staphylococcus epidermidis in 37% and 13% on pre-adsorbed surfaces with fibrinogen anal fibronectin, respectively. The mechanism of the observed inhibiting bacteria adhesion properties is related to the differences of proteic conformations induced by poly(sodium styrene sulfonate) grafting.

Abstract
The concept of SG (Smart Grids) encompasses a set of technologies that raise the intelligence of the electrical networks, such as smart meters or instruments of communication, sensing and auto-correction of networks. Nevertheless, the cost is still an important obstacle for the transformation of the current electricity system into a smarter one. Regulation can have an important role in setting up a favorable framework that fosters investments. However, the novelty with SG is the disembodied character of the technology, which may change the incentives of the regulated network companies to invest, affecting the effectiveness of the regulatory instruments ("cost plus" or "price cap"). This paper demonstrates that the solution to this "Smart" paradox requires strong incentive regulation mechanisms able to stimulate the adoption of SG technologies. Moreover, the regulation should not jeopardize conventional investments that are unable to be substituted by SG. Thus, a combination of performance regulation and efficiency obligations may be necessary.

Abstract
In this work we present a system that estimates and manipulates rhythmic structures from audio loops in realtime to perform syncopation transformations. The core of our system is a technique for the manipulation of syncopation in symbolic representations of rhythm. In order to apply this technique to audio signals we must first segment the audio loop into musical events using onset detection. Then, we use the symbolic syncopation transformation method to determine how to modify the rhythmic structure in order to change the syncopation. Finally we present two alternative methods to reconstruct the audio loop, one based on time scaling and the other on resampling. Our system, Loopalooza, is implemented as a freely available MaxForLive device to allow musicians and DJs to manipulate syncopation in audio loops in realtime. Copyright:

Abstract
The main aim of this research is the development of an autonomous adaptive system for actuation, data acquisition and control of activeankle-foot orthosis. In this paper the design ofa control unit composed by microcontroller, driver and sensor system, and its application to theactuation and position of the foot orthotic segment is presented. The research work combines hardware and software design of the intelligent control device with graphical interface for representation and analysis of the data acquired duringhuman motion. The dynamic system simulation is done in Matlab Simulink and SimMechanics. A laboratory model of the proposed system was implemented to demonstrate its autonomy and verify experimentally its functionality.The proposed control device can be used in several applications involving human motion analysis and control of different types of orthoses or functional electrical stimulation used for gait correction. © Springer Science+Business Media Dordrecht 2014.