289 research outputs found

    Characterizing Van Kampen Squares via Descent Data

    Full text link
    Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is expressed in terms of properties of the pullback functor associated with the cocone. Even in the case of non-exactness, researchers in model semantics and rewriting theory inquire an elementary characterization of the image of this functor. In this paper we will investigate this question in the special case where the cocone is a cospan, i.e. part of a Van Kampen square. The use of Descent Data as the dominant categorical tool yields two main results: A simple condition which characterizes the reachable part of the above mentioned functor in terms of liftings of involved equivalence relations and (as a consequence) a necessary and sufficient condition for a pushout to be a Van Kampen square formulated in a purely algebraic manner.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

    A method for isolating and culturing placental cells from failed early equine pregnancies

    Get PDF
    Early pregnancy loss occurs in 6–10% of equine pregnancies making it the main cause of reproductive wastage. Despite this, reasons for the losses are known in only 16% of cases. Lack of viable conceptus material has inhibited investigations of many potential genetic and pathological causes. We present a method for isolating and culturing placental cells from failed early equine pregnancies. Trophoblast cells from 18/30 (60%) failed equine pregnancies of gestational ages 14–65 days were successfully cultured in three different media, with the greatest growth achieved for cells cultured in AmnioChrome™ Plus. Genomic DNA of a suitable quality for molecular assays was also isolated from 29/30 of these cases. This method will enable future investigations determining pathologies causing EPL

    Comparison of chemical characteristics of 495 biomass burning plumes intercepted by the NASA DC-8 aircraft during the ARCTAS/CARB-2008 field campaign

    Get PDF
    This paper compares measurements of gaseous and particulate emissions from a wide range of biomass-burning plumes intercepted by the NASA DC-8 research aircraft during the three phases of the ARCTAS-2008 experiment: ARCTAS-A, based out of Fairbanks, Alaska, USA (3 April to 19 April 2008); ARCTAS-B based out of Cold Lake, Alberta, Canada (29 June to 13 July 2008); and ARCTAS-CARB, based out of Palmdale, California, USA (18 June to 24 June 2008). Approximately 500 smoke plumes from biomass burning emissions that varied in age from minutes to days were segregated by fire source region and urban emission influences. The normalized excess mixing ratios (NEMR) of gaseous (carbon dioxide, acetonitrile, hydrogen cyanide, toluene, benzene, methane, oxides of nitrogen and ozone) and fine aerosol particulate components (nitrate, sulfate, ammonium, chloride, organic aerosols and water soluble organic carbon) of these plumes were compared. A detailed statistical analysis of the different plume categories for different gaseous and aerosol species is presented in this paper. The comparison of NEMR values showed that CH4 concentrations were higher in air-masses that were influenced by urban emissions. Fresh biomass burning plumes mixed with urban emissions showed a higher degree of oxidative processing in comparison with fresh biomass burning only plumes. This was evident in higher concentrations of inorganic aerosol components such as sulfate, nitrate and ammonium, but not reflected in the organic components. Lower NOx NEMRs combined with high sulfate, nitrate and ammonium NEMRs in aerosols of plumes subject to long-range transport, when comparing all plume categories, provided evidence of advanced processing of these plumes

    Brown carbon aerosol in the North American continental troposphere: sources, abundance, and radiative forcing

    Get PDF
    Chemical components of organic aerosol (OA) selectively absorb light at short wavelengths. In this study, the prevalence, sources, and optical importance of this so called brown carbon (BrC) aerosol component are investigated throughout the North American continental tropospheric column during a summer of extensive biomass burning. Spectrophotometric absorption measurements on extracts of bulk aerosol samples collected from an aircraft over the central USA were analyzed to directly quantify BrC abundance. BrC was found to be prevalent throughout the 1 to 12 km altitude measurement range, with dramatic enhancements in biomass-burning plumes. BrC to black carbon (BC) ratios, under background tropospheric conditions, increased with altitude, consistent with a corresponding increase in the absorption Ångström exponent (AAE) determined from a three-wavelength particle soot absorption photometer (PSAP). The sum of inferred BC absorption and measured BrC absorption at 365 nm was within 3 % of the measured PSAP absorption for background conditions and 22 % for biomass burning. A radiative transfer model showed that BrC absorption reduced top-of atmosphere (TOA) aerosol forcing by ∼ 20 % in the background troposphere. Extensive radiative model simulations applying this study background tropospheric conditions provided a look-up chart for determining radiative forcing efficiencies of BrC as a function of a surface-measured BrC : BC ratio and single scattering albedo (SSA). The chart is a first attempt to provide a tool for better assessment of brown carbon’s forcing effect when one is limited to only surface data. These results indicate that BrC is an important contributor to direct aerosol radiative forcing

    Pre-End-Stage Renal Disease Hemoglobin Variability Predicts Post-End-Stage Renal Disease Mortality in Patients Transitioning to Dialysis.

    Get PDF
    BackgroundHemoglobin variability (Hb-var) has been associated with increased mortality both in non-dialysis dependent chronic kidney disease (NDD-CKD) and end-stage renal disease (ESRD) patients. However, the impact of Hb-var in advanced NDD-CKD on outcomes after dialysis initiation remains unknown.MethodsAmong 11,872 US veterans with advanced NDD-CKD transitioning to dialysis between October 2007 through September 2011, we assessed Hb-var calculated from the residual SD of at least 3 Hb values during the last 6 months before dialysis initiation (prelude period) using within-subject linear regression models, and stratified into quartiles. Outcomes included post-transition all-cause, cardiovascular, and infection-related mortality, assessed in Cox proportional hazards models and adjusted for demographics, comorbidities, length of hospitalization, medications, estimated glomerular filtration rate (eGFR), type of vascular access, Hb parameters (baseline Hb [i.e., intercept] and change in Hb [i.e., slope]), and number of Hb measurements.ResultsHigher prelude Hb-var was associated with use of iron and antiplatelet agents, tunneled dialysis catheter use, higher levels of baseline Hb, change in Hb, eGFR, and serum ferritin. After multivariable adjustment, higher prelude Hb-var was associated with higher post-ESRD all-cause and infection-related mortality, but not cardiovascular mortality (adjusted hazard ratios [95% CI] for the highest [vs. lowest] quartile of Hb-var, 1.10 [1.02-1.19], 1.28 [0.93-1.75], and 0.93 [0.79-1.10], respectively).ConclusionsHigh pre-ESRD Hb-var is associated with higher mortality, particularly from infectious causes rather than cardiovascular causes. Further research is required to clarify the underlying mechanisms and true causal nature of the observed association

    Therapeutic Efficacy of Potent Neutralizing HIV-1-Specific Monoclonal Antibodies in SHIV-Infected Rhesus Monkeys

    Get PDF
    HIV-1-specific monoclonal antibodies (mAbs) with extraordinary potency and breadth have recently been described. In humanized mice, combinations of mAbs have been shown to suppress viremia, but the therapeutic potential of these mAbs has not yet been evaluated in primates with an intact immune system. Here we show that administration of a cocktail of HIV-1-specific mAbs, as well as the single glycan-dependent mAb PGT121, resulted in a rapid and precipitous decline of plasma viremia to undetectable levels in rhesus monkeys chronically infected with the pathogenic virus SHIV-SF162P3. A single mAb infusion afforded up to a 3.1 log decline of plasma viral RNA in 7 days and also reduced proviral DNA in peripheral blood, gastrointestinal mucosa, and lymph nodes without the development of viral resistance. Moreover, following mAb administration, host Gag-specific T lymphocyte responses exhibited improved functionality. Virus rebounded in the majority of animals after a median of 56 days when serum mAb titers had declined to undetectable levels, although a subset of animals maintained long-term virologic control in the absence of further mAb infusions. These data demonstrate a profound therapeutic effect of potent neutralizing HIV-1-specific mAbs in SHIV-infected rhesus monkeys as well as an impact on host immune responses. Our findings strongly encourage the investigation of mAb therapy for HIV-1 in humans

    Generic point-free lenses

    Get PDF
    Lenses are one the most popular approaches to define bidirectional transformations between data models. A bidirectional transformation with view-update, denoted a lens, encompasses the definition of a forward transformation projecting concrete models into abstract views, together with a backward transformation instructing how to translate an abstract view to an update over concrete models. In this paper we show that most of the standard point-free combinators can be lifted to lenses with suitable backward semantics, allowing us to use the point-free style to define powerful bidirectional transformations by composition. We also demonstrate how to define generic lenses over arbitrary inductive data types by lifting standard recursion patterns, like folds or unfolds. To exemplify the power of this approach, we “lensify” some standard functions over naturals and lists, which are tricky to define directly “by-hand” using explicit recursion

    Bidirectionally Tolerating Inconsistency: Partial Transformations

    Get PDF
    Abstract. A foundational property of bidirectional transformations is that they should be correct: that is, the transformation should succeed in restoring consistency between any models it is given. In practice, how-ever, transformation engines sometimes fail to restore consistency, e.g. because there is no consistent model to return, or because the tool is unable to select a best model to return from among equally good candi-dates. In this paper, we formalise properties that may nevertheless hold in such circumstances and discuss relationships and implications.
    corecore