Abstract
We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source - even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland' 13), ADSNARK achieves up to 25x improvement in proof-computation time and a 20x reduction in prover storage space.

Abstract

Abstract
The project addresses the urgent 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. In the near term, the project is helping Portuguese schools and students meet state wide academic standards. Over the long term, the project will help inspire and prepare a new generation of IT professionals. This paper presents the robotics model of the Micromouse Project, how it works, how it is implemented, and its results. The Micromouse Project includes, in addition to the annual competition, the development of a kit, workshops for students and their teachers, and dissemination activities. The project was started in 2011 and all the preliminary phases are concluded. First results show that there is great interest and participation of all stakeholders. It was necessary to add to the project a graphical language (Blockly, Scratch, etc.) in order to facilitate and stimulate the participation of younger students.

Abstract
The goal of this paper is to present the development of a game aimed at making the process of learning sign language enjoyable and interactive, using the VirtualSign Translator. This game aims to make the process of learning sign language easier and enjoyable. In the game the player can control an avatar and interact with several objects and Non-player characters in order to obtain signs. Through the connection with VirtualSign Translator the data gloves and Kinect support this interaction and the gestures can then be represented by the character. This allows for the user to visualize and learn or train the various existing configurations of gestures. To improve the interactivity and to make the game more interesting and motivating, several checkpoints were placed along game levels. The game has as an inventory system where the signs are kept and can be checked allowing for the user to visualize and learn or train the various existing configurations of gestures. A High Scores system was also created, as well as a History option, to ensure that the game is a continuous and motivating learning process.

Abstract
This work presents a recommender system of economic news articles. Its objectives are threefold: (i) managing the vocabulary of the economic news domain to improve the system based on the seamlessly intervention of the documentalist (ii) automatically multi-classify the economic new articles and users profiles based on the domain vocabulary, and (iii) recommend the articles by comparing the multiclassification of the articles and profiles of the users. While several solutions exist to recommend news, multi-classify document and compare representations of items and profiles. They are not automatically adaptable to provide a mutual answer to previous points. Even more, existing approaches lacks substantial correlation with the human and in particular with the documentalist perspective. © Springer International Publishing Switzerland 2015.

Abstract
Portuguese teacher placements' system is a centralized system managed by the Portuguese government, specifically by the Ministry of Education and Science. It is a system with some issues and, therefore, has been criticized by its stakeholders, mainly by teachers. This paper aims to do a systematic review and a meta-analysis of the Portuguese teacher placements' system. An objective is to understand and describe how this system works in European Union countries. Another objective is to interview school leaders to find solutions for teacher placements' system. Finally, from solutions from European Union countries and from solutions arising from schools' leaders, a set of requirements is identified that the teacher placements' system should take into account, in order to avoid the issues identified.