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: 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).)

The functional architecture of the resting brain, as measured with the blood oxygenation level-dependent functional connectivity (BOLD-FC), is slightly modified during task performance. In previous work, we reported behaviorally relevant BOLD-FC modulations between visual and dorsal attention regions when subjects performed a visuospatial attention task as compared to central fixation (Spadone et al., 2015). Here we use magnetoencephalography (MEG) in the same group of subjects to identify the electrophysiological correlates of the BOLD-FC modulation found in our previous work. While BOLD-FC topography, separately at rest and during visual attention, corresponded to neuromagnetic Band-Limited Power (BLP) correlation in the alpha and beta bands (8-30 Hz), BOLD-FC modulations evoked by performing the visual attention task (Spadone et al. 2015) did not match any specific oscillatory band BLP modulation. Conversely, following the application of an orthogonal spatial decomposition that identifies common inter-subject co-variations, we found that attention-rest BOLD-FC modulations were recapitulated by multi-spectral BLP-FC components. Notably, individual variability of alpha connectivity between Frontal Eye Fields and visual occipital regions, jointly with decreased interaction in the Visual network, correlated with visual discrimination accuracy. In summary, task-rest BOLD connectivity modulations match multi-spectral MEG BLP connectivity., Competing Interests: Declaration of Competing Interest None, (Copyright © 2021. Published by Elsevier Inc.)

The clinical effects of the Covid-19 pandemic are now the subject of numerous studies worldwide. But what are the effects of the quarantine imposed by the states that implemented the measures of lockdown? The present research aims to explore, in a preliminary way, the major stress-related symptoms during the lockdown, due to Covid-19, in the Italian population. Subjects were asked to fill out a survey, that traced a line identifying the most relevant psychophysiological symptoms that took into account factors such as perceived stress, body perception, perceived pain, quality of sleep, perceptive variations (i.e., olfactory, gustatory, visual, acoustic, and haptic perception). A network approach formulating a hypothesis-generating exploratory analysis was adopted. Main results of the network analysis showed that the beliefs of having had the Covid-19 was related to individual variables (i.e., gender, working in presence, sleep quality, anxiety symptoms), while the familiarity of Covid-19 disease was related to contextual factors (e.g., number of recorded cases in the Region, working in presence). The self-perception of olfactory and perceptive alterations highlighted a great sensorial cross-modality, additionally, the olfactory impairment was related to the belief of having had the Covid-19. Compared to general network data, BAI, perceived stress, anxiety and chronic pain were in relation to daily sleep disturbance. Main study's results show how the management of the Covid-19 stressful representation, in its cognitive aspects, can modulate the psychophysiological responses., 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 © 2021 Invitto, Romano, Garbarini, Bruno, Urgesi, Curcio, Grasso, Pellicciari, Kock, Betti, Fiorio, Ricciardi, de Tommaso and Valeriani.)

Real-world experience is typically multimodal. Evidence indicates that the facilitation in the detection of multisensory stimuli is modulated by the perceptual load, the amount of information involved in the processing of the stimuli. Here, we used a realistic virtual reality environment while concomitantly acquiring Electroencephalography (EEG) and Galvanic Skin Response (GSR) to investigate how multisensory signals impact target detection in two conditions, high and low perceptual load. Different multimodal stimuli (auditory and vibrotactile) were presented, alone or in combination with the visual target. Results showed that only in the high load condition, multisensory stimuli significantly improve performance, compared to visual stimulation alone. Multisensory stimulation also decreases the EEG-based workload. Instead, the perceived workload, according to the "NASA Task Load Index" questionnaire, was reduced only by the trimodal condition (i.e., visual, auditory, tactile). This trimodal stimulation was more effective in enhancing the sense of presence, that is the feeling of being in the virtual environment, compared to the bimodal or unimodal stimulation. Also, we show that in the high load task, the GSR components are higher compared to the low load condition. Finally, the multimodal stimulation (Visual-Audio-Tactile-VAT and Visual-Audio-VA) induced a significant decrease in latency, and a significant increase in the amplitude of the P300 potentials with respect to the unimodal (visual) and visual and tactile bimodal stimulation, suggesting a faster and more effective processing and detection of stimuli if auditory stimulation is included. Overall, these findings provide insights into the relationship between multisensory integration and human behavior and cognition.

New solutions in operational environments are often, among objective measurements, evaluated by using subjective assessment and judgment from experts. Anyhow, it has been demonstrated that subjective measures suffer from poor resolution due to a high intra and inter-operator variability. Also, performance measures, if available, could provide just partial information, since an operator could achieve the same performance but experiencing a different workload. In this study, we aimed to demonstrate: (i) the higher resolution of neurophysiological measures in comparison to subjective ones; and (ii) how the simultaneous employment of neurophysiological measures and behavioral ones could allow a holistic assessment of operational tools. In this regard, we tested the effectiveness of an electroencephalography (EEG)-based neurophysiological index (W EEG index) in comparing two different solutions (i.e., Normal and Augmented) in terms of experienced workload. In this regard, 16 professional air traffic controllers (ATCOs) have been asked to perform two operational scenarios. Galvanic Skin Response (GSR) has also been recorded to evaluate the level of arousal (i.e., operator involvement) during the two scenarios execution. NASA-TLX questionnaire has been used to evaluate the perceived workload, and an expert was asked to assess performance achieved by the ATCOs. Finally, reaction times on specific operational events relevant for the assessment of the two solutions, have also been collected. Results highlighted that the Augmented solution induced a local increase in subjects performance (Reaction times). At the same time, this solution induced an increase in the workload experienced by the participants (W EEG ). Anyhow, this increase is still acceptable, since it did not negatively impact the performance and has to be intended only as a consequence of the higher engagement of the ATCOs. This behavioral effect is totally in line with physiological results obtained in terms of arousal (GSR), that increased during the scenario with augmentation. Subjective measures (NASA-TLX) did not highlight any significant variation in perceived workload. These results suggest that neurophysiological measure provide additional information than behavioral and subjective ones, even at a level of few seconds, and its employment during the pre-operational activities (e.g., design process) could allow a more holistic and accurate evaluation of new solutions.