Abstract
Finitary matching problems are those that have finitely many solutions. Pattern calculi generalize the lambda-calculus, replacing the abstraction over variables by an abstraction over terms that are called patterns. Consequently, reduction requires solving a pattern matching problem. The framework described in this paper considers the case when such problems are finitary. It is parametrized by the solving function, which is responsible for computing solutions to the matching problems. A concrete instance of the function gives a concrete version of the pattern calculus. We impose conditions on the solving function, obtaining a generic confluence proof for a class of pattern calculi with finitary matching. Instances of the solving function are presented.

Abstract
Considering the limitations of traditional energy-saving policies, a kind of energy conservation method called the Information Feedback to Residential Electricity Load Customers, which could impact the demand response capacity, has increasingly received more attention. However, most of the current feedback programs provide the same feedback information to all customers regardless of their diverse characteristics, which may reduce the energy-saving effects or even backfire. This paper attempts to investigate how different types of customers may change their behaviors under a set of customized feedback. We conducted a field survey study in Qinhuangdao (QHD), China. First, we conducted semi-structured interviews to classify four groups of customers of different energy-saving awareness, energy-saving potential, and behavioral variability. Then, 156 QHD households were surveyed using scenarios to collect feedback of different scenarios. Social science theories were used to guide the discussion on the behavior changes as a result of different feedback strategies and reveal the reasons for customers' behaviors. Using the Chi-Square test of independence, the variables that have strong correlations with the categories of residents are extracted to provide references for residents' classification. Finally, the practical implications and needs for future research are discussed.

Abstract
The 4th industrial revolution is forcing industry towards its technological, productive and human requalification. In this paradigmatic shift, technology plays a key role and organisations must know, understand and dominate the intricacies of industry 4.0. However an issues arises: aren't we putting technology ahead of the processes ?. The truth is that 140 project are being implemented in different velocities in different companies and regions, even a small country like Portugal. Actually, despite of industries leaders agreed on the importance of the technological requalification (maybe pushed by the mediatism of the 4th industrial revolution), there is a lack of installed capability to embrace such projects. This concern is amplified when considering Portuguese sub regions. The impact of the 140 concept in the Portugues sub regions is the main motivation for his study on the Tamega e Sousa region. The study combines the perspective/situation of the industry and the software houses.. The way the 14.0 concept is being understood by the organisations in the Tamega and Sousa region, and the degree of preparation for the phenomenon is discussed in this paper. The awareness of the lack of preparation of the organisations for the adoption of 140. strategies or 14.0 projects 14.0, together with the inability of the region's software houses to reverse this situation, led to the presentation of a practical set of recommendations. The framework of recommendations pragmatically translates the different dimensions associated with the challenges inherent in 14.0.

Abstract
Cultural heritage is a legacy that we herder from our ancestors and that we should deliver to our decedents. In this sense, the first steep that we should take, after preserve this heritage, is to develop solutions that enable effective and democratic ways to share and promote it. Unfortunately, this demand presents several constrains in what concerns to material heritage, most people will never be able to visit all the major civilizational cultural heritages. Also in the immaterial cultural heritage, to much ancestral knowledge is only owned and memorized buy elder people. This last issue leads to a forgetfulness of many traditions, legends, rituals and a whole set of cultural heritage that has not been previously digitized. For last, its important stand that legacy is related to the ability to give to the next generation something. This demand must start in early stages since people childhood. This paper review the concept of gamification and is potential to the fruition of cultural material and immaterial heritage exploring the affective relations between young people and games to discuss the potential of gamification for cultural heritage. Finally, this paper presents a conceptual model to frame gamification role in the cultural material and immaterial heritage context. We intend, in future work, explore the proposed model, using prototyping and user-data analysis.

Abstract
In this letter, we present a new structure composed by a long-period grating (LPG) and a microsphere in series, which works as a modal interferometer besides allowing the mode coupled to the cladding to be coupled back to the core. The LPG was written by the electric arc technique and the microsphere was fabricated using a splicing machine. It is possible to use this new structure for simultaneous measurement of strain and temperature. It also allows one to obtain a temperature compensated strain sensor by using a proper data processing algorithm, which utilizes two distinct wavelengths for strain and temperature. Then, a strain sensitivity of 0.86 pm/mu epsilon and a reduced temperature sensitivity of 0.7 pm/degrees C were achieved.

Abstract
The Portuguese Micromouse Contest®* is an innovated robotic contest in Portugal that address the need to enhance student interest and performance in science, technology, engineering, and mathematics (STEM) courses, while fostering skills that are important prerequisites for IT careers. To facilitate the access to younger students a robot kit and an Arduino library was developed and made available on GitHub. Some of the library examples include the common algorithms used to solve mazes, like the Flood Fill, Right or Left Wall Following to name a few. Recursive Backtracking algorithm is often used to solve mazes especially if there is a lot of computer power. This is not the case of the Arduino platform that only has 2.5 KB of SRAM and a clock speed of 16 MHz, so implementing Recursive Backtracking becomes quite difficult. In this work we show how to implement Recursive Backtracking to find if there are better solutions for solving the maze. We also show the memory measurements for three Arduino common platforms the Leonardo, the UNO and the DUE. © 2018 by World Scientific Publishing Co. Pte. Ltd.