2017
Authors
Harrison, MD; Masci, PM; Campos, JC; Curzon, P;
Publication
The Handbook of Formal Methods in Human-Computer Interaction.
Abstract
2017
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
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
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
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
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.
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.