2,711 research outputs found

    Three-dimensional electron microscopy reveals the evolution of glomerular barrier injury

    Get PDF
    Open access articleGlomeruli are highly sophisticated filters and glomerular disease is the leading cause of kidney failure. Morphological change in glomerular podocytes and the underlying basement membrane are frequently observed in disease, irrespective of the underlying molecular etiology. Standard electron microscopy techniques have enabled the identification and classification of glomerular diseases based on two-dimensional information, however complex three-dimensional ultrastructural relationships between cells and their extracellular matrix cannot be easily resolved with this approach. We employed serial block face-scanning electron microscopy to investigate Alport syndrome, the commonest monogenic glomerular disease, and compared findings to other genetic mouse models of glomerular disease (Myo1e−/−, Ptpro−/−). These analyses revealed the evolution of basement membrane and cellular defects through the progression of glomerular injury. Specifically we identified sub-podocyte expansions of the basement membrane with both cellular and matrix gene defects and found a corresponding reduction in podocyte foot process number. Furthermore, we discovered novel podocyte protrusions invading into the glomerular basement membrane in disease and these occurred frequently in expanded regions of basement membrane. These findings provide new insights into mechanisms of glomerular barrier dysfunction and suggest that common cell-matrix-adhesion pathways are involved in the progression of disease regardless of the primary insult

    On religion and cultural policy: notes on the Roman Catholic Church

    Get PDF
    This paper argues that religious institutions have largely been neglected within the study of cultural policy. This is attributed to the inherently secular tendency of most modern social sciences. Despite the predominance of the ‘secularisation paradigm’, the paper notes that religion continues to promote powerful attachments and denunciations. Arguments between the ‘new atheists’, in particular, Richard Dawkins, and their opponents are discussed, as is Habermas’s conciliatory encounter with Joseph Ratzinger (later Pope Benedict XVI). The paper then moves to a consideration of the Roman Catholic Church as an agent of cultural policy, whose overriding aim is the promotion of ‘Christian consciousness’. Discussion focuses on the contested meanings of this, with reference to (1) the deliberations of Vatican II and (2) the exercise of theological and cultural authority by the Pope and the Congregation for the Doctrine of the Faith (CDF). It is argued that these doctrinal disputes intersect with secular notions of social and cultural policy and warrant attention outside the specialist realm of theological discourse

    Laminin database: a tool to retrieve high-throughput and curated data for studies on laminins

    Get PDF
    The Laminin(LM)-database, hosted at http://www.lm.lncc.br, is the first database focusing a non-collagenous extracellular matrix protein family, the LMs. Part of the knowledge available in this website is automatically retrieved, whereas a significant amount of information is curated and annotated, thus placing LM-database beyond a simple repository of data. In its home page, an overview of the rationale for the database is seen and readers can access a tutorial to facilitate navigation in the website, which in turn is presented with tabs subdivided into LMs, receptors, extracellular binding and other related proteins. Each tab opens into a given LM or LM-related molecule, where the reader finds a series of further tabs for ‘protein’, ‘gene structure’, ‘gene expression’ and ‘tissue distribution’ and ‘therapy’. Data are separated as a function of species, comprising Homo sapiens, Mus musculus and Rattus novergicus. Furthermore, there is specific tab displaying the LM nomenclatures. In another tab, a direct link to PubMed, which can be then consulted in a specific way, in terms of the biological functions of each molecule, knockout animals and genetic diseases, immune response and lymphomas/leukemias. LM-database will hopefully be a relevant tool for retrieving information concerning LMs in health and disease, particularly regarding the hemopoietic system

    Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations

    Full text link
    Symbolic model checking by using BDDs has greatly improved the applicability of model checking. Nevertheless, BDD based symbolic model checking can still be very memory and time consuming. One main reason is the complex transition relation of systems. Sometimes, it is even not possible to generate the transition relation, due to its exhaustive memory requirements. To diminish this problem, the use of partitioned transition relations has been proposed. However, there are still systems which can not be verified at all. Furthermore, if the granularity of the partitions is too fine, the time required for verification may increase. In this paper we target the symbolic verification of asynchronous concurrent systems. For such systems we present an approach which uses similarities in the transition relation to get further memory reductions and runtime improvements. By applying our approach, even the verification of systems with an previously intractable transition relation becomes feasible.Comment: In Proceedings GandALF 2011, arXiv:1106.081

    Cisplatin-induced emesis: systematic review and meta-analysis of the ferret model and the effects of 5-HT3 receptor antagonists

    Get PDF
    PURPOSE: The ferret cisplatin emesis model has been used for ~30 years and enabled identification of clinically used anti-emetics. We provide an objective assessment of this model including efficacy of 5-HT(3) receptor antagonists to assess its translational validity. METHODS: A systematic review identified available evidence and was used to perform meta-analyses. RESULTS: Of 182 potentially relevant publications, 115 reported cisplatin-induced emesis in ferrets and 68 were included in the analysis. The majority (n = 53) used a 10 mg kg(−1) dose to induce acute emesis, which peaked after 2 h. More recent studies (n = 11) also used 5 mg kg(−1), which induced a biphasic response peaking at 12 h and 48 h. Overall, 5-HT(3) receptor antagonists reduced cisplatin (5 mg kg(−1)) emesis by 68% (45–91%) during the acute phase (day 1) and by 67% (48–86%) and 53% (38–68%, all P < 0.001), during the delayed phase (days 2, 3). In an analysis focused on the acute phase, the efficacy of ondansetron was dependent on the dosage and observation period but not on the dose of cisplatin. CONCLUSION: Our analysis enabled novel findings to be extracted from the literature including factors which may impact on the applicability of preclinical results to humans. It reveals that the efficacy of ondansetron is similar against low and high doses of cisplatin. Additionally, we showed that 5-HT(3) receptor antagonists have a similar efficacy during acute and delayed emesis, which provides a novel insight into the pharmacology of delayed emesis in the ferret

    Is early center-based child care associated with tantrums and unmanageable behavior over time up to school entry?

    Get PDF
    Background. Existing research suggests that there is a relationship between greater exposure to center-based child care and child behavioral problems though the mechanism for the impact is unclear. However the measure used to document child care has usually been average hours, which may be particularly unreliable in the early months when fewer children are in center care. In addition individual trajectories for behavior difficulties have not been studied. Objective. The purpose of the current study was to examine whether the extent of exposure to center-based child care before two years predicted the trajectory of children’s difficult behavior (i.e., tantrums and unmanageable behavior) from 30 to 51 months controlling for child and maternal characteristics. Method. Data were drawn from UK-based Families, Children and Child Care (FCCC) study (n=1201). Individual growth models were fitted to test the relation between early center-based child care experiences and subsequent difficult behavior. Results. Children with more exposure to center-based care before two had less difficult behavior at 30 months, but more increase over time. Initial levels were predicted by higher difficult temperament and lower verbal ability. Higher difficult temperament and lower family socio-economic status predicted its change over time. Conclusion. Findings suggest that early exposure to center-based care before two years old is a risk factor for subsequent behavior problems especially when children have a longer period of exposure. A possible explanatory process is that child coping strategies to manage frustration are less well developed in a group context, especially when they lag behind in expressive language

    Efficient Parallel Statistical Model Checking of Biochemical Networks

    Full text link
    We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification approaches such as, for example, CSL/PCTL model checking, are undermined by a huge computational demand which rule them out for most real case studies. Less demanding approaches, such as statistical model checking, estimate the likelihood that a property is satisfied by sampling executions out of the stochastic model. We propose a methodology for efficiently estimating the likelihood that a LTL property P holds of a stochastic model of a biochemical network. As with other statistical verification techniques, the methodology we propose uses a stochastic simulation algorithm for generating execution samples, however there are three key aspects that improve the efficiency: first, the sample generation is driven by on-the-fly verification of P which results in optimal overall simulation time. Second, the confidence interval estimation for the probability of P to hold is based on an efficient variant of the Wilson method which ensures a faster convergence. Third, the whole methodology is designed according to a parallel fashion and a prototype software tool has been implemented that performs the sampling/verification process in parallel over an HPC architecture
    corecore