Abstract
Objectives To determine the prevalence of atrial fibrillation (AF) and to assess how these patients are being cared for: what anticoagulants are being prescribed and are they being prescribed as recommended? Design Retrospective longitudinal study. Setting This study was conducted in the Regional Health Administration of Northern Portugal. Participants This study used a database that included 63526 patients with code K78 of the International Classification of Primary Care between January 2016 and December 2018. Results The prevalence of AF among adults over 40 years in the northern region of Portugal was 2.3% in 2016, 2.8% in 2017 and 3% in 2018. From a total of 63 526 patients, 95.8% had an indication to receive anticoagulation therapy. Of these, 44 326 (72.9%) are being treated with anticoagulants: 17 936 (40.5%) were prescribed vitamin K antagonists (VKAs) and 26 390 (59.5%) were prescribed non-VKA anticoagulants. On the other hand, 2688 patients of the total (4.2%) had no indication to receive anticoagulation therapy. Of these 2688 patients, 1100 (40.9%) were receiving anticoagulants. Conclusions The prevalence of AF is 3%. Here, we report evidence of both undertreatment and overtreatment. Although having an indication, a considerable proportion of patients (27.1%) are not anticoagulated, and among patients with AF without an indication to receive anticoagulation therapy, a considerable proportion (40.9%) are receiving anticoagulants. The AF-React study brings extremely relevant conclusions to Portugal and follows real-world studies in patients with AF in Europe, presenting some data not yet studied.

Abstract
Gait disabilities empowered intensive research on the field of human-robot interaction to promote effective gait rehabilitation. Assist-as-needed strategies are becoming prominent, appealing to the users' participation in their rehabilitation therapy. This study proposes and assesses the biomechanical effects of an adaptive impedance control strategy that innovatively allows adaptability in interaction-based stiffness and gait trajectory towards a fully assist-as-needed therapy. By modulating the interaction-based stiffness per gait phase, we hypothesize that the strategy appeals to a symbiotic human-orthotic cooperation, augmenting the user's muscular activity. The interaction stiffness was estimated by modelling the human-orthosis interaction torque vs angle curve with a linear regression model. The strategy also allows for real-time trajectory adaptations at different gait phases to fulfil the users' needs. The biomechanical assessment of the impedance-controlled ankle orthosis involved eight healthy volunteers walking at 1.0 and 1.6 km/h. The results revealed a stronger muscular activation regarding the non-assisted leg for the gastrocnemius lateralis (increment ratio >= 1.0 for both gait speeds) and for the tibialis anterior muscle (increment ratio >= 1.0 for 1.6 km/h). The strategy guided users successfully on a healthy gait pattern while allowing deviations (median error < 5.0 degrees) given the users' intention weighted by interaction stiffness. Findings showed the relevance for adapting gait trajectory as users prefer higher trajectories as the speed increases. No significant temporal variations or neither knee angular compensations were observed (p value >= 0.11). Overall results support that this strategy may be applied for intensity-adapted gait training, allowing different human-robot compliant levels.

Abstract

Abstract
This editorial introduces the special issue of Interacting with Computer on Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. This special issue was proposed to gather the best contributions from a series of workshops organized alongside conferences such as FM'19 (3rd World Congress on Formal Methods) and EICS'19 (11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems). It also encompasses papers submitted directly to this special issue.

Abstract

Abstract
In recent years, autonomous underwater vehicles (AUVs) have gained prominence in the most varied fields of application of underwater missions. The most common solution for recharging their batteries still implies removing them from the water, which is exceptionally costly. The use of Inductive Power Transfer (IPT) technologies allows to mitigate the associated costs and to extend the vehicles' operation time. In consequence, a prototype has been developed, whose objective is to integrate commercially available IPT technologies, while allowing the employment by most of the AUVs. The prototype is a funnel structure and its counterpart aimed to be fixed to a docking station and the AUV respectively. When coupled, it enables the batteries to recharge by electromagnetic induction. Energy transmission has been tested, resulting in encouraging results. This particular solution achieved over 90% efficiency during underwater experiments. The next objective will be to develop a commercial version of the prototype, that allows a direct, practical and effective use of wireless charging technologies within this particular scenario.