2017
Autores
Mendes, J; Saraiva, J;
Publicação
CoRR
Abstract
2017
Autores
Almeida, FL;
Publicação
Cypriot Journal of Educational Sciences
Abstract
2017
Autores
Sa, L; Costa Teixeira, ASC; Tavares, F; Costa Santos, C; Couto, L; Costa Pereira, A; Hespanhol, AP; Santos, P; Martins, C;
Publicação
BMJ OPEN
Abstract
Objectives To characterise the test ordering pattern in Northern Portugal and to investigate the influence of context-related factors, analysing the test ordered at the level of geographical groups of family physicians and at the level of different healthcare organisations. Design Cross-sectional study. Setting Northern Primary Health Care, Portugal. Participants Records about diagnostic and laboratory tests ordered from 2035 family physicians working at the Northern Regional Health Administration, who served approximately 3.5 million Portuguese patients, in 2014. Outcomes To determine the 20 most ordered diagnostic and laboratory tests in the Northern Regional Health Administration; to identify the presence and extent of variations in the 20 most ordered diagnostic and laboratory tests between the Groups of Primary Care Centres and between health units; and to study factors that may explain these variations. Results The 20 most ordered diagnostic and laboratory tests almost entirely comprise laboratory tests and account for 70.9% of the total tests requested. We can trace a major pattern of test ordering for haemogram, glucose, lipid profile, creatinine and urinalysis. There was a significant difference (P<0.001) in test orders for all tests between Groups of Primary Care Centres and for all tests, except glycated haemoglobin (P=0.06), between health units. Generally, the Personalised Healthcare Units ordered more than Family Health Units. Conclusions The results from this study show that the most commonly ordered tests in Portugal are laboratory tests, that there is a tendency for overtesting and that there is a large variability in diagnostic and laboratory test ordering in different geographical and organisational Portuguese primary care practices, suggesting that there may be considerable potential for the rationalisation of test ordering. The existence of Family Health Units seems to be a strong determinant in decreasing test ordering by Portuguese family physicians. Approaches to ensuring more rational testing are needed.
2017
Autores
Cardoso, JMP; Coutinho, JGF; Diniz, PC;
Publicação
Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, Code Transformations and Compilation
Abstract
Embedded Computing for High Performance: Design Exploration and Customization Using High-level Compilation and Synthesis Tools provides a set of real-life example implementations that migrate traditional desktop systems to embedded systems. Working with popular hardware, including Xilinx and ARM, the book offers a comprehensive description of techniques for mapping computations expressed in programming languages such as C or MATLAB to high-performance embedded architectures consisting of multiple CPUs, GPUs, and reconfigurable hardware (FPGAs). The authors demonstrate a domain-specific language (LARA) that facilitates retargeting to multiple computing systems using the same source code. In this way, users can decouple original application code from transformed code and enhance productivity and program portability. After reading this book, engineers will understand the processes, methodologies, and best practices needed for the development of applications for high-performance embedded computing systems. Focuses on maximizing performance while managing energy consumption in embedded systems Explains how to retarget code for heterogeneous systems with GPUs and FPGAs Demonstrates a domain-specific language that facilitates migrating and retargeting existing applications to modern systems Includes downloadable slides, tools, and tutorials.
2017
Autores
Cledou, G; Proenca, J; Barbosa, LS;
Publicação
FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017
Abstract
Featured Timed Automata (FTA) is a formalism that enables the verification of an entire Software Product Line (SPL), by capturing its behavior in a single model instead of product-by-product. However, it disregards compositional aspects inherent to SPL development. This paper introduces Interface FTA (IFTA), which extends FTA with variable interfaces that restrict the way automata can be composed, and with support for transitions with atomic multiple actions, simplifying the design. To support modular composition, a set of Reo connectors are modelled as IFTA. This separation of concerns increases reusability of functionality across products, and simplifies modelling, maintainability, and extension of SPLs. We show how IFTA can be easily translated into FTA and into networks of Timed Automata supported by UPPAAL. We illustrate this with a case study from the electronic government domain.
2017
Autores
Viana, P; Soares, M;
Publicação
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS
Abstract
Access to information has been made easier in different domains that range from multimedia content, books, music, news, etc. To deal with the huge amount of alternatives, recommendation systems have been often used as a solution to filter the options and provide suggestions of items that might be of interest to an user. The news domain introduces additional challenges due not only to the large amount of new items produced daily but also due to their ephemeral timelife. In this paper, a news recommendation system which combines content-based and georeferenced techniques in a mobility scenario, is proposed. Taking into account the volatility of the information, short-term and long-term user profiles are considered and implicitly built. Besides tracking users' clicks, the system infers different levels of interest an article has by tracking and weighting each action in the system and in social networks. Impact of the different fields that make up a news is also taken into account by following the inverted pyramid model that assumes different levels of importance to each paragraph of the article. The solution was tested with a population of volunteers and results indicate that the quality of the recommendation approach is acknowledged by the users.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.