Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2017

Tabula: A Language to Model Spreadsheet Tables

Autores
Mendes, J; Saraiva, J;

Publicação
CoRR

Abstract

2017

Experience with entrepreneurship learning using serious games

Autores
Almeida, FL;

Publicação
Cypriot Journal of Educational Sciences

Abstract
Abstract   The teaching of entrepreneurship is currently a fundamental pillar in the construction of social responsibility with strong impact on the future economic development of society. The use of serious games in the entrepreneurship field is a way of encouraging students' motivation to become entrepreneurs and develop their skills in the field. In this paper, we describe the experience of using a serious game in the entrepreneurship field in the context of the classroom. For that, we adopt a quantitative research technique based on a survey research to measure the different characteristics experienced by higher education students when using serious games in the classroom to learn entrepreneurship. The students have multidisciplinary competences, coming from courses with strong emphasis in the area of management and technology. The use of the serious game allowed students to develop skills mainly in terms of innovation, leadership, strategic thinking, problem solving, business launch and risk management. On the other side, there were no significant benefits in terms of accounting skills, compliance with regulations, interpersonal, communication, and self-control and discipline. Keywords: entrepreneurship, serious games, higher education, game based learning, gamification.

2017

Diagnostic and laboratory test ordering in Northern Portuguese Primary Health Care: a cross-sectional study

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

Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, Code Transformations and Compilation

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

Composing Families of Timed Automata

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

A Hybrid Approach for Personalized News Recommendation in a Mobility Scenario Using Long-Short User Interest

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.

  • 1995
  • 4205