511 research outputs found

    Simultaneous Identification of the Diffusion Coefficient and the Potential for the Schr\"odinger Operator with only one Observation

    Full text link
    This article is devoted to prove a stability result for two independent coefficients for a Schr\"odinger operator in an unbounded strip. The result is obtained with only one observation on an unbounded subset of the boundary and the data of the solution at a fixed time on the whole domain

    A global Carleman estimate in a transmission wave equation and application to a one-measurement inverse problem

    Full text link
    We consider a transmission wave equation in two embedded domains in R2R^2, where the speed is a1>0a1 > 0 in the inner domain and a2>0a2 > 0 in the outer domain. We prove a global Carleman inequality for this problem under the hypothesis that the inner domain is strictly convex and a1>a2a1 > a2 . As a consequence of this inequality, uniqueness and Lip- schitz stability are obtained for the inverse problem of retrieving a stationary potential for the wave equation with Dirichlet data and discontinuous principal coefficient from a single time-dependent Neumann boundary measurement

    Homeomorphic Embedding for Online Termination of Symbolic Methods

    No full text
    Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of homeomorphic embedding and clarify the advantages of such an approach over one using well-founded orders. We also discuss various extensions of the homeomorphic embedding relation. We conclude with a study of homeomorphic embedding in the context of metaprogramming, presenting some new (positive and negative) results and open problems

    The human OPA1delTTAG mutation induces premature age-related systemic neurodegeneration in mouse

    Get PDF
    Dominant optic atrophy is a rare inherited optic nerve degeneration caused by mutations in the mitochondrial fusion gene OPA1. Recently, the clinical spectrum of dominant optic atrophy has been extended to frequent syndromic forms, exhibiting various degrees of neurological and muscle impairments frequently found in mitochondrial diseases. Although characterized by a specific loss of retinal ganglion cells, the pathophysiology of dominant optic atrophy is still poorly understood. We generated an Opa1 mouse model carrying the recurrent Opa1(delTTAG) mutation, which is found in 30% of all patients with dominant optic atrophy. We show that this mouse displays a multi-systemic poly-degenerative phenotype, with a presentation associating signs of visual failure, deafness, encephalomyopathy, peripheral neuropathy, ataxia and cardiomyopathy. Moreover, we found premature age-related axonal and myelin degenerations, increased autophagy and mitophagy and mitochondrial supercomplex instability preceding degeneration and cell death. Thus, these results support the concept that Opa1 protects against neuronal degeneration and opens new perspectives for the exploration and the treatment of mitochondrial diseases

    Carvedilol for prevention of restenosis after directional coronary atherectomy : final results of the European carvedilol atherectomy restenosis (EUROCARE) trial

    Get PDF
    BACKGROUND: In addition to its known properties as a competitive, nonselective beta and alpha-1 receptor blocker, carvedilol directly inhibits vascular myocyte migration and proliferation and exerts antioxidant effects that are considerably greater than those of vitamin E or probucol. This provides the basis for an evaluation of carvedilol for the prevention of coronary restenosis. METHODS AND RESULTS: In a prospective, double-blind, randomized, placebo-controlled trial, 25 mg of carvedilol was given twice daily, starting 24 h

    Detection of silent myocardial ischemia in asymptomatic patients with diabetes: results of a randomized trial and meta-analysis assessing the effectiveness of systematic screening

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Most guidelines recommend a systematic screening of asymptomatic high risk patients with diabetes for silent ischemia, but the clinical benefit of this strategy has not been demonstrated compared with the simple control of cardiovascular risk factors. We sought to determine whether referring asymptomatic diabetic patients for screening of silent ischemia decreases the risk of cardiovascular events compared with usual care.</p> <p>Methods</p> <p>DYNAMIT was a prospective, randomized, open, blinded end-point multicenter trial run between 2000 and 2005, with a 3.5 year mean follow-up in ambulatory care in 45 French hospitals. The study included 631 male and female with diabetes aged 63.9 ± 5.1 years, with no evidence of coronary artery disease and at least 2 additional cardiovascular risk factors, receiving appropriate medical treatment. The patients were randomized centrally to either screening for silent ischemia using a bicycle exercise test or Dipyridamole Single Photon Emission Computed Tomography (N = 316), or follow-up without screening (N = 315). The main study end point was time to death from all causes, non-fatal myocardial infarction, non-fatal stroke, or heart failure requiring hospitalization or emergency service intervention. The results of a meta-analysis of DYNAMIT and DIAD, a similar study, are also presented.</p> <p>Results</p> <p>The study was discontinued prematurely because of difficulties in recruitment and a lower-than expected event rate. Follow-up was complete for 98.9% patients regarding mortality and for 97.5% regarding the main study end point. Silent ischemia detection procedure was positive or uncertain in 68 (21.5%) patients of the screening group. There was no significant difference between the screening and the usual care group for the main outcome (hazard ratio = 1.00 95%CI 0.59 to 1.71). The meta-analysis of these and DIAD results gave similar results, with narrower confidence intervals for each endpoint.</p> <p>Conclusions</p> <p>These results suggest that the systematic detection of silent ischemia in high-risk asymptomatic patients with diabetes is unlikely to provide any major benefit on hard outcomes in patients whose cardiovascular risk is controlled by an optimal medical treatment.</p> <p>Trial registration</p> <p>ClinicalTrials.gov: <a href="http://www.clinicaltrials.gov/ct2/show/NCT00627783">NCT00627783</a></p
    • …
    corecore