Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset

International audienceIn this paper we present an end-to-end framework for the design and the implementation of embedded systems on a symmetric multicore. The developer first specifies the system using the \prelude language, a formal real-time architecture description language. The Prelude compiler then translates the program into a set of communicating periodic tasks that preserves the semantics of the original program. The schedulability analysis is performed by the SchedMCore analyzer. If the program is schedulable, it can finally be executed on the target multicore architecture using the \schedmcore execution environment

Abnormal coactivation of knee and ankle extensors is related to changes in heteronymous spinal pathways after stroke

<p>Abstract</p> <p>Background</p> <p>Abnormal coactivation of leg extensors is often observed on the paretic side of stroke patients while they attempt to move. The mechanisms underlying this coactivation are not well understood. This study (1) compares the coactivation of leg extensors during static contractions in stroke and healthy individuals, and (2) assesses whether this coactivation is related to changes in intersegmental pathways between quadriceps and soleus (Sol) muscles after stroke.</p> <p>Methods</p> <p>Thirteen stroke patients and ten healthy individuals participated in the study. Levels of coactivation of knee extensors and ankle extensors were measured in sitting position, during two tasks: maximal isometric voluntary contractions in knee extension and in plantarflexion. The early facilitation and later inhibition of soleus voluntary EMG evoked by femoral nerve stimulation were assessed in the paretic leg of stroke participants and in one leg of healthy participants.</p> <p>Results</p> <p>Coactivation levels of ankle extensors (mean ± SEM: 56 ± 7% of Sol EMG max) and of knee extensors (52 ± 10% of vastus lateralis (VL) EMG max) during the knee extension and the ankle extension tasks respectively were significantly higher in the paretic leg of stroke participants than in healthy participants (26 ± 5% of Sol EMG max and 10 ± 3% of VL EMG max, respectively). Early heteronymous facilitation of Sol voluntary EMG in stroke participants (340 ± 62% of Sol unconditioned EMG) was significantly higher than in healthy participants (98 ± 34%). The later inhibition observed in all control participants was decreased in the paretic leg. Levels of coactivation of ankle extensors during the knee extension task were significantly correlated with both the increased facilitation (Pearson r = 0.59) and the reduced inhibition (r = 0.56) in the paretic leg. Measures of motor impairment were more consistently correlated with the levels of coactivation of biarticular muscles than those of monoarticular muscles.</p> <p>Conclusion</p> <p>These results suggest that the heteronymous pathways linking quadriceps to soleus may participate in the abnormal coactivation of knee and ankle extensors on the paretic side of stroke patients. The motor impairment of the paretic leg is strongly associated with the abnormal coactivation of biarticular muscles.</p

Pleth variability index and fluid management practices : a multicenter service evaluation

Funding Information: NonePeer reviewedPublisher PD

Differences in Water Vapor Radiative Transfer among 1D Models Can Significantly Affect the Inner Edge of the Habitable Zone

An accurate estimate of the inner edge of the habitable zone is critical for determining which exoplanets are potentially habitable and for designing future telescopes to observe them. Here, we explore differences in estimating the inner edge among seven one-dimensional radiative transfer models: two line-by-line codes (SMART and LBLRTM) as well as five band codes (CAM3, CAM4_Wolf, LMDG, SBDART, and AM2) that are currently being used in global climate models. We compare radiative fluxes and spectra in clear-sky conditions around G and M stars, with fixed moist adiabatic profiles for surface temperatures from 250 to 360 K. We find that divergences among the models arise mainly from large uncertainties in water vapor absorption in the window region (10 μm) and in the region between 0.2 and 1.5 μm. Differences in outgoing longwave radiation increase with surface temperature and reach 10–20 W m^(−2); differences in shortwave reach up to 60 W m^(−2), especially at the surface and in the troposphere, and are larger for an M-dwarf spectrum than a solar spectrum. Differences between the two line-by-line models are significant, although smaller than among the band models. Our results imply that the uncertainty in estimating the insolation threshold of the inner edge (the runaway greenhouse limit) due only to clear-sky radiative transfer is ≈10% of modern Earth's solar constant (i.e., ≈34 W m^(−2) in global mean) among band models and ≈3% between the two line-by-line models. These comparisons show that future work is needed that focuses on improving water vapor absorption coefficients in both shortwave and longwave, as well as on increasing the resolution of stellar spectra in broadband models

Pleth variability index and fluid management practices: a multicenter service evaluation.

peer reviewed[en] OBJECTIVES: The introduction of a new technology has the potential to modify clinical practices, especially if easy to use, reliable and non-invasive. This observational before/after multicenter service evaluation compares fluid management practices during surgery (with fluids volumes as primary outcome), and clinical outcomes (secondary outcomes) before and after the introduction of the Pleth Variability Index (PVI), a non-invasive fluid responsiveness monitoring. RESULTS: In five centers, 23 anesthesiologists participated during a 2-years period. Eighty-eight procedures were included. Median fluid volumes infused during surgery were similar before and after PVI introduction (respectively, 1000 ml [interquartile range 25-75 [750-1700] and 1000 ml [750-2000]). The follow-up was complete for 60 from these and outcomes were similar. No detectable change in the fluid management was observed after the introduction of a new technology in low to moderate risk surgery. These results suggest that the introduction of a new technology should be associated with an implementation strategy if it is intended to be associated with changes in clinical practice

A General Purpose Transpiler for Fully Homomorphic Encryption

Fully homomorphic encryption (FHE) is an encryption scheme which enables computation on encrypted data without revealing the underlying data. While there have been many advances in the field of FHE, developing programs using FHE still requires expertise in cryptography. In this white paper, we present a fully homomorphic encryption transpiler that allows developers to convert high-level code (e.g., C++) that works on unencrypted data into high-level code that operates on encrypted data. Thus, our transpiler makes transformations possible on encrypted data. Our transpiler builds on Google's open-source XLS SDK (https://github.com/google/xls) and uses an off-the-shelf FHE library, TFHE (https://tfhe.github.io/tfhe/), to perform low-level FHE operations. The transpiler design is modular, which means the underlying FHE library as well as the high-level input and output languages can vary. This modularity will help accelerate FHE research by providing an easy way to compare arbitrary programs in different FHE schemes side-by-side. We hope this lays the groundwork for eventual easy adoption of FHE by software developers. As a proof-of-concept, we are releasing an experimental transpiler (https://github.com/google/fully-homomorphic-encryption/tree/main/transpiler) as open-source software

Transmission in Heteronymous Spinal Pathways Is Modified after Stroke and Related to Motor Incoordination

Changes in reflex spinal pathways after stroke have been shown to affect motor activity in agonist and antagonist muscles acting at the same joint. However, only a few studies have evaluated the heteronymous reflex pathways modulating motoneuronal activity at different joints. This study investigates whether there are changes in the spinal facilitatory and inhibitory pathways linking knee to ankle extensors and if such changes may be related to motor deficits after stroke. The early facilitation and later inhibition of soleus H reflex evoked by the stimulation of femoral nerve at 2 times the motor threshold of the quadriceps were assessed in 15 healthy participants and on the paretic and the non-paretic sides of 15 stroke participants. The relationships between this reflex modulation and the levels of motor recovery, coordination and spasticity were then studied. Results show a significant (Mann-Whitney U; P<0.05) increase in both the peak amplitude (mean±SEM: 80±22% enhancement of the control H reflex) and duration (4.2±0.5 ms) of the facilitation on the paretic side of the stroke individuals compared to their non-paretic side (36±6% and 2.9±0.4 ms) and to the values of the control subjects (33±4% and 2.8±0.4 ms, respectively). Moreover, the later strong inhibition observed in all control subjects was decreased in the stroke subjects. Both the peak amplitude and the duration of the increased facilitation were inversely correlated (Spearman r = −0.65; P = 0.009 and r = −0.67; P = 0.007, respectively) with the level of coordination (LEMOCOT) of the paretic leg. Duration of this facilitation was also correlated (r = −0.58, P = 0.024) with the level of motor recovery (CMSA). These results confirm changes in transmission in heteronymous spinal pathways that are related to motor deficits after stroke