Abstract
This paper extends previous work on the concept of a new software energy metric: Energy Debt. This metric is a reflection on the implied cost, in terms of energy consumption over time, of choosing an energy flawed software implementation over a more robust and efficient, yet time consuming, approach. This paper presents the implementation a SonarQube tool called E-Debitum which calculates the energy debt of Android applications throughout their versions. This plugin uses a robust, well defined, and extendable smell catalog based on current green software literature, with each smell defining the potential energy savings. To conclude, an experimental validation of E-Debitum was executed on 3 popular Android applications with various releases, showing how their energy debt fluctuated throughout releases.

Abstract
Photosynthesis is an important and complex physical process in nature, whose comprehensive understanding would have many relevant industrial applications, for instance, in the field of energy production. In this paper, we propose a quantum algorithm for the simulation of the excitonic transport of energy, occurring in the first stage of the process of photosynthesis. The algorithm takes in account the quantum and environmental effects (pure dephasing), influencing the quantum transport. We performed quantum simulations of such phenomena, for a proof of concept scenario, in an actual quantum computer, IBMQ, of 5 qubits. We validate the results with the Haken-Strobl model and discuss the influence of environmental parameters on the efficiency of the energy transport.

Abstract

Abstract
In 2015, to reverse a rise in unemployment, a decline in economic growth and the population aging, the Municipality of Fundão designed the Strategic Plan for Innovation. The plan was thought to attract companies and people to Fundão and to encourage families and younger generations already in Fundão to live and work in their home territory. This would be accomplished by attracting investments and new businesses based on new technologies. The strategy had a significant positive impact on the number of jobs created in the city, its economic growth, and attraction of businesses and population. In effect, the municipality started from scratch and built a new ICT industry cluster to transform the economy for a globalized, digital age, addressing needs in the areas of software development, robotics, and technology-based solutions for traditional sectors. The consortium supporting the plan includes governmental organizations, universities, schools, civic associations, businesses, financial institutions, and innovation centers. After four years, Fundão hosts 14 new companies, including four multinationals. Those companies have created over 500 highly qualified jobs. The municipality also has 70 new startups and over 200 privately funded innovative projects. The training of young students on digital technologies, namely on programming, as well as the reskilling of adults, was an essential first step in the plan’s implementation. This success was recognized with an award from the European Community-and it motivated the extension of the initiative into elementary schools, with the goal of covering all students of the municipality. This chapter examines the case within the lens of technopolis development and it includes interview insights from those involved in Fundão’s sustainability plan. © Springer Nature Switzerland AG 2020.

Abstract
HPC Shelf is a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification on HPC Shelf. Certification is aimed at providing higher confidence that components of parallel computing systems of HPC Shelf behave as expected according to one or more requirements expressed in their contracts. To this end, new abstractions are introduced, starting with certifier components. They are designed to inspect other components and verify them for different types of functional, non-functional and behavioral requirements. The certification framework is naturally based on parallel computing techniques to speed up verification tasks.

Abstract
Infrastructure-as-Code tools, such as Docker and Docker Compose, play a crucial role in the development and orchestration of cloud-native and at-scale software. However, as IaC relies mostly on the development of text-only specifications, these are prone to misconfigurations and hard to debug. Several works suggest the use of models as a way to abstract their complexity, and some point to the use of visual metaphors. Yet, few empirical studies exist in this domain. We propose a visual programming notation and environment for specifying Docker Compose configurations and proceed to empirically validate its merits when compared with the standard text-only specification. The goal of this work is to produce evidence of the impact that visual approaches may have on the development of IaC. We observe that the use of our solution reduced the development time and error proneness, primarily for configurations definition activities. We also observed a preference for the approach in terms of ease of use, a positive sentiment of its usefulness and intention to use. © 2020 ACM.