Abstract
A strategy for the detection of H2O2 as a milk adulterant using a single shot membrane sensor, is presented. Direct quantitative evaluation of H2O2 in raw, skimmed, semi-skimmed and whole milk was carried out based on a chemiluminescence reaction with luminol. For H2O2 water solutions a linear response was attained from 0.0001% to 0.007 %w/w, with a limit of detection of 3x10(-5) %w/w. A coefficient of determination, R-2, greater than 0.97 was achieved, with a relative standard deviation (RSD) not exceeding 10%. In the analyzed milk samples, the lowest H2O2 concentration detected was 0.001% w/w for raw and for skim milk and 0.002%w/w for, semi-skimmed and whole milk. The presented method is original, sensitive, rapid, and cost-effective. Due to the achieved sensitivity the method has great potential to be used for H2O2 detection in diverse areas, such as environmental monitoring and food quality.

Abstract
Lung diseases affect the lives of billions of people worldwide, and 4 million people, each year, die prematurely due to this condition. These pathologies are characterized by specific imagiological findings in CT scans. The traditional Computer-Aided Diagnosis (CAD) approaches have been showing promising results to help clinicians; however, CADs normally consider a small part of the medical image for analysis, excluding possible relevant information for clinical evaluation. Multiple Instance Learning (MIL) approach takes into consideration different small pieces that are relevant for the final classification and creates a comprehensive analysis of pathophysiological changes. This study uses MIL-based approaches to identify the presence of lung pathophysiological findings in CT scans for the characterization of lung disease development. This work was focus on the detection of the following: Fibrosis, Emphysema, Satellite Nodules in Primary Lesion Lobe, Nodules in Contralateral Lung and Ground Glass, being Fibrosis and Emphysema the ones with more outstanding results, reaching an Area Under the Curve (AUC) of 0.89 and 0.72, respectively. Additionally, the MIL-based approach was used for EGFR mutation status prediction - the most relevant oncogene on lung cancer, with an AUC of 0.69. The results showed that this comprehensive approach can be a useful tool for lung pathophysiological characterization.

Abstract
Objective: This study aimed to identify health behaviours that determine adolescent's adherence to the Mediterranean diet (MD) through a decision tree statistical approach. Design: Cross-sectional study, with data collected through a self-fulfilment questionnaire with five sections: (1) eating habits; (2) adherence to the MD (KIDMED index); (3) physical activity; (4) health habits and (5) socio-demographic characteristics. Anthropometric and blood pressure data were collected by a trained research team. The Automatic Chi-square Interaction Detection (CHAID) method was used to identify health behaviours that contribute to a better adherence to the MD. Setting: Eight public secondary schools, in Algarve, Portugal. Participants: Adolescents with ages between 15 and 19 years (n 325). Results: According to the KIDMED index, we found a low adherence to MD in 9 center dot 0 % of the participants, an intermediate adherence in 45 center dot 5 % and a high adherence in 45 center dot 5 %. Participants that regularly have breakfast, eat vegetable soup, have a second piece of fruit/d, eat fresh or cooked vegetables 1 or more times a day, eat oleaginous fruits at least 2 to 3 times a week, and practice sports and leisure physical activities outside school show higher adherence to the MD (P < 0 center dot 001). Conclusions: The daily intake of two pieces of fruit and vegetables proved to be a determinant health behaviour for high adherence to MD. Strategies to promote the intake of these foods among adolescents must be developed and implemented.

Abstract
Abstract The increasing popularity of attention mechanisms in deep learning algorithms for computer vision and natural language processing made these models attractive to other research domains. In healthcare, there is a strong need for tools that may improve the routines of the clinicians and the patients. Naturally, the use of attention-based algorithms for medical applications occurred smoothly. However, being healthcare a domain that depends on high-stake decisions, the scientific community must ponder if these high-performing algorithms fit the needs of medical applications. With this motto, this paper extensively reviews the use of attention mechanisms in machine learning (including Transformers) for several medical applications. This work distinguishes itself from its predecessors by proposing a critical analysis of the claims and potentialities of attention mechanisms presented in the literature through an experimental case study on medical image classification with three different use cases. These experiments focus on the integrating process of attention mechanisms into established deep learning architectures, the analysis of their predictive power, and a visual assessment of their saliency maps generated by post-hoc explanation methods. This paper concludes with a critical analysis of the claims and potentialities presented in the literature about attention mechanisms and proposes future research lines in medical applications that may benefit from these frameworks.

Abstract

Abstract
We study principles and models for reasoning inductively about properties of distributed systems, based on programmed atomic handlers equipped with contracts. We present the Why3-do library, leveraging a state of the art software verifier for reasoning about distributed systems based on our models. A number of examples involving invariants containing existential and nested quantifiers (including Dijsktra's self-stabilizing systems) illustrate how the library promotes contract-based modular development, abstraction barriers, and automated proofs.