SPECT/CT imaging reveals CNS-wide modulation of glymphatic cerebrospinal fluid flow by systemic hypertonic saline

Intrathecal administration enables central nervous system delivery of drugs that do not bypass the blood-brain barrier. Systemic administration of hypertonic saline (HTS) enhances delivery of intrathecal therapeutics into the neuropil, but its effect on solute clearance from the brain remains unknown. Here, we developed a dynamic in vivo single-photon emission computed tomography (SPECT)/computed tomography (CT) imaging platform to study the effects of HTS on whole-body distribution of the radiolabeled tracer (99)mTc-diethylenetriaminepen-taacetic acid (DTPA) administered through intracisternal, intrastriatal, or intravenous route in anesthetized rats. Co-administration of systemic HTS increased intracranial exposure to intracisternal (99)mTc-DTPA by similar to 80% during imaging. In contrast, HTS had minimal effects on brain clearance of intrastriatal (99)mTc-DTPA. In sum, SPECT/CT imaging presents a valuable approach to study glymphatic drug delivery. Using this methodology, we show that systemic HTS increases intracranial availability of cerebrospinal fluid-administered tracer, but has marginal effects on brain clearance, thus substantiating a simple, yet effective strategy for enhancing intrathecal drug delivery to the brain.Peer reviewe

The relevance of model-driven engineering thirty years from now

International audienceAlthough model-driven engineering (MDE) is now an established approach for developing complex software systems, it has not been universally adopted by the software industry. In order to better understand the reasons for this, as well as to identify future opportunities for MDE, we carried out a week-long design thinking experiment with 15 MDE experts. Participants were facilitated to identify the biggest problems with current MDE technologies, to identify grand challenges for society in the near future, and to identify ways that MDE could help to address these challenges. The outcome is a reflection of the current strengths of MDE, an outlook of the most pressing challenges for society at large over the next three decades, and an analysis of key future MDE research opportunities

Integration of DFDs into a UML - based model-driven engineering approach

The main aim of this article is to discuss how the functional and the object-oriented views can be inter-played to represent the various modeling perspectives of embedded systems.We discuss whether the object-oriented modeling paradigm, the predominant one to develop software at the present time, is also adequate for modeling embedded software and how it can be used with the functional paradigm.More specifically, we present how the main modeling tool of the traditional structured methods, data flow diagrams, can be integrated in an object-oriented development strategy based on the unified modeling language. The rationale behind the approach is that both views are important for modeling purposes in embedded systems environments, and thus a combined and integrated model is not only useful, but also fundamental for developing complex systems. The approach was integrated in amodel-driven engineering process, where tool support for the models used was provided. In addition, model transformations have been specified and implemented to automate the process.We exemplify the approach with an IPv6 router case study.FEDER -Fundação para a Ciência e a Tecnologia(HH-02-383

Injection therapy and denervation procedures for chronic low-back pain: a systematic review

Injection therapy and denervation procedures are commonly used in the management of chronic low-back pain (LBP) despite uncertainty regarding their effectiveness and safety. To provide an evaluation of the current evidence associated with the use of these procedures, a systematic review was performed. Existing systematic reviews were screened, and the Cochrane Back Review Group trial register was searched for randomized controlled trials (RCTs) fulfilling the inclusion criteria. Studies were included if they recruited adults with chronic LBP, evaluated the use of injection therapy or denervation procedures and measured at least one clinically relevant outcome (such as pain or functional status). Two review authors independently assessed studies for eligibility and risk of bias (RoB). A meta-analysis was performed with clinically homogeneous studies, and the GRADE approach was used to determine the quality of evidence. In total, 27 RCTs were included, 14 on injection therapy and 13 on denervation procedures. 18 (66%) of the studies were determined to have a low RoB. Because of clinical heterogeneity, only two comparisons could be pooled. Overall, there is only low to very low quality evidence to support the use of injection therapy and denervation procedures over placebo or other treatments for patients with chronic LBP. However, it cannot be ruled out that in carefully selected patients, some injection therapy or denervation procedures may be of benefit

Formal verification of safety protocol in train control system

In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method

Co-occurrence of diabetes and hopelessness predicts adverse prognosis following percutaneous coronary intervention

We examined the impact of co-occurring diabetes and hopelessness on 3-year prognosis in percutaneous coronary intervention patients. Consecutive patients (n = 534) treated with the paclitaxel-eluting stent completed a set of questionnaires at baseline and were followed up for 3-year adverse clinical events. The incidence of 3-year death/non-fatal myocardial infarction was 3.5% in patients with no risk factors (neither hopelessness nor diabetes), 8.2% in patients with diabetes, 11.2% in patients with high hopelessness, and 15.9% in patients with both factors (p = 0.001). Patients with hopelessness (HR: 3.28; 95% CI: 1.49-7.23) and co-occurring diabetes and hopelessness (HR: 4.89; 95% CI: 1.86-12.85) were at increased risk of 3-year adverse clinical events compared to patients with no risk factors, whereas patients with diabetes were at a clinically relevant but not statistically significant risk (HR: 2.40; 95% CI: 0.82-7.01). These results remained, adjusting for baseline characteristics an

An experimental study investigating the effect of pain relief from oral analgesia on lumbar range of motion, velocity, acceleration and movement irregularity

Background Movement alterations are often reported in individuals with back pain. However the mechanisms behind these movement alterations are not well understood. A commonly cited mechanism is pain. The aim of this study was to investigate the effect of pain reduction, from oral analgesia, on lumbar kinematics in individuals with acute and chronic low back pain. Methods A prospective, cross-sectional, experimental repeated-measures design was used. Twenty acute and 20 chronic individuals with low back pain were recruited from General Practitioner and self-referrals to therapy departments for low back pain. Participants complained of movement evoked low back pain. Inertial sensors were attached to the sacrum and lumbar spine and used to measure kinematics. Kinematic variables measured were range of motion, angular velocity and angular acceleration as well as a determining movement irregularity (a measure of deviation from smooth motion). Kinematics were investigated before and after administration of oral analgesia to instigate pain reduction. Results Pain was significantly reduced following oral analgesia. There were no significant effects on the kinematic variables before and after pain reduction from oral analgesia. There was no interaction between the variables group (acute and chronic) and time (pre and post pain reduction). Conclusion The results demonstrate that pain reduction did not alter lumbar range of motion, angular velocity, angular acceleration or movement irregularity questioning the role of pain in lumbar kinematics

Nutritional and socio-economic factors associated with Plasmodium falciparum infection in children from Equatorial Guinea: results from a nationally representative survey

<p>Abstract</p> <p>Background</p> <p>Malaria has traditionally been a major endemic disease in Equatorial Guinea. Although parasitaemia prevalence on the insular region has been substantially reduced by vector control in the past few years, the prevalence in the mainland remains over 50% in children younger than five years. The aim of this study is to investigate the risk factors for parasitaemia and treatment seeking behaviour for febrile illness at country level, in order to provide evidence that will reinforce the EG National Malaria Control Programme.</p> <p>Methods</p> <p>The study was a cross-sectional survey of children 0 to 5 years old, using a multistaged, stratified, cluster-selected sample at the national level. It included a socio-demographic, health and dietary questionnaires, anthropometric measurements, and thick and thin blood smears to determine the <it>Plasmodium </it>infection. A multivariate logistic regression model was used to determine risk factors for parasitaemia, taking into account the cluster design.</p> <p>Results</p> <p>The overall prevalence of parasitemia was 50.9%; it was higher in rural (58.8%) compared to urban areas (44.0%, p = 0.06). Age was positively associated with parasitemia (p < 0.0001). In rural areas, risk factors included longer distance to health facilities (p = 0.01) and a low proportion of households with access to protected water in the community (p = 0.02). Having had an episode of cough in the 15 days prior to the survey was inversely related to parasitemia (p = 0.04). In urban areas, the risk factors were stunting (p = 0.005), not having taken colostrum (p = 0.01), and that someone in the household slept under a bed net (p = 0.002); maternal antimalarial medication intake during pregnancy (p = 0.003) and the household socio-economic status (p = 0.0002) were negatively associated with parasitemia. Only 55% of children with fever were taken outside their homes for care, and treatment seeking behaviour differed substantially between rural and urban populations.</p> <p>Conclusion</p> <p>Results suggest that a national programme to fight malaria in Equatorial Guinea should take into account the differences between rural and urban communities in relation to risk factors for parasitaemia and treatment seeking behaviour, integrate nutrition programmes, incorporate campaigns on the importance of early treatment, and target appropriately for bed nets to reach the under-fives.</p