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

Preface

Autores
Rocha, Á; Correia, AM; Adeli, H; Reis, LP; Costanzo, S;

Publicação
Advances in Intelligent Systems and Computing

Abstract

2017

Smart City: A GECAD-BISITE Energy Management Case Study

Autores
Canizes, B; Pinto, T; Soares, JP; Vale, ZA; Chamoso, P; Santos, D;

Publicação
Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions.

Abstract

2017

The Specification and Analysis of Use Properties of a Nuclear Control System

Autores
Harrison, MD; Masci, PM; Campos, JC; Curzon, P;

Publicação
The Handbook of Formal Methods in Human-Computer Interaction.

Abstract

2017

Gamification badges and ratings: impact in a academic social network

Autores
Saraiva, Fernando; Morgado, Lina; Rocio, Vitor;

Publicação
1st Workshop on Gamification and Games for Learning (GamiLearn’17)

Abstract
The article describes the Impact of using Gamification Elements like Badges, Status Bar and a Rating System on the Interaction, Collaboration, Cooperation and the Presences of the Community of Inquiry Framework, inside an Academic Social Platform. We used a Design Base Research Methodology with Mixed Methods. We started by collecting opinions of users using semistructured interviews. The results from coding, informed on the construction of a gamified prototype, made with Elgg. Then Usability tests were conducted and the data helped refine the subsequent implementation. A Survey was deployed, Observations were made, and we gathered some Analytics. Results are presented congruent to the iterations and discussed. Some indications for the use of Badges and the implementation of Gamification are considered.

2017

Tuberculosis in children from diagnosis to decision to treat

Autores
Ramos, S; Gaio, R; Ferreira, F; Paulo Leal, JP; Martins, S; Vasco Santos, JV; Carvalho, I; Duarte, R;

Publicação
REVISTA PORTUGUESA DE PNEUMOLOGIA

Abstract
Setting: Confirmation of tuberculosis (TB) in children is difficult, so clinicians use different procedures when deciding to treat. Objective: Identify criteria to initiate and maintain TB treatment in children younger than 5 years-old, without diagnosis confirmation. Design: A web-based survey was distributed by email to the corresponding authors of journal articles on childhood TB. The observations were clustered into disjoint groups, and analyzed by Ward's method. Results: We sent out 260 questionnaires and received 64 (24.6%) responses. Forty-six respondents (71.9%) said that microbiological confirmation was not important for initiation of anti-TB treatment, and that the epidemiological context and signs/symptoms suggestive of disease were most important. Sixty-one respondents (95.3%) said that the decision to continue therapy was mainly dependent on clinical improvement. A cluster of older respondents (median age: 52 years-old) who were active at a hospital or primary health care centre placed the most value on immunological test results and chest X-rays. A cluster of younger respondents (median age: 38 years-old) who were less experienced in management of TB placed more value on Interferon Gamma Release Assay (IGRA) results and chest computed tomography (CT) scans. A cluster of respondents with more experience in treating TB and working at specialized TB centres placed greater value on the clinical results and specific radiological alterations ("tree-in-bud" pattern and pleural effusion). Conclusion: TB management varied according to the age, work location and experience of the clinicians. It is necessary to establish standardized guidelines used for the diagnosis and decision to treat TB in children. (C) 2017 Sociedade Portuguesa de Pneumologia. Published by Elsevier Espana, S.L.U.

2017

New Multistage and Stochastic Mathematical Model for Maximizing RES Hosting Capacity-Part I: Problem Formulation

Autores
Santos, SF; Fitiwi, DZ; Shafie Khah, M; Bizuayehu, AW; Cabrita, CMP; Catalao, JPS;

Publicação
IEEE TRANSACTIONS ON SUSTAINABLE ENERGY

Abstract
This two-part work presents a new multistage and stochastic mathematical model, developed to support the decision-making process of planning distribution network systems (DNS) for integrating large-scale "clean" energy sources. Part I is devoted to the theoretical aspects and mathematical formulations in a comprehensive manner. The proposed model, formulated from the system operator's viewpoint, determines the optimal sizing, timing, and placement of distributed energy technologies (particularly, renewables) in coordination with energy storage systems and reactive power sources. The ultimate goal of this optimization work is to maximize the size of renewable power absorbed by the system, while maintaining the required/standard levels of power quality and system stability at a minimum possible cost. From the methodological perspective, the entire problem is formulated as a mixed integer linear programming optimization, allowing one to obtain an exact solution within a finite simulation time. Moreover, it employs a linearized ac network model which captures the inherent characteristics of electric networks and balances well accuracy with computational burden. The IEEE 41-bus radial DNS is used to test validity and efficiency of the proposed model, and carry out the required analysis from the standpoint of the objectives set. Numerical results are presented and discussed in Part II of this paper to unequivocally demonstrate the merits of the model.

  • 1998
  • 4312