Search

The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes associated with monitors, which control their behaviour. Each participant can access and modify a set of global data, which are able to trigger adaptations in the presence of critical changes of values. The use of the parallel composition for building global types, monitors and processes enables a significant degree of flexibility: an adaptation step can dynamically reconfigure a set of participants only, without altering the remaining participants, even if the two groups communicate.

We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $\lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas and intersection types are grafted on Java 8, by studying their properties in a formal setting. We show how intersection types play a significant role in several cases, in particular in the typecast of a $\lambda$-expression and in the typing of conditional expressions. We also embody interface \emph{default methods} in FJ&$\lambda$, since they increase the dynamism of $\lambda$-expressions, by allowing these methods to be called on $\lambda$-expressions. The crucial point in Java 8 and in our calculus is that $\lambda$-expressions can have various types according to the context requirements (target types): indeed, Java code does not compile when $\lambda$-expressions come without target types. In particular, in the operational semantics we must record target types by decorating $\lambda$-expressions, otherwise they would be lost in the runtime expressions. We prove the subject reduction property and progress for the resulting calculus, and we give a type inference algorithm that returns the type of a given program if it is well typed. The design of FJ&$\lambda$ has been driven by the aim of making it a subset of Java 8, while preserving the elegance and compactness of FJ. Indeed, FJ&$\lambda$ programs are typed and behave the same as Java programs.

Background: Transfemoral osseointegrated prostheses, like other uncemented prostheses experience the risk of aseptic loosening and post-operative periprosthetic fractures, with an incidence between 3% and 30%. To date, however, osseointegrated off-the-shelf prostheses are manufactured in a limited number of sizes, and some patients do not meet the strict eligibility criteria of commercial devices. A customized osseointegrated stem was developed and a pre-clinical in vitro investigation of the stem was performed, to evaluate its biomechanical performance., Materials and Methods: Six human cadaveric femurs were implanted with commercial stems, while the six contralateral were implanted with customized stems. Three more femurs that did not meet the eligibility criteria for the commercial stems were implanted with the customized stems. Two different loading scenarios (compression-flexion, and torsion) were simulated to measure the primary implant stability and the load transfer. For both loading scenarios, the displacements of the implant with respect to the host bone, and the strains on the bone surface were measured using digital image correlation (DIC). To measure the pull-out force, a tensile force was applied to the prostheses., Results: The translational inducible micromotions during the compression-flexion test of the OsteoCustom stem were more than 4 times smaller than the commercial one (p < 0.05). The rotational inducible micromotions of the OsteoCustom stem were more than 3 times smaller than the commercial one (p < 0.05). Similar results were found from the torsional test. The full-field strain distribution of the commercial stem showed a slightly higher strain concentration near the stem tip (maximum principal strain = 1928±127 µɛ) than the OsteoCustom (maximum principal strain = 1758±130 µɛ). Similar results were found for the femurs that did not meet the eligibility criteria for the commercial stems and could be implanted with the OsteoCustom. No statistically significant difference was found in the extraction force between the two groups., Discussion and Conclusion: These results support the hypothesis that the OsteoCustom stem can offer better primary stability and load distribution compared to commercial implants. The outcome highlighted the potential benefits of the OsteoCustom prosthesis, which is capable of including a wider range of femoral anatomies than the current standard., Competing Interests: Declarations. Ethical approval: The study complied with the Declaration of Helsinki and was approved by the Ethical Committee of the University of Bologna (reference n. 113063, 10th May 2021). The human cadaveric femurs were obtained through an ethically approved international donation program (Anatomy Gift Registry, USA). Competing interests: The authors declare no competing interests., (© 2025. The Author(s).)

Objective: This study examines attitudes towards COVID-19 vaccination among a diverse cohort of adults with serious mental illness (SMI), participant characteristics that are associated with vaccine acceptance, and barriers to COVID-19 vaccination among this population., Methods: A 28-item questionnaire was administered to 185 adults with SMI receiving care at a university-based outpatient psychiatric clinic. Variables included demographics, health behaviors, and vaccination status. Chi-square tests were used for categorical demographic comparisons on binary COVID-19 vaccine status., Results: Female participants were more likely to have received COVID-19 vaccination (77.6%) than male (55.7%) participants. White (73.3%) and Hispanic/Latino (81.8%) participants were more likely to have received vaccination than Black/African American (54.9%) participants. Participants who reported having seen a primary care provider (PCP) within the past two years were more likely to be vaccinated (72.1%) than those who had not (41.7%). Participants who reported having received an influenza vaccine in the past two years were more likely to be vaccinated (80.2%) than those who had not (41.8%). Participants who had not been vaccinated were more likely to report greater concerns about all potential barriers to vaccination, including concerns about side effects, cost, health effects, and distrust of clinicians and governments., Conclusions: The overall vaccination rate of study participants with SMI was similar to that of the general population. Efforts to enhance engagement in primary care may help improve preventative health behaviors in people with SMI., Competing Interests: The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest., (Copyright © 2025 Small, Silva, Johnson, Betti, Nguyen, Todd, Jacobowitz and Lamberti.)

Background: Commercially available osseointegrated devices for transfemoral amputees are limited in size and thus fail to meet the significant anatomical variability in the femoral medullary canal. This study aimed to develop a customized osseointegrated stem to better accommodate a variety of femoral anatomies in transfemoral amputees than off-the-shelf stems. Customization is expected to enhance cortical bone preservation and increase the stem-bone contact area, which are critical for the long-term stability and success of implants., Methods: A customized stem (OsteoCustom) was designed based on the statistical shape variability of the medullary canal. The implantability of the OsteoCustom stem was tested via 70 computed tomography (CT) images of human femurs and compared to that of a commercial device (OFI-C) for two different resection levels. The evaluations included the volume of cortical bone removed and the percentage of stem-bone contact area for both resection levels. Statistical significance was analyzed using paired and unpaired t tests., Results: The OsteoCustom stem could be virtually implanted in all 70 femurs, while the OFI-C was unsuitable in 19 cases due to insufficient cortical thickness after implantation, further emphasizing its adaptability to varying anatomical conditions. The OsteoCustom stem preserved a greater volume of cortical bone than did the OFI-C. In fact, 42% less bone was removed at the proximal resection level (3.15 cm³ vs. 5.42 cm³, p ≤ 0.0001), and 33% less at the distal resection level (2.25 cm³ vs. 3.39 cm³, p = 0.003). The stem-bone contact area was also greater for the OsteoCustom stem, particularly at the distal resection level, showing a 20% increase in contact area (52.3% vs. 32.2%, p = 0.002) compared to that of the OFI-C., Conclusions: The OsteoCustom stem performed better than the commercial stem by preserving more cortical bone and achieving a greater stem-bone contact area, especially at distal resection levels where the shape of the medullary canal exhibits more inter-subject variability. Optimal fit in the distal region is of paramount importance for ensuring the stability of osseointegrated implants. This study highlights the potential benefits of customized osseointegrated stems in accommodating a broader range of femoral anatomies, with enhanced fit in the medullary canal., (© 2024. The Author(s).)

Hand visibility affects motor control, perception, and attention, as visual information is integrated into an internal model of somatomotor control. Spontaneous brain activity, i.e., at rest, in the absence of an active task, is correlated among somatomotor regions that are jointly activated during motor tasks. Recent studies suggest that spontaneous activity patterns not only replay task activation patterns but also maintain a model of the body's and environment's statistical regularities (priors), which may be used to predict upcoming behavior. Here, we test whether spontaneous activity in the human somatomotor cortex as measured using fMRI is modulated by visual stimuli that display hands vs. non-hand stimuli and by the use/action they represent. A multivariate pattern analysis was performed to examine the similarity between spontaneous activity patterns and task-evoked patterns to the presentation of natural hands, robot hands, gloves, or control stimuli (food). In the left somatomotor cortex, we observed a stronger (multivoxel) spatial correlation between resting state activity and natural hand picture patterns compared to other stimuli. No task-rest similarity was found in the visual cortex. Spontaneous activity patterns in somatomotor brain regions code for the visual representation of human hands and their use., (© 2024. The Author(s).)

Humans are the most versatile tool users among animals. Accordingly, our manual skills evolved alongside the shape of the hand. In the future, further evolution may take place: humans may merge with their tools, and technology may integrate into our biology in a way that blurs the line between the two. So, the question is whether humans can embody a bionic tool (i.e., experience it as part of their body) and thus if this would affect behavior. We investigated in virtual reality how the substitution of the hand with a virtual grafting of an end-effector, either non-naturalistic (a bionic tool) or naturalistic (a hand), impacts embodiment and behavior. Across four experiments, we show that the virtual grafting of a bionic tool elicits a sense of embodiment similar to or even stronger than its natural counterpart. In conclusion, the natural usage of bionic tools can rewire the evolution of human behavior., Competing Interests: The authors declare no competing interests., (© 2024 The Authors.)

The human hand possesses both consolidated motor skills and remarkable flexibility in adapting to ongoing task demands. However, the underlying mechanisms by which the brain balances stability and flexibility remain unknown. In the absence of external input or behavior, spontaneous (intrinsic) brain connectivity is thought to represent a prior of stored memories. In this study, we investigated how manual dexterity modulates spontaneous functional connectivity in the motor cortex during hand movement. Using magnetoencephalography, in 47 human participants (both sexes), we examined connectivity modulations in the α and β frequency bands at rest and during two motor tasks (i.e., finger tapping or toe squeezing). The flexibility and stability of such modulations allowed us to identify two groups of participants with different levels of performance (high and low performers) on the nine-hole peg test, a test of manual dexterity. In the α band, participants with higher manual dexterity showed distributed decreases of connectivity, specifically in the motor cortex, increased segregation, and reduced nodal centrality. Participants with lower manual dexterity showed an opposite pattern. Notably, these patterns from the brain to behavior are mirrored by results from behavior to the brain. Indeed, when participants were divided using the median split of the dexterity score, we found the same connectivity patterns. In summary, this experiment shows that a long-term motor skill-manual dexterity-influences the way the motor systems respond during movements., Competing Interests: The authors declare no competing financial interests., (Copyright © 2024 Maddaluno et al.)

Statistical Shape Models (SSMs) are widely used in orthopedics to extract the main shape features from bone regions (e.g., femur). This study aims to develop an SSM of the femoral medullary canal, investigate its anatomical variability, and assess variations depending on canal length. The canals were isolated from 72 CT femur scans, through a threshold-based segmentation. A region of interest (ROI) was selected; sixteen segments were extracted from the ROI, ranging from 25% of the full length down to the most distal segment. An SSM was developed to identify the main modes of variation for each segment. The number of Principal Components (PCs) needed to explain at least 90% of the shape variance were three/four based on the length of the canal segment. The study examined the relationship between the identified PCs and geometric parameters like length, radius of curvature, ellipticity, mean diameter, and conicity, reporting range and percentage variation of these parameters for each segment. The SSMs provide insights into the anatomical variability of the femoral canal, emphasizing the importance of considering different segments to capture shape variations at various canal length. These findings can contribute for the design of personalized orthopedic implants involving the distal femur., Competing Interests: The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest., (Copyright © 2024 Betti, Aldieri and Cristofolini.)

About one-third of stroke survivors present unilateral spatial neglect (USN) that negatively impacts the rehabilitation outcome. We reported the study protocol and usability results of an eye-tracking (ET) biofeedback immersive virtual reality (iVR) protocol. Healthy controls and stroke patients with and without USN underwent a single session of the three iVR tasks. The system usability scale (SUS), adverse events (AEs), and ET data were collected and analyzed via parametric analysis. Twelve healthy controls (six young adults and six older adults) and seven patients with a diagnosis of single ischemic stroke (four without USN and three with confirmed diagnosis of USN) completed the usability investigation. SUS results showed good acceptability of the system for healthy controls and stroke patients without USN. ET results showed a lower performance for patients with USN concerning healthy controls and stroke patients without USN, in particular in the exploration of the left visual field. The results showed that the proposed iVR-ET biofeedback protocol is a safe and well-tolerated technique in patients with USN. The real-time feedback can induce a performance response supporting its investigation such as a treatment approach.

We report the case of a young woman affected by an aneurysmal subarachnoid haemorrhage (SAH) and numerous anatomic abnormalities. A Transcranial Colour-Coded Duplex Sonography, performed with the aim of monitoring the vasospasm, showed a non-pulsatile flow with loss of sharp systolic peak and lowering of mean flow velocities in the right extracranial Internal Carotid Artery (ICA) and all its intra-cranial branches. This event suggested a possible concomitant acute right ICA sub-occlusion with a lack of collateral circulation. This type of flow is typically found in systemic and brain arteries of patients undergoing to venous-arterial extracorporeal membrane oxygenation or to left ventricular assist devices. The absence of an adequate cerebral collateral circulation might be the explanation for this type of atypical flow. Aneurysms and arterial dissections contribute to SAH and ischemic stroke events, leading to long-term physical and cognitive disability. In our case, the prompt neurosonological diagnosis leaded to patient's good outcome., (© 2022. Società Italiana di Ultrasonologia in Medicina e Biologia (SIUMB).)

In everyday activities, humans move alike to manipulate objects. Prior works suggest that hand movements are built by a limited set of basic building blocks consisting of a set of common postures. However, how the low dimensionality of hand movements supports the adaptability and flexibility of natural behavior is unknown. Through a sensorized glove, we collected kinematics data from thirty-six participants preparing and having breakfast in naturalistic conditions. By means of an unbiased analysis, we identified a repertoire of hand states. Then, we tracked their transitions over time. We found that manual behavior can be described in space through a complex organization of basic configurations. These, even in an unconstrained experiment, recurred across subjects. A specific temporal structure, highly consistent within the sample, seems to integrate such identified hand shapes to realize skilled movements. These findings suggest that the simplification of the motor commands unravels in the temporal dimension more than in the spatial one., (© 2023. The Author(s).)

As we move in the environment, attention shifts to novel objects of interest based on either their sensory salience or behavioral value (reorienting). This study measures with magnetoencephalography (MEG) different properties (amplitude, onset-to-peak duration) of event-related desynchronization/synchronization (ERD/ERS) of oscillatory activity during a visuospatial attention task designed to separate activity related to reorienting vs. maintaining attention to the same location, controlling for target detection and response processes. The oscillatory activity was measured both in fMRI-defined regions of interest (ROIs) of the dorsal attention (DAN) and visual (VIS) networks, previously defined as task-relevant in the same subjects, or whole-brain in a pre-defined set of cortical ROIs encompassing the main brain networks. Reorienting attention (shift cues) as compared to maintaining attention (stay cues) produced a temporal sequence of ERD/ERS modulations at multiple frequencies in specific anatomical regions/networks. An early (∼330 ms), stronger, transient theta ERS occurred in task-relevant (DAN, VIS) and control networks (VAN, CON, FPN), possibly reflecting an alert/reset signal in response to the cue. A more sustained, behaviorally relevant, low-beta band ERD peaking ∼450 ms following shift cues (∼410 for stay cues) localized in frontal and parietal regions of the DAN. This modulation is consistent with a control signal re-routing information across visual hemifields. Contralateral vs. ipsilateral shift cues produced in occipital visual regions a stronger, sustained alpha ERD (peak ∼470 ms) and a longer, transient high beta/gamma ERS (peak ∼490 ms) related to preparatory visual modulations in advance of target occurrence. This is the first description of a cascade of oscillatory processes during attentional reorienting in specific anatomical regions and networks. Among these processes, a behaviorally relevant beta desynchronization in the FEF is likely associated with the control of attention shifts., (Copyright © 2021. Published by Elsevier Inc.)

Self-reports are conventionally used to measure political preferences, yet individuals may be unable or unwilling to report their political attitudes. Here, in 69 participants we compared implicit and explicit methods of political attitude assessment and focused our investigation on populist attitudes. Ahead of the 2019 European Parliament election, we recorded electroencephalography (EEG) from future voters while they completed a survey that measured levels of agreement on different political issues. An Implicit Association Test (IAT) was administered at the end of the recording session. Neural signals differed as a function of future vote for a populist or mainstream party and of whether survey items expressed populist or non-populist views. The combination of EEG responses and self-reported preferences predicted electoral choice better than traditional socio-demographic and ideological variables, while IAT scores were not a significant predictor. These findings suggest that measurements of brain activity can refine the assessment of socio-political attitudes, even when those attitudes are not based on traditional ideological divides., (© 2021. The Author(s).)

The use of surface electromyography (sEMG) is rapidly spreading, from robotic prostheses and muscle computer interfaces to rehabilitation devices controlled by residual muscular activities. In this context, sEMG-based gesture recognition plays an enabling role in controlling prosthetics and devices in real-life settings. Our work aimed at developing a low-cost, print-and-play platform to acquire and analyse sEMG signals that can be arranged in a fully customized way, depending on the application and the users' needs. We produced 8-channel sEMG matrices to measure the muscular activity of the forearm using innovative nanoparticle-based inks to print the sensors embedded into each matrix using a commercial inkjet printer. Then, we acquired the multi-channel sEMG data from 12 participants while repeatedly performing twelve standard finger movements (six extensions and six flexions). Our results showed that inkjet printing-based sEMG signals ensured significant similarity values across repetitions in every participant, a large enough difference between movements (dissimilarity index above 0.2), and an overall classification accuracy of 93-95% for flexion and extension, respectively., (© 2021. The Author(s).)