Model-based user interface testing with Spec Explorer and ConcurTaskTrees

Analytic usability analysis methods have been proposed as an alternative to user testing in early phases of development due to the cost of the latter approach. By working with models of the systems, analytic models are not capable of identifying implementation related problems that might have an impact on usability. Model-based testing enables the testing of an implemented software artefact against a model of what it should be (the oracle). In the case of model-based user interface testing, the models should be expressed at an adequate level of abstraction, adequately modelling the interaction process. This paper describes an effort to develop tool support enabling the use of task models as oracles for model-based testing of user interfaces.FCT -Fuel Cell Technologies Program(POSC/EIA/56646/2004

Design considerations for application selection and control in multi-user public displays

Urban spaces are increasingly embedded with various types of public digital displays. Many of these displays can be subject to multi-user interactions and support a broad range of applications. A fundamental implication emerging from the interactive nature of those applications is that users should have access to appropriate selection and control techniques that would allow them to drive the way applications are shown and used in the respective environment. Such techniques should enable each user to reason and express intentions about the system behavior, while also dealing with concurrent requests from multiple users in a way that is fair and clear. In this study, we aim to inform the definition of novel techniques for application selection and control in pervasive display environments that can address the above challenges. Drawing inspiration from traditional GUI interaction concepts we developed and deployed a public display system that supports multiple applications and is able to receive explicit content presentation requests from multiple viewers. Based on the experiment observations and interviews with the participants, we reached a set of design considerations for future pervasive displays environments that are open to third party applications providers and allow the audience to influence content presentation.info:eu-repo/semantics/publishedVersio

Explanation-by-Example Based on Item Response Theory

Intelligent systems that use Machine Learning classification algorithms are increasingly common in everyday society. However, many systems use black-box models that do not have characteristics that allow for self-explanation of their predictions. This situation leads researchers in the field and society to the following question: How can I trust the prediction of a model I cannot understand? In this sense, XAI emerges as a field of AI that aims to create techniques capable of explaining the decisions of the classifier to the end-user. As a result, several techniques have emerged, such as Explanation-by-Example, which has a few initiatives consolidated by the community currently working with XAI. This research explores the Item Response Theory (IRT) as a tool to explaining the models and measuring the level of reliability of the Explanation-by-Example approach. To this end, four datasets with different levels of complexity were used, and the Random Forest model was used as a hypothesis test. From the test set, 83.8% of the errors are from instances in which the IRT points out the model as unreliable.Comment: 15 pages, 5 figures, 3 tables, submitted for the BRACIS'22 conferenc

Risk related to pre–diabetes mellitus and diabetes mellitus in heart failure with reduced ejection fraction: insights from prospective comparison of ARNI with ACEI to determine impact on global mortality and morbidity in heart failure trial

Background—The prevalence of pre–diabetes mellitus and its consequences in patients with heart failure and reduced ejection fraction are not known. We investigated these in the Prospective Comparison of ARNI With ACEI to Determine Impact on Global Mortality and Morbidity in Heart Failure (PARADIGM-HF) trial. Methods and Results—We examined clinical outcomes in 8399 patients with heart failure and reduced ejection fraction according to history of diabetes mellitus and glycemic status (baseline hemoglobin A1c [HbA1c]: <6.0% [<42 mmol/mol], 6.0%–6.4% [42–47 mmol/mol; pre–diabetes mellitus], and ≥6.5% [≥48 mmol/mol; diabetes mellitus]), in Cox regression models adjusted for known predictors of poor outcome. Patients with a history of diabetes mellitus (n=2907 [35%]) had a higher risk of the primary composite outcome of heart failure hospitalization or cardiovascular mortality compared with those without a history of diabetes mellitus: adjusted hazard ratio, 1.38; 95% confidence interval, 1.25 to 1.52;P<0.001. HbA1c measurement showed that an additional 1106 (13% of total) patients had undiagnosed diabetes mellitus and 2103 (25%) had pre–diabetes mellitus. The hazard ratio for patients with undiagnosed diabetes mellitus (HbA1c, >6.5%) and known diabetes mellitus compared with those with HbA1c<6.0% was 1.39 (1.17–1.64); P<0.001 and 1.64 (1.43–1.87); P<0.001, respectively. Patients with pre–diabetes mellitus were also at higher risk (hazard ratio, 1.27 [1.10–1.47];P<0.001) compared with those with HbA1c<6.0%. The benefit of LCZ696 (sacubitril/valsartan) compared with enalapril was consistent across the range of HbA1c in the trial. Conclusions—In patients with heart failure and reduced ejection fraction, dysglycemia is common and pre–diabetes mellitus is associated with a higher risk of adverse cardiovascular outcomes (compared with patients with no diabetes mellitus and HbA1c <6.0%). LCZ696 was beneficial compared with enalapril, irrespective of glycemic status

Magnetic field strength and orientation effects on Co-Fe discontinuous multilayers close to percolation

Magnetization and magnetoresistance in function of the magnitude and orientation of applied magnetic field were studied in Co-Fe discontinuous multilayers close to their structural percolation. The high pulsed magnetic fields up to 33 T were used in the 120–310 K temperature range. Comparison between longitudinal and transverse (with respect to the film plane) field configurations was made in the low-field and high-field regimes in order to clarify the nature of the measured negative magnetoresistance. Coexistence of two distinct magnetic fractions, superparamagnetic (SPM, consisting of small spherical Co-Fe granules) and superferromagnetic (SFM, by bigger Co-Fe clusters), was established in this system. These fractions were shown to have different relevance for the system magnetization and magnetotransport. While the magnetization is almost completely (up to ∼97%) defined by the SFM contribution and practically independent of temperature (in this range), the magnetoresistance experiences a crossover from a regime dominated by Langevin correlations (suppressed with temperature) between neighbor SPM and SFM moments at low fields, to that dominated by spin scattering (enhanced with temperature) of charge carriers within SFM clusters at high fields. Also, the demagnetizing effects, sensitive to the field orientation, were found to essentially define the low-field behavior and characteristic crossover field

pH-responsive phthalate cashew gum nanoparticles for improving drugs delivery and anti-Trypanosoma cruzi efficacy

Funding Information: The authors acknowledge Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco ( FACEPE ) for a scholarship. This study was supported by funding from the Spanish Group CTS-946 and project P18-RT-3786 . Publisher Copyright: © 2023 Elsevier B.V.Nanotechnology is a crucial technology in recent years has resulted in new and creative applications of nanomedicine. Polymeric nanoparticles have increasing demands in pharmaceutical applications and require high reproducibility, homogeneity, and control over their properties. Work explores the use of cashew phthalate gum (PCG) as a particle-forming polymer. PCG exhibited a pH-sensitive behavior due to the of acid groups on its chains, and control drug release. We report the development of nanoparticles carrying benznidazole. Formulations were characterized by DLS, encapsulation efficiency, drug loading, FTIR, pH-responsive behavior, release, and in vitro kinetics. Interaction between polymer and drug was an evaluated by molecular dynamics. Morphology was observed by SEM, and in vitro cytotoxicity by MTT assay. Trypanocidal effect for epimastigote and trypomastigote forms was also evaluated. NPs responded to the slightly basic pH, triggering the release of BNZ. In acidic medium, they presented small size, spherical shape, and good stability. It was indicated NP with enhanced biological activity, reduced cytotoxicity, high anti T. cruzi performance, and pH-sensitive release. This work investigated properties related to the development and enhancement of nanoparticles. PCG has specific physicochemical properties that make it a promising alternative to drug delivery, however, there are still challenges to be overcome.publishersversionpublishe