Abstract
We present a system for a dynamic graphical representation of the interactions captured in educational online environments. The system goes beyond interaction between students and teachers, also addressing resource usage or any other entity for which it is possible to create a relation which binds two entities. By defining these relationships between pairs of entities in an online learning environment (Moodle, in our case) our tool creates a graph, where it is possible to apply techniques of social network analysis. This system brings up new possibilities for e-learning as a tool capable of helping the teacher assorting and illustrating the degree of participation and to find the implicit relations between participants, or participants and resources or events. © 2017 Association for Computing Machinery.

Abstract
In this paper, a mixed-integer linear programing (MILP) model for characterizing the traffic behavior of plug-in electric vehicles (PEVs) in an urban environment is proposed. The paper proposes the procedure to mathematically model the uncertain behavior of the PEVS. As the PEV's traffic pattern affects the potential of PEV parking lot (PL) in terms of available capacity and state of charge, the characterized PEVs are employed to provide the proper pricing schemes for the PEVs in PL. The results discuss the mutual effect of PEVs behavior on the profit of PL, as well as the effects of PL's tariffs on motivating PEVs to provide more flexibility for the PL. The results show that with a proper pricing scheme both parties (i.e., PEV owners and PL) can earn higher profits, while the charging requirements are met based on the preferences of the owners.

Abstract
This paper presents a new technique for providing the analysis and comparison of wiretap codes in the small blocklength regime over the binary erasure wiretap channel. A major result is the development of Monte Carlo strategies for quantifying a code's equivocation, which mirrors techniques used to analyze forward error correcting codes. For this paper, we limit our analysis to coset-based wiretap codes, and give preferred strategies for calculating and/or estimating the equivocation in order of preference. We also make several comparisons of different code families. Our results indicate that there are security advantages to using algebraic codes for applications that require small to medium blocklengths.

Abstract
This article addresses the problem of creating interactive mixed reality applications where virtual objects interact in images of real world scenarios. This is relevant to create games and architectural or space planning applications that interact with visual elements in the images such as walls, floors and empty spaces. These scenarios are intended to be captured by the users with regular cameras or using previously taken photographs. Introducing virtual objects in photographs presents several challenges, such as pose estimation and the creation of a visually correct interaction between virtual objects and the boundaries of the scene. The two main research questions addressed in this article include, the study of the feasibility of creating interactive augmented reality (AR) applications where virtual objects interact in a real world scenario using the image detected high-level features and, also, verifying if untrained users are capable and motivated enough to perform AR initialization steps. The proposed system detects the scene automatically from an image with additional features obtained using basic annotations from the user. This operation is significantly simple to accommodate the needs of non-expert users. The system analyzes one or more photos captured by the user and detects high-level features such as vanishing points, floor and scene orientation. Using these features it will be possible to create mixed and augmented reality applications where the user interactively introduces virtual objects that blend with the picture in real time and respond to the physical environment. To validate the solution several system tests are described and compared using available external image datasets.

Abstract
The advancement of constraint solvers and model checkers has enabled the effective analysis of high-level formal specification languages. However, these typically handle a specification in an opaque manner, amalgamating all its constraints in a single monolithic verification task, which often proves to be a performance bottleneck. This paper addresses this issue by proposing a solving strategy that exploits user-provided partial knowledge, namely by assigning symbolic bounds to the problem’s variables, to automatically decompose a verification task into smaller ones, which are prone to being independently analyzed in parallel and with tighter search spaces. An effective implementation of the technique is provided as an extension to the Kodkod relational constraint solver. Evaluation shows that, in average, the proposed technique outperforms the regular amalgamated verification procedure.

Abstract
Due to the uncertainty and stochastic behavior of wind and photovoltaic production introduced in conventional power systems, the correct overall management considering all the technical and economic constraints is faced with more challenges. To address also the specificities of insular power systems, several strategies have been proposed in last years, including energy storage systems with the aim of increasing system flexibility. Accurate forecasting tools may also help to reduce overall uncertainty. Other scheduling tools based on probabilistic, heuristic and stochastic programming have also been considered. In this work, a new scheduling strategy is proposed considering the integration of wind production in an insular power system. To this end, some arbitrarily chosen scenarios from wind production are introduced in the scheduling process, and a comparative study is carried out, with and without renewable production, providing an acceptable computational time.