2019
Authors
Lima, B;
Publication
2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019)
Abstract
In a growing number of domains, such as IoT for e-health and smart cities, the provisioning of end-to-end services to the users depends on the proper interoperation of multiple systems, forming a new distributed system, often subject to timing constraints. To ensure interoperability and integrity, it is important to conduct integration tests that verify the interactions with the environment and between the system components in key scenarios. To solve the test automation challenges, we propose algorithms for decentralized conformance checking and test input generation, and for checking and enforcing the conditions (local observability and controllability) that allow decentralized test execution. With this, we expect to improve the fault detection and localization capabilities and reduce the communication overhead comparatively to other model-based testing approaches. Our approach will be validated using real case studies from industrial partners.
2019
Authors
Nascimento, M; Novais, S; Ding, MS; Ferreira, MS; Koch, S; Passerini, S; Pinto, JL;
Publication
JOURNAL OF POWER SOURCES
Abstract
Strain and temperature are critical parameters to monitor in Li-ion batteries (LIBs) to improve their safety and long-term cycling stability. High local current densities can result in a massive heat release, decomposition of the electrolyte, gas evolution and even explosion of the battery cell, known as thermal runaway. However, the corrosive chemical environment in the batteries is a challenge to monitor strain and temperature. Optical fiber sensors, due to their high chemical stability and small diameter, can be embedded within the LIBs, thus becoming an interesting solution for operando and in situ measurements. In this work, a hybrid sensing network constituted by fiber Bragg gratings and Fabry-Perot cavities is proposed for the discrimination of strain and temperature. The proof-of-concept was performed by attaching the sensing network to the surface of a smart phone battery. Afterwards, it was embedded in a Li-ion pouch cell to monitor and simultaneously discriminate internal strain and temperature variations in three different locations. Higher thermal and strain variations are observed in the middle position. The methodology presented proves to be a feasible and non-invasive solution for internal, real-time, multipoint and operando temperature and strain monitoring of LIBs, which is crucial for their safety.
2019
Authors
Mesquita, IA; Vieira Pinheiro, ARV; Paiva Velhote Correia, MFPV; Costa da Silva, CIC;
Publication
TOPICS IN STROKE REHABILITATION
Abstract
Background and Purpose: The purpose of this study was to review the methods used to analyze the kinematics of upper limbs (ULs) of healthy and poststroke adults, namely specificities of sampling and motor tasks. Summary of review: A database of articles published in the last decade was compiled using the following search terms combinations: ("upper extremity" OR "upper limb" OR arm) AND (kinematics OR motion OR movement) AND (analysis OR assessment OR measurement). The articles included in this review (1) had the purpose to analyze objectively a three-dimension kinematics of ULs, (2) studied functional movements or activities of daily living (ADL) involving uppers limbs, and (3) studied healthy and/or poststroke adults. Fourteen articles were included (four studied a healthy sample, three analyzed poststroke patients, and seven examined both poststroke and healthy participants). Conclusion: Most of the recommended demographic and stroke information, such as some preexisting conditions to stroke, initial stroke severity, and stroke location, were not collected by all or most of the articles. Time poststroke onset was presented in all articles but showed great variability. Few articles identified anthropometric characteristics and adjusted task environment to them. Most of the samples were composed mainly by males and had a low mean age, which does not represent poststroke population. Most articles analyzed "functional movements", namely simulations of ADL. Implication of key findings: Future research should identify the recommended information to allow an adequate stratification. Acute phase after stroke, real ADL with different complexities, and ipsilesional UL should be studied.
2019
Authors
Jorge, AM; Campos, R; Jatowt, A; Bhatia, S;
Publication
SIGIR Forum
Abstract
Building upon the success of the first edition, we organize the second edition of the Text2Story Workshop on Narrative Extraction from Texts in conjunction with the 41 st European Conference on Information Retrieval (ECIR 2019) on April 14, 2019. Our objective is to further consolidate the efforts of the community and reflect upon the progress made since the last edition. Although the understanding of natural language has improved over the last couple of years – with research works emerging on the grounds of information extraction and text mining – the problem of constructing consistent narrative structures is yet to be solved. It is expected that the state-of-the-art has been advancing in pursuit of methods that automatically identify, interpret and relate the different elements of narratives which are often spread among different sources. In the second edition of the workshop, we foster the discussion of recent advances in the link between Information Retrieval (IR) and formal narrative representations from text. © Springer Nature Switzerland AG 2019.
2019
Authors
Rocha, T; Reis, A; Paredes, H; Barroso, J;
Publication
2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
Abstract
In this article we present a game interface, using audio input and output, aiming to provide the concept of interactive narrative to users with visual or motor disability. The solution lets users choose the direction of the story, triggering several alternate endings and thus creating a dynamic and creative narrative. The application development process is described here from the design, implementation and evaluation. In the evaluation phase, we performed user tests with five participants with visual and motor disability. Thus, we record three metrics: effectiveness, success of the task (reaching one of the possible endings); efficiency, time needed to complete the story; and satisfaction, comfort and wellbeing of the user during the interaction. The result was positive, all participants successfully completed the application, and there were no withdrawals. Four in five wanted to repeat the experience and try to reach another end of the story.
2019
Authors
Vieira, NG; Delgado, C; Moreira, JA;
Publication
BUSINESS MANAGEMENT THEORIES AND PRACTICES IN A DYNAMIC COMPETITIVE ENVIRONMENT
Abstract
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.