Formal Specification and Testing of a Management Architecture

The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture

A large ozone-circulation feedback and its implications for global warming assessments.

State-of-the-art climate models now include more climate processes which are simulated at higher spatial resolution than ever1. Nevertheless, some processes, such as atmospheric chemical feedbacks, are still computationally expensive and are often ignored in climate simulations1,2. Here we present evidence that how stratospheric ozone is represented in climate models can have a first order impact on estimates of effective climate sensitivity. Using a comprehensive atmosphere-ocean chemistry-climate model, we find an increase in global mean surface warming of around 1°C (~20%) after 75 years when ozone is prescribed at pre-industrial levels compared with when it is allowed to evolve self-consistently in response to an abrupt 4×CO2 forcing. The difference is primarily attributed to changes in longwave radiative feedbacks associated with circulation-driven decreases in tropical lower stratospheric ozone and related stratospheric water vapour and cirrus cloud changes. This has important implications for global model intercomparison studies1,2 in which participating models often use simplified treatments of atmospheric composition changes that are neither consistent with the specified greenhouse gas forcing scenario nor with the associated atmospheric circulation feedbacks3-5.We thank the European Research Council for funding through the ACCI project, project number 267760. The model development was part of the QESM-ESM project supported by the UK Natural Environment Research Council (NERC) under contract numbers RH/H10/19 and R8/H12/124. We acknowledge use of the MONSooN system, a collaborative facility supplied under the Joint Weather and Climate Research Programme, which is a strategic partnership between the UK Met Office and NERC. A.C.M. acknowledges support from an AXA Postdoctoral Research Fellowship.This is the accepted manuscript. The final version is available from Nature Publishing at http://www.nature.com/nclimate/journal/v5/n1/full/nclimate2451.html

Self-recognition in corals facilitates deep-sea habitat engineering

The ability of coral reefs to engineer complex three-dimensional habitats is central to their success and the rich biodiversity they support. In tropical reefs, encrusting coralline algae bind together substrates and dead coral framework to make continuous reef structures, but beyond the photic zone, the cold-water coral Lophelia pertusa also forms large biogenic reefs, facilitated by skeletal fusion. Skeletal fusion in tropical corals can occur in closely related or juvenile individuals as a result of non-aggressive skeletal overgrowth or allogeneic tissue fusion, but contact reactions in many species result in mortality if there is no ‘self-recognition’ on a broad species level. This study reveals areas of ‘flawless’ skeletal fusion in Lophelia pertusa, potentially facilitated by allogeneic tissue fusion, are identified as having small aragonitic crystals or low levels of crystal organisation, and strong molecular bonding. Regardless of the mechanism, the recognition of ‘self’ between adjacent L. pertusa colonies leads to no observable mortality, facilitates ecosystem engineering and reduces aggression-related energetic expenditure in an environment where energy conservation is crucial. The potential for self-recognition at a species level, and subsequent skeletal fusion in framework-forming cold-water corals is an important first step in understanding their significance as ecological engineers in deep-seas worldwide

Fast spin echo sequences for BOLD functional MRI

At higher field strengths, spin echo (SE) functional MRI (fMRI) is an attractive alternative to gradient echo (GE) as the increased weighting towards the microvasculature results in intrinsically better localization of the BOLD signal. Images are free of signal voids but the commonly used echo planar imaging (EPI) sampling scheme causes geometric distortions, and T2* effects often contribute considerably to the signal changes measured upon brain activation. Multiply refocused SE sequences such as fast spin echo (FSE) are essentially artifact free but their application to fast fMRI is usually hindered due to high energy deposition, and long sampling times. In the work presented here, a combination of parallel imaging and partial Fourier acquisition is used to shorten FSE acquisition times to near those of conventional SE-EPI, permitting sampling of eight slices (matrix 64  ×  64) per second. Signal acquisition is preceded by a preparation experiment that aims at increasing the relative contribution of extravascular dynamic averaging to the BOLD signal. Comparisons are made with conventional SE-EPI using a visual stimulation paradigm. While the observed signal changes are approximately 30% lower, most likely due to the absence of T2* contamination, activation size and t-scores are comparable for both methods, suggesting that HASTE fMRI is a viable alternative, particularly if distortion free images are required. Our data also indicate that the BOLD post-stimulus undershoot is most probably attributable to persistent elevated oxygen metabolism rather than to delayed vascular compliance

Efficient Identification of Critical Residues Based Only on Protein Structure by Network Analysis

Despite the increasing number of published protein structures, and the fact that each protein's function relies on its three-dimensional structure, there is limited access to automatic programs used for the identification of critical residues from the protein structure, compared with those based on protein sequence. Here we present a new algorithm based on network analysis applied exclusively on protein structures to identify critical residues. Our results show that this method identifies critical residues for protein function with high reliability and improves automatic sequence-based approaches and previous network-based approaches. The reliability of the method depends on the conformational diversity screened for the protein of interest. We have designed a web site to give access to this software at http://bis.ifc.unam.mx/jamming/. In summary, a new method is presented that relates critical residues for protein function with the most traversed residues in networks derived from protein structures. A unique feature of the method is the inclusion of the conformational diversity of proteins in the prediction, thus reproducing a basic feature of the structure/function relationship of proteins

Width of Gene Expression Profile Drives Alternative Splicing

Alternative splicing generates an enormous amount of functional and proteomic diversity in metazoan organisms. This process is probably central to the macromolecular and cellular complexity of higher eukaryotes. While most studies have focused on the molecular mechanism triggering and controlling alternative splicing, as well as on its incidence in different species, its maintenance and evolution within populations has been little investigated. Here, we propose to address these questions by comparing the structural characteristics as well as the functional and transcriptional profiles of genes with monomorphic or polymorphic splicing, referred to as MS and PS genes, respectively. We find that MS and PS genes differ particularly in the number of tissues and cell types where they are expressed.We find a striking deficit of PS genes on the sex chromosomes, particularly on the Y chromosome where it is shown not to be due to the observed lower breadth of expression of genes on that chromosome. The development of a simple model of evolution of cis-regulated alternative splicing leads to predictions in agreement with these observations. It further predicts the conditions for the emergence and the maintenance of cis-regulated alternative splicing, which are both favored by the tissue specific expression of splicing variants. We finally propose that the width of the gene expression profile is an essential factor for the acquisition of new transcript isoforms that could later be maintained by a new form of balancing selection

Synthetic Lethal Screen Identifies NF-κB as a Target for Combination Therapy with Topotecan for patients with Neuroblastoma

<p>Abstract</p> <p>Background</p> <p>Despite aggressive multimodal treatments the overall survival of patients with high-risk neuroblastoma remains poor. The aim of this study was to identify novel combination chemotherapy to improve survival rate in patients with high-risk neuroblastoma.</p> <p>Methods</p> <p>We took a synthetic lethal approach using a siRNA library targeting 418 apoptosis-related genes and identified genes and pathways whose inhibition synergized with topotecan. Microarray analyses of cells treated with topotecan were performed to identify if the same genes or pathways were altered by the drug. An inhibitor of this pathway was used in combination with topotecan to confirm synergism by <it>in vitro </it>and <it>in vivo </it>studies.</p> <p>Results</p> <p>We found that there were nine genes whose suppression synergized with topotecan to enhance cell death, and the NF-κB signaling pathway was significantly enriched. Microarray analysis of cells treated with topotecan revealed a significant enrichment of NF-κB target genes among the differentially altered genes, suggesting that NF-κB pathway was activated in the treated cells. Combination of topotecan and known NF-κB inhibitors (NSC 676914 or bortezomib) significantly reduced cell growth and induced caspase 3 activity <it>in vitro</it>. Furthermore, in a neuroblastoma xenograft mouse model, combined treatment of topotecan and bortezomib significantly delayed tumor formation compared to single-drug treatments.</p> <p>Conclusions</p> <p>Synthetic lethal screening provides a rational approach for selecting drugs for use in combination therapy and warrants clinical evaluation of the efficacy of the combination of topotecan and bortezomib or other NF-κB inhibitors in patients with high risk neuroblastoma.</p

No association between the aluminium content of trabecular bone and bone density, mass or size of the proximal femur in elderly men and women

BACKGROUND: Aluminium is considered a bone toxic metal since poisoning can lead to aluminium-induced bone disease in patients with chronic renal failure. Healthy subjects with normal renal function retain 4% of the aluminium consumed. They might thus also accumulate aluminium and eventually be at risk of long-term low-grade aluminium intoxication that can affect bone health. METHODS: We therefore examined 62 patients with femoral neck fractures or osteoarthritis of the hip (age range 38–93), with the aim of examining whether aluminium in bone is associated with bone-mineral density (BMD), content (BMC) or width of the femoral neck measured by dual-energy X-ray absorptiometry (DXA). During operations bone biopsies were taken from the trabecular bone of the proximal femur. The samples were measured for their content of aluminium using a mass spectrometer. RESULTS: No significant association between the aluminium content in bone and femoral neck BMD, BMC or width could be found after multivariate adjustment. CONCLUSION: Our results indicate that the accumulated aluminium content in bone during life does not substantially influence the extent of osteoporosis

Use of a health information exchange system in the emergency care of children

<p>Abstract</p> <p>Background</p> <p>Children may benefit greatly in terms of safety and care coordination from the information sharing promised by health information exchange (HIE). While information exchange capability is a required feature of the certified electronic health record, we known little regarding how this technology is used in general and for pediatric patients specifically.</p> <p>Methods</p> <p>Using data from an operational HIE effort in central Texas, we examined the factors associated with actual system usage. The clinical and demographic characteristics of pediatric ED encounters (n = 179,445) were linked to the HIE system user logs. Based on the patterns of HIE system screens accessed by users, we classified each encounter as: no system usage, basic system usage, or novel system usage. Using crossed random effects logistic regression, we modeled the factors associated with basic and novel system usage.</p> <p>Results</p> <p>Users accessed the system for 8.7% of encounters. Increasing patient comorbidity was associated with a 5% higher odds of basic usage and 15% higher odds for novel usage. The odds of basic system usage were lower in the face of time constraints and for patients who had not been to that location in the previous 12 months.</p> <p>Conclusions</p> <p>HIE systems may be a source to fulfill users' information needs about complex patients. However, time constraints may be a barrier to usage. In addition, results suggest HIE is more likely to be useful to pediatric patients visiting ED repeatedly. This study helps fill an existing gap in the study of technological applications in the care of children and improves knowledge about how HIE systems are utilized.</p

Inhibition of nuclear factor kappa-B signaling reduces growth in medulloblastoma in vivo

Abstract Background Medulloblastoma is a highly malignant pediatric brain tumor that requires surgery, whole brain and spine irradiation, and intense chemotherapy for treatment. A more sophisticated understanding of the pathophysiology of medulloblastoma is needed to successfully reduce the intensity of treatment and improve outcomes. Nuclear factor kappa-B (NFκB) is a signaling pathway that controls transcriptional activation of genes important for tight regulation of many cellular processes and is aberrantly expressed in many types of cancer. Methods To test the importance of NFκB to medulloblastoma cell growth, the effects of multiple drugs that inhibit NFκB, pyrrolidine dithiocarbamate, diethyldithiocarbamate, sulfasalazine, curcumin and bortezomib, were studied in medulloblastoma cell lines compared to a malignant glioma cell line and normal neurons. Expression of endogenous NFκB was investigated in cultured cells, xenograft flank tumors, and primary human tumor samples. A dominant negative construct for the endogenous inhibitor of NFκB, IκB, was prepared from medulloblastoma cell lines and flank tumors were established to allow specific pathway inhibition. Results We report high constitutive activity of the canonical NFκB pathway, as seen by Western analysis of the NFκB subunit p65, in medulloblastoma tumors compared to normal brain. The p65 subunit of NFκB is extremely highly expressed in xenograft tumors from human medulloblastoma cell lines; though, conversely, the same cells in culture have minimal expression without specific stimulation. We demonstrate that pharmacological inhibition of NFκB in cell lines halts proliferation and leads to apoptosis. We show by immunohistochemical stain that phosphorylated p65 is found in the majority of primary tumor cells examined. Finally, expression of a dominant negative form of the endogenous inhibitor of NFκB, dnIκB, resulted in poor xenograft tumor growth, with average tumor volumes 40% smaller than controls. Conclusions These data collectively demonstrate that NFκB signaling is important for medulloblastoma tumor growth, and that inhibition can reduce tumor size and viability in vivo. We discuss the implications of NFκB signaling on the approach to managing patients with medulloblastoma in order to improve clinical outcomes.</p