Stratospheric Data Analysis System (STRATAN)

A state of the art stratospheric analyses using a coupled stratosphere/troposphere data assimilation system is produced. These analyses can be applied to stratospheric studies of all types. Of importance to this effort is the application of the Stratospheric Data Analysis System (STRATAN) to constituent transport and chemistry problems

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions

Abstract. The state explosion problem is one of the core bottlenecks in the model checking of concurrent software. We show how to ameliorate the problem by combining the ability of partial order techniques to reduce the state space of the concurrent program with the power of symbolic model checking to explore large state spaces. Our new verification methodology involves translating the given concurrent program into a circuit-based model which gives us the flexibility to then employ any model checking technique of choice – either SAT or BDD-based – for verifying a broad range of linear time properties, not just safety. The reduction in the explored state-space is obtained by statically augmenting the symbolic encoding of the program by additional constraints. These constraints restrict the scheduler to choose from a minimal conditional stubborn set of transitions at each state. Another key contribution of the paper, is a new method for detecting transactions on-the-fly which takes into account patterns of lock acquisition and yields better reductions than existing methods which rely on a lockset based analysis. Moreover unlike existing techniques, identifying on-the-fly transactions does not require the program to follow a lock discipline in accessing shared variables. We have applied our techniques to the Daisy test bench and shown the existence of several bugs.

Integrin-Blocking Antibodies Delay Keratinocyte Re-Epithelialization in a Human Three-Dimensional Wound Healing Model

The α6β4 integrin plays a significant role in tumor growth, angiogenesis and metastasis through modulation of growth factor signaling, and is a potentially important therapeutic target. However, α6β4-mediated cell-matrix adhesion is critical in normal keratinocyte attachment, signaling and anchorage to the basement membrane through its interaction with laminin-5, raising potential risks for targeted therapy. Bioengineered Human Skin Equivalent (HSE), which have been shown to mimic their normal and wounded counterparts, have been used here to investigate the consequences of targeting β4 to establish toxic effects on normal tissue homeostasis and epithelial wound repair. We tested two antibodies directed to different β4 epitopes, one adhesion-blocking (ASC-8) and one non-adhesion blocking (ASC-3), and determined that these antibodies were appropriately localized to the basal surface of keratinocytes at the basement membrane interface where β4 is expressed. While normal tissue architecture was not altered, ASC-8 induced a sub-basal split at the basement membrane in non-wounded tissue. In addition, wound closure was significantly inhibited by ASC-8, but not by ASC-3, as the epithelial tongue only covered 40 percent of the wound area at 120 hours post-wounding. These results demonstrate β4 adhesion-blocking antibodies may have adverse effects on normal tissue, whereas antibodies directed to other epitopes may provide safer alternatives for therapy. Taken together, we conclude that these three-dimensional tissue models provide a biologically relevant platform to identify toxic effects induced by candidate therapeutics, which will allow generation of findings that are more predictive of in vivo responses early in the drug development process

Identification of epitopes recognised by mucosal CD4+ T-cell populations from cattle experimentally colonised with Escherichia coli O157:H7

Additional file 5. Sequence alignment of Intimin epitopes against Intimin sequences from non-O157 EHEC serotypes. Alignment of Intimin CD4+ T-cell epitope sequences with representative Intimin sequences from EHEC serotypes O145, O127, O26, O103, O121, O45 and O111. Percentage values indicate % similarity to the EHEC O157:H7 reference sequence

The prevalence, incidence and natural history of primary sclerosing cholangitis in an ethnically diverse population

<p>Abstract</p> <p>Background</p> <p>Primary sclerosing cholangitis (PSC) is a rare chronic cholestatic liver disease often associated with inflammatory bowel diseases (IBD). Current epidemiological data are limited to studies of predominantly Caucasian populations. Our aim was to define the epidemiology of PSC in a large, ethnically diverse US population.</p> <p>Methods</p> <p>The Northern California Kaiser Permanente (KP) database includes records from over 3 million people and was searched for cases of PSC between January 2000 and October 2006. All identified charts were reviewed for diagnosis confirmation, IBD co-morbidity, and major natural history endpoints.</p> <p>Results</p> <p>We identified 169 (101 males) cases fulfilling PSC diagnostic criteria with a mean age at diagnosis of 44 years (range 11-81). The age-adjusted point prevalence was 4.15 per 100,000 on December 31, 2005. The age-adjusted incidence per 100,000 person-years was not significantly greater in men 0.45 (95% CI 0.33 - 0.61) than women 0.37 (95% CI 0.26 - 0.51). IBD was present in 109/169 (64.5%) cases and was significantly more frequent in men than women with PSC (73.3% and 51.5%, respectively, p = 0.005). The cumulative average yearly mortality rate was 1.9%. Age and serum sodium, creatinine and bilirubin at diagnosis and albumin at last entry were identified as significant factors associated with death, liver transplant or cholangiocarcinoma.</p> <p>Conclusions</p> <p>The incidence and prevalence of PSC observed in a representative Northern California population are lower compared to previous studies in Caucasian populations and this might reflect differences in the incidence of PSC among various ethnic groups.</p

Cardiac remodeling and dysfunction in nephrotic syndrome

There is an increased incidence of heart disease in patients with chronic nephrotic syndrome (NS), which may be attributable to the malnutrition and activated inflammatory state accompanying the sustained proteinuria. In this study, we evaluated renal function, cardiac morphometry, contractile function, and myocardial gene expression in the established puromycin aminonucleoside nephrosis rat model of NS. Two weeks after aminonucleoside injection, there was massive proteinuria, decreased creatinine clearance, and a negative sodium balance. Skeletal and cardiac muscle atrophy was present and was accompanied by impaired left ventricular (LV) hemodynamic function along with decreased contractile properties of isolated LV muscle strips. The expression of selected cytokines and proteins involved in calcium handling in myocardial tissue was evaluated by real time polymerase chain reaction. This revealed that the expression of interleukin-1beta, tumor necrosis factor-alpha, and phospholamban were elevated, whereas that of cardiac sarco(endo)plasmic reticulum calcium pump protein was decreased. We suggest that protein wasting and systemic inflammatory activation during NS contribute to cardiac remodeling and dysfunction

ARRDC3 suppresses breast cancer progression by negatively regulating integrin β4

Large-scale genetic analyses of human tumor samples have been used to identify novel oncogenes, tumor suppressors and prognostic factors, but the functions and molecular interactions of many individual genes have not been determined. In this study we examined the cellular effects and molecular mechanism of the arrestin family member, ARRDC3, a gene preferentially lost in a subset of breast cancers. Oncomine data revealed that the expression of ARRDC3 decreases with tumor grade, metastases and recurrences. ARRDC3 overexpression represses cancer cell proliferation, migration, invasion, growth in soft agar and in vivo tumorigenicity, whereas downregulation of ARRCD3 has the opposite effects. Mechanistic studies showed that ARRDC3 functions in a novel regulatory pathway that controls the cell surface adhesion molecule, β-4 integrin (ITGβ4), a protein associated with aggressive tumor behavior. Our data indicates ARRDC3 directly binds to a phosphorylated form of ITGβ4 leading to its internalization, ubiquitination and ultimate degradation. The results identify the ARRCD3-ITGβ4 pathway as a new therapeutic target in breast cancer and show the importance of connecting genetic arrays with mechanistic studies in the search for new treatments

The Role of Alpha 6 Integrin in Prostate Cancer Migration and Bone Pain in a Novel Xenograft Model

Of the estimated 565,650 people in the U.S. who will die of cancer in 2008, almost all will have metastasis. Breast, prostate, kidney, thyroid and lung cancers metastasize to the bone. Tumor cells reside within the bone using integrin type cell adhesion receptors and elicit incapacitating bone pain and fractures. In particular, metastatic human prostate tumors express and cleave the integrin A6, a receptor for extracellular matrix components of the bone, i.e., laminin 332 and laminin 511. More than 50% of all prostate cancer patients develop severe bone pain during their remaining lifetime. One major goal is to prevent or delay cancer induced bone pain. We used a novel xenograft mouse model to directly determine if bone pain could be prevented by blocking the known cleavage of the A6 integrin adhesion receptor. Human tumor cells expressing either the wildtype or mutated A6 integrin were placed within the living bone matrix and 21 days later, integrin expression was confirmed by RT-PCR, radiographs were collected and behavioral measurements of spontaneous and evoked pain performed. All animals independent of integrin status had indistinguishable tumor burden and developed bone loss 21 days after surgery. A comparison of animals containing the wild type or mutated integrin revealed that tumor cells expressing the mutated integrin resulted in a dramatic decrease in bone loss, unicortical or bicortical fractures and a decrease in the ability of tumor cells to reach the epiphyseal plate of the bone. Further, tumor cells within the bone expressing the integrin mutation prevented cancer induced spontaneous flinching, tactile allodynia, and movement evoked pain. Preventing A6 integrin cleavage on the prostate tumor cell surface decreased the migration of tumor cells within the bone and the onset and degree of bone pain and fractures. These results suggest that strategies for blocking the cleavage of the adhesion receptors on the tumor cell surface can significantly prevent cancer induced bone pain and slow disease progression within the bone. Since integrin cleavage is mediated by Urokinase-type Plasminogen Activator (uPA), further work is warranted to test the efficacy of uPA inhibitors for prevention or delay of cancer induced bone pain

Characterization of the Endothelial Cell Cytoskeleton following HLA Class I Ligation

Vascular endothelial cells (ECs) are a target of antibody-mediated allograft rejection. In vitro, when the HLA class I molecules on the surface of ECs are ligated by anti-HLA class I antibodies, cell proliferation and survival pathways are activated and this is thought to contribute to the development of antibody-mediated rejection. Crosslinking of HLA class I molecules by anti-HLA antibodies also triggers reorganization of the cytoskeleton, which induces the formation of F-actin stress fibers. HLA class I induced stress fiber formation is not well understood.The present study examines the protein composition of the cytoskeleton fraction of ECs treated with HLA class I antibodies and compares it to other agonists known to induce alterations of the cytoskeleton in endothelial cells. Analysis by tandem mass spectrometry revealed unique cytoskeleton proteomes for each treatment group. Using annotation tools a candidate list was created that revealed 12 proteins, which were unique to the HLA class I stimulated group. Eleven of the candidate proteins were phosphoproteins and exploration of their predicted kinases provided clues as to how these proteins may contribute to the understanding of HLA class I induced antibody-mediated rejection. Three of the candidates, eukaryotic initiation factor 4A1 (eIF4A1), Tropomyosin alpha 4-chain (TPM4) and DDX3X, were further characterized by Western blot and found to be associated with the cytoskeleton. Confocal microscopy analysis showed that class I ligation stimulated increased eIF4A1 co-localization with F-actin and paxillin.Colocalization of eIF4A1 with F-actin and paxillin following HLA class I ligation suggests that this candidate protein could be a target for understanding the mechanism(s) of class I mediated antibody-mediated rejection. This proteomic approach for analyzing the cytoskeleton of ECs can be applied to other agonists and various cells types as a method for uncovering novel regulators of cytoskeleton changes

Role of Cancer Microenvironment in Metastasis: Focus on Colon Cancer

One person on three will receive a diagnostic of cancer during his life. About one third of them will die of the disease. In most cases, death will result from the formation of distal secondary sites called metastases. Several events that lead to cancer are under genetic control. In particular, cancer initiation is tightly associated with specific mutations that affect proto-oncogenes and tumour suppressor genes. These mutations lead to unrestrained growth of the primary neoplasm and a propensity to detach and to progress through the subsequent steps of metastatic dissemination. This process depends tightly on the surrounding microenvironment. In fact, several studies support the point that tumour development relies on a continuous cross-talk between cancer cells and their cellular and extracellular microenvironments. This signaling cross-talk is mediated by transmembrane receptors expressed on cancer cells and stromal cells. The aim of this manuscript is to review how the cancer microenvironment influences the journey of a metastatic cell taking liver invasion by colorectal cancer cells as a model