255 research outputs found

    Immunodepletion in xenotransplantation

    Get PDF
    Xenograft transplantation is perhaps the most immunologically difficult problem in transplantation today. An overwhelming hyperacute rejection reaction (HAR) occurs within minutes of organ implantation. Preformed antibodies are thought to initiate this process. We used a pig-to-dog renal xenograft transplant model and investigated methods of decreasing the severity of hyperacute rejection. Female pigs weighing 15-20 kg were used as donors. Recipients were mongrel dogs weighing 15-25 kg. Experimental dogs were all given a number of treatments of IgG depletion using an antibody removal system (Dupont-Excorim). This machine immunoadsorbs plasma against a column containing immobilized staphylococcal protein A, which is known to bind the IgG Fc receptor. An 84% reduction in the IgG levels and a 71% reduction in IgM levels was achieved. Postoperative assessment was made of urine output, time to onset of HAR, and histopathological examination of the rejected kidneys. Although cross-matches between donor lymphocytes and recipient sera remained strongly positive in the treated dogs, there was a two- to fourfold reduction in the titers. The time to onset of HAR was prolonged in the experimental group, and the urine output was increased slightly. The histopathologic changes in the experimental group generally showed signs of HAR, but of less intensity than in the nonimmunodepleted control group. © 1990 Informa UK Ltd All rights reserved: reproduction in whole or part not permitted

    Trust and contextual engagement with the PEPPER system: The qualitative findings of a clinical feasibility study

    Get PDF
    Background and aims. PEPPER (Patient Empowerment through Predictive PERsonalised decision support) is an EU-funded research project which aims to improve self-management of type 1 diabetes (T1D). The system comprises an AI insulin bolus recommender, coupled with a safety system. The aim of the qualitative arm of this clinical feasibility study was to examine the context of participants’ interaction with the PEPPER system and identify incidents where bolus recommendations were trusted and accepted. Methods. This was a multicentre (UK and Spain) non-randomised open-labelled 6-week pilot study. Thirteen adults with T1D participated in weekly telephone interviews to explore the context of their interactions and responses to PEPPER. Data was thematically analysed through conceptual frameworks for engagement with healthcare digital behaviour change interventions. Results. Participants reported their key interactions as responding to PEPPER bolus recommendations, inputting carbohydrate values, interpreting continuous glucose monitoring (CGM) values through visualization of personal data and dealing with safety alarms. Two themes were associated with trust and engagement with the system; ‘feeling monitored’ and ‘feeling in control’. The incidents where participants trusted PEPPER also enhanced personal expertise of T1D through insights provided by the safety system such as low glucose basal insulin for pump users. Benefits were balanced against technical challenges of the system, which were used to improve the PEPPER application and enhance user experience. Conclusion. Some participants suggested that even access to PEPPER for a temporary period could positively influence self-management strategies. Contextual interviewing is a valuable tool in mobile application development for diabetes decision support systems

    Acute Leriche syndrome due to the thrombus in the left ventricle.

    Get PDF
    Abstract. In this contribution we present a variant of a resolution theorem prover which selects resolution steps based on the proportion of models a newly generated clause satisfies compared to all models given in a reference class. This reference class is generated from a subset of the initial clause set. Since the empty clause does not satisfy any models, preference is given to such clauses which satisfy few models only. Because computing the number of models is computationally expensive on the one hand, but will remain almost unchanged after the application of one single resolution step on the other hand, we adapt Kowalski’s connection graph method to store the number of models at each link.

    The Strategy Challenge in SMT Solving

    Get PDF
    Abstract. High-performance SMT solvers contain many tightly integrated, hand-crafted heuristic combinations of algorithmic proof methods. While these heuristic combinations tend to be highly tuned for known classes of problems, they may easily perform badly on classes of problems not anticipated by solver developers. This issue is becoming increasingly pressing as SMT solvers begin to gain the attention of practitioners in diverse areas of science and engineering. We present a challenge to the SMT community: to develop methods through which users can exert strategic control over core heuristic aspects of SMT solvers. We present evidence that the adaptation of ideas of strategy prevalent both within the Argonne and LCF theorem proving paradigms can go a long way towards realizing this goal. Prologue. Bill McCune, Kindness and Strategy, by Grant Passmore I would like to tell a short story about Bill, of how I met him, and one way his work and kindness impacted my life

    Recombinant α-actinin subunit antigens of Trichomonas vaginalis as potential vaccine candidates in protecting against trichomoniasis

    Get PDF
    BACKGROUND: Human trichomoniasis caused by Trichomonas vaginalis is one of the most common sexually transmitted diseases with more than 200 million cases worldwide. It has caused a series of health problems to patients. For prevention and control of infectious diseases, vaccines are usually considered as one of the most cost-efficient tools. However, until now, work on the development of T. vaginalis vaccines is still mainly focused on the screening of potential immunogens. Alpha-actinin characterized by high immunogenicity in T. vaginalis was suggested as a promising candidate. Therefore, the purpose of this study was to evaluate the protective potency of recombinant α-actinin against T. vaginalis infection in a mouse intraperitoneal model. METHODS: Two selected coding regions of α-actinin (ACT-F, 14-469 aa and ACT-T, 462-844 aa) amplified from cDNA were cloned into pET-32a (+) expression vector and transfected into BL21 cells. After induction with IPTG and purification with electroelution, the two recombinant fusion proteins were emulsified in Freund's adjuvant (FA) and used to immunize BALB/C mice. Following intraperitoneal inoculation with T. vaginalis, the survival rate of mice was monitored for the assessment of protective potency. After immunization, the antibody level in mouse serum was assessed by ELISA, splenocyte proliferation response was detected with CCK8 and cytokines in the supernatant of splenocytes were quantified with a cytometric bead-based assay. RESULTS: We successfully obtained purified ACT-F (70.33 kDa) and ACT-T (61.7kDa). Both recombinant proteins could provide significant protection against T. vaginalis challenge, especially ACT-T (with 100% protection within one month). Meanwhile, high levels of specific total IgG and subtypes (IgG1 > IgG2a) were detected in sera from the immunized mice. Our results also revealed a statistically significant increase in splenocyte proliferation and related cytokine (IFN-γ, IL-6, IL-17A and IL-10) production after repeated stimulation with the corresponding antigens in vitro. CONCLUSIONS: Immunization with both ACT-F and ACT-T could confer partial to complete protection and trigger strong Th1/Th2 mixed humoral and cellular immune responses in the mouse host. This suggested that recombinant α-actinin subunit antigens may be promising vaccine candidates against trichomoniasis
    corecore