1,542 research outputs found

    Retreatment with anti-EGFR based therapies in metastatic colorectal cancer: impact of intervening time interval and prior anti-EGFR response.

    Get PDF
    BackgroundThis retrospective study aims to investigate the activity of retreatment with anti-EGFR-based therapies in order to explore the concept of clonal evolution by evaluating the impact of prior activity and intervening time interval.MethodsEighty-nine KRAS exon 2-wild-type metastatic colorectal patients were retreated on phase I/II clinical trials containing anti-EGFR therapies after progressing on prior cetuximab or panitumumab. Response on prior anti-EGFR therapy was defined retrospectively per physician-records as response or stable disease ≥6 months. Multivariable statistical methods included a multiple logistic regression model for response, and Cox proportional hazards model for progression-free survival.ResultsRetreatment anti-EGFR agents were cetuximab (n = 76) or cetuximab plus erlotinib (n = 13). The median interval time between prior and retreatment regimens was 4.57 months (range: 0.46-58.7). Patients who responded to the prior cetuximab or panitumumab were more likely to obtain clinical benefit to the retreatment compared to the non-responders in both univariate (p = 0.007) and multivariate analyses (OR: 3.38, 95 % CI: 1.27, 9.31, p = 0.019). The clinical benefit rate on retreatment also showed a marginally significant association with interval time between the two anti-EGFR based therapies (p = 0.053). Median progression-free survival on retreatment was increased in prior responders (4.9 months, 95 % CI: 3.6, 6.2) compared to prior non-responders (2.5 months, 95 % CI, 1.58, 3.42) in univariate (p = 0.064) and multivariate analysis (HR: 0.70, 95 % CI: 0.43-1.15, p = 0.156).ConclusionOur data lends support to the concept of clonal evolution, though the clinical impact appears less robust than previously reported. Further work to determine which patients benefit from retreatment post progression is needed

    A formally verified compiler back-end

    Get PDF
    This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

    Dynamics of Moraxella bovis infection and humoral immune response to bovine herpes virus type 1 during a natural outbreak of infectious bovine keratoconjunctivitis in beef calves

    Get PDF
    Infectious bovine keratoconjunctivitis (IBK) is an acute disease caused by Moraxella bovis (Mb). Several factors may predispose animals to an IBK outbreak; one commonly observed is infection with bovine herpes virus type 1 (BHV-1). The aim of this study was to investigate the dynamics of BHV-1 virus infection and its relation with clinical cases of IBK in weaned calves from a beef herd with a high prevalence of lesions caused by Mb. Sampling was carried out in six stages and included conjunctival swabs for isolating Mb as well as blood samples for identifying antibodies specific for BHV-1. A score for IBK lesions after observing each eye was determined. The findings of this study showed a high prevalence of BHV-1 virus infection (100% of animals were infected at the end of the trial); 67% of animals were culture-positive for Mb, but low rates of clinical IBK (19% of calves affected) were detected at the end of the trial. These results suggest that infection with BHV-1 did not predispose these animals to IBK, and that Mb infection produced clinical and subclinical disease in the absence of BHV-1 co-infection

    Programmed inappropriate ICD ventricular defibrillation for cardioversion of persistent atrial fibrillation

    Get PDF
    In this report we briefly describe a patient with a dual chamber implantable cardioverter defibrillator in the context of severe ischemic cardiomyopathy who developed persistent atrial fibrillation. After appropriate anticoagulation and under mild sedation the patient was successfully cardioverted to sinus rhythm after a programmed ventricular synchronized defibrillation using his defibrillator. Programmed internal cardioversion of persistent atrial fibrillation in patients who have an implantable cardioverter defibillator without atrial defibrillation capabilities could be an effective and safe therapeutic option. Unlike external electrical cardioversion, this strategy does not interfere with the implantable cardioverter defibrillator, is more effective, and obviates the need of general anesthesia. This strategy should be further evaluated in clinical trials

    Visualizing the Needle in the Haystack: In Situ Hybridization With Fluorescent Dendrimers

    Get PDF
    In situ hybridization with 3DNAâ„¢ dendrimers is a novel tool for detecting low levels of mRNA in tissue sections and whole embryos. Fluorescently labeled dendrimers were used to identify cells that express mRNA for the skeletal muscle transcription factor MyoD in the early chick embryo. A small population of MyoD mRNA positive cells was found in the epiblast prior to the initiation of gastrulation, two days earlier than previously detected using enzymatic or radiolabeled probes for mRNA. When isolated from the epiblast and placed in culture, the MyoD mRNA positive cells were able to differentiate into skeletal muscle cells. These results demonstrate that DNA dendrimers are sensitive and precise tools for identifying low levels of mRNA in single cells and tissues

    Migrations and habitat use of the smooth hammerhead shark (Sphyrna zygaena) in the Atlantic Ocean

    Get PDF
    The smooth hammerhead shark, Sphyrna zygaena, is a cosmopolitan semipelagic shark captured as bycatch in pelagic oceanic fisheries, especially pelagic longlines targeting swordfish and/or tunas. From 2012 to 2016, eight smooth hammerheads were tagged with Pop-up Satellite Archival Tags in the inter-tropical region of the Northeast Atlantic Ocean, with successful transmissions received from seven tags (total of 319 tracking days). Results confirmed the smooth hammerhead is a highly mobile species, as the longest migration ever documented for this species (> 6600 km) was recorded. An absence of a diel vertical movement behavior was noted, with the sharks spending most of their time at surface waters (0-50 m) above 23 degrees C. The operating depth of the pelagic long-line gear was measured with Minilog Temperature and Depth Recorders, and the overlap with the species vertical distribution was calculated. The overlap is taking place mainly during the night and is higher for juveniles (similar to 40% of overlap time). The novel information presented can now be used to contribute to the provision of sustainable management tools and serve as input for Ecological Risk Assessments for smooth hammerheads caught in Atlantic pelagic longline fisheries.Oceanario de Lisboa through Project "SHARK-TAG: Migrations and habitat use of the smooth hammerhead shark in the Atlantic Ocean"; Investigador-FCT from the Portuguese Foundation for Science and Technology (FCT, Fundacao para a Ciencia e Tecnologia) [Ref: IF/00253/2014]; EU European Social Fund; Programa Operacional Potencial Human

    Integrated information increases with fitness in the evolution of animats

    Get PDF
    One of the hallmarks of biological organisms is their ability to integrate disparate information sources to optimize their behavior in complex environments. How this capability can be quantified and related to the functional complexity of an organism remains a challenging problem, in particular since organismal functional complexity is not well-defined. We present here several candidate measures that quantify information and integration, and study their dependence on fitness as an artificial agent ("animat") evolves over thousands of generations to solve a navigation task in a simple, simulated environment. We compare the ability of these measures to predict high fitness with more conventional information-theoretic processing measures. As the animat adapts by increasing its "fit" to the world, information integration and processing increase commensurately along the evolutionary line of descent. We suggest that the correlation of fitness with information integration and with processing measures implies that high fitness requires both information processing as well as integration, but that information integration may be a better measure when the task requires memory. A correlation of measures of information integration (but also information processing) and fitness strongly suggests that these measures reflect the functional complexity of the animat, and that such measures can be used to quantify functional complexity even in the absence of fitness data.Comment: 27 pages, 8 figures, one supplementary figure. Three supplementary video files available on request. Version commensurate with published text in PLoS Comput. Bio
    • …
    corecore