Abstract
The improvement of energy performance in buildings can be achieved through the integration of a Trombe wall system. The literature review reveals that more research work is still required to evaluate the real impact of this system on the building thermal performance. The study here presented aims to define a calculation methodology of the Trombe wall energy performance, based on ISO 13790:2008(E), adapted to the Portuguese climatic conditions. The massive wall thickness, the ventilation system and the external shutters influence in the system thermal performance is demonstrated. It was concluded that the highest contributions to the global heat gains is given by the heat transfer by conduction, convection and radiation. However, the existence of a ventilation system in the massive wall has a significant role in the thermal performance of the Trombe wall, which contribution increases with the increasing of the massive wall thickness. It was also applied the Portuguese thermal regulation to a residential building with this system. It was concluded that energy heating needs can be reduced in 16.36% if a Trombe wall is added to the building envelope. The results also showed that the proposed methodology provides a valid approach to compute the Trombe wall thermal performance.

Abstract
Nowadays, entering in the highly competitive international market becomes a key strategy for the survive and sustained growth of enterprises in the Portuguese textile and footwear industrial sector. Thereby, to face new requirements, companies need to understand that technological innovation is a key issue. In this scenario, the research presented in this paper focuses on the development of a robot based conveyor line pick-and-place solution to perform an automatic collection of the shoe last. The solution developed consists of extracting the 3D model of the shoe last suport transported in the conveyor line and aligning it, using the Iterative Closest Point (ICP) algorithm, with a template model previously recorded. The Camera-Laser triangulation system was the approach selected to extract the 3D model. With the correct position and orientation estimation of the conveyor footwear, it will make possible to execute the pick-and-place task using an industrial manipulator. The practical implication of this work is that it contributes to improve the footwear production lines efficiency, in order to meet demands in shorter periods of time, and with high quality standards. This work was developed in partnership with the Portuguese company CEI by ZIPOR.

Abstract
Tabling is a commonly used technique in logic programming for avoiding cyclic behavior of logic programs and enabling more declarative program definitions. Furthermore, tabling often improves computational performance. Rational term are terms with one or more infinite sub-terms but with a finite representation. Rational terms can be generated in Prolog by omitting the occurs check when unifying two terms. Applications of rational terms include definite clause grammars, constraint handling systems, and coinduction. In this paper, we report our extension of YAP's Prolog tabling mechanism to support rational terms. We describe the internal representation of rational terms within the table space and prove its correctness. We then use this extension to implement a tabling based approach to coinduction. We compare our approach with current coinductive transformations and describe the implementation. In addition, we present an algorithm that ensures a canonical representation for rational terms.

Abstract
A great deal of effort in model-based testing is related to the creation of the model. In addition, the model itself, while a powerful tool of abstraction, can have conceptual errors, introduced by the tester. These problems can be reduced by generating those models automatically. This paper presents a dynamic reverse engineering approach that aims to extract part of the model of an existing web application through the identification of User Interface (UI) patterns. This reverse engineering approach explores automatically any web application, records information related to the interaction, analyses the gathered information, tokenizes it, and infers the existing UI patterns via syntactical analysing. After being complemented with additional information and validated, the model extracted is the input for the Pattern-Based Graphical User Interface Testing (PBGT) approach for testing existing web application under analysis.

Abstract
User modeling and user adaptive interaction research areas are becoming crucial applied issues to understand and support users as they interact with technology. Modeling the decisions to be made and the constraints placed by market globalization in a way that can address the needs of all stakeholders has been a long time area of academic and industrial research, mainly for Planning, Scheduling, and Strategic decision making areas. Business analysts, developers, and organizations involved in all phases of the business value chain have requirements for applied business insight through modeling. In this paper, an architecture for user modeling on Intelligent and Adaptive Scheduling System is proposed.

Abstract