Abstract
Human capital is identified as one of the main determinants of economic growth and plays an important role in the technological progress of countries. Nevertheless, existing studies have to some extent neglected the importance of human capital in the growth process via the interaction it can have with a country's industrial specialization. Additionally, the emphasis is mainly placed on supply-side determinants, while demand-side factors are neglected, particularly the relevance of the processes of structural change. Thus, using a growth model which integrates variables from both the supply side and demand side, we assess the direct and indirect effects of human capital on economic growth, including in the latter the interaction of human capital with the industrial specialization of countries. Based on dynamic panel data estimations, we found that human capital and the countries' productive specialization dynamics are crucial factors for economic growth. Moreover, the interaction between human capital and structural change in high knowledge-intensive industries impacts significantly on economic growth. However, the sign of this effect depends on the type of country and the period of analysis. Specifically, over a longer time span (1960-2011) and for more highly developed (OECD) countries, the impact of the interaction between human capital and structural change is positive. When we also include transition and Mediterranean countries over a shorter time period (1990-2011), we find that human capital significantly and positively impacts on the countries' economic growth but the effect of human capital via specialization in high-tech and knowledge-intensive activities is negative. The latter result indicates that the lack of industrial structures able to properly integrate highly educated individuals into the productive system leads countries to experience disappointing economic returns.

Abstract
We present Symbiosis: a concurrency debugging technique based on novel differential schedule projections (DSPs). A DSP shows the small set of memory operations and dataflows responsible for a failure, as well as a reordering of those elements that avoids the failure. To build a DSP, Symbiosis first generates a full, failing, multithreaded schedule via thread path profiling and symbolic constraint solving. Symbiosis selectively reorders events in the failing schedule to produce a nonfailing, alternate schedule. A DSP reports the ordering and dataflow differences between the failing and nonfailing schedules. Our evaluation on buggy real-world software and benchmarks shows that, in practical time, Symbiosis generates DSPs that both isolate the small fraction of event orders and dataflows responsible for the failure and report which event reorderings prevent failing. In our experiments, DSPs contain 90% fewer events and 96% fewer dataflows than the full failure-inducing schedules. We also conducted a user study that shows that, by allowing developers to focus on only a few events, DSPs reduce the amount of time required to understand the bug's root cause and find a valid fix.

Abstract
In this paper, the optimal operation of a neighborhood of smart households in terms of minimizing the total energy procurement cost is analyzed. Each household may comprise several assets such as electric vehicles, controllable appliances, energy storage and distributed generation. Bi-directional power flow is considered both at household and neighborhood level. Apart from the distributed generation unit, technological options such as vehicle-to-home and vehicle-to-grid are available to provide energy to cover self-consumption needs and to inject excessive energy back to the grid, respectively. The energy transactions are priced based on the net-metering principles considering a dynamic pricing tariff scheme. Furthermore, in order to prevent power peaks that could be harmful for the transformer, a limit is imposed to the total power that may be drawn by the households. Finally, in order to resolve potential competitive behavior, especially during relatively low price periods, a simple strategy in order to promote the fair usage of distribution transformer capacity is proposed.

Abstract
We propose a mathematical model to study the water usage for the irrigation of given farmland to guarantee that the field crop is kept in a good state of preservation. This problem is formulated as an optimal control problem. The lack of analytic solution leads us to turn to numerical methods to solve the problem numerically. We then apply necessary conditions of optimality to validate the numerical solution. To deal with the high degree of unpredictability of water inflow due to weather, we further propose a replan strategy and we implement it.

Abstract
Two-dimensional irregular strip packing problems are cutting and packing problems where small pieces have to be cut from a larger object, involving a non-trivial handling of geometry. Increasingly sophisticated and complex heuristic approaches have been developed to address these problems but, despite the apparently good quality of the solutions, there is no guarantee of optimality. Therefore, mixed-integer linear programming (MIP) models started to be developed. However, these models are heavily limited by the complexity of the geometry handling algorithms needed for the piece non-overlapping constraints. This led to pieces simplifications to specialize the developed mathematical models. In this paper, to overcome these limitations, two robust MIP models are proposed. In the first model (DTM) the non-overlapping constraints are stated based on direct trigonometry, while in the second model (NFP - CM) pieces are first decomposed into convex parts and then the non-overlapping constraints are written based on nofit polygons of the convex parts. Both approaches are robust in terms of the type of geometries they can address, considering any kind of non-convex polygon with or without holes. They are also simpler to implement than previous models. This simplicity allowed to consider, for the first time, a variant of the models that deals with piece rotations. Computational experiments with benchmark instances show that NFP CM outperforms both DTM and the best exact model published in the literature. New real-world based instances with more complex geometries are proposed and used to verify the robustness of the new models.

Abstract