Abstract
The objective of the project presented in this paper is to stimulate and evaluate the executive function in Parkinson's patients. This project is being developed in partnership with the Coimbra Hospital and Universitary Centre and the private social solidarity institution CASPAE. It aims to answer specific needs identified in the neurology service during the medical appointments. A common test to assess executive function is the Trail Making Test (TMT). This test is done on paper during the medical appointments for the diagnosis and follow-up of patients with the executive function diminished, such as Parkinson's disease patients. The way the TMT is done poses some problems that led to the development of an application for smartphones and tablets, with Android OS. This application has two operating modes: "Appointment", and "Train". The "Appointment Mode" makes the realization, reading, and the organization of the tests results easier. The "Train Mode" allows that patients improve their executive function performing tests that are randomly generated on your own smartphone.

Abstract
Over the years the energy needs have increased dramatically and we have become aware that our needs were and are having implications on the environment in which we live. Increasingly people are aware to saving electricity by turning off the equipment that is not been used, or connect electrical loads just outside the on-peak hours. However, these few efforts are not enough to reduce the global energy consumption, which is increasing. Regarding the field of optimization, researchers throughout the world have been making an effort in introducing better control schemes, both in industry and domestic sectors, for all types of loads from small lamps to large motors. Much of the reduction was due to mechanical improvements; however, with the advancing of the years' new types of control arise. All these factors provide a motive in this paper for introducing a new consumption reduction method in some residential loads via the implementation of Model Predictive Control ( MPC). A single cost function is required to set the reference output near the goal, and consequently through the variation of this cost function by changing the weights, thus specific control actions have priority over the remaining actions. Therefore, it is possible to have different goals during the day, determining the possible savings for each appliance that can be made during on-peak, mid-peak, off-peak and by providing simulations upon 24 hours in the household.

Abstract

Abstract
This paper presents an overview and main features of Enki, a web-based learning environment for computer science languages. Enki was designed to be a sort of entry level IDE, aggregating tools for navigating and viewing course materials, for solving exercises and receiving automated feedback, as well as promoting the learning process. Enki uses services from several other systems, namely for content sequencing and recommendation, exercise assessment, and gamification.

Abstract
Knowledge builds on itself. Scientific progress is achieved through piecewise advances, and is based on the enlightenment of prior evidence and discoveries. Accessing prior information has been a tremendously complex venture for centuries, and restricted to the privileged few. Technological progress and namely, the advent of Internet have opened a world of possibilities, including the instant sharing and diffusion of information. Reaping the full benefits of technological advances has however been prevented by the prerogatives of the publishing industry, which have been increasingly challenged over the last two decades. Major historical milestones include the creation of ArXiv.org, an online repository of electronic preprints in 1991; the launch of SciELO in Brazil in 1997 and its extension to 14 countries; the foundation of PLOS by the Public Library of Science, established as an alternative to traditional publishing and nowadays known as PLOS ONE, which is by far the world’s largest series of journals with over 30,000 papers published in 2015; the Budapest Declaration on Open Access in 2002; the campaign Access2Research and the US Fair Access to Science and Technology Research Act, a foundational piece in the establishment of Open Access in the USA; and the initiative of the European Commission to require all research publications funded under Horizon2020 to be openly accessible, free of charge.  All these initiatives converged towards the same aim: fostering free and unrestricted access to publications, so as to ensure the widespread and rapid diffusion of research findings within, across and outside scientific communities. (...)

Abstract
Interactions between internet users are mediated by their devices and the common support infrastructure in data centres. Keeping track of causality amongst actions that take place in this distributed system is key to provide a seamless interaction where effects follow causes. Tracking causality in large scale interactions is difficult due to the cost of keeping large quantities of metadata; even more challenging when dealing with resource-limited devices. In this paper, we focus on keeping partial knowledge on causality and address deduction from that knowledge. We provide the first proof-theoretic causality modelling for distributed partial knowledge. We prove computability and consistency results. We also prove that the partial knowledge gives rise to a weaker model than classical causality. We provide rules for offline deduction about causality and refute some related folklore. We define two notions of forward and backward bisimilarity between devices, using which we prove two important results. Namely, no matter the order of addition/ removal, two devices deduce similarly about causality so long as: (1) the same causal information is fed to both. (2) they start bisimilar and erase the same causal information. Thanks to our establishment of forward and backward bisimilarity, respectively, proofs of the latter two results work by simple induction on length.