Abstract

Abstract
Research data management is rapidly becoming a regular concern for researchers, and institutions need to provide them with platforms to support data organization and preparation for publication. Some institutions have adopted institutional repositories as the basis for data deposit, whereas others are experimenting with richer environments for data description, in spite of the diversity of existing workflows. This paper is a synthetic overview of current platforms that can be used for data management purposes. Adopting a pragmatic view on data management, the paper focuses on solutions that can be adopted in the long tail of science, where investments in tools and manpower are modest. First, a broad set of data management platforms is presented-some designed for institutional repositories and digital libraries-to select a short list of the more promising ones for data management. These platforms are compared considering their architecture, support for metadata, existing programming interfaces, as well as their search mechanisms and community acceptance. In this process, the stakeholders' requirements are also taken into account. The results show that there is still plenty of room for improvement, mainly regarding the specificity of data description in different domains, as well as the potential for integration of the data management platforms with existing research management tools. Nevertheless, depending on the context, some platforms can meet all or part of the stakeholders' requirements.

Abstract

Abstract
In continental Portugal, the publicly financed supply of gastroenterology exams was limited since the end of the last century, restricted to a fixed set of private providers that was hired by the Portuguese state. This way of contracting created market entry barriers and is inefficient, since prices are administratively set. Besides, it produced access inequalities, because of the way that the supply was geographically distributed. This paper applies the Extended Kernel Density 4-Step Floating Catchment Area (EKD4SFCA) method to identify priority districts for the promotion of new supply by the state, in order to choose the appropriate way of contracting new private supply, as determined by current law, and to reduce access inequalities. The applied method enables the identification of the Portuguese regions with strong competition between health care providers and where patients’ access to publicly financed gastroenterology exams is relatively low. In these regions, the state should promote public bids to stimulate new supply, exploring thereby the potential for setting lower prices and reducing access inequalities.

Abstract
Several methods have been proposed for performing schedulability analysis for both uni-processor and multi-processor real-time systems. Very few of these works use the power of formal logic to write unambiguous specifications and to allow the usage of theorem provers for building the proofs of interest with greater correctness guarantees. In this paper we address this challenge by: 1) defining a formal language that allows to specify periodic resource models; 2) describe a transformational approach to reasoning about timing properties of resource models by transforming the latter specifications into a satisfiability modulo theories problem.

Abstract
In this work it is presented a system to help the users to maintain an active lifestyle. Our main objective is to evaluate the current mobile technologies for the development of systems to monitor the users' health and to promote a healthy lifestyle. It was developed a full system, including: an application for smartwatch; an application for smartphone; a back-end with a webservice in PHP. The application provides the functionalities to acquire the user's: heart rate; location, based on the GPS position; the number of steps; the position's elevation; etc. The back-end is used to register the data acquired and processed by the applications. The design was user centric and the development methodology was based on the agile paradigm, for which are described three development iterations.