The use of smartphones, coupled with different sensors, makes it an attractive solution for measuring different physical and physiological features, allowing for the monitoring of various parameters and even identifying some diseases. The BITalino device allows the use of different sensors, including Electroencephalography (EEG) and Electrocardiography (ECG) sensors, to study different health parameters. With these devices, the acquisition of signals is straightforward, and it is possible to connect them using a Bluetooth connection. With the acquired data, it is possible to measure parameters such as calculating the QRS complex and its variation with ECG data to control the individual's heartbeat. Similarly, by using the EEG sensor one could analyze the individual's brain activity and frequency. The purpose of this paper is to present a method for recognition of the diseases related to ECG and EEG data, with sensors available in off-the-shelf mobile devices and sensors connected to a BITalino device. The data were collected during the elderly's experiences, performing the Timed-Up and Go test, and the different diseases found in the sample in the study. The data were analyzed, and the following features were extracted from the ECG, including heart rate, heart rate variability, the average QRS interval, the average R-R interval, and the average R-S interval, and the EEG, including frequency and variability. Finally, the diseases are correlated with different parameters, proving that there are relations between the individuals and the different health conditions.

Mutual exclusion algorithms are at the heart of concurrent, distributed/parallel, real-time and operating systems. It is well-known that such algorithms are very difficult to analyze and in the literature different conjectures about starvation-freedom and the number of by-passes (also said the overtaking factor), which in turn affects the (hopefully) bounded waiting time that a process competing for entering the critical section has to suffer before accessing the shared resource, have been formulated for specific algorithms. This paper proposes a novel modelling approach based on Timed Automata and the Uppaal toolset, which proves effective for studying all the properties of a mutual exclusion algorithm for N≥2 processes, by exhaustive model checking. Although the approach, as already confirmed by similar experiments reported in the literature, is not scalable due to state explosion problems, and can be practically applied until N≤5, it is of great value for revealing true properties of analyzed algorithms. For dimensions N>5 the statistical model checker of Uppaal can be used which, although based on simulations, can confirm properties by estimations and probabilities. The paper describes the proposed modelling and verification method and applies it to several mutual exclusion algorithms, thus retrieving known properties but also showing new results about properties often studied only by peer-review and intuitive reasoning.

The progress in markerless technologies is bringing clinicians tools to rapidly evaluate tests such as Timed Up and Go (TUG) without compromising the time of the assessment, yet it raises questions about the potential trade-off in accuracy compared to traditional marker-based systems, suggesting that the precision of these evaluations is not yet conclusively established. The OpenCap system is an easy tool to process 3D kinematics with two iPhone cameras placed in front of the subject. Previous research has primarily focused on walking and movement towards the cameras with the subject facing the cameras (WF) and thus has been unable to disentangle the differences in the movement directions. We have compared the OpenCap system with a standard marker-based system for both walking directions. In OpenCap, we found significantly worse results capturing walking facing away from the cameras (RW). Compared to the marker-based system, our findings indicate troubles measuring kinematic parameters but provide good accuracy in measuring spatial-temporal parameters. These insights pave the way for refining markerless assessment technologies, potentially enhancing their utility in clinical settings.