Abstract
Analysis of the usability of an interactive system requires both an understanding of how the system is to be used and a means of assessing the system against that understanding. Such analytic assessments are particularly important in safety-critical systems as latent vulnerabilities may exist which have negative consequences only in certain circumstances. Many existing approaches to assessment use tasks or scenarios to provide explicit representation of their understanding of use. These normative user behaviours have the advantage that they clarify assumptions about how the system will be used but have the disadvantage that they may exclude many plausible deviations from these norms. Assessments of how a design fails to support these user behaviours can be a matter of judgement based on individual experience rather than evidence. We present a systematic formal method for analysing interactive systems that is based on constraints rather than prescribed behaviour. These constraints capture precise assumptions about what information resources are used to perform action. These resources may either reside in the system itself or be external to the system. The approach is applied to two different medical device designs, comparing two infusion pumps currently in common use in hospitals. Comparison of the two devices is based on these resource assumptions to assess consistency of interaction within the design of each device.

Abstract
Nowadays, transportation vehicles are equipped with intelligent sensors. Together, they form collaborative networks that broadcast real-time data about mobility patterns in urban areas. Online intelligent transportation systems for taxi dispatching, time-saving route finding or automatic vehicle location are already exploring such information in the taxi/buses transport industries. In this PhD spotlight paper, the authors present two ML applications focused on improving the operation of Public Transportation (PT) systems: 1) Bus Bunching (BB) Online Detection and 2) Taxi-Passenger Demand Prediction. By doing so, we intend to give a brief overview of the type of approaches applicable to these type of problems. Our frameworks are straightforward. By employing online learning frameworks we are able to use both historical and real-time data to update the inference models. The results are promising.

Abstract
This study considers a production lot sizing and scheduling problem in the brewery industry. The underlying manufacturing process can be basically divided into two main production stages: preparing the liquids including fermentation and maturation inside the fermentation tanks; and bottling the liquids on the filling lines, making products of different liquids and sizes. This problem differs from other problems in beverage industries due to the relatively long lead times required for the fermentation and maturation processes and because the "ready" liquid can remain in the tanks for some time before being bottled. The main planning challenge is to synchronize the two stages (considering the possibility of a "ready" liquid staying in the tank until bottling), as the production bottlenecks may alternate between these stages during the planning horizon. This study presents a novel mixed integer programming model that represents the problem appropriately and integrates both stages. In order to solve real-world problem instances, MIP-based heuristics are developed, which explore the model structure. The results show that the model is able to comprise the problem requirements and the heuristics produce relatively good-quality solutions.

Abstract
Wind power integration has always been a key research area due to the green future power system target. However, the intermittent nature of wind power may impose some technical and economic challenges to Independent System Operators (ISOs) and increase the need for additional flexibility. Motivated by this need, this paper focuses on the potential of Demand Response Programs (DRPs) as an option to contribute to the flexible operation of power systems. On this basis, in order to consider the uncertain nature of wind power and the reality of electricity market, a Stochastic Network Constrained Unit Commitment associated with DR (SNCUCDR) is presented to schedule both generation units and responsive loads in power systems with high penetration of wind power. Afterwards, the effects of both price-based and incentive-based DRPs are evaluated, as well as DR participation levels and electricity tariffs on providing a flexible load profile and facilitating grid integration of wind power. For this reason, novel quantitative indices for evaluating flexibility are defined to assess the success of DRPs in terms of wind integration. Sensitivity studies indicate that DR types and customer participation levels are the main factors to modify the system load profile to support wind power integration.

Abstract
Temporal information retrieval has been a topic of great interest in recent years. Despite the efforts that have been conducted so far, most popular search engines remain underdeveloped when it comes to explicitly considering the use of temporal information in their search process. In this paper we present GTE-Rank, an online searching tool that takes time into account when ranking time-sensitive query web search results. GTE-Rank is defined as a linear combination of topical and temporal scores to reflect the relevance of any web page both in topical and temporal dimensions. The resulting system can be explored graphically through a search interface made available for research purposes.

Abstract
With the increase of the Information and Communication Technologies in all aspects and sectors of our life, a world of unprecedented scenarios is arising. Some of these scenarios are the explosions of new and different Healthcare projects that intend to decrease the economical and social costs of the real ageing population phenomenon, through the delocalization of healthcare services delivery and management to the home. These Ambient Assisted Living environments, which we have taken a step forward with the introduction of proactive techniques for better adapting to its users, usually elderly or chronic patients, are now entering a new phase: users with no special help needs also need to have a healthier Active Ageing. Since the direct correlation between physical activity and health is well established, we present here an idea to better achieve this goal. © Springer International Publishing Switzerland 2014.