Abstract
Hydrogen is currently getting more and more attention in the European climate strategy as a promising enabling technology to decarbonize industry, transport sector and to provide a long-term, high-capacity energy storage solution. However, to truly contribute to the reduction of CO2 emissions, hydrogen must be produced respecting a principle of additionality, to ensure that it is produced using renewable energy sources and that its production does not decrease the green energy supplied to other loads. This study tracks the share of renewables generation in the energy mix used to produce hydrogen by applying a power flow tracing technique integrated with an optimal power flow analysis. This method allows the minimization of the system operation costs, while maximizing the green hydrogen production and considering the additionality principle. The system cost function is also modified to include the sizing and allocation of conventional batteries in the grid, and assess their ability to further increase the share of green energy in hydrogen production.

Abstract
Barcelos is a historic city in Portugal with many tourist attractions, attracting more and more visitors who come to the city with the aim of exploring it. The main objective of this article is to boost tourism in the city of Barcelos, specifically highlighting tourist, historical and leisure spots, based on the development of a mobile application using augmented reality technologies and geolocation. This application intends to allow the users to know historical points of interest in Barcelos, as well as interact with a certain point. The results of this investigation were evaluated by testing the application by end users, with the aim of identifying whether the application meets their needs, in particular the promotion of tourist and historical points.

Abstract
Several classes of quantum circuits have been shown to provide a quantum computational advantage under certain assumptions. The study of ever more restricted classes of quantum circuits capable of quantum advantage is motivated by possible simplifications in experimental demonstrations. In this paper we study the efficiency of measurement-based quantum computation with a completely flat temporal ordering of measurements. We propose new constructions for the deterministic computation of arbitrary Boolean functions, drawing on correlations present in multi-qubit Greenberger, Horne, and Zeilinger (GHZ) states. We characterize the necessary measurement complexity using the Clifford hierarchy, and also generally decrease the number of qubits needed with respect to previous constructions. In particular, we identify a family of Boolean functions for which deterministic evaluation using non-adaptive MBQC is possible, featuring quantum advantage in width and number of gates with respect to classical circuits.

Abstract
Immersive experiences offered by virtual reality (VR) have the power to impact tourists' decision-making and on-site experiences. However, prior research has focused on explaining VR's acceptance by tourists as a function of technological capacity, rather than user characteristics, such as innovativeness. This research intends to fill the existing knowledge gap regarding the role of technological innovativeness on VR experiences. To do so, this study examines whether individuals' technological innovativeness influences their perceptions of a VR tourism experience and, in turn, their intention to recommend the experience. The study provides a VR experience to 405 tourists at a winery. The results reveal that the tourists' technological innovativeness influences their perception of enjoyment, experience quality, and satisfaction. These findings suggest that, when developing or distributing VR content, the technological innovativeness of the audience is important to consider. The findings have theoretical and practical value, with direct implications for tourism professionals and policymakers.

Abstract
Domain-specific standards and documents heavily regulate safety-critical systems. One example is the DO-178C standard for aerospace, which guides organizations to achieve system safety and evidence for their certification. Under such regulated contexts, most organizations use traditional development processes, in contrast to the massive adoption of Agile in the software industry. Among other benefits, Agile methods promise faster delivery and better flexibility to address customer needs. Adopting Agile methods and practices are possible in aerospace because the DO-178C standard does not prescribe concrete software development methods. In spite of that, Agile development is not used in DO-178C contexts. To help change that, our research aims to understand whether and how organizations engineering safety-critical software systems for aerospace may benefit from Agile methods and practices. We analyzed the DO-178C standard and confirm that it is compatible with Agile methods. Then, we present a systematic literature mapping of adopting Agile in software development for aerospace, where we identified significant concerns, recurrent issues, and several challenges. Some real industry aerospace projects provided us with important data and the perspective of domain experts about the pros and cons of Agile methods in this context. We conclude by proposing an agenda of research opportunities to improve safety-critical software development towards agility that we consider worthy of further research, application and confirmation in wider contexts.

Abstract
Tabulation is a well-known technique for improving the efficiency of recursive functions with redundant function calls. A key point in the application of this technique is to identify a suitable representation for the table. In this paper, we propose the use of zippers as tables in the tabulation process. Our approach relies on a generic function zipWithZipper, that makes strong use of lazy evaluation to traverse two zippers in a circular manner. The technique turns out to be particularly efficient when the arguments to recursive calls are closely situated within the function domain. For example, in the case of natural numbers this means function calls on fairly contiguous values. Likewise, when dealing with tree structures, it means functions calls on immediate sub-trees and parent nodes. This results in a concise and efficient zipper-based embedding of attribute grammars.