Comparative analysis of constructive solutions for thermal insulation by using computer applications in building rehabilitation in Mediterranean climate. The Spanish case

The new Spanish legislation in Energy Saving, similar to European regulation, provides new technical requirements to adequate technical solutions used in integral rehabilitation of existing buildings. The aim of this paper is to present, analyze and discuss the main thermal insulation constructive solutions best suited to a Mediterranean climate, and conclude on their suitability under the legislation in Energy Saving. The proposed methodology is based on the most usual constructive solutions in integral rehabilitation of buildings by analyzing their outstanding design features, by studying its construction details and then by applying the software provided by the Spanish legislation of energy efficiency in buildings. The results of the study evaluate and classify several solutions for façade rehabilitation according to energy efficiency criteria and their suitability for this type of weather, verifying the necessity of using software applications in energy saving for the proper design of constructive solutions in building rehabilitation.

Phrase-based statistical machine translation: explanation of its processes and statistical models and evaluation of the English to Spanish translations produced

Statistical machine translation (SMT) is an approach to Machine Translation (MT) that uses statistical models whose parameter estimation is based on the analysis of existing human translations (contained in bilingual corpora). From a translation student’s standpoint, this dissertation aims to explain how a phrase-based SMT system works, to determine the role of the statistical models it uses in the translation process and to assess the quality of the translations provided that system is trained with in-domain goodquality corpora. To that end, a phrase-based SMT system based on Moses has been trained and subsequently used for the English to Spanish translation of two texts related in topic to the training data. Finally, the quality of this output texts produced by the system has been assessed through a quantitative evaluation carried out with three different automatic evaluation measures and a qualitative evaluation based on the Multidimensional Quality Metrics (MQM).

Application-Based Analysis of Register File Criticality for Reliability Assessment in Embedded Microprocessors

There is an increasing concern to reduce the cost and overheads during the development of reliable systems. Selective protection of most critical parts of the systems represents a viable solution to obtain a high level of reliability at a fraction of the cost. In particular to design a selective fault mitigation strategy for processor-based systems, it is mandatory to identify and prioritize the most vulnerable registers in the register file as best candidates to be protected (hardened). This paper presents an application-based metric to estimate the criticality of each register from the microprocessor register file in microprocessor-based systems. The proposed metric relies on the combination of three different criteria based on common features of executed applications. The applicability and accuracy of our proposal have been evaluated in a set of applications running in different microprocessors. Results show a significant improvement in accuracy compared to previous approaches and regardless of the underlying architecture.