Abstract
With increasing environmental concerns, the electrification of transportation plays an outstanding role in the sustainable development. In this context, plug-in electric vehicle and demand response have indispensable impacts on future smart grid. Since integration of electric vehicles into the grid is a key element to achieve sustainable energy systems, this paper studies the behavior of plug-in electric vehicle parking lots in the electricity markets. Participation of these new market players, as responsive demands, is modeled in both price-based and incentive-based demand response programs. Moreover, impacts of different demand response programs on optimal operational behavior of the parking lots are investigated. In addition to uncertainties of activated reserve, uncertainties of electric vehicle class, arrival and departure times, and initial battery state-of-charge are also considered. Stochastic programming is used to address the mentioned uncertainties. Numerical studies indicate that the participation of parking lots in different demand response programs can increase their profit. © 2015 IEEE.

Abstract
This paper introduces a method to build dynamic logics with a graded semantics. The construction is parametrized by a structure to support both the spaces of truth and of the domain of computations. Possible instantiations of the method range from classical (assertional) dynamic logic to less common graded logics suitable to deal with programs whose transitional semantics exhibits fuzzy or weighted behaviour. This leads to the systematic derivation of program logics tailored to specific program classes.

Abstract

Abstract
Oceans have shown tremendous importance and impact on our lives. Thus the need for monitoring and protecting the oceans has grown exponentially in recent years. On the other hand, oceans have economical and industrial potential in areas such as pharmaceutical, oil, minerals and biodiversity. This demand is increasing and the need for high data rate and near-real-time communications between submerged agents became of paramount importance. Among the needs for underwater communications, streaming video (e.g. for inspecting risers or hydrothermal vents) can be seen as the top challenge, which when solved will make all the other applications possible. Presently, the only reliable approach for underwater video streaming relies on wired connections or tethers (e.g. from ROVs to the surface) which presents severe operational constraints that makes acoustic links together with AUVs and sensor networks strongly appealing. Using new polymer-based acoustic transducers, which in very recent works have shown to have bandwidth and power efficiency much higher than the usual ceramics, this article proposes the development of a reprogrammable acoustic modem for operating in underwater communications with video streaming capabilities. The results have shown a maximum data-rate of 1Mbps with a simple modulation scheme such as OOK, at a distance of 20 m.

Abstract
Software engineering is an area with a wide range of concepts and knowledge. To this diversity of topics, you may need to apply different teaching and learning techniques to be effective. One such technique is the use of serious games, but the design of such games tends to be complex, currently lacking a map of game design standards that comply with the Software Engineering education requirements. This paper presents the process to identify the game design patterns that can be effective for teaching software engineering, specifically the software project management topic. The process begins by identifying the relationship between game design patterns and teaching and learning functions based on literature review. Then the work follows establishing a relationship between teaching and learning functions and software project management education through questionnaires made to software engineering teachers. Finally, it sets up the relationship between game design patterns and software project management education through an empirical study conducted with master students. These results can be used as a basis for designing and developing serious games for teaching software project management.

Abstract
The proliferation of broadband wireless accesses has enabled the provisioning of multimedia communication services. Yet, the increasing demand for group-based multimedia services requires the development of new architectures capable of seamlessly delivering multi-party content and overcoming the prevailing heterogeneity and dynamics of current and next generation communication networks. In order to face these challenges we introduce UNIT, a solution that integrates multicast technologies for both core and access wireless mesh networks. UNIT is focused on the scalability and flexibility of the content delivery framework, adopting a hierarchical control strategy that enables seamless multi-party content transport over heterogeneous networks. Moreover, UNIT performs local reconfigurations of the content distribution tree in response to any context change, without impairing the remaining branches. The evaluation of UNIT in a real world demonstrator proves its feasibility and the efficiency of the proposed mechanisms regarding the control of the multi-party delivery trees.