Knowledge-based system V and V in the Space Station Freedom program

Knowledge Based Systems (KBS's) are expected to be heavily used in the Space Station Freedom Program (SSFP). Although SSFP Verification and Validation (V&V) requirements are based on the latest state-of-the-practice in software engineering technology, they may be insufficient for Knowledge Based Systems (KBS's); it is widely stated that there are differences in both approach and execution between KBS V&V and conventional software V&V. In order to better understand this issue, we have surveyed and/or interviewed developers from sixty expert system projects in order to understand the differences and difficulties in KBS V&V. We have used this survey results to analyze the SSFP V&V requirements for conventional software in order to determine which specific requirements are inappropriate for KBS V&V and why they are inappropriate. Further work will result in a set of recommendations that can be used either as guidelines for applying conventional software V&V requirements to KBS's or as modifications to extend the existing SSFP conventional software V&V requirements to include KBS requirements. The results of this work are significant to many projects, in addition to SSFP, which will involve KBS's

Experiences in improving the state of the practice in verification and validation of knowledge-based systems

Knowledge-based systems (KBS's) are in general use in a wide variety of domains, both commercial and government. As reliance on these types of systems grows, the need to assess their quality and validity reaches critical importance. As with any software, the reliability of a KBS can be directly attributed to the application of disciplined programming and testing practices throughout the development life-cycle. However, there are some essential differences between conventional software and KBSs, both in construction and use. The identification of these differences affect the verification and validation (V&V) process and the development of techniques to handle them. The recognition of these differences is the basis of considerable on-going research in this field. For the past three years IBM (Federal Systems Company - Houston) and the Software Technology Branch (STB) of NASA/Johnson Space Center have been working to improve the 'state of the practice' in V&V of Knowledge-based systems. This work was motivated by the need to maintain NASA's ability to produce high quality software while taking advantage of new KBS technology. To date, the primary accomplishment has been the development and teaching of a four-day workshop on KBS V&V. With the hope of improving the impact of these workshops, we also worked directly with NASA KBS projects to employ concepts taught in the workshop. This paper describes two projects that were part of this effort. In addition to describing each project, this paper describes problems encountered and solutions proposed in each case, with particular emphasis on implications for transferring KBS V&V technology beyond the NASA domain

Repeated administration of the noradrenergic neurotoxin N-(2-chloroethyl)-N-ethyl-2-bromobenzylamine (DSP-4) modulates neuroinflammation and amyloid plaque load in mice bearing amyloid precursor protein and presenilin-1 mutant transgenes

BACKGROUND: Data indicates anti-oxidant, anti-inflammatory and pro-cognitive properties of noradrenaline and analyses of post-mortem brain of Alzheimer's disease (AD) patients reveal major neuronal loss in the noradrenergic locus coeruleus (LC), the main source of CNS noradrenaline (NA). The LC has projections to brain regions vulnerable to amyloid deposition and lack of LC derived NA could play a role in the progression of neuroinflammation in AD. Previous studies reveal that intraperitoneal (IP) injection of the noradrenergic neurotoxin N-(2-chloroethyl)-N-ethyl-2-bromobenzylamine (DSP-4) can modulate neuroinflammation in amyloid over-expressing mice and in one study, DSP-4 exacerbated existing neurodegeneration. METHODS: TASTPM mice over-express human APP and beta amyloid protein and show age related cognitive decline and neuroinflammation. In the present studies, 5 month old C57/BL6 and TASTPM mice were injected once monthly for 6 months with a low dose of DSP-4 (5 mg kg(-1)) or vehicle. At 8 and 11 months of age, mice were tested for cognitive ability and brains were examined for amyloid load and neuroinflammation. RESULTS: At 8 months of age there was no difference in LC tyrosine hydroxylase (TH) across all groups and cortical NA levels of TASTPM/DSP-4, WT/Vehicle and WT/DSP-4 were similar. NA levels were lowest in TASTPM/Vehicle. Messenger ribonucleic acid (mRNA) for various inflammatory markers were significantly increased in TASTPM/Vehicle compared with WT/Vehicle and by 8 months of age DSP-4 treatment modified this by reducing the levels of some of these markers in TASTPM. TASTPM/Vehicle showed increased astrocytosis and a significantly larger area of cortical amyloid plaque compared with TASTPM/DSP-4. However, by 11 months, NA levels were lowest in TASTPM/DSP-4 and there was a significant reduction in LC TH of TASTPM/DSP-4 only. Both TASTPM groups had comparable levels of amyloid, microglial activation and astrocytosis and mRNA for inflammatory markers was similar except for interleukin-1 beta which was increased by DSP-4. TASTPM mice were cognitively impaired at 8 and 11 months but DSP-4 did not modify this. CONCLUSION: These data reveal that a low dose of DSP-4 can have varied effects on the modulation of amyloid plaque deposition and neuroinflammation in TASTPM mice dependent on the duration of dosing

HIV Treatment in a Conflict Setting: Outcomes and Experiences from Bukavu, Democratic Republic of the Congo

Providing HIV care in conflict settings involves additional obstacles to those generally encountered in other resource-limited settings, say Heather Culbert and colleagues

Selective small molecule inhibitors of glycogen synthase kinase-3 modulate glycogen metabolism and gene transcription

AbstractBackground: Glycogen synthase kinase-3 (GSK-3) is a serine/threonine protein kinase, the activity of which is inhibited by a variety of extracellular stimuli including insulin, growth factors, cell specification factors and cell adhesion. Consequently, inhibition of GSK-3 activity has been proposed to play a role in the regulation of numerous signalling pathways that elicit pleiotropic cellular responses. This report describes the identification and characterisation of potent and selective small molecule inhibitors of GSK-3.Results: SB-216763 and SB-415286 are structurally distinct maleimides that inhibit GSK-3α in vitro, with Kis of 9 nM and 31 nM respectively, in an ATP competitive manner. These compounds inhibited GSK-3β with similar potency. However, neither compound significantly inhibited any member of a panel of 24 other protein kinases. Furthermore, treatment of cells with either compound stimulated responses characteristic of extracellular stimuli that are known to inhibit GSK-3 activity. Thus, SB-216763 and SB-415286 stimulated glycogen synthesis in human liver cells and induced expression of a β-catenin-LEF/TCF regulated reporter gene in HEK293 cells. In both cases, compound treatment was demonstrated to inhibit cellular GSK-3 activity as assessed by activation of glycogen synthase, which is a direct target of this kinase.Conclusions: SB-216763 and SB-415286 are novel, potent and selective cell permeable inhibitors of GSK-3. Therefore, these compounds represent valuable pharmacological tools with which the role of GSK-3 in cellular signalling can be further elucidated. Furthermore, development of similar compounds may be of use therapeutically in disease states associated with elevated GSK-3 activity such as non-insulin dependent diabetes mellitus and neurodegenerative disease

The mortality after release from incarceration consortium (MARIC): Protocol for a multi-national, individual participant data meta-analysis

Introduction More than 30 million adults are released from incarceration globally each year. Many experience complex physical and mental health problems, and are at markedly increased risk of preventable mortality. Despite this, evidence regarding the global epidemiology of mortality following release from incarceration is insufficient to inform the development of targeted, evidence-based responses. Many previous studies have suffered from inadequate power and poor precision, and even large studies have limited capacity to disaggregate data by specific causes of death, sub-populations or time since release to answer questions of clinical and public health relevance. Objectives To comprehensively document the incidence, timing, causes and risk factors for mortality in adults released from prison. Methods We created the Mortality After Release from Incarceration Consortium (MARIC), a multi-disciplinary collaboration representing 29 cohorts of adults who have experienced incarceration from 11 countries. Findings across cohorts will be analysed using a two-step, individual participant data meta-analysis methodology. Results The combined sample includes 1,337,993 individuals (89% male), with 75,795 deaths recorded over 9,191,393 person-years of follow-up. Conclusions The consortium represents an important advancement in the field, bringing international attention to this problem. It will provide internationally relevant evidence to guide policymakers and clinicians in reducing preventable deaths in this marginalized population

Correction to: Cluster identification, selection, and description in Cluster randomized crossover trials: the PREP-IT trials

An amendment to this paper has been published and can be accessed via the original article

Effects of fluoxetine on functional outcomes after acute stroke (FOCUS): a pragmatic, double-blind, randomised, controlled trial

Background Results of small trials indicate that fluoxetine might improve functional outcomes after stroke. The FOCUS trial aimed to provide a precise estimate of these effects. Methods FOCUS was a pragmatic, multicentre, parallel group, double-blind, randomised, placebo-controlled trial done at 103 hospitals in the UK. Patients were eligible if they were aged 18 years or older, had a clinical stroke diagnosis, were enrolled and randomly assigned between 2 days and 15 days after onset, and had focal neurological deficits. Patients were randomly allocated fluoxetine 20 mg or matching placebo orally once daily for 6 months via a web-based system by use of a minimisation algorithm. The primary outcome was functional status, measured with the modified Rankin Scale (mRS), at 6 months. Patients, carers, health-care staff, and the trial team were masked to treatment allocation. Functional status was assessed at 6 months and 12 months after randomisation. Patients were analysed according to their treatment allocation. This trial is registered with the ISRCTN registry, number ISRCTN83290762. Findings Between Sept 10, 2012, and March 31, 2017, 3127 patients were recruited. 1564 patients were allocated fluoxetine and 1563 allocated placebo. mRS data at 6 months were available for 1553 (99·3%) patients in each treatment group. The distribution across mRS categories at 6 months was similar in the fluoxetine and placebo groups (common odds ratio adjusted for minimisation variables 0·951 [95% CI 0·839–1·079]; p=0·439). Patients allocated fluoxetine were less likely than those allocated placebo to develop new depression by 6 months (210 [13·43%] patients vs 269 [17·21%]; difference 3·78% [95% CI 1·26–6·30]; p=0·0033), but they had more bone fractures (45 [2·88%] vs 23 [1·47%]; difference 1·41% [95% CI 0·38–2·43]; p=0·0070). There were no significant differences in any other event at 6 or 12 months. Interpretation Fluoxetine 20 mg given daily for 6 months after acute stroke does not seem to improve functional outcomes. Although the treatment reduced the occurrence of depression, it increased the frequency of bone fractures. These results do not support the routine use of fluoxetine either for the prevention of post-stroke depression or to promote recovery of function. Funding UK Stroke Association and NIHR Health Technology Assessment Programme