Abstract
The European Project Semester (EPS) is a one-semester capstone project/internship programme offered to engineering, product design and business undergraduates by 18 European engineering schools. EPS aims to prepare future engineers to think and act globally by adopting project-based learning and teamwork methodologies. The EPS@ISEP programme – the EPS programme provided by ISEP – the School of Engineering of the Polytechnic Institute of Porto – started in 2011 and has since welcomed 3rd and 4th year mobility students during the spring semester. In particular, sustainable development is a pervasive concern within EPS projects. It was in this context that, in 2012, a team of EPS@ISEP students decided to develop a water disinfection system. While the technical goal of the project was to design and develop a fluid disinfection system for removing bacteria, viruses and seaweeds, the overall objective was far more ambitious: to help students learn, develop and adopt sustainable practices for their future professional life. The system was intended to be a simple and effective solution for water treatment and recycling. At a larger scale, the project contributes to the preservation of the planet's fresh water resources and to the improvement of the population’s health by eliminating harmful microorganisms from the water. This challenge was, by itself, motivational and exposed the team to new learning experiences. The team found several approaches for water treatment and, after a detailed analysis, decided to adopt Ultraviolet (UV) irradiation for the removal of microorganisms. This multidisciplinary real world problem drove the team during the semester. The team surveyed and compared different methods for water cleansing and recycling, chose one approach and, then, designed, built and tested the prototype. In addition, the students also addressed marketing, sustainability as well as the ethic and deontological issues regarding the proposed solution while developing cross-cultural understanding, teamwork and communication skills. The project provided an excellent opportunity to foster the concept of sustainable development amongst students.

Abstract
Cognitive robots, able to adapt their actions based on sensory information and the management of uncertainty, have begun to find their way into manufacturing settings. However, the full potential of these robots has not been fully exploited, largely due to the lack of vertical integration with existing IT infrastructures, such as the manufacturing execution system (MES), as part of a large-scale cyber-physical entity. This paper reports on considerations and findings from the research project STAMINA that is developing such a cognitive cyber-physical system and applying it to a concrete and well-known use case from the automotive industry. Our approach allows manufacturing tasks to be performed without human intervention, even if the available description of the environment-the world model-suffers from large uncertainties. Thus, the robot becomes an integral part of the MES, resulting in a highly flexible overall system.

Abstract
A droop-Lyapunov based control technique using direct-quadrature (d-q) rotating frame dynamic model is presented in this paper for the frequency and voltage magnitude regulation of a stand-alone single-phase voltage-source inverter (SPVSI). Steady-state and dynamic performance of the controller are analyzed based on the d-q frame model and direct Lyapunov method respectively to satisfy control aims and system stability as operation criteria. To further clarify the operation area of the inverter, positive and negative maximum values for d-q components of inverter current are acquired by introducing a capability curve (CC) for entire operating condition. The performance of the proposed control technique is evaluated numerically in the MATLAB/Simulink environment. The simulation results validate the capability of the proposed control method in both steady-state and transient responses.

Abstract

Abstract
Peer-to-Peer networks are extensively used for largescale file sharing. As more information flows through these networks, people are becoming increasingly concerned about their privacy. Traditional P2P file sharing systems provide performance and scalability at the cost of requiring peers to publicly advertise what they download. Several P2P privacyenhancing systems have been proposed but they still require peers to advertise, either fully or partially, what they download. Lacking alternatives, users have adopted anonymity systems for P2P file sharing, misunderstanding the privacy guarantees provided by such systems, in particular when relaying traffic of insecure applications such as BitTorrent. Our goal is to prevent any malicious peer(s) from ascertaining users' content interests so that plausible deniability always applies. We propose a novel P2P file sharing model, Mistrustful P2P, that (1) supports file sharing over open and untrustworthy P2P networks, (2) requires no trust between users by avoiding the advertisement of what peers download or miss, and (3) still ensures deterministic protection of user's interests against attacks of size up to a configured privacy protection level. We hope that our model can pave the ground for a new generation of privacyenhancing systems that take advantage of the new possibilities it introduces. We validate Mistrustful P2P through simulation, and demonstrate its feasibility.

Abstract
Language designers usually need to implement parsers and printers. Despite being two intimately related programs, in practice they are often designed separately, and then need to be revised and kept consistent as the language evolves. It will be more convenient if the parser and printer can be unified and developed in one single program, with their consistency guaranteed automatically. Furthermore, in certain scenarios (like showing compiler optimisation results to the programmer), it is desirable to have a more powerful reflective printer that, when an abstract syntax tree corresponding to a piece of program text is modified, can reflect the modification to the program text while preserving layouts, comments, and syntactic sugar. To address these needs, we propose a domain-specific language BIYACC, whose programs denote both a parser and a reflective printer for an unambiguous context-free grammar. BIYACC is based on the theory of bidirectional transformations, which helps to guarantee by construction that the pairs of parsers and reflective printers generated by BIYACC are consistent. We show that BIYACC is capable of facilitating many tasks such as Pombrio and Krishnamurthi's "resugaring", simple refactoring, and language evolution.