Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2017

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

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

Publication
The Handbook of Formal Methods in Human-Computer Interaction.

Abstract

2017

Gamification badges and ratings: impact in a academic social network

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

Publication
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

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

Publication
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

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

Publication
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.

2017

GReSBAS project: A gamified approach to promote more energy efficient behaviours in buildings

Authors
Barbosa, A; Iria, J; Cassola, F; Coelho, A; Portela, J; Kucuk, U; Madureira, AG; Zehir, MA; Ozdemir, A; Soares, FJ;

Publication
2017 10TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO)

Abstract
The GReSBAS project (2016-2019) aims to enable the active participation of buildings in DR programs through gamified competition between building owners. In case of large buildings, gamified competition can be established within the building for its occupants, for instance having different floors of the building competing between them. This approach will allow building owners to reduce electricity costs and increase energy efficiency by motivating/rewarding building occupants for participating in DR programs. The concepts and tools developed under GReSBAS will be tested in two demonstration sites: a corporate building in Portugal and a residential building in Turkey. This paper presents the Portuguese demonstration site and describes how the energy consumption, temperature and building occupancy data will be collected, processed and used by the tools developed in GReSBAS.

2017

Evolvix BEST Names for semantic reproducibility across code2brain interfaces

Authors
Loewe, L; Scheuer, KS; Keel, SA; Vyas, V; Liblit, B; Hanlon, B; Ferris, MC; Yin, J; Dutra, I; Pietsch, A; Javid, CG; Moog, CL; Meyer, J; Dresel, J; McLoone, B; Loberger, S; Movaghar, A; Gilchrist Scott, M; Sabri, Y; Sescleifer, D; Pereda Zorrilla, I; Zietlow, A; Smith, R; Pietenpol, S; Goldfinger, J; Atzen, SL; Freiberg, E; Waters, NP; Nusbaum, C; Nolan, E; Hotz, A; Kliman, RM; Mentewab, A; Fregien, N; Loewe, M;

Publication
ANNALS OF THE NEW YORK ACADEMY OF SCIENCES

Abstract
Names in programming are vital for understanding the meaning of code and big data. We define code2brain (C2B) interfaces as maps in compilers and brains between meaning and naming syntax, which help to understand executable code. While working toward an Evolvix syntax for general-purpose programming that makes accurate modeling easy for biologists, we observed how names affect C2B quality. To protect learning and coding investments, C2B interfaces require long-term backward compatibility and semantic reproducibility (accurate reproduction of computational meaning fromcoder-brains to reader-brains by code alone). Semantic reproducibility is often assumed until confusing synonyms degrade modeling in biology to deciphering exercises. We highlight empirical naming priorities from diverse individuals and roles of names in different modes of computing to show how naming easily becomes impossibly difficult. We present the Evolvix BEST (Brief, Explicit, Summarizing, Technical) Names concept for reducing naming priority conflicts, test it on a real challenge by naming subfolders for the Project Organization Stabilizing Tool system, and provide naming questionnaires designed to facilitate C2B debugging by improving names used as keywords in a stabilizing programming language. Our experiences inspired us to develop Evolvix using a flipped programming language design approach with some unexpected features and BEST Names at its core.

  • 1840
  • 4141